<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
>

<channel>
	<title>Pateysoft</title>
	<link>http://www.pateysoft.fr/</link>
	<description></description>
	<language>fr</language>
	<generator>SPIP - www.spip.net</generator>





	<item>
		<title>Expression de la conjecture de Fermat avec l'indicatrice d'Euler</title>
		<link>http://www.pateysoft.fr/Expression-de-la-conjecture-de.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Expression-de-la-conjecture-de.html</guid>
		<pubDate>2009-04-14T21:11:37Z</pubDate>
		<dc:date>2009-04-14T21:11:37Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-Mathematiques-.html">Math&#233;matiques</category>


		<description>Relation entre la fonction indicatrice d'Euler et une conjecture sur les nombres de Fermat, totalement inutile, mais bon...

-
&lt;a href="http://www.pateysoft.fr/-Mathematiques-.html" rel="directory"&gt;Math&#233;matiques&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;p class=&quot;spip&quot;&gt;Les d&#233;monstrations sont &#224; venir.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Consid&#233;rations g&#233;n&#233;rales&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Un nombre de Fermat est de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L48xH35/8cf96ef47b8c5118ca716f08727a3471-0a8ea.png&quot; style='height:35px;width:48px;vertical-align:middle;' width='48' height='35' alt=&quot;2^{2^n}+1&quot; title=&quot;2^{2^n}+1&quot; class=' format_png' /&gt;. Fermat a conjectur&#233; &#224; tort que tous les nombres de cette forme &#233;taient premiers. Une nouvelle conjecture propose qu'il y aie un nombre fini de nombres de Fermat.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;La fonction indicatrice d'Euler &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L14xH23/87567e37a1fe699fe1c5d3a79325da6f-4daeb.png&quot; style='height:23px;width:14px;vertical-align:middle;' width='14' height='23' alt=&quot;\varphi&quot; title=&quot;\varphi&quot; class=' format_png' /&gt; associe &#224; un entier le nombre d'entiers premiers avec lui et qui lui sont inf&#233;rieurs.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous allons maintenant nous int&#233;resser aux solutions impaires des &#233;quations de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L100xH31/27ea27139f3cb65527557a1ed6701cc3-41e74.png&quot; style='height:31px;width:100px;vertical-align:middle;' width='100' height='31' alt=&quot;\varphi(2k+1) = 2^n&quot; title=&quot;\varphi(2k+1) = 2^n&quot; class=' format_png' /&gt;, n &#233;tant donn&#233; et allons voir que l'existence de solutions est &#233;quivalent &#224; la conjecture sur les nombres de Fermat.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Lemme 1 : &lt;/legend&gt;
Soit &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L70xH30/16c5b1d487b7e68a34a9d3297d73ca12-62248.png&quot; style='height:30px;width:70px;vertical-align:middle;' width='70' height='30' alt=&quot;a = 2k+1&quot; title=&quot;a = 2k+1&quot; class=' format_png' /&gt; un ant&#233;c&#233;dent impair &#224; une puissance de 2 par la fonction indicatrice d'euler. Alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt; est un produit de nombres premiers impairs distincts.
Autrement dit &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L360xH35/900009a39c5d2adc8ae7741f610c2431-230cf.png&quot; style='height:35px;width:360px;vertical-align:middle;' width='360' height='35' alt=&quot; \forall n \in \mathbf{N} \mbox{, } \varphi(2k+1) = 2^n \Rightarrow \left[m^2 \mbox{ divise } 2k+1 \Rightarrow m = 1\right] &quot; title=&quot; \forall n \in \mathbf{N} \mbox{, } \varphi(2k+1) = 2^n \Rightarrow \left[m^2 \mbox{ divise } 2k+1 \Rightarrow m = 1\right] &quot; class=' format_png' /&gt;&lt;/p&gt; &lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;Il est tout d'abord &#233;vident que si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt; est impair, tous ses diviseurs sont impairs.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Soit &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; un nombre premier impair divisant &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt; et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L14xH23/7b7f9dbfea05c83784f8b85149852f08-cca54.png&quot; style='height:23px;width:14px;vertical-align:middle;' width='14' height='23' alt=&quot;\alpha&quot; title=&quot;\alpha&quot; class=' format_png' /&gt; la plus grande puissance tel que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L18xH31/e6851e70f3c75dbd405d698325a31709-39e72.png&quot; style='height:31px;width:18px;vertical-align:middle;' width='18' height='31' alt=&quot;p^{\alpha}&quot; title=&quot;p^{\alpha}&quot; class=' format_png' /&gt; divise &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt;.
Alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L59xH31/081c201f4161090d70d65e54f9e4c3d0-96f32.png&quot; style='height:31px;width:59px;vertical-align:middle;' width='59' height='31' alt=&quot;a = p^{\alpha}m&quot; title=&quot;a = p^{\alpha}m&quot; class=' format_png' /&gt; avec &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L98xH31/11ec5831d5a7d111615226685b096d2d-06484.png&quot; style='height:31px;width:98px;vertical-align:middle;' width='98' height='31' alt=&quot;pgcd(p,m) = 1&quot; title=&quot;pgcd(p,m) = 1&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L120xH31/173d2464b798d6e2f77774795cf759bc-e33b4.png&quot; style='height:31px;width:120px;vertical-align:middle;' width='120' height='31' alt=&quot;\varphi(a) = \varphi( p^{\alpha} )\varphi(m)&quot; title=&quot;\varphi(a) = \varphi( p^{\alpha} )\varphi(m)&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Or &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L131xH35/e9b6a79fe48ac7e7ef40f14756b9c5eb-18b96.png&quot; style='height:35px;width:131px;vertical-align:middle;' width='131' height='35' alt=&quot;\varphi( p^{\alpha} ) = (p-1)p^{\alpha-1}&quot; title=&quot;\varphi( p^{\alpha} ) = (p-1)p^{\alpha-1}&quot; class=' format_png' /&gt;. Si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L14xH23/7b7f9dbfea05c83784f8b85149852f08-cca54.png&quot; style='height:23px;width:14px;vertical-align:middle;' width='14' height='23' alt=&quot;\alpha&quot; title=&quot;\alpha&quot; class=' format_png' /&gt; &#233;tait sup&#233;rieur &#224; 1, alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; diviserait &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L33xH31/d273d140d7908a816e7610fc0314166f-aa98e.png&quot; style='height:31px;width:33px;vertical-align:middle;' width='33' height='31' alt=&quot;\varphi(a)&quot; title=&quot;\varphi(a)&quot; class=' format_png' /&gt; donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L33xH31/d273d140d7908a816e7610fc0314166f-aa98e.png&quot; style='height:31px;width:33px;vertical-align:middle;' width='33' height='31' alt=&quot;\varphi(a)&quot; title=&quot;\varphi(a)&quot; class=' format_png' /&gt; ne serait plus une puissance de 2.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Il s'ensuit que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt; est un nombre impairs sans carr&#233;s, donc un produit de nombres premiers impairs distincts.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Lemme 2 : &lt;/legend&gt;
Soit &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L70xH30/16c5b1d487b7e68a34a9d3297d73ca12-62248.png&quot; style='height:30px;width:70px;vertical-align:middle;' width='70' height='30' alt=&quot;a = 2k+1&quot; title=&quot;a = 2k+1&quot; class=' format_png' /&gt; un ant&#233;c&#233;dent impair &#224; une puissance de 2 par la fonction indicatrice d'euler. Alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt; est un produit de nombres premiers de Fermat.
Autrement dit &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L474xH35/5ebe5ca9eeee8ca6fbc15c7253220933-b6a6f.png&quot; style='height:35px;width:474px;vertical-align:middle;' width='474' height='35' alt=&quot; \forall n \in \mathbf{N} \mbox{, } \varphi(2k+1) = 2^n \Rightarrow \left[p \in \mathbf{P} \mbox{ divise } 2k+1 \Rightarrow \exists m \in \mathbf{N} \mbox{, } p = 2^{2^m}+1\right] &quot; title=&quot; \forall n \in \mathbf{N} \mbox{, } \varphi(2k+1) = 2^n \Rightarrow \left[p \in \mathbf{P} \mbox{ divise } 2k+1 \Rightarrow \exists m \in \mathbf{N} \mbox{, } p = 2^{2^m}+1\right] &quot; class=' format_png' /&gt;&lt;/p&gt; &lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;Tout d'abord, montrons que tous les nombres premiers diviseurs de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt; sont de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L43xH35/51c233cd7bbb81178ed1aa185debc04d-0a931.png&quot; style='height:35px;width:43px;vertical-align:middle;' width='43' height='35' alt=&quot;2^k+1&quot; title=&quot;2^k+1&quot; class=' format_png' /&gt;. En effet, en cas contraire, il existerait un nombre impair &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH33/d6a72fc99e4efef53dc8969ba2f042d2-20e4b.png&quot; style='height:33px;width:15px;vertical-align:middle;' width='15' height='33' alt=&quot;k'&quot; title=&quot;k'&quot; class=' format_png' /&gt; tel que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L80xH35/4745a60c793db306f4c7554d7c6207f9-e855a.png&quot; style='height:35px;width:80px;vertical-align:middle;' width='80' height='35' alt=&quot;p = 2^{k}k'+1&quot; title=&quot;p = 2^{k}k'+1&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L130xH35/77e9c019b5af652d88690c641dd2ebaa-7a00a.png&quot; style='height:35px;width:130px;vertical-align:middle;' width='130' height='35' alt=&quot;\varphi(p) = p-1 = 2^{k}k'&quot; title=&quot;\varphi(p) = p-1 = 2^{k}k'&quot; class=' format_png' /&gt;, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH33/d6a72fc99e4efef53dc8969ba2f042d2-20e4b.png&quot; style='height:33px;width:15px;vertical-align:middle;' width='15' height='33' alt=&quot;k'&quot; title=&quot;k'&quot; class=' format_png' /&gt; diviserait &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L33xH31/d273d140d7908a816e7610fc0314166f-aa98e.png&quot; style='height:31px;width:33px;vertical-align:middle;' width='33' height='31' alt=&quot;\varphi(a)&quot; title=&quot;\varphi(a)&quot; class=' format_png' /&gt;. Il s'ensuivait que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L33xH31/d273d140d7908a816e7610fc0314166f-aa98e.png&quot; style='height:31px;width:33px;vertical-align:middle;' width='33' height='31' alt=&quot;\varphi(a)&quot; title=&quot;\varphi(a)&quot; class=' format_png' /&gt; ne serait plus une puissance de 2. Ainsi, tout diviseur premier de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt; est de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L43xH35/51c233cd7bbb81178ed1aa185debc04d-0a931.png&quot; style='height:35px;width:43px;vertical-align:middle;' width='43' height='35' alt=&quot;2^k+1&quot; title=&quot;2^k+1&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Il a &#233;t&#233; d&#233;montr&#233; par Fermat que si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L43xH35/51c233cd7bbb81178ed1aa185debc04d-0a931.png&quot; style='height:35px;width:43px;vertical-align:middle;' width='43' height='35' alt=&quot;2^k+1&quot; title=&quot;2^k+1&quot; class=' format_png' /&gt; est premier, alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH30/8ce4b16b22b58894aa86c421e8759df3-7f43a.png&quot; style='height:30px;width:13px;vertical-align:middle;' width='13' height='30' alt=&quot;k&quot; title=&quot;k&quot; class=' format_png' /&gt; est une puissance de 2. En effet, dans le cas contraire, 3 diviserait &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L43xH35/51c233cd7bbb81178ed1aa185debc04d-0a931.png&quot; style='height:35px;width:43px;vertical-align:middle;' width='43' height='35' alt=&quot;2^k+1&quot; title=&quot;2^k+1&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous obtenons donc le r&#233;sultat du lemme.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Lemme 3 : &lt;/legend&gt;
Soit 2k+1 un ant&#233;c&#233;dent impair &#224; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L18xH31/d1db0d9c696a8c056e7117dbbb4ef6db-fbb39.png&quot; style='height:31px;width:18px;vertical-align:middle;' width='18' height='31' alt=&quot;2^n&quot; title=&quot;2^n&quot; class=' format_png' /&gt; par la fonction indicatrice d'euler. Soit &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L73xH23/af2bac4cb09697711bcb89de8c29f475-7a6e5.png&quot; style='height:23px;width:73px;vertical-align:middle;' width='73' height='23' alt=&quot;a_ma_{m-1}..a_0&quot; title=&quot;a_ma_{m-1}..a_0&quot; class=' format_png' /&gt; la repr&#233;sentation binaire de n. Alors k est unique et n'existe que si tout i, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L79xH30/1a100261556654fc2dc086a6e681ebf0-7678b.png&quot; style='height:30px;width:79px;vertical-align:middle;' width='79' height='30' alt=&quot;a_i = 1 \Rightarrow F_i&quot; title=&quot;a_i = 1 \Rightarrow F_i&quot; class=' format_png' /&gt; est premier.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;Soit un produit de nombres premiers de Fermat. &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L44xH59/56ca7b82d24c20aeb209115c51f8a4d9-556e8.png&quot; style='height:59px;width:44px;vertical-align:middle;' width='44' height='59' alt=&quot;\prod_{i=1}^{m} F_{a_i}&quot; title=&quot;\prod_{i=1}^{m} F_{a_i}&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L136xH59/112a3d315e15d289eae7651d992ca603-bf978.png&quot; style='height:59px;width:136px;vertical-align:middle;' width='136' height='59' alt=&quot;\varphi(\prod_{i=1}^{m} F_{a_i}) = 2^{\sum_{i=1}^{m} 2^{a_i}}&quot; title=&quot;\varphi(\prod_{i=1}^{m} F_{a_i}) = 2^{\sum_{i=1}^{m} 2^{a_i}}&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Comme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt; est un produit de facteurs premiers distincts, alors les &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/2aecb1dc57e87620a373d19b0a889efb-43841.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_i&quot; title=&quot;a_i&quot; class=' format_png' /&gt; sont distincts 2 &#224; 2.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous avons donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L73xH59/b38aded3cf6f321dc50f16a169784589-649c9.png&quot; style='height:59px;width:73px;vertical-align:middle;' width='73' height='59' alt=&quot;n = \sum_{i=1}^{m} 2^{a_i}&quot; title=&quot;n = \sum_{i=1}^{m} 2^{a_i}&quot; class=' format_png' /&gt;, qui est la d&#233;composition unique en puissances de 2 distinctes de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt;. Autrement dit, pour obtenir &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt;, il est n&#233;cessaire et suffisant que chacun des &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/2aecb1dc57e87620a373d19b0a889efb-43841.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_i&quot; title=&quot;a_i&quot; class=' format_png' /&gt; soit pr&#233;sent, donc que chacun des &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L24xH30/03c4681aaecdb9b8695718a6b476c450-ad287.png&quot; style='height:30px;width:24px;vertical-align:middle;' width='24' height='30' alt=&quot;F_a_i&quot; title=&quot;F_a_i&quot; class=' format_png' /&gt; soient des nombres premiers de Fermat.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le r&#233;sultat du lemme est alors imm&#233;diat.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Th&#233;oreme 4 : &lt;/legend&gt;
La conjecture sur les nombres premiers de Fermat est vraie si et seulement si l'&#233;quation &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L100xH31/27ea27139f3cb65527557a1ed6701cc3-41e74.png&quot; style='height:31px;width:100px;vertical-align:middle;' width='100' height='31' alt=&quot;\varphi(2k+1) = 2^n&quot; title=&quot;\varphi(2k+1) = 2^n&quot; class=' format_png' /&gt; n'a pas de solution &#224; partir d'une certaine valeur de n.
Plus pr&#233;cis&#233;ment, seuls les 5 premiers nombres de Fermat sont premiers si et seulement si l'&#233;quation &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L100xH31/27ea27139f3cb65527557a1ed6701cc3-41e74.png&quot; style='height:31px;width:100px;vertical-align:middle;' width='100' height='31' alt=&quot;\varphi(2k+1) = 2^n&quot; title=&quot;\varphi(2k+1) = 2^n&quot; class=' format_png' /&gt; n'a de solutions que si n est strictement inf&#233;rieur &#224; 32.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;Si les nombres premiers de Fermat sont en nombre fini, il ressort du lemme pr&#233;c&#233;dent qu'il y a une nombre fini de sommes de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L20xH31/94ba6b4a64c0d454c28c987c7d289ac2-2d4eb.png&quot; style='height:31px;width:20px;vertical-align:middle;' width='20' height='31' alt=&quot;2^{a_i}&quot; title=&quot;2^{a_i}&quot; class=' format_png' /&gt;, donc un nombre fini de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt;. Si l'on prend le &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt; maximal solution de l'&#233;quation, il n'y a plus de solution &#224; partir de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH29/40b85027598d87611b1c8d5d11e46812-3c350.png&quot; style='height:29px;width:38px;vertical-align:middle;' width='38' height='29' alt=&quot;n+1&quot; title=&quot;n+1&quot; class=' format_png' /&gt;. La r&#233;ciproque est &#233;galement vraie.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Si seuls les 5 premiers nombres de Fermat sont premiers, alors le &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt; maximal est &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L73xH63/b07474d9fe192d571b7ea357b931453c-e1394.png&quot; style='height:63px;width:73px;vertical-align:middle;' width='73' height='63' alt=&quot;\sum_{i=0}^{4} 2^i = 31&quot; title=&quot;\sum_{i=0}^{4} 2^i = 31&quot; class=' format_png' /&gt;.&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Factorisation d'un nombre semi-premier &#224; partir du totient d'Euler</title>
		<link>http://www.pateysoft.fr/Factorisation-d-un-nombre-semi.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Factorisation-d-un-nombre-semi.html</guid>
		<pubDate>2009-01-05T11:13:47Z</pubDate>
		<dc:date>2009-01-05T11:13:47Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-Mathematiques-.html">Math&#233;matiques</category>


		<description>Comment factoriser un nombre semi-premier en connaissant la valeur de son indicatrice d'Euler

-
&lt;a href="http://www.pateysoft.fr/-Mathematiques-.html" rel="directory"&gt;Math&#233;matiques&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;h3 class=&quot;spip&quot;&gt;Introduction&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Les nombres semi-premiers sont utilis&#233;s notamment dans des syst&#232;mes de chiffrement comme RSA. Nous allons ici d&#233;velopper une mani&#232;re simple pour factoriser ces nombres en connaissant la valeur de leur indicatrice d'euler.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Rappel&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Soient &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/7694f4a66316e53c8cdd9d9954bd611d-7de00.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;q&quot; title=&quot;q&quot; class=' format_png' /&gt; deux nombres premiers, et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L14xH23/87567e37a1fe699fe1c5d3a79325da6f-4daeb.png&quot; style='height:23px;width:14px;vertical-align:middle;' width='14' height='23' alt=&quot;\varphi&quot; title=&quot;\varphi&quot; class=' format_png' /&gt; l'indicatrice d'Euler,&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L148xH31/30a6446baf6433e523d064dcd0b9574a-e5acf.png&quot; style='height:31px;width:148px;vertical-align:middle;' width='148' height='31' alt=&quot; \varphi( pq ) = (p-1)(q-1) &quot; title=&quot; \varphi( pq ) = (p-1)(q-1) &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Factorisation&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Soient &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L46xH23/7e9a8ca6fc33dd77a7a9bae3b512f795-f70a2.png&quot; style='height:23px;width:46px;vertical-align:middle;' width='46' height='23' alt=&quot;n = pq&quot; title=&quot;n = pq&quot; class=' format_png' /&gt; et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L65xH31/af058fc941441e6724cb7d4f4fd81fb8-74946.png&quot; style='height:31px;width:65px;vertical-align:middle;' width='65' height='31' alt=&quot;m = \varphi(n)&quot; title=&quot;m = \varphi(n)&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L260xH31/e7678bbdf0979293f1d0ff4a6a71efd0-2147b.png&quot; style='height:31px;width:260px;vertical-align:middle;' width='260' height='31' alt=&quot; n-m = pq - (p-1)(q-1) = p + q - 1 &quot; title=&quot; n-m = pq - (p-1)(q-1) = p + q - 1 &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Soit &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L95xH29/16a6b1f28e49f8e198ebc818720ecbbd-1abd3.png&quot; style='height:29px;width:95px;vertical-align:middle;' width='95' height='29' alt=&quot;a = n - m +1&quot; title=&quot;a = n - m +1&quot; class=' format_png' /&gt;. Alors, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L85xH31/a5320a2b982c19403e85c8612ddd991a-adc6e.png&quot; style='height:31px;width:85px;vertical-align:middle;' width='85' height='31' alt=&quot;(a - p )p = n&quot; title=&quot;(a - p )p = n&quot; class=' format_png' /&gt;. En effet, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L64xH28/749efdcf5fba72cc571b2e9f55e7707b-8cc59.png&quot; style='height:28px;width:64px;vertical-align:middle;' width='64' height='28' alt=&quot;a = p+q&quot; title=&quot;a = p+q&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L213xH35/47b4c7e47b660618bf8d05ea1750443d-3e0df.png&quot; style='height:35px;width:213px;vertical-align:middle;' width='213' height='35' alt=&quot; (a-p)p -n = -p^2 + ap -n = 0 &quot; title=&quot; (a-p)p -n = -p^2 + ap -n = 0 &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Il suffit donc de r&#233;soudre l'&#233;quation du second degr&#233;. Les racines sont&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L124xH56/8489ad42570f26aaad1ae621f66ce803-b7fd1.png&quot; style='height:56px;width:124px;vertical-align:middle;' width='124' height='56' alt=&quot; r_1 = \frac{a - \sqrt{a^2-4n}}{2} &quot; title=&quot; r_1 = \frac{a - \sqrt{a^2-4n}}{2} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L124xH56/2e582031708048c7020a5d2f244e5bdd-625f2.png&quot; style='height:56px;width:124px;vertical-align:middle;' width='124' height='56' alt=&quot; r_2 = \frac{a + \sqrt{a^2-4n}}{2} &quot; title=&quot; r_2 = \frac{a + \sqrt{a^2-4n}}{2} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ainsi, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L43xH23/50ca2ee9fc5faa80c31e8338cb9b305b-4f77b.png&quot; style='height:23px;width:43px;vertical-align:middle;' width='43' height='23' alt=&quot;p = r_1&quot; title=&quot;p = r_1&quot; class=' format_png' /&gt; et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L41xH23/e14c12d3fe5c01341e14b7ee2a97fef7-060dd.png&quot; style='height:23px;width:41px;vertical-align:middle;' width='41' height='23' alt=&quot;q = r_2&quot; title=&quot;q = r_2&quot; class=' format_png' /&gt;.&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Conjecture d'Agoh-Giuga</title>
		<link>http://www.pateysoft.fr/Conjecture-d-Agoh-Giuga.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Conjecture-d-Agoh-Giuga.html</guid>
		<pubDate>2008-06-23T19:44:46Z</pubDate>
		<dc:date>2008-06-23T19:44:46Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-Mathematiques-.html">Math&#233;matiques</category>


		<description>Quelques r&#233;sultats sur la conjecture d'Agoh-Giuga.

-
&lt;a href="http://www.pateysoft.fr/-Mathematiques-.html" rel="directory"&gt;Math&#233;matiques&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;h3 class=&quot;spip&quot;&gt;Enonc&#233; de la conjecture&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;D'apr&#232;s Takashi Agoh et Giuseppe Giuga, un nombre &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; est premier si et seulement si&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L318xH35/5bc5c9cd357c3a4c38f0272e82710691-81215.png&quot; style='height:35px;width:318px;vertical-align:middle;' width='318' height='35' alt=&quot; 1^{p-1}+2^{p-1}+ \cdots +(p-1)^{p-1} \equiv -1 \pmod p\, (1) &quot; title=&quot; 1^{p-1}+2^{p-1}+ \cdots +(p-1)^{p-1} \equiv -1 \pmod p\, (1) &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Nombres de Carmicha&#235;l&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Il est montr&#233; que tout nombre compos&#233; v&#233;rifiant la congruence (1) est un nombre de Carmicha&#235;l.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Soit &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt; un nombre de Carmicha&#235;l. Il a les propri&#233;t&#233;s suivantes :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L173xH31/ca1ba9cf745fb9ab0790c9d4c832ffa9-6f70d.png&quot; style='height:31px;width:173px;vertical-align:middle;' width='173' height='31' alt=&quot; \forall a \in \mathbf{N},\ a^n \equiv a \pmod n\, &quot; title=&quot; \forall a \in \mathbf{N},\ a^n \equiv a \pmod n\, &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt; est sans carr&#233; et pour chaque diviseur premier &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt;,\ &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L36xH29/70ff83728fb2701cbc52fac8df762bf1-274d0.png&quot; style='height:29px;width:36px;vertical-align:middle;' width='36' height='29' alt=&quot;p-1&quot; title=&quot;p-1&quot; class=' format_png' /&gt; divise &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH29/a438673491daae8148eae77373b6a467-f3a3d.png&quot; style='height:29px;width:38px;vertical-align:middle;' width='38' height='29' alt=&quot;n-1&quot; title=&quot;n-1&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Quelques r&#233;sultats&lt;/h3&gt;
&lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 5 : &lt;/legend&gt;
Soit un nombre ne v&#233;rifiant pas la conjecture, alors il peut s'&#233;crire de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L53xH23/6d1cde23041ab51675b2a5805a9a9fbd-b00ba.png&quot; style='height:23px;width:53px;vertical-align:middle;' width='53' height='23' alt=&quot;n = pm&quot; title=&quot;n = pm&quot; class=' format_png' /&gt; avec &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; un nombre premier et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L18xH23/6f8f57715090da2632453988d9a1501b-f3f7a.png&quot; style='height:23px;width:18px;vertical-align:middle;' width='18' height='23' alt=&quot;m&quot; title=&quot;m&quot; class=' format_png' /&gt; un nombre premier avec &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;Alors, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt; est un nombre de Carmicha&#235;l ( voir la proposition 4 de l'article de 1995 d'Agoh ). Les nombres de Carmicha&#235;l sont des nombres sans carr&#233;. Il s'ensuit imm&#233;diatement que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt; peut s'&#233;crire sous la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L25xH23/5109d85d95fece7816d9704e6e5b1279-86e4d.png&quot; style='height:23px;width:25px;vertical-align:middle;' width='25' height='23' alt=&quot;pm&quot; title=&quot;pm&quot; class=' format_png' /&gt; avec &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; un nombre premier et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L18xH23/6f8f57715090da2632453988d9a1501b-f3f7a.png&quot; style='height:23px;width:18px;vertical-align:middle;' width='18' height='23' alt=&quot;m&quot; title=&quot;m&quot; class=' format_png' /&gt; premier avec &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 6 : &lt;/legend&gt; &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L110xH31/59c4d70368ac24f9db6477fcb7f29ff6-bfeb6.png&quot; style='height:31px;width:110px;vertical-align:middle;' width='110' height='31' alt=&quot; m \equiv 1 \pmod {p} &quot; title=&quot; m \equiv 1 \pmod {p} &quot; class=' format_png' /&gt;&lt;/p&gt; &lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;D'apr&#232;s les propri&#233;t&#233;s des nombres de Carmicha&#235;l,&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L191xH31/6db8bd0ce6d6bf7c1ef9641a87aad8af-fb72a.png&quot; style='height:31px;width:191px;vertical-align:middle;' width='191' height='31' alt=&quot; \forall a \in \mathbf{N},\ a^{mp} \equiv a \pmod {mp}\, &quot; title=&quot; \forall a \in \mathbf{N},\ a^{mp} \equiv a \pmod {mp}\, &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Donc la relation de congruence est &#233;galement v&#233;rifi&#233;e modulo &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L179xH31/ec06adc47dd8bd530487e205e64b6331-45048.png&quot; style='height:31px;width:179px;vertical-align:middle;' width='179' height='31' alt=&quot; \forall a \in \mathbf{N},\ a^{mp} \equiv a \pmod {p}\, &quot; title=&quot; \forall a \in \mathbf{N},\ a^{mp} \equiv a \pmod {p}\, &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;De plus, comme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt; v&#233;rifie la congruence (1)&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L350xH35/0a488ca734a92e7c3cc3a1168f8fc626-9c8a1.png&quot; style='height:35px;width:350px;vertical-align:middle;' width='350' height='35' alt=&quot; 1^{mp-1}+2^{mp-1}+ \cdots +(mp-1)^{mp-1} \equiv -1 \pmod {mp}\, &quot; title=&quot; 1^{mp-1}+2^{mp-1}+ \cdots +(mp-1)^{mp-1} \equiv -1 \pmod {mp}\, &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Et la relation de congruence est &#233;galement v&#233;rifi&#233;e modulo &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L359xH35/3e5f4911ca0d6641f78ab97f3a8aa81d-3b0b2.png&quot; style='height:35px;width:359px;vertical-align:middle;' width='359' height='35' alt=&quot; 1^{mp-1}+2^{mp-1}+ \cdots +(mp-1)^{mp-1} \equiv -1 \pmod {p}\, (2) &quot; title=&quot; 1^{mp-1}+2^{mp-1}+ \cdots +(mp-1)^{mp-1} \equiv -1 \pmod {p}\, (2) &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Parmi les nombres entre 1 et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L49xH29/97edccd5b77bb2d229cbf57e403cb090-aa3c5.png&quot; style='height:29px;width:49px;vertical-align:middle;' width='49' height='29' alt=&quot;mp-1&quot; title=&quot;mp-1&quot; class=' format_png' /&gt;, il y en a &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L41xH29/4e3871ed52b5cdb1c75f85329fb472c5-2f941.png&quot; style='height:29px;width:41px;vertical-align:middle;' width='41' height='29' alt=&quot;m-1&quot; title=&quot;m-1&quot; class=' format_png' /&gt; divisibles par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L116xH31/af53e55873ec6dc9ed1d747c031cedb1-79c25.png&quot; style='height:31px;width:116px;vertical-align:middle;' width='116' height='31' alt=&quot;mp-1 -(m-1)&quot; title=&quot;mp-1 -(m-1)&quot; class=' format_png' /&gt; premiers avec &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt;. En effet, les nombres divisibles par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; sont de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L31xH30/cea0a6755913eeccef959f2426ba0dd3-4141e.png&quot; style='height:30px;width:31px;vertical-align:middle;' width='31' height='30' alt=&quot;k{\times}p&quot; title=&quot;k{\times}p&quot; class=' format_png' /&gt; avec &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH30/8ce4b16b22b58894aa86c421e8759df3-7f43a.png&quot; style='height:30px;width:13px;vertical-align:middle;' width='13' height='30' alt=&quot;k&quot; title=&quot;k&quot; class=' format_png' /&gt; un entier naturel entre 1 et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L41xH29/4e3871ed52b5cdb1c75f85329fb472c5-2f941.png&quot; style='height:29px;width:41px;vertical-align:middle;' width='41' height='29' alt=&quot;m-1&quot; title=&quot;m-1&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Comme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L179xH31/ec06adc47dd8bd530487e205e64b6331-45048.png&quot; style='height:31px;width:179px;vertical-align:middle;' width='179' height='31' alt=&quot;\forall a \in \mathbf{N},\ a^{mp} \equiv a \pmod {p}\,&quot; title=&quot;\forall a \in \mathbf{N},\ a^{mp} \equiv a \pmod {p}\,&quot; class=' format_png' /&gt;, alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L66xH31/a8c5931ee5d5514daf11da31b923de87-a9f4d.png&quot; style='height:31px;width:66px;vertical-align:middle;' width='66' height='31' alt=&quot;p | a^{mp}-a&quot; title=&quot;p | a^{mp}-a&quot; class=' format_png' /&gt;, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L118xH35/bb0edfd298fb58d77c80f0bf1816f9e7-33403.png&quot; style='height:35px;width:118px;vertical-align:middle;' width='118' height='35' alt=&quot;p | a\times\left(a^{mp-1}-1\right)&quot; title=&quot;p | a\times\left(a^{mp-1}-1\right)&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; divise &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt;, alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L133xH35/5a1d4ad33c448719d22ec72af7379633-5c55f.png&quot; style='height:35px;width:133px;vertical-align:middle;' width='133' height='35' alt=&quot;a^{mp-1} \equiv 0 \pmod {p}\,&quot; title=&quot;a^{mp-1} \equiv 0 \pmod {p}\,&quot; class=' format_png' /&gt; ( car &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L75xH29/dc4d38547bba9fc89d601ae03625aed1-40f73.png&quot; style='height:29px;width:75px;vertical-align:middle;' width='75' height='29' alt=&quot;mp-1 &amp;gt; 0&quot; title=&quot;mp-1 &amp;gt; 0&quot; class=' format_png' /&gt; )
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; est premier avec &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/0cc175b9c0f1b6a831c399e269772661-bb369.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;a&quot; title=&quot;a&quot; class=' format_png' /&gt;, alors d'apr&#232;s le th&#233;or&#232;me de Gauss, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L78xH35/2970f154a1f117f0694a348e8aaeae55-fcf07.png&quot; style='height:35px;width:78px;vertical-align:middle;' width='78' height='35' alt=&quot;p | a^{mp-1}-1&quot; title=&quot;p | a^{mp-1}-1&quot; class=' format_png' /&gt;, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L133xH35/893abec6a1b6e53ada5ea9260d9c4336-f860a.png&quot; style='height:35px;width:133px;vertical-align:middle;' width='133' height='35' alt=&quot;a^{mp-1} \equiv 1 \pmod {p}\,&quot; title=&quot;a^{mp-1} \equiv 1 \pmod {p}\,&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;En sommant les restes, nous obtenons&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L500xH35/6bf73f839e50e4d234e52f79409f5e36-d3f88.png&quot; style='height:35px;width:500px;vertical-align:middle;' width='500' height='35' alt=&quot; 1^{mp-1}+2^{mp-1}+ \cdots +(mp-1)^{mp-1} \equiv 1\times(mp-m) + 0\times(m-1) \pmod {p}\, &quot; title=&quot; 1^{mp-1}+2^{mp-1}+ \cdots +(mp-1)^{mp-1} \equiv 1\times(mp-m) + 0\times(m-1) \pmod {p}\, &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Donc d'apr&#232;s (2)&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L290xH31/b5f9604dc1f8a30812b988f47b2b206d-15228.png&quot; style='height:31px;width:290px;vertical-align:middle;' width='290' height='31' alt=&quot; 1\times(mp-m) + 0\times(m-1) \equiv -1 \pmod {p}\, &quot; title=&quot; 1\times(mp-m) + 0\times(m-1) \equiv -1 \pmod {p}\, &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ainsi&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L165xH31/b5118ff4c225601ec5f8ae1bdee2362b-ab0b9.png&quot; style='height:31px;width:165px;vertical-align:middle;' width='165' height='31' alt=&quot; m(p-1) \equiv -1 \pmod {p}\, &quot; title=&quot; m(p-1) \equiv -1 \pmod {p}\, &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Donc&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L110xH31/ea541a9b1e7d0f4595393337252d95b2-86bb9.png&quot; style='height:31px;width:110px;vertical-align:middle;' width='110' height='31' alt=&quot; m \equiv 1 \pmod {p}\, &quot; title=&quot; m \equiv 1 \pmod {p}\, &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 7 : &lt;/legend&gt; &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L98xH31/2d7aaa68c45352fe5e8bba61f3c19cad-f99d6.png&quot; style='height:31px;width:98px;vertical-align:middle;' width='98' height='31' alt=&quot; p(p-1) | m-1 &quot; title=&quot; p(p-1) | m-1 &quot; class=' format_png' /&gt;&lt;/p&gt; &lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Comme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L25xH23/5109d85d95fece7816d9704e6e5b1279-86e4d.png&quot; style='height:23px;width:25px;vertical-align:middle;' width='25' height='23' alt=&quot;pm&quot; title=&quot;pm&quot; class=' format_png' /&gt; est un nombre de Carmicha&#235;l, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L79xH31/dd1c862649fae8a2da44e657c630f17c-f96f5.png&quot; style='height:31px;width:79px;vertical-align:middle;' width='79' height='31' alt=&quot;p-1 | m-1&quot; title=&quot;p-1 | m-1&quot; class=' format_png' /&gt;. D'apr&#232;s le lemme pr&#233;c&#233;dent, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L53xH31/6b45be6a50e5cc0ecf0e405c432f0d46-7df19.png&quot; style='height:31px;width:53px;vertical-align:middle;' width='53' height='31' alt=&quot;p | m-1&quot; title=&quot;p | m-1&quot; class=' format_png' /&gt;. Ainsi, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L98xH31/5860182072af322e8de198be4b26c16a-d2a04.png&quot; style='height:31px;width:98px;vertical-align:middle;' width='98' height='31' alt=&quot;p(p-1) |m-1&quot; title=&quot;p(p-1) |m-1&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 8 : &lt;/legend&gt;
Il n'existe aucun contre-exemple de Carmicha&#235;l ne poss&#233;dant que 3 facteurs premiers.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Raisonnons par l'absurde. Si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L54xH23/8a79af9a52c29b540e4bf545afa2f750-46925.png&quot; style='height:23px;width:54px;vertical-align:middle;' width='54' height='23' alt=&quot;n = pqr&quot; title=&quot;n = pqr&quot; class=' format_png' /&gt; avec p, q et r de nombres premiers.
Les nombres de Carmicha&#235;l &#233;tant sans-carr&#233;, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L65xH30/173711c2aecca59f4190fe220eafe0e9-7ff3a.png&quot; style='height:30px;width:65px;vertical-align:middle;' width='65' height='30' alt=&quot;p \not = q \not = r&quot; title=&quot;p \not = q \not = r&quot; class=' format_png' /&gt;.
Prenons &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L65xH25/82c9afa278fa35ae37010e230957e065-80c6a.png&quot; style='height:25px;width:65px;vertical-align:middle;' width='65' height='25' alt=&quot;p &amp;gt; q &amp;gt; r&quot; title=&quot;p &amp;gt; q &amp;gt; r&quot; class=' format_png' /&gt;. D'apr&#232;s la proposition pr&#233;c&#233;dente&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L99xH31/dc670558f03a1b4222eb8785bdbed019-257b3.png&quot; style='height:31px;width:99px;vertical-align:middle;' width='99' height='31' alt=&quot; p(p-1) | qr-1 &quot; title=&quot; p(p-1) | qr-1 &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Or &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L90xH31/84e55166af882c9f27b349d7026418d5-bdc5a.png&quot; style='height:31px;width:90px;vertical-align:middle;' width='90' height='31' alt=&quot;p(p-1) &amp;gt; qr&quot; title=&quot;p(p-1) &amp;gt; qr&quot; class=' format_png' /&gt;. Donc nous obtenons une absurdit&#233;.&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Rendre les m&#233;thodes insensibles &#224; la casse</title>
		<link>http://www.pateysoft.fr/Rendre-les-methodes-insensibles-a.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Rendre-les-methodes-insensibles-a.html</guid>
		<pubDate>2008-06-09T08:27:48Z</pubDate>
		<dc:date>2008-06-09T08:27:48Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-Formations-en-PHP-.html">Formations en PHP</category>


		<description>Voici une m&#233;thode pour rendre les m&#233;thodes des classes insensibles &#224; la casse.

-
&lt;a href="http://www.pateysoft.fr/-Formations-en-PHP-.html" rel="directory"&gt;Formations en PHP&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;h3 class=&quot;spip&quot;&gt;Introduction&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;PHP&lt;/strong&gt; est un sensible &#224; la casse, c'est &#224; dire qu'une m&#233;thode avec une majuscule sera diff&#233;rente d'une m&#233;thode avec une minuscule. Ainsi, le code suivant retournera une erreur :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;tt&gt;&lt;div class='spip_ccode' dir='ltr'&gt;&amp;lt;?php&lt;br /&gt;
class MaClasse {&lt;br /&gt;
&lt;br /&gt; public function maMethode() {&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.echo.php&quot;&gt;echo&lt;/a&gt; &quot;&lt;span class=&quot;quote&quot;&gt;Hello World&lt;/span&gt;&quot;;&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
$objet = new MaClasse();&lt;br /&gt;
&lt;br /&gt;
&lt;span class=&quot;linecomment&quot;&gt;// Code g&#233;n&#233;rant une erreur &#224; cause de la majuscule&lt;/span&gt;&lt;br /&gt;
$objet-&amp;gt;MaMethode();&lt;br /&gt;
?&amp;gt;&lt;/div&gt;&lt;/tt&gt;&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Les fonctions et m&#233;thodes &#224; utiliser&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Pour obtenir notre r&#233;sultat, nous allons avoir recours &#224; une m&#233;thode magique et quelques fonctions que nous allons d&#233;tailler :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; La m&#233;thode &lt;strong class=&quot;spip&quot;&gt;__call()&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Cette m&#233;thode est appel&#233;e lorsque nous faisons appel &#224; une m&#233;thode qui n'existe pas. Elle prends le nom de la m&#233;thode appel&#233;e en param&#232;tre, ainsi qu'un tableau des arguments.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; La fonction &lt;strong class=&quot;spip&quot;&gt;get_class_methods()&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Cette fonction retourne un tableau des m&#233;thodes de l'objet pass&#233; en param&#232;tre ou du nom de la classe.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; La fonction &lt;strong class=&quot;spip&quot;&gt;call_user_func_array()&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Cette fonction tr&#232;s puissante permet d'ex&#233;cuter une m&#233;thode ou une fonction de mani&#232;re dynamique en lui passant en param&#232;tre le nom de la fonction et un tableau de param&#232;tres.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Rendre l'appel des m&#233;thodes insensible &#224; la casse&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Il suffit de combiner les fonction introduites pr&#233;c&#233;demment pour obtenir le r&#233;sultat voulu :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;tt&gt;&lt;div class='spip_ccode' dir='ltr'&gt;&amp;lt;?php&lt;br /&gt;
class MaClasse {&lt;br /&gt;
&lt;br /&gt; public function maMethode() {&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.echo.php&quot;&gt;echo&lt;/a&gt; &quot;&lt;span class=&quot;quote&quot;&gt;Hello World&lt;/span&gt;&quot;;&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; public function __call( $nom, $arguments ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Pour chaque m&#233;thode de la classe&lt;/span&gt;&lt;br /&gt; foreach( get_class_methods( $this ) as $methode ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Si la m&#233;thode est la m&#234;me que celle appel&#233;e&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( &lt;a href=&quot;http://www.php.net/manual/en/function.strtolower.php&quot;&gt;strtolower&lt;/a&gt;( $methode ) == &lt;a href=&quot;http://www.php.net/manual/en/function.strtolower.php&quot;&gt;strtolower&lt;/a&gt;( $nom ) ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Appeler la m&#233;thode dynamiquement&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; call_user_func_array(&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.array.php&quot;&gt;array&lt;/a&gt;( $this, $methode ),&lt;br /&gt; $arguments );&lt;br /&gt; }&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Par d&#233;faut, lancer une erreur&lt;/span&gt;&lt;br /&gt; trigger_error( '&lt;span class=&quot;quote&quot;&gt;M&#233;thode inconnue&lt;/span&gt;', E_USER_ERROR );&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
$objet = new MaClasse();&lt;br /&gt;
&lt;br /&gt;
&lt;span class=&quot;linecomment&quot;&gt;// Code ne g&#233;n&#233;rant pas d'erreur&lt;/span&gt;&lt;br /&gt;
$objet-&amp;gt;MaMethode();&lt;br /&gt;
?&amp;gt;&lt;/div&gt;&lt;/tt&gt;&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Pour aller plus loin&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Il est tout d'abord conseill&#233; de cr&#233;er une classe &lt;strong class=&quot;spip&quot;&gt;Caseless&lt;/strong&gt; ne poss&#233;dant que la m&#233;thode &lt;strong class=&quot;spip&quot;&gt;__call()&lt;/strong&gt; et faire h&#233;riter toutes les classes de cette derni&#232;re.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Il est &#233;galement possible d'imaginer une classe corrigeant les fautes de frappe gr&#226;ce &#224; la fonction &lt;strong class=&quot;spip&quot;&gt;levenshtein()&lt;/strong&gt; qui retourne un entier repr&#233;sentant le nombre d'op&#233;rations &#224; effectuer pour passer d'une cha&#238;ne &#224; une autre.&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Cr&#233;er une grille de Sudoku</title>
		<link>http://www.pateysoft.fr/Creer-une-grille-de-Sudoku.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Creer-une-grille-de-Sudoku.html</guid>
		<pubDate>2008-06-03T17:18:06Z</pubDate>
		<dc:date>2008-06-03T17:18:06Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-Formations-en-Algorithmique-.html">Formations en Algorithmique</category>


		<description>Apprenez &#224; r&#233;aliser une grille de Sudoku dans un langage proc&#233;dural.

-
&lt;a href="http://www.pateysoft.fr/-Formations-en-Algorithmique-.html" rel="directory"&gt;Formations en Algorithmique&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;h3 class=&quot;spip&quot;&gt;Introduction&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Qu'est-ce qu'un sudoku ?&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Un sudoku est un jeu populaire dont le but est de remplir une grille de 9x9 divis&#233;e en carr&#233;s de 3x3 avec des chiffres selon des contraintes tr&#232;s restrictives.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Voici un exemple de grille :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;span class='spip_document_110 spip_documents spip_documents_center' &gt;
&lt;img src='http://www.pateysoft.fr/local/cache-vignettes/L166xH181/grille-2-74440.gif' width='166' height='181' alt=&quot;&quot; style='height:181px;width:166px;' class='' /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Chaque ligne, chaque colonne et chaque carr&#233; de 3x3 ne doit contenir qu'une occurrence de chaque nombre entre 1 et 9. Ainsi, dans la premi&#232;re ligne, il est impossible de placer un 6 dans une des cases vides car la ligne en poss&#232;de d&#233;j&#224; 1.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Les grilles de sudoku sont r&#233;parties en plusieurs niveaux, allant de d&#233;butant &#224; diabolique, selon des crit&#232;res tr&#232;s subjectifs et dont la difficult&#233; de niveau peut varier fortement suivant le fournisseur de grille.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;La cr&#233;ation des sudoku&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Avec la popularisation du jeu, il est devenu tr&#232;s rapidement n&#233;cessaire de trouver des algorithmes pour cr&#233;er automatiquement des grilles afin de r&#233;pondre &#224; la demande toujours croissante. Voici une m&#233;thode assez g&#233;n&#233;rale, &#224; partir de laquelle il est bien entendu possible d'ajouter ses propres subtilit&#233;s pour rendre le jeu plus attractif.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Notre programme est scind&#233; en 2 &#233;tapes : la g&#233;n&#233;ration de la grille compl&#232;te, puis le retrait des chiffres. Cet ordre de cr&#233;ation a &#233;t&#233; choisi pour plusieurs raisons : il est n&#233;cessaire de disposer de la grille de solution afin de satisfaire la curiosit&#233; d'&#233;ventuels joueurs qui n'arriveraient pas &#224; la compl&#233;ter. De plus, il n'est pas possible d'&#244;ter al&#233;atoirement des valeurs de la grille, sous risque de cr&#233;er une grille poss&#233;dant plusieurs solutions. La solution unique est une r&#232;gle d'or de la cr&#233;ation de sudoku, bien que parfois non respect&#233;e.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Afin d'&#233;viter ce probl&#232;me, nous allons baser nos algorithmes de retrait sur le principe fondamental suivant : &#171; Ne retirer que les pi&#232;ces qu'il est possible de retrouver de mani&#232;re certaine par une r&#233;flexion impl&#233;ment&#233;e sous forme algorithmique &#187;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le niveau de difficult&#233; est donc tout simplement g&#233;r&#233; par la complexit&#233; de l'algorithme qui doit v&#233;rifier qu'une pi&#232;ce est retrouvable.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le pr&#233;sent dossier n'a pas pour vocation de cr&#233;er une application de sudoku mais uniquement d'orienter le lecteur vers une m&#233;thode algorithmique qu'il pourra affiner &#224; sa guise. Ainsi, l'affichage de la grille n'est pas g&#233;r&#233;e, de m&#234;me pour l'interaction avec le joueur. Les codes sources propos&#233;s sont programm&#233;s en PHP avec une syntaxe proc&#233;durale en prenant soin d'utiliser des fonctions simples afin de faciliter sa transcription dans d'autres langages.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;G&#233;n&#233;ration de la grille&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Notre premi&#232;re &#233;tape consiste donc &#224; g&#233;n&#233;rer la grille r&#233;sultat. Comment trouver une grille respectant les contraintes du jeu, de mani&#232;re certaine ? Eh bien il n'existe aucun algorithme ne permettant de la g&#233;n&#233;rer de mani&#232;re directe. La solution employ&#233;e par tous est donc l'utilisation d'un algorithme de backtracking.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Introduction au backtracking&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le bactracking ( retour sur trace en Fran&#231;ais ), est un algorithme r&#233;cursif optimis&#233; pour la recherche de solutions avec contraintes, ce qui est pr&#233;cis&#233;ment le cas de la g&#233;n&#233;ration d'une grille de sudoku. Voici un pseudo code g&#233;n&#233;ral le repr&#233;sentant :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;tt&gt;&lt;div class='spip_ccode' dir='ltr'&gt;&amp;lt;?php&lt;br /&gt;
function backtracking( variables ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( toutes les variables sont assign&#233;es ) {&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; variables ;&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; foreach( valeur ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( solution partielle respecte contraintes ) {&lt;br /&gt; solution = backtracking( variables + valeur ) ;&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( solution ) {&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; solution;&lt;br /&gt; }&lt;br /&gt; }&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Si aucune valeur ne respecte les contraintes&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; false ;&lt;br /&gt;
&lt;br /&gt;
}&lt;br /&gt;
?&amp;gt;&lt;/div&gt;&lt;/tt&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;La grande diff&#233;rence entre une recherche de toutes les solutions et la recherche par analyse combinatoire est que celle-ci coupe les branches d&#232;s qu'une solution partielle ne v&#233;rifie pas les contraintes impos&#233;es, et &#233;vite ainsi quantit&#233; de tests inutiles.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Application au cas du Sudoku&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Dans notre cas, nous nous placer successivement &#224; chaque case du jeu, et essayer de placer un num&#233;ro entre 1 &#224; 9, diff&#233;rent des num&#233;ros qui sont dans la m&#234;me ligne, dans la m&#234;me colonne ou dans le m&#234;me carr&#233; que la case. S'il ne reste aucun chiffre possible, alors il faut revenir en arri&#232;re ( d'o&#249; le nom retour sur trace ) et essayer d'autres num&#233;ros dans les cases pr&#233;c&#233;dentes.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Notre fonction va donc prendre en param&#232;tre un une matrice 9x9 impl&#233;ment&#233;e sous forme de tableau. Ce dernier sera vide lors du premier appel &#224; la fonction, puis se remplira petit &#224; petit &#224; chaque appel de r&#233;currence. La fonction retournera soit la matrice contenant la grille g&#233;n&#233;r&#233;e, soit false.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le choix du num&#233;ro &#224; placer doit &#234;tre fait de mani&#232;re al&#233;atoire sans quoi toutes les grilles seraient similaires.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Voici un exemple d'algorithme de g&#233;n&#233;ration de grille :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;tt&gt;&lt;div class='spip_ccode' dir='ltr'&gt;&amp;lt;?php&lt;br /&gt;
function creer_grille( $grille = &lt;a href=&quot;http://www.php.net/manual/en/function.array.php&quot;&gt;array&lt;/a&gt;(), $position = 0 ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Si nous sommes arriv&#233;s &#224; la fin, la grille est trouv&#233;e&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $position == 81 ) {&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; $grille;&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Calculer la ligne et la colonne&lt;/span&gt;&lt;br /&gt; $i = &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;( $position / 9 );&lt;br /&gt; $j = $position % 9;&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Cr&#233;er une liste des nombres de 1 &#224; 9&lt;/span&gt;&lt;br /&gt; $valeurs = &lt;a href=&quot;http://www.php.net/manual/en/function.range.php&quot;&gt;range&lt;/a&gt;( 1, 9 );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Retirer les valeurs d&#233;j&#224; utilis&#233;es&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;for&lt;/span&gt;( $k=0; $k&amp;lt;9; $k++ ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Oter de la liste les nombres de la ligne&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $v = $grille[ $i ][ $k ] ) {&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $valeurs[ $v-1 ] );&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Oter de la liste les nombres de la colonne&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $v = $grille[ $k ][ $j ] ) {&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $valeurs[ $v-1 ] );&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Oter de la liste les nombres du carr&#233;&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $v = $grille[ &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;($i/3)*3 + &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;($k/3) ][ &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;($j/3)*3 + ($k%3) ] ) {&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $valeurs[ $v-1 ] );&lt;br /&gt; }&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Melanger le tableau&lt;/span&gt;&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.shuffle.php&quot;&gt;shuffle&lt;/a&gt;( $valeurs );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Essayer les valeurs restantes jusqu'&#224; trouver la solution&lt;/span&gt;&lt;br /&gt; foreach( $valeurs as $v ) {&lt;br /&gt;
&lt;br /&gt; $grille[$i][$j] = $v;&lt;br /&gt; $resultat = creer_grille( $grille, $position + 1 );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Si on trouve la solution, on la retourne&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $resultat ) {&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; $resultat;&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $grille[$i][$j] );&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Si nous arrivons &#224; la fin de la boucle, aucune grille n'existe&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// avec les valeurs pr&#233;c&#233;dentes&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; false;&lt;br /&gt;
}&lt;br /&gt;
?&amp;gt;&lt;/div&gt;&lt;/tt&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous disposons d&#233;sormais d'une fonction retournant une matrice 9x9 contenant les valeurs de la grille. Il reste d&#233;sormais &#224; retirer des valeurs avec des algorithmes que nous allons d&#233;tailler &#224; la prochaine &#233;tape.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Retrait des valeurs&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Dans cette partie, nous allons d&#233;velopper la fonction qui, &#224; une grille donn&#233;e, va choisir des positions al&#233;atoirement et regarder s'il est possible de les replacer sans ambig&#252;it&#233;. Les fonctions de test seront explicit&#233;es dans la partie suivante.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous allons tester dans un ordre al&#233;atoire successivement toutes les positions pour voir s'il est possible de les retirer. Il est &#233;vident que plus les valeurs sont retir&#233;es, plus il est difficile de retirer des valeurs car pour les retrouver, il faut faire appel &#224; des r&#233;flexions plus complexes.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le nombre de valeurs restantes sera donc fonction de la puissance de l'algorithme de retrait utilis&#233;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Cette fonction va contenir une petite subtilit&#233; : lorsqu'une position est test&#233;e, nous allons tester son image par la sym&#233;trie centrale de centre celui du carr&#233; 9x9, afin de garder une grille &#233;quilibr&#233;e au niveau du retrait des valeurs.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Voici donc une fonction qui va prendre en premier param&#232;tre la grille compl&#232;te de sudoku, puis en second param&#232;tre un tableau de fonctions de retrait de valeurs, que nous d&#233;crirons ensuite.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;tt&gt;&lt;div class='spip_ccode' dir='ltr'&gt;&amp;lt;?php&lt;br /&gt;
function retirer_valeurs( $grille, $tests = &lt;a href=&quot;http://www.php.net/manual/en/function.array.php&quot;&gt;array&lt;/a&gt;() ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Cr&#233;er une liste de toutes les positions&lt;/span&gt;&lt;br /&gt; $positions = &lt;a href=&quot;http://www.php.net/manual/en/function.range.php&quot;&gt;range&lt;/a&gt;( 0, 80 );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Tant que la liste des valeurs &#224; tester n'est pas vide&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;while&lt;/span&gt;( $positions ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Prendre une position au hasard&lt;/span&gt;&lt;br /&gt; $position = array_rand( $positions );&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $positions[ $position ] );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Calculer la ligne et la colonne&lt;/span&gt;&lt;br /&gt; $i = &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;( $position / 9 );&lt;br /&gt; $j = $position % 9;&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Pour chaque test de retrait&lt;/span&gt;&lt;br /&gt; foreach( $tests as $test ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// S'il est possible de retirer la position&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $test( $grille, $i, $j ) ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Supprimer la valeur de la grille&lt;/span&gt;&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $grille[ $i ][ $j ] );&lt;br /&gt; break;&lt;br /&gt; }&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Calculer la ligne et la colonne oppos&#233;es&lt;/span&gt;&lt;br /&gt; $position = 80 - $position;&lt;br /&gt; $i = &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;( $position / 9 );&lt;br /&gt; $j = $position % 9;&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $positions[ $position - 1 ] );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Pour chaque test de retrait&lt;/span&gt;&lt;br /&gt; foreach( $tests as $test ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// S'il est possible de retirer la position&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $test( $grille, $i, $j ) ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Supprimer la valeur de la grille&lt;/span&gt;&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $grille[ $i ][ $j ] );&lt;br /&gt; break;&lt;br /&gt; }&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; $grille;&lt;br /&gt;
}&lt;br /&gt;
?&amp;gt;&lt;/div&gt;&lt;/tt&gt;&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Algorithmes de retrait&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Nous entrons dans le c&#339;ur de la cr&#233;ation des sudoku. Les algorithmes utilis&#233;s dans cette partie d&#233;pendent en grande partie des cr&#233;ateurs de sudoku, chacun gardant jalousement ses secrets de fabrication. Afin de cr&#233;er les algorithmes de retraits, il est n&#233;cessaire de se pencher sur les raisonnements que font un joueur afin de lui-m&#234;me compl&#233;ter la grille.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Beaucoup de raisonnements sont redondants, et il est donc important de diff&#233;rencier les techniques utilis&#233;es. Il est facile de voir si 2 raisonnements sont similaires aux taux de retrait de nombres de la grille finale.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Tous les algorithmes de retrait devront respecter la pseudo-signature suivante :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;tt&gt;&lt;div class='spip_ccode' dir='ltr'&gt;&amp;lt;?php&lt;br /&gt;
bool est_retirable( &lt;a href=&quot;http://www.php.net/manual/en/function.Array.php&quot;&gt;Array&lt;/a&gt;[9][9] grille, int ligne, int colonne )&lt;br /&gt;
?&amp;gt;&lt;/div&gt;&lt;/tt&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Premier raisonnement : les contraintes de placement&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;i class=&quot;spip&quot;&gt;Principe&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le raisonnement au plus bas niveau que va effectuer le joueur va &#234;tre de regarder s'il n'est pas possible de placer des valeurs en se contentant d'appliquer les r&#232;gles du jeu : le nombre ne doit pas d&#233;j&#224; &#234;tre pr&#233;sent dans la ligne, dans la colonne et dans le carr&#233; de 3x3. L'ensemble des valeurs possibles restantes est &#233;gale &#224; 1, alors il peut placer la valeur.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;span class='spip_document_108 spip_documents spip_documents_center' &gt;
&lt;img src='http://www.pateysoft.fr/local/cache-vignettes/L166xH181/raisonnement1-2-6dac7.gif' width='166' height='181' alt=&quot;&quot; style='height:181px;width:166px;' class='' /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Dans l'exemple pr&#233;c&#233;dent, nous voyons qu'il ne reste plus qu'un 2 possible &#224; l'emplacement color&#233; en jaune. Il n'y a donc pas d'ambig&#252;it&#233;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;i class=&quot;spip&quot;&gt;Impl&#233;mentation&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;L'impl&#233;mentation de ce raisonnement est extr&#234;mement simple. Elle est d'ailleurs enti&#232;rement contenue dans la fonction de g&#233;n&#233;ration de la grille.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;tt&gt;&lt;div class='spip_ccode' dir='ltr'&gt;&amp;lt;?php&lt;br /&gt;
function est_retirable_1( $grille, $i, $j ) {&lt;br /&gt;
&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $grille[$i][$j] );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Cr&#233;er une liste des nombres de 1 &#224; 9&lt;/span&gt;&lt;br /&gt; $valeurs = &lt;a href=&quot;http://www.php.net/manual/en/function.range.php&quot;&gt;range&lt;/a&gt;( 1, 9 );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Retirer les valeurs d&#233;j&#224; utilis&#233;es&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;for&lt;/span&gt;( $k=0; $k&amp;lt;9; $k++ ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Oter de la liste les nombres de la ligne&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $v = $grille[ $i ][ $k ] ) {&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $valeurs[ $v-1 ] );&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Oter de la liste les nombres de la colonne&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $v = $grille[ $k ][ $j ] ) {&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $valeurs[ $v-1 ] );&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Oter de la liste les nombres du carr&#233;&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $v = $grille[ $i + &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;($k/3) ][ $j + ($k%3) ] ) {&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $valeurs[ $v-1 ] );&lt;br /&gt; }&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Retourne true s?il ne reste plus qu?une valeur&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.count.php&quot;&gt;count&lt;/a&gt;($valeurs) == 1;&lt;br /&gt;
&lt;br /&gt;
}&lt;br /&gt;
?&amp;gt;&lt;/div&gt;&lt;/tt&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Second raisonnement : les contraintes distantes&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;i class=&quot;spip&quot;&gt;Principe&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le premier raisonnement trouve rapidement ses limites. Il ne faut pas pour autant consid&#233;rer que la valeur ne peut pas &#234;tre retrouv&#233;e facilement. Prenons le cas suivant :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;span class='spip_document_109 spip_documents spip_documents_center' &gt;
&lt;img src='http://www.pateysoft.fr/local/cache-vignettes/L166xH181/raisonnement2-2-16af5.gif' width='166' height='181' alt=&quot;&quot; style='height:181px;width:166px;' class='' /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Etant donn&#233; un carr&#233; de 3x3 et une valeur, si toutes les cases vides du carr&#233; sauf une contiennent la valeur dans la m&#234;me ligne ou la m&#234;me colonne, alors cette valeur se situe forc&#233;ment dans la derni&#232;re case vide.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous voyons que ce raisonnement n'est pas &#233;quivalent au pr&#233;c&#233;dent car le pr&#233;c&#233;dent ne permettait pas de trouver la valeur. En effet, il y restait 1,3,5,6.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;i class=&quot;spip&quot;&gt;Impl&#233;mentation&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;L'impl&#233;mentation du second raisonnement n'est pas non plus tr&#232;s compliqu&#233;e. Connaissant les coordonn&#233;es de la valeur dont on veut tester la non-ambig&#252;it&#233;, il suffit d'effectuer un test d'existence de la valeur dans la ligne et la colonne de toutes les autres cases vides du carr&#233; :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;tt&gt;&lt;div class='spip_ccode' dir='ltr'&gt;&amp;lt;?php&lt;br /&gt;
function est_retirable_2( $grille, $i, $j ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// R&#233;cup&#233;rer la valeur, puis la supprimer&lt;/span&gt;&lt;br /&gt; $valeur = $grille[$i][$j];&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.unset.php&quot;&gt;unset&lt;/a&gt;( $grille[$i][$j] );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Pour chaque position du carr&#233; 3x3&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;for&lt;/span&gt;( $k=0; $k&amp;lt;9; $k++ ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Calculer les coordonn&#233;es courrantes&lt;/span&gt;&lt;br /&gt; $ligne = &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;( $i/3 ) + &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;( $k / 3 );&lt;br /&gt; $colonne = &lt;a href=&quot;http://www.php.net/manual/en/function.floor.php&quot;&gt;floor&lt;/a&gt;( $j/3 ) + ( $k % 3 );&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Si nous sommes dans une case vide diff&#233;rente de la case &#233;tudi&#233;e&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $ligne != $i &amp;&amp; $colonne != $j &amp;&amp; !$grille[$ligne][$colonne] ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// A chaque case de sa ligne ou de sa colonne&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;for&lt;/span&gt;( $l=0; $l&amp;lt;9; $l++ ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Si nous trouvons la valeur&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;if&lt;/span&gt;( $grille[$ligne][$k] == $valeur&lt;br /&gt; || $grille[$k][$colonne] == $valeur ) {&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Sortir de la boucle&lt;/span&gt;&lt;br /&gt; break;&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Si la boucle est termin&#233;e, alors une autre case vide&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// est ambig&#252;e, donc la pi&#232;ce n'est pas retirable&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; false;&lt;br /&gt; }&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// Si toutes les cases vides ont &#233;t&#233; test&#233;es sans retourner false&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;linecomment&quot;&gt;// alors aucune n'est ambig&#252;e&lt;/span&gt;&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;return&lt;/span&gt; true;&lt;br /&gt;
}&lt;br /&gt;
?&amp;gt;&lt;/div&gt;&lt;/tt&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Exemple d'utilisation&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Apr&#232;s avoir vu quelques exemples d'algorithmes de retraits, voici un code permettant de les appeler :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;tt&gt;&lt;div class='spip_ccode' dir='ltr'&gt;&amp;lt;?php&lt;br /&gt;
&lt;span class=&quot;linecomment&quot;&gt;// Cr&#233;er une nouvelle grille&lt;/span&gt;&lt;br /&gt;
$grille_complete = creer_grille();&lt;br /&gt;
&lt;br /&gt;
&lt;span class=&quot;linecomment&quot;&gt;// Lui retirer des valeurs&lt;/span&gt;&lt;br /&gt;
$grille = retirer_valeurs( $grille_complete, &lt;a href=&quot;http://www.php.net/manual/en/function.array.php&quot;&gt;array&lt;/a&gt;( '&lt;span class=&quot;quote&quot;&gt;est_retirable_1&lt;/span&gt;', ?est_retirable_2? ) );&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;span class=&quot;linecomment&quot;&gt;// L'afficher&lt;/span&gt;&lt;br /&gt;
&lt;a href=&quot;http://www.php.net/manual/en/function.echo.php&quot;&gt;echo&lt;/a&gt; '&lt;span class=&quot;quote&quot;&gt;&amp;lt;table&amp;gt;&lt;/span&gt;';&lt;br /&gt;
&lt;br /&gt;
&lt;span class=&quot;category_1&quot;&gt;for&lt;/span&gt;( $i=0; $i&amp;lt;9; $i++ ) {&lt;br /&gt;
&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.echo.php&quot;&gt;echo&lt;/a&gt; '&lt;span class=&quot;quote&quot;&gt;&amp;lt;tr&amp;gt;&lt;/span&gt;';&lt;br /&gt;
&lt;br /&gt; &lt;span class=&quot;category_1&quot;&gt;for&lt;/span&gt;( $j=0; $j&amp;lt;9; $j++ ) {&lt;br /&gt;
&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.echo.php&quot;&gt;echo&lt;/a&gt; '&lt;span class=&quot;quote&quot;&gt;&amp;lt;td&amp;gt;&lt;/span&gt;' . $grille[$i][$j] . '&lt;span class=&quot;quote&quot;&gt;&amp;lt;/td&amp;gt;&lt;/span&gt;';&lt;br /&gt; }&lt;br /&gt;
&lt;br /&gt; &lt;a href=&quot;http://www.php.net/manual/en/function.echo.php&quot;&gt;echo&lt;/a&gt; '&lt;span class=&quot;quote&quot;&gt;&amp;lt;/tr&amp;gt;&lt;/span&gt;';&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
&lt;a href=&quot;http://www.php.net/manual/en/function.echo.php&quot;&gt;echo&lt;/a&gt; '&lt;span class=&quot;quote&quot;&gt;&amp;lt;/table&amp;gt;&lt;/span&gt;';&lt;br /&gt;
?&amp;gt;&lt;/div&gt;&lt;/tt&gt;&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Pour aller plus loin&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;La grille affich&#233;e comportera encore beaucoup trop de valeurs, rendant la grille trop facile. Il est donc n&#233;cessaire de trouver d'autres raisonnements et les impl&#233;menter en PHP. Nous n'&#233;tudierons pas plus de raisonnements car ils deviennent de plus en plus lourds &#224; formaliser, et d'autant plus &#224; impl&#233;menter.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Voici cependant un principe qui fera faire un grand pas dans la complexit&#233; de la grille : Il suffit de cr&#233;er un arbre des d&#233;pendances des valeurs retir&#233;es et dire &#171; si toutes les valeurs de l'arbre de d&#233;pendance sont non-ambig&#252;es, alors consid&#233;rer la valeur racine comme non-ambig&#252;e &#187;. A partir de ce principe, les algorithmes vont &#233;voluer des tests de valeurs existantes &#224; des tests de valeurs non-ambig&#252;es, ce qui va grandement augmenter le taux d'acceptation de retrait.&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Conjecture de Carmichael sur la fonction indicatrice d'Euler</title>
		<link>http://www.pateysoft.fr/Conjecture-de-Carmichael-sur-la.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Conjecture-de-Carmichael-sur-la.html</guid>
		<pubDate>2008-06-01T20:49:22Z</pubDate>
		<dc:date>2008-06-01T20:49:22Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-Mathematiques-.html">Math&#233;matiques</category>


		<description>Quelques r&#233;sultats sur la conjecture de Carmichael &#224; propos du totient d'Euler

-
&lt;a href="http://www.pateysoft.fr/-Mathematiques-.html" rel="directory"&gt;Math&#233;matiques&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;h3 class=&quot;spip&quot;&gt;Pr&#233;sentation de l'indicatrice d'Euler&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;La fonction &lt;a target=&quot;_blank&quot; href=&quot;http://fr.wikipedia.org/wiki/Indicatrice_d'Euler&quot;&gt;indicatrice d'Euler&lt;/a&gt; not&#233;e &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L14xH23/87567e37a1fe699fe1c5d3a79325da6f-4daeb.png&quot; style='height:23px;width:14px;vertical-align:middle;' width='14' height='23' alt=&quot;\varphi&quot; title=&quot;\varphi&quot; class=' format_png' /&gt; associe &#224; tout entier naturel le nombre d'entiers inf&#233;rieurs qui sont premiers avec lui.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;La conjecture de Carmichael stipule que toute image par la fonction indicatrice d'Euler poss&#232;de au moins 2 ant&#233;c&#233;dents. Autrement dit&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L184xH31/e492d8270050409a241108be31c3c5b1-24fe0.png&quot; style='height:31px;width:184px;vertical-align:middle;' width='184' height='31' alt=&quot; \forall m, \exists n\ \mbox{tel que}\ \varphi( m ) = \varphi( n ) &quot; title=&quot; \forall m, \exists n\ \mbox{tel que}\ \varphi( m ) = \varphi( n ) &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Quelques r&#233;sultats&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Nous allons v&#233;rifier la conjecture jusqu'&#224; de grands nombres.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 9 : &lt;/legend&gt;
Le plus petit nombre ne v&#233;rifiant pas la conjecture est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH35/4aed6a4528d30369262628b72f17f44b-7956d.png&quot; style='height:35px;width:15px;vertical-align:middle;' width='15' height='35' alt=&quot;2^2&quot; title=&quot;2^2&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Pour tout nombre premier avec 2 ( donc impair ) &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L90xH31/54ac39001ff5d9eebc2392ed3c944e24-1d61d.png&quot; style='height:31px;width:90px;vertical-align:middle;' width='90' height='31' alt=&quot;\varphi( 2n ) = \varphi( n )&quot; title=&quot;\varphi( 2n ) = \varphi( n )&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 10 : &lt;/legend&gt;
Le plus petit nombre ne v&#233;rifiant pas la conjecture est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L28xH35/7a46fb5db1e51572b0882e5bfe6d94c3-03721.png&quot; style='height:35px;width:28px;vertical-align:middle;' width='28' height='35' alt=&quot;2^23^2&quot; title=&quot;2^23^2&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le plus petit nombre ne v&#233;rifiant pas la conjecture &#233;tant divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH35/4aed6a4528d30369262628b72f17f44b-7956d.png&quot; style='height:35px;width:15px;vertical-align:middle;' width='15' height='35' alt=&quot;2^2&quot; title=&quot;2^2&quot; class=' format_png' /&gt;, il s'&#233;crit de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L25xH35/6dd0c1afd5ee96c41378cd2e2d4c0624-4f80a.png&quot; style='height:35px;width:25px;vertical-align:middle;' width='25' height='35' alt=&quot;2^2k&quot; title=&quot;2^2k&quot; class=' format_png' /&gt;. Si &lt;i class=&quot;spip&quot;&gt;k&lt;/i&gt; est premier avec 3, alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L205xH35/8f87e5cedbe4a365d56f4a530d79ac4c-deec9.png&quot; style='height:35px;width:205px;vertical-align:middle;' width='205' height='35' alt=&quot;\varphi( 3*2k ) = 2\times\varphi( 2k ) = \varphi( 2^2k )&quot; title=&quot;\varphi( 3*2k ) = 2\times\varphi( 2k ) = \varphi( 2^2k )&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 11 : &lt;/legend&gt;
Le plus petit nombre ne v&#233;rifiant pas la conjecture est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L43xH35/7d08370889a6f4ed1e3b782527b5fba5-27249.png&quot; style='height:35px;width:43px;vertical-align:middle;' width='43' height='35' alt=&quot;2^23^27^2&quot; title=&quot;2^23^27^2&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le plus petit nombre ne v&#233;rifiant pas la conjecture &#233;tant divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L28xH35/7a46fb5db1e51572b0882e5bfe6d94c3-03721.png&quot; style='height:35px;width:28px;vertical-align:middle;' width='28' height='35' alt=&quot;2^23^2&quot; title=&quot;2^23^2&quot; class=' format_png' /&gt;, il s'&#233;crit de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L40xH35/928316258d9574f6d76232ed27e0236f-46b2d.png&quot; style='height:35px;width:40px;vertical-align:middle;' width='40' height='35' alt=&quot;2^23^2k&quot; title=&quot;2^23^2k&quot; class=' format_png' /&gt;. Si &lt;i class=&quot;spip&quot;&gt;k&lt;/i&gt; est premier avec 7, alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L260xH35/2ea849ea10108cb4301e17263578699e-c6920.png&quot; style='height:35px;width:260px;vertical-align:middle;' width='260' height='35' alt=&quot;\varphi( 7*2*3k ) = 6\times\varphi( 2*3k ) = \varphi( 2^23^2k )&quot; title=&quot;\varphi( 7*2*3k ) = 6\times\varphi( 2*3k ) = \varphi( 2^23^2k )&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 12 : &lt;/legend&gt;
Le plus petit nombre ne v&#233;rifiant pas la conjecture est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L63xH35/2661ef334586f605ce33ca4fc31116ca-f784a.png&quot; style='height:35px;width:63px;vertical-align:middle;' width='63' height='35' alt=&quot;2^23^27^243^2&quot; title=&quot;2^23^27^243^2&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le plus petit nombre ne v&#233;rifiant pas la conjecture &#233;tant divisible par 4x9x49, il s'&#233;crit de la forme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L53xH35/e03f64fe82db9b4a9c364b0dbe309723-75bef.png&quot; style='height:35px;width:53px;vertical-align:middle;' width='53' height='35' alt=&quot;2^23^27^2k&quot; title=&quot;2^23^27^2k&quot; class=' format_png' /&gt;. Si &lt;i class=&quot;spip&quot;&gt;k&lt;/i&gt; est premier avec 43, alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L333xH35/f468ae02ed9cb076d0cdaf68be4a52be-b6fed.png&quot; style='height:35px;width:333px;vertical-align:middle;' width='333' height='35' alt=&quot;\varphi( 43*7*2*3k ) = 42\times\varphi( 2*3*7k ) = \varphi( 2^23^27^2k )&quot; title=&quot;\varphi( 43*7*2*3k ) = 42\times\varphi( 2*3*7k ) = \varphi( 2^23^27^2k )&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH35/ceb5b9f856969aa160c3659629d8a0e9-faf38.png&quot; style='height:35px;width:15px;vertical-align:middle;' width='15' height='35' alt=&quot;3^3&quot; title=&quot;3^3&quot; class=' format_png' /&gt; divise n&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L98xH43/c388c641a7a4c1e8263df7e4b2ed37be-6f423.png&quot; style='height:43px;width:98px;vertical-align:middle;' width='98' height='43' alt=&quot;\varphi(n) = 3^2\varphi(\frac{n}{3})&quot; title=&quot;\varphi(n) = 3^2\varphi(\frac{n}{3})&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 13 : &lt;/legend&gt;
S'il est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH35/ceb5b9f856969aa160c3659629d8a0e9-faf38.png&quot; style='height:35px;width:15px;vertical-align:middle;' width='15' height='35' alt=&quot;3^3&quot; title=&quot;3^3&quot; class=' format_png' /&gt;, le plus petit nombre ne v&#233;rifiant pas la conjecture est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L145xH35/0f88cc1a37ce770f5b419322ae87f8e8-0de12.png&quot; style='height:35px;width:145px;vertical-align:middle;' width='145' height='35' alt=&quot;2^{2}3^{3}7^{2}19^{2}43^{2}127^{2}5419^{2}&quot; title=&quot;2^{2}3^{3}7^{2}19^{2}43^{2}127^{2}5419^{2}&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;En effet, toujours d'apr&#232;s le m&#234;me principe&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L98xH35/e2770ae542603e9e3e8a89019eedcf0e-a4996.png&quot; style='height:35px;width:98px;vertical-align:middle;' width='98' height='35' alt=&quot;2*3^{2}+1 = 19&quot; title=&quot;2*3^{2}+1 = 19&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L23xH35/54f37c99d435a4b39c24ddb7bc4ce1ff-647b4.png&quot; style='height:35px;width:23px;vertical-align:middle;' width='23' height='35' alt=&quot;19^2&quot; title=&quot;19^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L125xH35/76a9bf35118d7298f6225925e82db394-5d1a1.png&quot; style='height:35px;width:125px;vertical-align:middle;' width='125' height='35' alt=&quot;2*3^{2}*7+1 = 127&quot; title=&quot;2*3^{2}*7+1 = 127&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L30xH35/2f99a095b46ef0b3dfd03df28418b372-b283e.png&quot; style='height:35px;width:30px;vertical-align:middle;' width='30' height='35' alt=&quot;127^2&quot; title=&quot;127^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L163xH35/d6f8164e69428812dca5b5c4a665ba17-b4c09.png&quot; style='height:35px;width:163px;vertical-align:middle;' width='163' height='35' alt=&quot;2*3^{2}*7*43+1 = 5419&quot; title=&quot;2*3^{2}*7*43+1 = 5419&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH35/6b66bddb3e8c0d5fdef043a19494798e-58c6d.png&quot; style='height:35px;width:38px;vertical-align:middle;' width='38' height='35' alt=&quot;5419^2&quot; title=&quot;5419^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 14 : &lt;/legend&gt;
S'il est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH35/ceb5b9f856969aa160c3659629d8a0e9-faf38.png&quot; style='height:35px;width:15px;vertical-align:middle;' width='15' height='35' alt=&quot;3^3&quot; title=&quot;3^3&quot; class=' format_png' /&gt;, le plus petit nombre ne v&#233;rifiant pas la conjecture est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L481xH35/7721780f7314cdd5980038821a694e52-22b4c.png&quot; style='height:35px;width:481px;vertical-align:middle;' width='481' height='35' alt=&quot;2^{2}3^{3}7^{2}19^{2}43^{2}127^{2}2287^{2}5419^{2}101347^{2}304039^{2}78456283^{2}86714839^{2}532676863^{2}&quot; title=&quot;2^{2}3^{3}7^{2}19^{2}43^{2}127^{2}2287^{2}5419^{2}101347^{2}304039^{2}78456283^{2}86714839^{2}532676863^{2}&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L148xH35/139f8949feb92fb51706549c8203b2e7-084ff.png&quot; style='height:35px;width:148px;vertical-align:middle;' width='148' height='35' alt=&quot;2*3^{2}*127+1 = 2287&quot; title=&quot;2*3^{2}*127+1 = 2287&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH35/78988437d5edb293fbf463cacc2e3fc1-437f1.png&quot; style='height:35px;width:38px;vertical-align:middle;' width='38' height='35' alt=&quot;2287^2&quot; title=&quot;2287^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L206xH29/c4259c094dbbe945af9737d111386478-59a91.png&quot; style='height:29px;width:206px;vertical-align:middle;' width='206' height='29' alt=&quot;2*3*7*19*127+1 = 101347&quot; title=&quot;2*3*7*19*127+1 = 101347&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L53xH35/8287244b921086efdf1abc665d51ee40-c01ef.png&quot; style='height:35px;width:53px;vertical-align:middle;' width='53' height='35' alt=&quot;101347^2&quot; title=&quot;101347^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L213xH35/483fc228dc73ab1186867dd92b6b843d-a79a6.png&quot; style='height:35px;width:213px;vertical-align:middle;' width='213' height='35' alt=&quot;2*3^{2}*7*19*127+1 = 304039&quot; title=&quot;2*3^{2}*7*19*127+1 = 304039&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L53xH35/bf7b020a1cf18b548238de3b5d808baa-bdfc8.png&quot; style='height:35px;width:53px;vertical-align:middle;' width='53' height='35' alt=&quot;304039^2&quot; title=&quot;304039^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L243xH29/b241c8f601bbfbf0e884f553ccd10c21-38dea.png&quot; style='height:29px;width:243px;vertical-align:middle;' width='243' height='29' alt=&quot;2*3*19*127*5419+1 = 78456283&quot; title=&quot;2*3*19*127*5419+1 = 78456283&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L66xH35/f45bc9baefb501b31c00aa00c91ffac5-67f0e.png&quot; style='height:35px;width:66px;vertical-align:middle;' width='66' height='35' alt=&quot;78456283^2&quot; title=&quot;78456283^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L243xH35/9cc26bce05bed84c61c5f81500edad06-78d97.png&quot; style='height:35px;width:243px;vertical-align:middle;' width='243' height='35' alt=&quot;2*3^{2}*7*127*5419+1 = 86714839&quot; title=&quot;2*3^{2}*7*127*5419+1 = 86714839&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L66xH35/f8783c192232fbcea07e1e2a3102d5fe-3bb3d.png&quot; style='height:35px;width:66px;vertical-align:middle;' width='66' height='35' alt=&quot;86714839^2&quot; title=&quot;86714839^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L256xH35/b72fc5bc4365098735425d8a3e32b071-8eceb.png&quot; style='height:35px;width:256px;vertical-align:middle;' width='256' height='35' alt=&quot;2*3^{2}*43*127*5419+1 = 532676863&quot; title=&quot;2*3^{2}*43*127*5419+1 = 532676863&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L74xH35/ae74afa8a472b264e142a93de3d291af-7f1c9.png&quot; style='height:35px;width:74px;vertical-align:middle;' width='74' height='35' alt=&quot;532676863^2&quot; title=&quot;532676863^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Un dernier pour la route :&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 15 : &lt;/legend&gt;
S'il est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH35/ceb5b9f856969aa160c3659629d8a0e9-faf38.png&quot; style='height:35px;width:15px;vertical-align:middle;' width='15' height='35' alt=&quot;3^3&quot; title=&quot;3^3&quot; class=' format_png' /&gt;, le plus petit nombre ne v&#233;rifiant pas la conjecture est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L481xH35/7721780f7314cdd5980038821a694e52-22b4c.png&quot; style='height:35px;width:481px;vertical-align:middle;' width='481' height='35' alt=&quot;2^{2}3^{3}7^{2}19^{2}43^{2}127^{2}2287^{2}5419^{2}101347^{2}304039^{2}78456283^{2}86714839^{2}532676863^{2}&quot; title=&quot;2^{2}3^{3}7^{2}19^{2}43^{2}127^{2}2287^{2}5419^{2}101347^{2}304039^{2}78456283^{2}86714839^{2}532676863^{2}&quot; class=' format_png' /&gt;
et par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L323xH35/ae869eda254ccc7f26541cb8e790f48e-07705.png&quot; style='height:35px;width:323px;vertical-align:middle;' width='323' height='35' alt=&quot;3278561457979260561820783603203948493222867^{2}&quot; title=&quot;3278561457979260561820783603203948493222867^{2}&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L498xH35/eb56bdcdeffd7d867f4a1eb634cc105a-34566.png&quot; style='height:35px;width:498px;vertical-align:middle;' width='498' height='35' alt=&quot;2*3^{2}*7*43*5419*101347*304039*78456283*86714839*532676863+1&quot; title=&quot;2*3^{2}*7*43*5419*101347*304039*78456283*86714839*532676863+1&quot; class=' format_png' /&gt;= 3278561457979260561820783603203948493222867&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous allons nous en arr&#234;ter l&#224;.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH35/ceb5b9f856969aa160c3659629d8a0e9-faf38.png&quot; style='height:35px;width:15px;vertical-align:middle;' width='15' height='35' alt=&quot;3^3&quot; title=&quot;3^3&quot; class=' format_png' /&gt; ne divise pas n&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L118xH43/6d1cf976a1e0c49c7fdf08eb95c2fd88-365c1.png&quot; style='height:43px;width:118px;vertical-align:middle;' width='118' height='43' alt=&quot;\varphi(n) = 2\times3\varphi(\frac{n}{3})&quot; title=&quot;\varphi(n) = 2\times3\varphi(\frac{n}{3})&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 16 : &lt;/legend&gt;
S'il n'est pas divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH35/ceb5b9f856969aa160c3659629d8a0e9-faf38.png&quot; style='height:35px;width:15px;vertical-align:middle;' width='15' height='35' alt=&quot;3^3&quot; title=&quot;3^3&quot; class=' format_png' /&gt;, le plus petit nombre ne v&#233;rifiant pas la conjecture est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L118xH35/6d8963896a99cdf09386775471e4d14c-027f6.png&quot; style='height:35px;width:118px;vertical-align:middle;' width='118' height='35' alt=&quot;2^{2}3^{2}7^{2}13^{2}43^{2}3613^{2}&quot; title=&quot;2^{2}3^{2}7^{2}13^{2}43^{2}3613^{2}&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L98xH35/598a15da49865353c779e068a80caa42-7df99.png&quot; style='height:35px;width:98px;vertical-align:middle;' width='98' height='35' alt=&quot;2^2*3+1 = 13&quot; title=&quot;2^2*3+1 = 13&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L23xH35/f13b5362c636dd1b711c35c33db2253b-71971.png&quot; style='height:35px;width:23px;vertical-align:middle;' width='23' height='35' alt=&quot;13^2&quot; title=&quot;13^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L163xH35/2a2f395a8f6152ae9c530240efa4a116-6e8c5.png&quot; style='height:35px;width:163px;vertical-align:middle;' width='163' height='35' alt=&quot;2^2*3*7*43+1 = 3613&quot; title=&quot;2^2*3*7*43+1 = 3613&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH35/8c00d0b5d77e05babe62e3ec5ae72f8b-4f143.png&quot; style='height:35px;width:38px;vertical-align:middle;' width='38' height='35' alt=&quot;3613^2&quot; title=&quot;3613^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 17 : &lt;/legend&gt;
S'il n'est pas divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH35/ceb5b9f856969aa160c3659629d8a0e9-faf38.png&quot; style='height:35px;width:15px;vertical-align:middle;' width='15' height='35' alt=&quot;3^3&quot; title=&quot;3^3&quot; class=' format_png' /&gt;, le plus petit nombre ne v&#233;rifiant pas la conjecture est divisible par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L429xH35/a26460275ad2c1e375a74ad41e034154-a8dd7.png&quot; style='height:35px;width:429px;vertical-align:middle;' width='429' height='35' alt=&quot;2^{2}3^{2}7^{2}13^{2}43^{2}79^{2}157^{2}547^{2}1093^{2}3613^{2}6709^{2}46957^{2}8078669^{2}12118003^{2}&quot; title=&quot;2^{2}3^{2}7^{2}13^{2}43^{2}79^{2}157^{2}547^{2}1093^{2}3613^{2}6709^{2}46957^{2}8078669^{2}12118003^{2}&quot; class=' format_png' /&gt;.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L120xH29/1a0d8259ab3c387c67ddcd2d50579332-02c50.png&quot; style='height:29px;width:120px;vertical-align:middle;' width='120' height='29' alt=&quot;2*3*13+1 = 79&quot; title=&quot;2*3*13+1 = 79&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L23xH35/9e3d237eed72458a48c5a54bb73848fc-8f450.png&quot; style='height:35px;width:23px;vertical-align:middle;' width='23' height='35' alt=&quot;79^2&quot; title=&quot;79^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L133xH35/3ac787002f367f5d9143596f15089f35-82e7a.png&quot; style='height:35px;width:133px;vertical-align:middle;' width='133' height='35' alt=&quot;2^2*3*13+1 = 157&quot; title=&quot;2^2*3*13+1 = 157&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L30xH35/6251fb3771de41306dd0340ef03083a9-eff0c.png&quot; style='height:35px;width:30px;vertical-align:middle;' width='30' height='35' alt=&quot;157^2&quot; title=&quot;157^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L149xH29/1da527dbaceeb47459836f2aa7cc8576-074dc.png&quot; style='height:29px;width:149px;vertical-align:middle;' width='149' height='29' alt=&quot;2*3*7*13+1 = 547&quot; title=&quot;2*3*7*13+1 = 547&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L30xH35/894492a02885a4ecc0584f028560347b-0fa39.png&quot; style='height:35px;width:30px;vertical-align:middle;' width='30' height='35' alt=&quot;547^2&quot; title=&quot;547^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L163xH35/d0e8c5b6cdf8b5cbb9d75748fa424c7f-e1373.png&quot; style='height:35px;width:163px;vertical-align:middle;' width='163' height='35' alt=&quot;2^2*3*7*13+1 = 1093&quot; title=&quot;2^2*3*7*13+1 = 1093&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH35/b561edc183bd61f5a32c1816f476822f-9e698.png&quot; style='height:35px;width:38px;vertical-align:middle;' width='38' height='35' alt=&quot;1093^2&quot; title=&quot;1093^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L169xH35/c7679ede311fa4c23b21972691d31a9e-1c830.png&quot; style='height:35px;width:169px;vertical-align:middle;' width='169' height='35' alt=&quot;2^2*3*13*43+1 = 6709&quot; title=&quot;2^2*3*13*43+1 = 6709&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH35/78fce5adc21ba50245eb0d3d10c5dd66-9a241.png&quot; style='height:35px;width:38px;vertical-align:middle;' width='38' height='35' alt=&quot;6709^2&quot; title=&quot;6709^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L198xH35/eba9b685142bd681dd8ad0092cdddb21-0f369.png&quot; style='height:35px;width:198px;vertical-align:middle;' width='198' height='35' alt=&quot;2^2*3*7*13*43+1 = 46957&quot; title=&quot;2^2*3*7*13*43+1 = 46957&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L45xH35/08e079fe5aa43ebb2f563224fefea615-0178f.png&quot; style='height:35px;width:45px;vertical-align:middle;' width='45' height='35' alt=&quot;46957^2&quot; title=&quot;46957^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L213xH35/c99e32f97e1e900b64bec7d904fc0063-fd768.png&quot; style='height:35px;width:213px;vertical-align:middle;' width='213' height='35' alt=&quot;2^2*13*43*3613+1 = 8078669&quot; title=&quot;2^2*13*43*3613+1 = 8078669&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L60xH35/48d409b138ee68f42825efe42a4a806b-3e580.png&quot; style='height:35px;width:60px;vertical-align:middle;' width='60' height='35' alt=&quot;8078669^2&quot; title=&quot;8078669^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L235xH29/caee3dc48c4c28ca46962381ec6934b1-fd37d.png&quot; style='height:29px;width:235px;vertical-align:middle;' width='235' height='29' alt=&quot;2*3*13*43*3613+1 = 12118003&quot; title=&quot;2*3*13*43*3613+1 = 12118003&quot; class=' format_png' /&gt; est premier, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L66xH35/a48225a7f934b8ae8d0c41380e980b87-327c9.png&quot; style='height:35px;width:66px;vertical-align:middle;' width='66' height='35' alt=&quot;12118003^2&quot; title=&quot;12118003^2&quot; class=' format_png' /&gt; divise &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Conjecture d'Erd&#246;s sur la fonction indicatrice d'Euler</title>
		<link>http://www.pateysoft.fr/Conjecture-d-Erdos-sur-la-fonction.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Conjecture-d-Erdos-sur-la-fonction.html</guid>
		<pubDate>2008-06-01T19:44:12Z</pubDate>
		<dc:date>2008-06-01T19:44:12Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-Mathematiques-.html">Math&#233;matiques</category>


		<description>Quelques r&#233;sultats sur la conjecture d'Erd&#246;s concernant le totient d'Euler.

-
&lt;a href="http://www.pateysoft.fr/-Mathematiques-.html" rel="directory"&gt;Math&#233;matiques&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;h3 class=&quot;spip&quot;&gt;Pr&#233;sentation de l'indicatrice d'Euler&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;La fonction &lt;a target=&quot;_blank&quot; href=&quot;http://fr.wikipedia.org/wiki/Indicatrice_d'Euler&quot;&gt;indicatrice d'Euler&lt;/a&gt; not&#233;e &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L14xH23/87567e37a1fe699fe1c5d3a79325da6f-4daeb.png&quot; style='height:23px;width:14px;vertical-align:middle;' width='14' height='23' alt=&quot;\varphi&quot; title=&quot;\varphi&quot; class=' format_png' /&gt; associe &#224; tout entier naturel le nombre d'entiers inf&#233;rieurs qui sont premiers avec lui.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;D'apr&#232;s Erd&#246;s, pour tout entier naturel &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;, il existe des entiers naturels &lt;i class=&quot;spip&quot;&gt;i&lt;/i&gt; et &lt;i class=&quot;spip&quot;&gt;j&lt;/i&gt; tels que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L113xH31/e7ee6edefaf6db9c1c7b10d91af9822d-acec2.png&quot; style='height:31px;width:113px;vertical-align:middle;' width='113' height='31' alt=&quot;\varphi(i) + \varphi(j) = 2n&quot; title=&quot;\varphi(i) + \varphi(j) = 2n&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;D&#233;monstration sous l'hypoth&#232;se de Goldbach&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Cette conjecture se d&#233;montre trivialement si la conjecture de Goldbach est vraie. Voici pour rappel son &#233;nonc&#233; :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;i class=&quot;spip&quot;&gt;Tout nombre pair sup&#233;rieur &#224; 2 est somme de 2 nombres premiers.&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Alors, pour tout nombre &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt;, il existe 2 nombres premiers &lt;i class=&quot;spip&quot;&gt;p&lt;/i&gt; et &lt;i class=&quot;spip&quot;&gt;q&lt;/i&gt; tels que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L98xH29/8acbea0c33c561b6249018b18b63be87-f0f2a.png&quot; style='height:29px;width:98px;vertical-align:middle;' width='98' height='29' alt=&quot;p+q = 2n+2&quot; title=&quot;p+q = 2n+2&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Alors, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L304xH31/121771410c52cd73f17c1fd0fc8e7751-b7108.png&quot; style='height:31px;width:304px;vertical-align:middle;' width='304' height='31' alt=&quot;\varphi(p) + \varphi(q) = p-1 + q-1 = 2n+2-2 = 2n&quot; title=&quot;\varphi(p) + \varphi(q) = p-1 + q-1 = 2n+2-2 = 2n&quot; class=' format_png' /&gt;. La conjecture d'Erd&#246;s est alors d&#233;montr&#233;e.&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Conjecture de Lehmer sur la fonction indicatrice d'Euler</title>
		<link>http://www.pateysoft.fr/Conjecture-de-Lehmer-sur-la.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Conjecture-de-Lehmer-sur-la.html</guid>
		<pubDate>2008-06-01T16:22:40Z</pubDate>
		<dc:date>2008-06-01T16:22:40Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-Mathematiques-.html">Math&#233;matiques</category>


		<description>Quelques r&#233;sultats sur la conjecture de Lehmer concernant le Totient d'Euler.

-
&lt;a href="http://www.pateysoft.fr/-Mathematiques-.html" rel="directory"&gt;Math&#233;matiques&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;h3 class=&quot;spip&quot;&gt;Pr&#233;sentation de l'indicatrice d'Euler&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;La fonction &lt;a target=&quot;_blank&quot; href=&quot;http://fr.wikipedia.org/wiki/Indicatrice_d'Euler&quot;&gt;indicatrice d'Euler&lt;/a&gt; not&#233;e &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L14xH23/87567e37a1fe699fe1c5d3a79325da6f-4daeb.png&quot; style='height:23px;width:14px;vertical-align:middle;' width='14' height='23' alt=&quot;\varphi&quot; title=&quot;\varphi&quot; class=' format_png' /&gt; associe &#224; tout entier naturel le nombre d'entiers inf&#233;rieurs qui sont premiers avec lui.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;La conjecture de Lehmer stipule que tout entier naturel &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt; est premier si et seulement si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L76xH31/cd96427df070942826fb0d49989dab22-e64bc.png&quot; style='height:31px;width:76px;vertical-align:middle;' width='76' height='31' alt=&quot;n \equiv 1 [ \varphi( n ) ]&quot; title=&quot;n \equiv 1 [ \varphi( n ) ]&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;Quelques r&#233;sultats&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Voici quelques r&#233;sultats personnels sur la conjecture.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 18 : &lt;/legend&gt;
&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L48xH30/18fb37d275aa37ebe7ea902c57060eb7-4085e.png&quot; style='height:30px;width:48px;vertical-align:middle;' width='48' height='30' alt=&quot;\forall n &amp;gt; 2&quot; title=&quot;\forall n &amp;gt; 2&quot; class=' format_png' /&gt;, si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L76xH31/cd96427df070942826fb0d49989dab22-e64bc.png&quot; style='height:31px;width:76px;vertical-align:middle;' width='76' height='31' alt=&quot;n \equiv 1 [ \varphi( n ) ]&quot; title=&quot;n \equiv 1 [ \varphi( n ) ]&quot; class=' format_png' /&gt;, alors &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt; est impair.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L83xH31/48053b98cca55723c117c6982615c414-84ed3.png&quot; style='height:31px;width:83px;vertical-align:middle;' width='83' height='31' alt=&quot;\forall n \geq 3, \varphi(n)&quot; title=&quot;\forall n \geq 3, \varphi(n)&quot; class=' format_png' /&gt; est pair, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L145xH31/671baafbf2277f7b16b62b289108a422-2cb23.png&quot; style='height:31px;width:145px;vertical-align:middle;' width='145' height='31' alt=&quot;n \equiv 1 [ \varphi( n ) ] \Rightarrow 2 | n-1&quot; title=&quot;n \equiv 1 [ \varphi( n ) ] \Rightarrow 2 | n-1&quot; class=' format_png' /&gt;. Il s'ensuit que &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt; est impair.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 19 : &lt;/legend&gt;
&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L48xH30/18fb37d275aa37ebe7ea902c57060eb7-4085e.png&quot; style='height:30px;width:48px;vertical-align:middle;' width='48' height='30' alt=&quot;\forall n &amp;gt; 2&quot; title=&quot;\forall n &amp;gt; 2&quot; class=' format_png' /&gt;, si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L76xH31/cd96427df070942826fb0d49989dab22-e64bc.png&quot; style='height:31px;width:76px;vertical-align:middle;' width='76' height='31' alt=&quot;n \equiv 1 [ \varphi( n ) ]&quot; title=&quot;n \equiv 1 [ \varphi( n ) ]&quot; class=' format_png' /&gt;, alors &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt; est un produit de nombre premiers distincts 2 &#224; 2.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Si &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt; n'est pas un produit de nombre premiers distincts 2 &#224; 2, alors il existe un nombre premier &lt;i class=&quot;spip&quot;&gt;p&lt;/i&gt; tel que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L31xH35/89ae6655224562e019bae4e58bf83dad-c5e5c.png&quot; style='height:35px;width:31px;vertical-align:middle;' width='31' height='35' alt=&quot;p^2 | n&quot; title=&quot;p^2 | n&quot; class=' format_png' /&gt;. Ainsi, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L45xH31/c8d9a17a1490132ab2c8ed643b7a2275-76447.png&quot; style='height:31px;width:45px;vertical-align:middle;' width='45' height='31' alt=&quot;p | \varphi( n )&quot; title=&quot;p | \varphi( n )&quot; class=' format_png' /&gt;, or &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L25xH31/afe83e4dc117f030ef5b071cd3666430-c09f5.png&quot; style='height:31px;width:25px;vertical-align:middle;' width='25' height='31' alt=&quot;p | n&quot; title=&quot;p | n&quot; class=' format_png' /&gt;, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L119xH31/f937edbddc085fbde0c09ab129a02bfa-7d2d7.png&quot; style='height:31px;width:119px;vertical-align:middle;' width='119' height='31' alt=&quot;n \equiv 1 [ \varphi( n ) ] \Rightarrow p | 1&quot; title=&quot;n \equiv 1 [ \varphi( n ) ] \Rightarrow p | 1&quot; class=' format_png' /&gt; ce qui est impossible car &lt;i class=&quot;spip&quot;&gt;p&lt;/i&gt; est premier.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 20 : &lt;/legend&gt;
&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L48xH30/18fb37d275aa37ebe7ea902c57060eb7-4085e.png&quot; style='height:30px;width:48px;vertical-align:middle;' width='48' height='30' alt=&quot;\forall n &amp;gt; 2&quot; title=&quot;\forall n &amp;gt; 2&quot; class=' format_png' /&gt;, si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L76xH31/cd96427df070942826fb0d49989dab22-e64bc.png&quot; style='height:31px;width:76px;vertical-align:middle;' width='76' height='31' alt=&quot;n \equiv 1 [ \varphi( n ) ]&quot; title=&quot;n \equiv 1 [ \varphi( n ) ]&quot; class=' format_png' /&gt;, alors &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt; est n'est pas un produit de 2 nombres premiers.
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Si &lt;i class=&quot;spip&quot;&gt;n&lt;/i&gt; est un produit de 2 nombres premiers &lt;i class=&quot;spip&quot;&gt;p&lt;/i&gt; et &lt;i class=&quot;spip&quot;&gt;q&lt;/i&gt;, comme d'apr&#232;s la proposition pr&#233;c&#233;dente, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L39xH30/5121e838b814ffbc841f1dd87d61072e-22958.png&quot; style='height:30px;width:39px;vertical-align:middle;' width='39' height='30' alt=&quot;p \not = q&quot; title=&quot;p \not = q&quot; class=' format_png' /&gt;, alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L140xH31/8d45f391b9eb2cfba5ca1c719fd469e9-cb0b5.png&quot; style='height:31px;width:140px;vertical-align:middle;' width='140' height='31' alt=&quot;\varphi(n) = (p-1)(q-1)&quot; title=&quot;\varphi(n) = (p-1)(q-1)&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L233xH31/2e43de04a25315ddce3f393a9203f2ad-42b6b.png&quot; style='height:31px;width:233px;vertical-align:middle;' width='233' height='31' alt=&quot;n \equiv 1 [ \varphi( n ) ] \Rightarrow (p-1)(q-1) | pq-1&quot; title=&quot;n \equiv 1 [ \varphi( n ) ] \Rightarrow (p-1)(q-1) | pq-1&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Or &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L288xH31/557010997014ec1c94ad5434b0042ec8-fcfac.png&quot; style='height:31px;width:288px;vertical-align:middle;' width='288' height='31' alt=&quot;pq-1 = (p-1)q + q-1 = (q-1)p + p-1&quot; title=&quot;pq-1 = (p-1)q + q-1 = (q-1)p + p-1&quot; class=' format_png' /&gt;, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L73xH31/89ead9acb61420f61a3e87f5001a2c0d-6727b.png&quot; style='height:31px;width:73px;vertical-align:middle;' width='73' height='31' alt=&quot;p-1 |q-1&quot; title=&quot;p-1 |q-1&quot; class=' format_png' /&gt; et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L73xH31/1f0c834a22194636114c092a4cdca73b-47453.png&quot; style='height:31px;width:73px;vertical-align:middle;' width='73' height='31' alt=&quot;q-1 | p-1&quot; title=&quot;q-1 | p-1&quot; class=' format_png' /&gt;. Il s'ensuit que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L39xH23/135775cf204e9ca61b62e5b1cb21e493-140cd.png&quot; style='height:23px;width:39px;vertical-align:middle;' width='39' height='23' alt=&quot;p = q&quot; title=&quot;p = q&quot; class=' format_png' /&gt;, ce qui est en contradiction avec les hypoth&#232;ses.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Les premi&#232;res propositions nous montrent que les nombres compos&#233;s v&#233;rifiant la relation de congruence sont des nombres de Carmicha&#235;l. Il est d'ailleurs facile de le d&#233;montrer en remarquant que&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L336xH43/33f7898db39a53b39aa0a1de4dcacb9d-5d34a.png&quot; style='height:43px;width:336px;vertical-align:middle;' width='336' height='43' alt=&quot; n \equiv 1\ [ \varphi( n ) ] \Rightarrow \forall a \not = n, a^{n-1} \equiv \left(a^{\varphi(n)}\right)^k \equiv 1^k \equiv 1 \ [ n ] &quot; title=&quot; n \equiv 1\ [ \varphi( n ) ] \Rightarrow \forall a \not = n, a^{n-1} \equiv \left(a^{\varphi(n)}\right)^k \equiv 1^k \equiv 1 \ [ n ] &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Ant&#233;c&#233;dents de 1 par F</title>
		<link>http://www.pateysoft.fr/Nouvel-article.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Nouvel-article.html</guid>
		<pubDate>2008-05-31T14:59:10Z</pubDate>
		<dc:date>2008-05-31T14:59:10Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-La-conjecture-de-Syracuse-.html">La conjecture de Syracuse</category>

		<dc:subject>cours</dc:subject>

		<description>Etude des ant&#233;c&#233;dents de 1 par la fonction de Syracuse

-
&lt;a href="http://www.pateysoft.fr/-La-conjecture-de-Syracuse-.html" rel="directory"&gt;La conjecture de Syracuse&lt;/a&gt;

/ 
&lt;a href="http://www.pateysoft.fr/+-cours-+.html" rel="tag"&gt;cours&lt;/a&gt;

		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;h3 class=&quot;spip&quot;&gt;Ant&#233;c&#233;dents par f&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Dans cette partie, nous allons nous pencher sur les ant&#233;c&#233;dents de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L28xH31/3958e403075e4d377381087cba7b26c8-e7f5c.png&quot; style='height:31px;width:28px;vertical-align:middle;' width='28' height='31' alt=&quot;\{1\}&quot; title=&quot;\{1\}&quot; class=' format_png' /&gt; par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L18xH31/7c0a84a02f05838ce889bd1df533eda4-e00f9.png&quot; style='height:31px;width:18px;vertical-align:middle;' width='18' height='31' alt=&quot;f^p&quot; title=&quot;f^p&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L224xH34/5f761dc66100263108b34e2874ee8dc8-11ae5.png&quot; style='height:34px;width:224px;vertical-align:middle;' width='224' height='34' alt=&quot; \forall p \in \mathbf{N}, x \in f^{-p}(\{1\}) \Rightarrow f^p(x) = 1 &quot; title=&quot; \forall p \in \mathbf{N}, x \in f^{-p}(\{1\}) \Rightarrow f^p(x) = 1 &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;La conjecture de Syracuse est &#233;quivalente &#224; l'&#233;galit&#233; suivante&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L98xH34/f3a4551f22a28a6b9670848005e0d4fa-e204c.png&quot; style='height:34px;width:98px;vertical-align:middle;' width='98' height='34' alt=&quot; f^{-\infty}(\{1\}) = \mathbf{N} &quot; title=&quot; f^{-\infty}(\{1\}) = \mathbf{N} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Du fait de l'existence du cycle trivial, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L85xH35/7ea1a8550d7b6b575e87f72ee009e1f6-4dc83.png&quot; style='height:35px;width:85px;vertical-align:middle;' width='85' height='35' alt=&quot;1 \in f^{-1}(\{1\})&quot; title=&quot;1 \in f^{-1}(\{1\})&quot; class=' format_png' /&gt;. Il en d&#233;coule que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L85xH34/b035261f08cb1e4de5207ff0e8ee91c1-9c4d7.png&quot; style='height:34px;width:85px;vertical-align:middle;' width='85' height='34' alt=&quot;1 \in f^{-p}(\{1\})&quot; title=&quot;1 \in f^{-p}(\{1\})&quot; class=' format_png' /&gt;. Nous obtenons donc la relation d'inclusion suivante :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L300xH34/264ee557a2c0a4467259b65e56b476e7-ed7d9.png&quot; style='height:34px;width:300px;vertical-align:middle;' width='300' height='34' alt=&quot; \forall p \in \mathbf{N}, \forall q \in \mathbf{N}, p &amp;lt; q \Rightarrow f^{-p}(\{1\}) \subset f^{-q}(\{1\}) &quot; title=&quot; \forall p \in \mathbf{N}, \forall q \in \mathbf{N}, p &amp;lt; q \Rightarrow f^{-p}(\{1\}) \subset f^{-q}(\{1\}) &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Les ant&#233;c&#233;dents de \&lt;i class=&quot;spip&quot;&gt;1\&lt;/i&gt; par &lt;i class=&quot;spip&quot;&gt;f&lt;/i&gt; sont relativement simples &#224; trouver : il s'agit des puissances de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/9dd4e461268c8034f5c8564e155c67a6-69c12.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;x&quot; title=&quot;x&quot; class=' format_png' /&gt; tels que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L44xH29/7cd1d0fd99d3246532a2d20f905bc8af-23a67.png&quot; style='height:29px;width:44px;vertical-align:middle;' width='44' height='29' alt=&quot;3x+1&quot; title=&quot;3x+1&quot; class=' format_png' /&gt; est une puissance de 2 :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L270xH35/79adb714fc628c056093039ea9a6ef1d-bc023.png&quot; style='height:35px;width:270px;vertical-align:middle;' width='270' height='35' alt=&quot; f^{-1}(\{1\}) = \{x \in \mathbf{N}, 3x+1 = 2^k, k \in \mathbf{N^*} \} &quot; title=&quot; f^{-1}(\{1\}) = \{x \in \mathbf{N}, 3x+1 = 2^k, k \in \mathbf{N^*} \} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;L'ensemble des &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH30/8ce4b16b22b58894aa86c421e8759df3-7f43a.png&quot; style='height:30px;width:13px;vertical-align:middle;' width='13' height='30' alt=&quot;k&quot; title=&quot;k&quot; class=' format_png' /&gt; tels quel 3 divise &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L43xH35/458a9216b81aa45a64505a870735d44a-5f628.png&quot; style='height:35px;width:43px;vertical-align:middle;' width='43' height='35' alt=&quot;2^k-1&quot; title=&quot;2^k-1&quot; class=' format_png' /&gt; est l'ensemble des nombres pairs. En effet, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L141xH35/f69425bbc96f1e9ad96980742cbedef6-a86e6.png&quot; style='height:35px;width:141px;vertical-align:middle;' width='141' height='35' alt=&quot;3 \mid 2^k-1 \Rightarrow 2^k \equiv 1 [3]&quot; title=&quot;3 \mid 2^k-1 \Rightarrow 2^k \equiv 1 [3]&quot; class=' format_png' /&gt;, or &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L65xH31/5fd633171e792e0d074fc586d7bf6b80-7581d.png&quot; style='height:31px;width:65px;vertical-align:middle;' width='65' height='31' alt=&quot;2 \equiv -1 [3]&quot; title=&quot;2 \equiv -1 [3]&quot; class=' format_png' /&gt;, donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L89xH35/a28a5236adc9578d589bef0a719d65fe-bf275.png&quot; style='height:35px;width:89px;vertical-align:middle;' width='89' height='35' alt=&quot;2^k \equiv (-1)^k [3]&quot; title=&quot;2^k \equiv (-1)^k [3]&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous obtenons donc l'&#233;galit&#233;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L253xH54/271218d134fc39de47de3bd00f332a82-37908.png&quot; style='height:54px;width:253px;vertical-align:middle;' width='253' height='54' alt=&quot; f^{-1}(\{1\}) = \{1\} \cup \left\{\frac{(2^{2k}-1)}{3}, k \in \mathbf{N^*} \right\} &quot; title=&quot; f^{-1}(\{1\}) = \{1\} \cup \left\{\frac{(2^{2k}-1)}{3}, k \in \mathbf{N^*} \right\} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Les ant&#233;c&#233;dents de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L28xH31/3958e403075e4d377381087cba7b26c8-e7f5c.png&quot; style='height:31px;width:28px;vertical-align:middle;' width='28' height='31' alt=&quot;\{1\}&quot; title=&quot;\{1\}&quot; class=' format_png' /&gt; par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L18xH35/fb4f23824ac2741ea310a44278a235b2-1fed0.png&quot; style='height:35px;width:18px;vertical-align:middle;' width='18' height='35' alt=&quot;f^2&quot; title=&quot;f^2&quot; class=' format_png' /&gt; sont, outre les ant&#233;c&#233;dents par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L14xH30/8fa14cdd754f91cc6554c9e71929cce7-35554.png&quot; style='height:30px;width:14px;vertical-align:middle;' width='14' height='30' alt=&quot;f&quot; title=&quot;f&quot; class=' format_png' /&gt;, l'ensemble des &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/9dd4e461268c8034f5c8564e155c67a6-69c12.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;x&quot; title=&quot;x&quot; class=' format_png' /&gt; tels que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L200xH35/b8ce5f35508dc9bfff1f3569fbe58ba0-847c0.png&quot; style='height:35px;width:200px;vertical-align:middle;' width='200' height='35' alt=&quot;3x+1 \in \left\{2^k.f^{-1}(\{1\}), k \in \mathbf{N} \right\}&quot; title=&quot;3x+1 \in \left\{2^k.f^{-1}(\{1\}), k \in \mathbf{N} \right\}&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Par des proc&#233;d&#233;s de calcul similaires, nous obtenons&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L328xH61/60ec37af3d53df96535f40c109e649cc-d82a7.png&quot; style='height:61px;width:328px;vertical-align:middle;' width='328' height='61' alt=&quot; U_1 = \left\{ \frac{ \left(2^{2(3k_1+1)}-1\right)2^{2k_2} - 3}{3^2}, (k_1,k_2) \in \mathbf{N}\times\mathbf{N^{*}} \right\} &quot; title=&quot; U_1 = \left\{ \frac{ \left(2^{2(3k_1+1)}-1\right)2^{2k_2} - 3}{3^2}, (k_1,k_2) \in \mathbf{N}\times\mathbf{N^{*}} \right\} &quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L310xH61/8d2543be9937ea44838250c65d722b71-60146.png&quot; style='height:61px;width:310px;vertical-align:middle;' width='310' height='61' alt=&quot; U_2 = \left\{ \frac{ \left(2^{2(3k_1+2)}-1\right)2^{2k_2+1} - 3}{3^2}, (k_1,k_2) \in \mathbf{N^{2}} \right\} &quot; title=&quot; U_2 = \left\{ \frac{ \left(2^{2(3k_1+2)}-1\right)2^{2k_2+1} - 3}{3^2}, (k_1,k_2) \in \mathbf{N^{2}} \right\} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L200xH35/145c9d216211920a2211d8ae935c858e-48b4c.png&quot; style='height:35px;width:200px;vertical-align:middle;' width='200' height='35' alt=&quot; f^{-2}(\{1\}) = f^{-1}(\{1\}) \cup U_1 \cup U_2 &quot; title=&quot; f^{-2}(\{1\}) = f^{-1}(\{1\}) \cup U_1 \cup U_2 &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;L'expression des ant&#233;c&#233;dents de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L28xH31/3958e403075e4d377381087cba7b26c8-e7f5c.png&quot; style='height:31px;width:28px;vertical-align:middle;' width='28' height='31' alt=&quot;\{1\}&quot; title=&quot;\{1\}&quot; class=' format_png' /&gt; par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L18xH31/7c0a84a02f05838ce889bd1df533eda4-e00f9.png&quot; style='height:31px;width:18px;vertical-align:middle;' width='18' height='31' alt=&quot;f^p&quot; title=&quot;f^p&quot; class=' format_png' /&gt; devient tr&#232;s rapidement compliqu&#233;e. Le nombre de sous-ensembles cro&#238;t avec &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt; car le nombre de variables &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH30/34c1d173d638ceb8fb5bec184c055549-a84f7.png&quot; style='height:30px;width:16px;vertical-align:middle;' width='16' height='30' alt=&quot;k_i&quot; title=&quot;k_i&quot; class=' format_png' /&gt; augmente.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Pour &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH29/77bb5c7bb03f9ee6c797d7cd78790a41-406bf.png&quot; style='height:29px;width:38px;vertical-align:middle;' width='38' height='29' alt=&quot;p = 3&quot; title=&quot;p = 3&quot; class=' format_png' /&gt;, notons&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L206xH58/5eaee277a8082f52538b7b0a62159606-9acbd.png&quot; style='height:58px;width:206px;vertical-align:middle;' width='206' height='58' alt=&quot; U_{a,b,c} = \frac{ \left(\left(2^{a}-1\right)2^{b} - 3\right)2^{c}-3^2}{3^3} &quot; title=&quot; U_{a,b,c} = \frac{ \left(\left(2^{a}-1\right)2^{b} - 3\right)2^{c}-3^2}{3^3} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L475xH71/257f86c9cce678db6d80b7337574f765-072d0.png&quot; style='height:71px;width:475px;vertical-align:middle;' width='475' height='71' alt=&quot; f^{-3}(\{1\}) = f^{-2}(\{1\}) \begin{array}{ll} \cup\ U_{2(3(3k_1)+1), 2(3k_2+1), 2k_3} &amp; \cup\ U_{2(3(3k_1)+1), 2(3k_2+2), 2k_3+1}\\ \cup\ U_{2(3(3k_1+1)+1), 2(3k_2), 2k_3+1} &amp; \cup\ U_{2(3(3k_1+1)+1), 2(3k_2+1), 2k_3}\\ \cup\ U_{2(3(3k_1+2)+1), 2(3k_2),2k_3+1} &amp; \cup\ U_{2(3(3k_1+2)+1), 2(3k_2+2), 2k_3} \end{array} &quot; title=&quot; f^{-3}(\{1\}) = f^{-2}(\{1\}) \begin{array}{ll} \cup\ U_{2(3(3k_1)+1), 2(3k_2+1), 2k_3} &amp; \cup\ U_{2(3(3k_1)+1), 2(3k_2+2), 2k_3+1}\\ \cup\ U_{2(3(3k_1+1)+1), 2(3k_2), 2k_3+1} &amp; \cup\ U_{2(3(3k_1+1)+1), 2(3k_2+1), 2k_3}\\ \cup\ U_{2(3(3k_1+2)+1), 2(3k_2),2k_3+1} &amp; \cup\ U_{2(3(3k_1+2)+1), 2(3k_2+2), 2k_3} \end{array} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Avec les &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH30/34c1d173d638ceb8fb5bec184c055549-a84f7.png&quot; style='height:30px;width:16px;vertical-align:middle;' width='16' height='30' alt=&quot;k_i&quot; title=&quot;k_i&quot; class=' format_png' /&gt; d&#233;crivant &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH30/e267168cfe25856bc464ef028d51fdb3-4299b.png&quot; style='height:30px;width:15px;vertical-align:middle;' width='15' height='30' alt=&quot;\mathbf{N}&quot; title=&quot;\mathbf{N}&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Il est possible de g&#233;n&#233;raliser l'&#233;galit&#233; pour tout &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt;, mais nous ne le ferons pas car la formule g&#233;n&#233;rale est tr&#232;s peu lisible et n'apporte pas d'&#233;l&#233;ment remarquable permettant d'esp&#233;rer obtenir de nouveaux outils pour d&#233;montrer la conjecture.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ces r&#233;sultats ne sont pas tout &#224; fait inutiles, car nous pouvons en d&#233;duire que les &#233;quations diophantiennes obtenues &#224; partir des &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L60xH34/0605222bb4ed3a324aa120f4b42bb610-e34b4.png&quot; style='height:34px;width:60px;vertical-align:middle;' width='60' height='34' alt=&quot;f^{-p}(\{1\})&quot; title=&quot;f^{-p}(\{1\})&quot; class=' format_png' /&gt; n'ont pas &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH30/e267168cfe25856bc464ef028d51fdb3-4299b.png&quot; style='height:30px;width:15px;vertical-align:middle;' width='15' height='30' alt=&quot;\mathbf{N}&quot; title=&quot;\mathbf{N}&quot; class=' format_png' /&gt; pour solution, car en cas contraire, l'ensemble des nombres de termes impairs de la suite de Syracuse serait major&#233; par &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH23/83878c91171338902e0fe0fb97a8c47a-8a4bc.png&quot; style='height:23px;width:11px;vertical-align:middle;' width='11' height='23' alt=&quot;p&quot; title=&quot;p&quot; class=' format_png' /&gt;.&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Longueur minimale des cycles</title>
		<link>http://www.pateysoft.fr/Longueur-minimale-des-cycles.html</link>
		<guid isPermaLink="true">http://www.pateysoft.fr/Longueur-minimale-des-cycles.html</guid>
		<pubDate>2008-05-31T14:41:04Z</pubDate>
		<dc:date>2008-05-31T14:41:04Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Ludovic PATEY</dc:creator>

<category domain="http://www.pateysoft.fr/-La-conjecture-de-Syracuse-.html">La conjecture de Syracuse</category>

		<dc:subject>cours</dc:subject>

		<description>Nous allons ici mettre en relation la longueur minimale des cycles non-triviaux de Syracuse et la v&#233;rification empirique de la conjecture.

-
&lt;a href="http://www.pateysoft.fr/-La-conjecture-de-Syracuse-.html" rel="directory"&gt;La conjecture de Syracuse&lt;/a&gt;

/ 
&lt;a href="http://www.pateysoft.fr/+-cours-+.html" rel="tag"&gt;cours&lt;/a&gt;

		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;h3 class=&quot;spip&quot;&gt;Longueur minimale des cycles de Syracuse&lt;/h3&gt;
&lt;p class=&quot;spip&quot;&gt;Le but est de trouver une expression de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH31/a99a7f65ee2c06fabbbffc6222d988cd-a1156.png&quot; style='height:31px;width:38px;vertical-align:middle;' width='38' height='31' alt=&quot;M(k)&quot; title=&quot;M(k)&quot; class=' format_png' /&gt; tel que si tous les entiers naturels inf&#233;rieurs &#224; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH31/a99a7f65ee2c06fabbbffc6222d988cd-a1156.png&quot; style='height:31px;width:38px;vertical-align:middle;' width='38' height='31' alt=&quot;M(k)&quot; title=&quot;M(k)&quot; class=' format_png' /&gt; v&#233;rifient la conjecture de Syracuse, alors il n'existe pas de suite p&#233;riodique non triviale de p&#233;riode &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH30/8ce4b16b22b58894aa86c421e8759df3-7f43a.png&quot; style='height:30px;width:13px;vertical-align:middle;' width='13' height='30' alt=&quot;k&quot; title=&quot;k&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Autrement dit, soit &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L9xH30/2fa48b556a60134aca6a409f2e6c60b4-9fc9b.png&quot; style='height:30px;width:9px;vertical-align:middle;' width='9' height='30' alt=&quot;\mathbf{I}&quot; title=&quot;\mathbf{I}&quot; class=' format_png' /&gt; l'ensemble des entiers naturels impairs &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L373xH31/d9862ef47fe41efe102c5897809c2dbb-a67cd.png&quot; style='height:31px;width:373px;vertical-align:middle;' width='373' height='31' alt=&quot; [\forall u_0 \in \mathbf{I} / u_0 \leq M(k), \exists n \in \mathbf{N} / u_n = 1 ] \Rightarrow [\forall u_0 \in \mathbf{I}, u_k \not = u_0] &quot; title=&quot; [\forall u_0 \in \mathbf{I} / u_0 \leq M(k), \exists n \in \mathbf{N} / u_n = 1 ] \Rightarrow [\forall u_0 \in \mathbf{I}, u_k \not = u_0] &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 21 : &lt;/legend&gt;
&lt;p class=&quot;spip&quot;&gt;Soit &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L14xH30/8fa14cdd754f91cc6554c9e71929cce7-35554.png&quot; style='height:30px;width:14px;vertical-align:middle;' width='14' height='30' alt=&quot;f&quot; title=&quot;f&quot; class=' format_png' /&gt; une fonction de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L24xH31/553dde3c6df72dc3adb2120082241d5d-98177.png&quot; style='height:31px;width:24px;vertical-align:middle;' width='24' height='31' alt=&quot;\mathbf{N}^n&quot; title=&quot;\mathbf{N}^n&quot; class=' format_png' /&gt; dans &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH30/e267168cfe25856bc464ef028d51fdb3-4299b.png&quot; style='height:30px;width:15px;vertical-align:middle;' width='15' height='30' alt=&quot;\mathbf{N}&quot; title=&quot;\mathbf{N}&quot; class=' format_png' /&gt; telle que &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L318xH31/cb29ea2b5ef85e7b677faee0b0b2d8ec-46579.png&quot; style='height:31px;width:318px;vertical-align:middle;' width='318' height='31' alt=&quot; \forall (a_1,a_2,..,a_n) \in \mathbf{N}^n, \forall (i,j)\ \mbox{tel que}\ 1 \leq i \leq j \leq n &quot; title=&quot; \forall (a_1,a_2,..,a_n) \in \mathbf{N}^n, \forall (i,j)\ \mbox{tel que}\ 1 \leq i \leq j \leq n &quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L438xH53/283705b2abd961e8fbac0074179cc53b-f0550.png&quot; style='height:53px;width:438px;vertical-align:middle;' width='438' height='53' alt=&quot;\left\{\begin{array}{lr} f(a_1,a_2,..,a_i+1, .., a_n) &amp;lt; f(a_1,a_2,..,a_i, .., a_n) &amp; (1)\\ f(a_1,a_2,..,a_i+1, .., a_j, .., a_n) &amp;gt; f(a_1,a_2,..,a_i, .. ,a_j+1, .., a_n) &amp; (2) \end{array} \right. &quot; title=&quot;\left\{\begin{array}{lr} f(a_1,a_2,..,a_i+1, .., a_n) &amp;lt; f(a_1,a_2,..,a_i, .., a_n) &amp; (1)\\ f(a_1,a_2,..,a_i+1, .., a_j, .., a_n) &amp;gt; f(a_1,a_2,..,a_i, .. ,a_j+1, .., a_n) &amp; (2) \end{array} \right. &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le maximum de la fonction tel que la contrainte &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L68xH59/1f5a6855c8e4b90748d3bf09208a4848-a0fb2.png&quot; style='height:59px;width:68px;vertical-align:middle;' width='68' height='59' alt=&quot;\sum_{i=1}^{n} a_i \geq k&quot; title=&quot;\sum_{i=1}^{n} a_i \geq k&quot; class=' format_png' /&gt; soit v&#233;rifi&#233;e est atteint pour &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L170xH31/f3bc851a51bdac19c9527b4ab85b18fc-781e7.png&quot; style='height:31px;width:170px;vertical-align:middle;' width='170' height='31' alt=&quot;( a_1,a_2,..,a_n ) = ( k, 0, ..., 0 )&quot; title=&quot;( a_1,a_2,..,a_n ) = ( k, 0, ..., 0 )&quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt; D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;L'expression (1) traduit simplement le fait que la fonction atteigne son maximum
pour &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L88xH31/ad5faeb470b5752859a80beaee3f1419-b6606.png&quot; style='height:31px;width:88px;vertical-align:middle;' width='88' height='31' alt=&quot;(a_1,a_2,...,a_n)&quot; title=&quot;(a_1,a_2,...,a_n)&quot; class=' format_png' /&gt; = &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L68xH31/772e756716a8faa7eca796b098e0b079-1fdc7.png&quot; style='height:31px;width:68px;vertical-align:middle;' width='68' height='31' alt=&quot;(0,0,...,0)&quot; title=&quot;(0,0,...,0)&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;L'expression (2) traduit le fait que l'accroissement de variable &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH23/027c3429f98f7c39bab027549e1b9c7b-e87f7.png&quot; style='height:23px;width:15px;vertical-align:middle;' width='15' height='23' alt=&quot;a_1&quot; title=&quot;a_1&quot; class=' format_png' /&gt; fait d&#233;cro&#238;tre moins rapidement
la fonction que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH23/30c872662b356aa720d1971361b45724-82469.png&quot; style='height:23px;width:15px;vertical-align:middle;' width='15' height='23' alt=&quot;a_2&quot; title=&quot;a_2&quot; class=' format_png' /&gt;, elle m&#234;me moins que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH23/48b0c0899579ff296e9e96c6ef9e4c4d-0753d.png&quot; style='height:23px;width:15px;vertical-align:middle;' width='15' height='23' alt=&quot;a_3&quot; title=&quot;a_3&quot; class=' format_png' /&gt;... jusqu'&#224; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L18xH23/825b3fd5bafbc46b9a560ea9f16b21dd-2a276.png&quot; style='height:23px;width:18px;vertical-align:middle;' width='18' height='23' alt=&quot;a_n&quot; title=&quot;a_n&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Raisonnons par l'absurde.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;S'il au moins &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L10xH30/865c0c0b4ab0e063e5caa3387c1a8741-7e531.png&quot; style='height:30px;width:10px;vertical-align:middle;' width='10' height='30' alt=&quot;i&quot; title=&quot;i&quot; class=' format_png' /&gt; diff&#233;rent de 1 tel que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L41xH30/502e51388c1da24e8bfc28ff1fb431a3-5518d.png&quot; style='height:30px;width:41px;vertical-align:middle;' width='41' height='30' alt=&quot;a_i \not = 0&quot; title=&quot;a_i \not = 0&quot; class=' format_png' /&gt; et le maximum est atteint pour le nuplet &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L88xH31/ad5faeb470b5752859a80beaee3f1419-b6606.png&quot; style='height:31px;width:88px;vertical-align:middle;' width='88' height='31' alt=&quot;(a_1,a_2,...,a_n)&quot; title=&quot;(a_1,a_2,...,a_n)&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Alors, prenons &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L81xH38/6de7f30da161c6e95b7764f7ec6331cc-99a88.png&quot; style='height:38px;width:81px;vertical-align:middle;' width='81' height='38' alt=&quot;a^{'}_1 = a_1 + a_i&quot; title=&quot;a^{'}_1 = a_1 + a_i&quot; class=' format_png' /&gt; et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L41xH38/6274d87b1143bea4dfaaea5282319662-ef341.png&quot; style='height:38px;width:41px;vertical-align:middle;' width='41' height='38' alt=&quot;a^{'}_i = 0&quot; title=&quot;a^{'}_i = 0&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;D'apr&#232;s (2), &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L270xH38/0650c10c17d34729325594c6f24267cf-388ec.png&quot; style='height:38px;width:270px;vertical-align:middle;' width='270' height='38' alt=&quot;f( a^{'}_1, a_2,.., a^{'}_i,..,a_n ) &amp;gt; f( a_1, a_2,.., a_i,..,a_n )&quot; title=&quot;f( a^{'}_1, a_2,.., a^{'}_i,..,a_n ) &amp;gt; f( a_1, a_2,.., a_i,..,a_n )&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;et &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L373xH38/291f12bada87b48a2d7efdd98cc6f387-76acb.png&quot; style='height:38px;width:373px;vertical-align:middle;' width='373' height='38' alt=&quot;a^{'}_1 + a_2 + .. + a^{'}_i + .. + a_n = a_1 + a_2 +..+ a_i +..+ a_n \geq k&quot; title=&quot;a^{'}_1 + a_2 + .. + a^{'}_i + .. + a_n = a_1 + a_2 +..+ a_i +..+ a_n \geq k&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ainsi, le maximum n'&#233;tait pas atteint pour ce nuplet, donc le nuplet pour lequel le maximum est atteint
est &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L69xH31/eaf02b5faf0ea0bf88d76e6258b288dc-96a4b.png&quot; style='height:31px;width:69px;vertical-align:middle;' width='69' height='31' alt=&quot;(k,0,...,0)&quot; title=&quot;(k,0,...,0)&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous nommerons &#171; fonction de la forme F1 &#187; toute fonction v&#233;rifiant les conditions pr&#233;c&#233;dentes.&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 22 : &lt;/legend&gt;
&lt;p class=&quot;spip&quot;&gt;Si la suite &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L30xH31/cd56535cf7de5420ea670ce19ff77409-a2be2.png&quot; style='height:31px;width:30px;vertical-align:middle;' width='30' height='31' alt=&quot;(u_n)&quot; title=&quot;(u_n)&quot; class=' format_png' /&gt; et p&#233;riodique de p&#233;riode &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt;, alors &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/d526fcdf9b10529b54820f729dbb25f4-c814a.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;u_0&quot; title=&quot;u_0&quot; class=' format_png' /&gt; v&#233;rifie l'&#233;galit&#233; suivante : &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L240xH63/d8743831bb23a90c9aea6c103aca329b-54313.png&quot; style='height:63px;width:240px;vertical-align:middle;' width='240' height='63' alt=&quot; u_0 = \sum_{i=0}^{n-1} \frac{3^{i}}{\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} &quot; title=&quot; u_0 = \sum_{i=0}^{n-1} \frac{3^{i}}{\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt; D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Reprenons l'&#233;galit&#233; (3) de l'&#233;tude de la suite &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L29xH31/15b4f8f00c591228cb92f88164bdc3a3-f304e.png&quot; style='height:31px;width:29px;vertical-align:middle;' width='29' height='31' alt=&quot;(a_n)&quot; title=&quot;(a_n)&quot; class=' format_png' /&gt;. &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/d526fcdf9b10529b54820f729dbb25f4-c814a.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;u_0&quot; title=&quot;u_0&quot; class=' format_png' /&gt; v&#233;rifie l'&#233;galit&#233; suivante :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L234xH63/3af862ebbcb2cbb7fa6b136e6812a2b5-c7cec.png&quot; style='height:63px;width:234px;vertical-align:middle;' width='234' height='63' alt=&quot; u_0\left(1-\frac{3^n}{\prod_{i=1}^{n} 2^{a_i}}\right) = \sum_{i=0}^{n-1} \frac{3^{i}}{\prod_{j=0}^{i} 2^{a_{n-j}}} &quot; title=&quot; u_0\left(1-\frac{3^n}{\prod_{i=1}^{n} 2^{a_i}}\right) = \sum_{i=0}^{n-1} \frac{3^{i}}{\prod_{j=0}^{i} 2^{a_{n-j}}} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;En isolant &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/d526fcdf9b10529b54820f729dbb25f4-c814a.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;u_0&quot; title=&quot;u_0&quot; class=' format_png' /&gt;, l'&#233;quation devient &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L240xH63/d8743831bb23a90c9aea6c103aca329b-54313.png&quot; style='height:63px;width:240px;vertical-align:middle;' width='240' height='63' alt=&quot; u_0 = \sum_{i=0}^{n-1} \frac{3^{i}}{\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} &quot; title=&quot; u_0 = \sum_{i=0}^{n-1} \frac{3^{i}}{\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 23 : &lt;/legend&gt;
Les variables &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/2aecb1dc57e87620a373d19b0a889efb-43841.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_i&quot; title=&quot;a_i&quot; class=' format_png' /&gt; sont des entiers naturels strictements positifs tels que
&lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L166xH50/43956477aa8eb68a6e44a85c40b7ddab-a37a7.png&quot; style='height:50px;width:166px;vertical-align:middle;' width='166' height='50' alt=&quot; a_0 + a_1 + ... + a_n &amp;gt; \frac{n\ln 3}{\ln 2} &quot; title=&quot; a_0 + a_1 + ... + a_n &amp;gt; \frac{n\ln 3}{\ln 2} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt; D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Sachant que tous les termes de la suite &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L30xH31/cd56535cf7de5420ea670ce19ff77409-a2be2.png&quot; style='height:31px;width:30px;vertical-align:middle;' width='30' height='31' alt=&quot;(u_n)&quot; title=&quot;(u_n)&quot; class=' format_png' /&gt; sont impairs, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L50xH29/6fc6f5de914a29e78c0eef192eaa13c5-b8f46.png&quot; style='height:29px;width:50px;vertical-align:middle;' width='50' height='29' alt=&quot;3u_n+1&quot; title=&quot;3u_n+1&quot; class=' format_png' /&gt; est pair, donc les &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/2aecb1dc57e87620a373d19b0a889efb-43841.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_i&quot; title=&quot;a_i&quot; class=' format_png' /&gt; sont strictement positifs, donc minor&#233;s par 1.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/d526fcdf9b10529b54820f729dbb25f4-c814a.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;u_0&quot; title=&quot;u_0&quot; class=' format_png' /&gt; &#233;tant positif, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L105xH53/4b42799359447975277e32fa1608f208-77929.png&quot; style='height:53px;width:105px;vertical-align:middle;' width='105' height='53' alt=&quot;\left(1-\frac{3^n}{\prod_{i=0}^{n} 2^{a_i}}\right)&quot; title=&quot;\left(1-\frac{3^n}{\prod_{i=0}^{n} 2^{a_i}}\right)&quot; class=' format_png' /&gt; doit l'&#234;tre &#233;galement.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ainsi, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L100xH61/6e572144012aab4a46c26618362fe078-5cd84.png&quot; style='height:61px;width:100px;vertical-align:middle;' width='100' height='61' alt=&quot;\left(\prod_{i=1}^{n} 2^{a_i} &amp;gt; 3^n\right)&quot; title=&quot;\left(\prod_{i=1}^{n} 2^{a_i} &amp;gt; 3^n\right)&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ou autrement dit &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L200xH31/814610c506cfa25b7692e57ef537e671-61a88.png&quot; style='height:31px;width:200px;vertical-align:middle;' width='200' height='31' alt=&quot;(a_1 + a_2 + ... + a_n)\ln 2 &amp;gt; n\ln 3&quot; title=&quot;(a_1 + a_2 + ... + a_n)\ln 2 &amp;gt; n\ln 3&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;D'o&#249; le r&#233;sultat de la proposition&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Proposition 24 : &lt;/legend&gt;
Le terme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/d526fcdf9b10529b54820f729dbb25f4-c814a.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;u_0&quot; title=&quot;u_0&quot; class=' format_png' /&gt; atteint son maximum pour &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L278xH53/eb4904f3a7ccdbe6157fd6a6da1d8e29-46fbc.png&quot; style='height:53px;width:278px;vertical-align:middle;' width='278' height='53' alt=&quot;( a_1, a_2,..., a_n) = \left([\frac{n\ln 3}{\ln 2}]-n+2, 1, ...., 1 \right)&quot; title=&quot;( a_1, a_2,..., a_n) = \left([\frac{n\ln 3}{\ln 2}]-n+2, 1, ...., 1 \right)&quot; class=' format_png' /&gt;
&lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt; D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Etant donn&#233; que le nombre &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L13xH23/7b8b965ad4bca0e41ab51de7b31363a1-2c309.png&quot; style='height:23px;width:13px;vertical-align:middle;' width='13' height='23' alt=&quot;n&quot; title=&quot;n&quot; class=' format_png' /&gt; est fix&#233;, si un des &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/2aecb1dc57e87620a373d19b0a889efb-43841.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_i&quot; title=&quot;a_i&quot; class=' format_png' /&gt; cro&#238;t, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L109xH61/5b3061cd0fd1df088ac17089b3456e8f-b6a4e.png&quot; style='height:61px;width:109px;vertical-align:middle;' width='109' height='61' alt=&quot;\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)&quot; title=&quot;\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)&quot; class=' format_png' /&gt; cro&#238;t &#233;galement ainsi que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L80xH63/02b067bd9f7b47fbc7e3e228ec7851dd-95fc9.png&quot; style='height:63px;width:80px;vertical-align:middle;' width='80' height='63' alt=&quot;\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)&quot; title=&quot;\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;D'autre part, si &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH30/363b122c528f54df4a0446b6bab05515-19c7d.png&quot; style='height:30px;width:11px;vertical-align:middle;' width='11' height='30' alt=&quot;j&quot; title=&quot;j&quot; class=' format_png' /&gt; est sup&#233;rieur &#224; &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L10xH30/865c0c0b4ab0e063e5caa3387c1a8741-7e531.png&quot; style='height:30px;width:10px;vertical-align:middle;' width='10' height='30' alt=&quot;i&quot; title=&quot;i&quot; class=' format_png' /&gt;, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/e045635af82f8f48986a6e931cb70b8f-c3000.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_j&quot; title=&quot;a_j&quot; class=' format_png' /&gt; fait d&#233;cro&#238;tre &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L19xH23/e301b858ad29df0b2122b1109658cbfe-f4ba2.png&quot; style='height:23px;width:19px;vertical-align:middle;' width='19' height='23' alt=&quot;u_n&quot; title=&quot;u_n&quot; class=' format_png' /&gt; plus rapidement que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/2aecb1dc57e87620a373d19b0a889efb-43841.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_i&quot; title=&quot;a_i&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;En effet, d'apr&#232;s l'&#233;galit&#233; (3) de l'&#233;tude de la suite &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L29xH31/15b4f8f00c591228cb92f88164bdc3a3-f304e.png&quot; style='height:31px;width:29px;vertical-align:middle;' width='29' height='31' alt=&quot;(a_n)&quot; title=&quot;(a_n)&quot; class=' format_png' /&gt;, la partie &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L80xH63/02b067bd9f7b47fbc7e3e228ec7851dd-95fc9.png&quot; style='height:63px;width:80px;vertical-align:middle;' width='80' height='63' alt=&quot;\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)&quot; title=&quot;\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)&quot; class=' format_png' /&gt; montre clairement que &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L18xH23/825b3fd5bafbc46b9a560ea9f16b21dd-2a276.png&quot; style='height:23px;width:18px;vertical-align:middle;' width='18' height='23' alt=&quot;a_n&quot; title=&quot;a_n&quot; class=' format_png' /&gt; sera pr&#233;sent dans tous les termes de la somme, &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L30xH23/1cebe50759824b216c6bf45d8c9c3355-ff38b.png&quot; style='height:23px;width:30px;vertical-align:middle;' width='30' height='23' alt=&quot;a_{n-1}&quot; title=&quot;a_{n-1}&quot; class=' format_png' /&gt; dans &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH29/a438673491daae8148eae77373b6a467-f3a3d.png&quot; style='height:29px;width:38px;vertical-align:middle;' width='38' height='29' alt=&quot;n-1&quot; title=&quot;n-1&quot; class=' format_png' /&gt; termes, ...&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le maximum de la fonction est atteint pour les &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/2aecb1dc57e87620a373d19b0a889efb-43841.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_i&quot; title=&quot;a_i&quot; class=' format_png' /&gt; minimums tels que l'in&#233;galit&#233; du lemme des contraintes soit v&#233;rifi&#233;, et les &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/2aecb1dc57e87620a373d19b0a889efb-43841.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_i&quot; title=&quot;a_i&quot; class=' format_png' /&gt; soient non nuls.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous nous trouvons avec une fonction de la forme F1, donc la proposition \ref&lt;i class=&quot;spip&quot;&gt;theoreme-du-maximum&lt;/i&gt; peut s'appliquer. La contrainte est &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L65xH50/ca51092e134f2f8881e679d6236a9320-8ec1e.png&quot; style='height:50px;width:65px;vertical-align:middle;' width='65' height='50' alt=&quot;k=\frac{n\ln 3}{\ln 2}&quot; title=&quot;k=\frac{n\ln 3}{\ln 2}&quot; class=' format_png' /&gt;.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ainsi, le maximum est atteint pour &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L406xH50/f65fb547a6a90e33425efd573220e874-07eaf.png&quot; style='height:50px;width:406px;vertical-align:middle;' width='406' height='50' alt=&quot; (a_1,a_2,a_3....a_n) = (a_1,1,1...1)\ \mbox{tel que}\ a_0 + a_1 + ... + a_n &amp;gt; \frac{n\ln 3}{\ln 2} &quot; title=&quot; (a_1,a_2,a_3....a_n) = (a_1,1,1...1)\ \mbox{tel que}\ a_0 + a_1 + ... + a_n &amp;gt; \frac{n\ln 3}{\ln 2} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Donc &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L158xH31/abf80125e46d5f4be94cb0e5a08f73da-a7324.png&quot; style='height:31px;width:158px;vertical-align:middle;' width='158' height='31' alt=&quot;(n-1 + a_1)\ln 2 &amp;gt; n\ln 3&quot; title=&quot;(n-1 + a_1)\ln 2 &amp;gt; n\ln 3&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ainsi la valeur minimum de &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L15xH23/027c3429f98f7c39bab027549e1b9c7b-e87f7.png&quot; style='height:23px;width:15px;vertical-align:middle;' width='15' height='23' alt=&quot;a_1&quot; title=&quot;a_1&quot; class=' format_png' /&gt; est &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L100xH50/abfebb217075826ae73979e842577e2f-1e66f.png&quot; style='height:50px;width:100px;vertical-align:middle;' width='100' height='50' alt=&quot;[\frac{n\ln 3}{\ln 2}]-n+2&quot; title=&quot;[\frac{n\ln 3}{\ln 2}]-n+2&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;La valeur maximum que prends la fonction est donc atteinte en &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L274xH50/cdf93d5e33e770adf5c3b38ff8319efe-0ecc6.png&quot; style='height:50px;width:274px;vertical-align:middle;' width='274' height='50' alt=&quot; (a_1,a_2,a_3....a_n) = ([\frac{n\ln 3}{\ln 2}]-n+2,1,1...1) &quot; title=&quot; (a_1,a_2,a_3....a_n) = ([\frac{n\ln 3}{\ln 2}]-n+2,1,1...1) &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;fieldset class=&quot;math&quot;&gt;&lt;legend&gt;Th&#233;oreme 25 : &lt;/legend&gt;
&lt;p class=&quot;spip&quot;&gt;Soit M(n) tel que &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L264xH75/ae2272205d740210d8b2b7a0e9edba24-fe86e.png&quot; style='height:75px;width:264px;vertical-align:middle;' width='264' height='75' alt=&quot; M(n) = \frac{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(\left(\frac{3}{2}\right)^{n-1}-1\right) + 3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1} -3^n\right)} &quot; title=&quot; M(n) = \frac{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(\left(\frac{3}{2}\right)^{n-1}-1\right) + 3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1} -3^n\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Alors&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L373xH31/d9862ef47fe41efe102c5897809c2dbb-a67cd.png&quot; style='height:31px;width:373px;vertical-align:middle;' width='373' height='31' alt=&quot; [\forall u_0 \in \mathbf{I} / u_0 \leq M(k), \exists n \in \mathbf{N} / u_n = 1 ] \Rightarrow [\forall u_0 \in \mathbf{I}, u_k \not = u_0] &quot; title=&quot; [\forall u_0 \in \mathbf{I} / u_0 \leq M(k), \exists n \in \mathbf{N} / u_n = 1 ] \Rightarrow [\forall u_0 \in \mathbf{I}, u_k \not = u_0] &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;/fieldset&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt; D&#233;monstration :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Revenons &#224; l'&#233;galit&#233; de la proposition \ref&lt;i class=&quot;spip&quot;&gt;lemme-de-la-fonction&lt;/i&gt; : &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L240xH63/d8743831bb23a90c9aea6c103aca329b-54313.png&quot; style='height:63px;width:240px;vertical-align:middle;' width='240' height='63' alt=&quot; u_0 = \sum_{i=0}^{n-1} \frac{3^{i}}{\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} &quot; title=&quot; u_0 = \sum_{i=0}^{n-1} \frac{3^{i}}{\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Elle peut &#233;galement s'&#233;crire comme suit : &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L461xH63/59d41b2041e095ef9348cbf41d0c501b-0cca9.png&quot; style='height:63px;width:461px;vertical-align:middle;' width='461' height='63' alt=&quot; u_0 = \sum_{i=0}^{n-2} \frac{3^{i}}{\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} + \frac{3^{n-1}}{\left(2^{a_1}\prod_{j=0}^{n-2} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} &quot; title=&quot; u_0 = \sum_{i=0}^{n-2} \frac{3^{i}}{\left(\prod_{j=0}^{i} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} + \frac{3^{n-1}}{\left(2^{a_1}\prod_{j=0}^{n-2} 2^{a_{n-j}}\right)\left(1-\frac{3^n}{\prod_{j=1}^{n} 2^{a_j}}\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;En rempla&#231;ant les &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L16xH23/2aecb1dc57e87620a373d19b0a889efb-43841.png&quot; style='height:23px;width:16px;vertical-align:middle;' width='16' height='23' alt=&quot;a_i&quot; title=&quot;a_i&quot; class=' format_png' /&gt; par leurs valeurs pour obtenir le maximum de la fonction, nous obtenons &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L424xH63/3f260fa27d5225feb8f091be86fce685-0b9d2.png&quot; style='height:63px;width:424px;vertical-align:middle;' width='424' height='63' alt=&quot; u_0 \leq \sum_{i=0}^{n-2} \frac{3^{i}}{\left(2^{i+1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} + \frac{3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]-n+2}2^{n-1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} &quot; title=&quot; u_0 \leq \sum_{i=0}^{n-2} \frac{3^{i}}{\left(2^{i+1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} + \frac{3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]-n+2}2^{n-1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nous pouvons simplifier le second terme. L'in&#233;galit&#233; devient alors &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L381xH63/05907b9fde780b4143f8fccdca8c2db8-fddea.png&quot; style='height:63px;width:381px;vertical-align:middle;' width='381' height='63' alt=&quot; u_0 \leq \sum_{i=0}^{n-2} \frac{3^{i}}{\left(2^{i+1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} + \frac{3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} &quot; title=&quot; u_0 \leq \sum_{i=0}^{n-2} \frac{3^{i}}{\left(2^{i+1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} + \frac{3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Le membre gauche est &#233;gal &#224; la somme des &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L38xH29/a438673491daae8148eae77373b6a467-f3a3d.png&quot; style='height:29px;width:38px;vertical-align:middle;' width='38' height='29' alt=&quot;n-1&quot; title=&quot;n-1&quot; class=' format_png' /&gt; premiers termes d'une suite g&#233;om&#233;trique de premier
terme &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L119xH61/94338607faff881bbbb116cd06d29ca9-a09ab.png&quot; style='height:61px;width:119px;vertical-align:middle;' width='119' height='61' alt=&quot;\frac{1}{2*\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)}&quot; title=&quot;\frac{1}{2*\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)}&quot; class=' format_png' /&gt; et de raison &lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L11xH49/bd8eacd6ef8c460fea72f998c06d4e7e-7d55f.png&quot; style='height:49px;width:11px;vertical-align:middle;' width='11' height='49' alt=&quot;\frac{3}{2}&quot; title=&quot;\frac{3}{2}&quot; class=' format_png' /&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;L'in&#233;galit&#233; peut donc s'exprimer ainsi : &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L411xH63/0de3873ca01c51ccbb0037de5eba59b3-26d0a.png&quot; style='height:63px;width:411px;vertical-align:middle;' width='411' height='63' alt=&quot; u_0 \leq \frac{1}{2*\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)}\frac{1-\left(\frac{3}{2}\right)^{n-1}}{1-\frac{3}{2}} + \frac{3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} &quot; title=&quot; u_0 \leq \frac{1}{2*\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)}\frac{1-\left(\frac{3}{2}\right)^{n-1}}{1-\frac{3}{2}} + \frac{3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Et en la simplifiant, la formule devient &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L254xH63/5a4aba7c7950c3fa1e55a9c5ae5b0cf9-36194.png&quot; style='height:63px;width:254px;vertical-align:middle;' width='254' height='63' alt=&quot; u_0 \leq \frac{\left(\frac{3}{2}\right)^{n-1}-1}{\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} + \frac{3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1} -3^n\right)} &quot; title=&quot; u_0 \leq \frac{\left(\frac{3}{2}\right)^{n-1}-1}{\left(1-\frac{3^n}{2^{[\frac{n\ln 3}{\ln 2}]+1}}\right)} + \frac{3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1} -3^n\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;En mettant le tout en facteur commun&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L241xH75/c66372b9f39b88a909fa32964c8240a9-1bed0.png&quot; style='height:75px;width:241px;vertical-align:middle;' width='241' height='75' alt=&quot; u_0 \leq \frac{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(\left(\frac{3}{2}\right)^{n-1}-1\right) + 3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1} -3^n\right)} &quot; title=&quot; u_0 \leq \frac{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(\left(\frac{3}{2}\right)^{n-1}-1\right) + 3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1} -3^n\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Donc en d&#233;finissant &lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L264xH75/ae2272205d740210d8b2b7a0e9edba24-fe86e.png&quot; style='height:75px;width:264px;vertical-align:middle;' width='264' height='75' alt=&quot; M(n) = \frac{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(\left(\frac{3}{2}\right)^{n-1}-1\right) + 3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1} -3^n\right)} &quot; title=&quot; M(n) = \frac{\left(2^{[\frac{n\ln 3}{\ln 2}]+1}\right)\left(\left(\frac{3}{2}\right)^{n-1}-1\right) + 3^{n-1}}{\left(2^{[\frac{n\ln 3}{\ln 2}]+1} -3^n\right)} &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;
&lt;p class=&quot;spip&quot; style=&quot;text-align: center;&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L373xH31/f8a838bbfef7e9ad723c2fa77ec27a23-a2813.png&quot; style='height:31px;width:373px;vertical-align:middle;' width='373' height='31' alt=&quot; [\forall u_0 \in \mathbf{I} / u_0 \leq M(k), \exists n \in \mathbf{N} / u_n = 1] \Rightarrow [\forall u_0 \in \mathbf{I}, u_k \not = u_0] &quot; title=&quot; [\forall u_0 \in \mathbf{I} / u_0 \leq M(k), \exists n \in \mathbf{N} / u_n = 1] \Rightarrow [\forall u_0 \in \mathbf{I}, u_k \not = u_0] &quot; class=' format_png' /&gt;&lt;/p&gt;
&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Remarque : Ce r&#233;sultat peut &#234;tre am&#233;lior&#233; en prenant en compte le fait que le plus petit entier naturel appartenant &#224; un cycle trivial a une dur&#233;e de vol en altitude infinie.&lt;/p&gt; &lt;a href=&quot;http://www.pateysoft.fr/Nouvel-article.html&quot;&gt;&lt;div class=&quot;box&quot; style=&quot;cursor:pointer&quot; id=&quot;article65&quot; onmouseover=&quot;ArticleDisplayer65.hide()&quot; onmouseout=&quot;ArticleDisplayer65.show()&quot;&gt; &lt;p class=&quot;logo&quot;&gt;&lt;img src=&quot;http://www.pateysoft.fr/local/cache-vignettes/L80xH80/rubon21-f110b-5301c.png&quot; alt=&quot;&quot; width='80' height='80' class='spip_logos format_png' style='height:80px;width:80px;' /&gt;&lt;/p&gt; &lt;div class=&quot;description&quot;&gt; &lt;h2&gt;Ant&#233;c&#233;dents de 1 par F&lt;/h2&gt; &lt;p&gt;Etude des ant&#233;c&#233;dents de 1 par la fonction de Syracuse&lt;/p&gt; &lt;/div&gt; &lt;div style=&quot;clear: both&quot;&gt;&lt;/div&gt; &lt;/div&gt;&lt;/a&gt; &lt;script type=&quot;text/javascript&quot;&gt; var ArticleDisplayer65 = new Displayer( document.getElementById( 'article65' ), 50, 100, 15, true ); &lt;/script&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>





</channel>

</rss>
