<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Kilomaths.com</title>
	<atom:link href="http://www.kilomaths.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.kilomaths.com</link>
	<description>Un autre blog de maths...</description>
	<lastBuildDate>Sat, 10 Jul 2010 01:55:40 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0</generator>
		<item>
		<title>Partage de secret</title>
		<link>http://www.kilomaths.com/2010/07/partage-de-secret/</link>
		<comments>http://www.kilomaths.com/2010/07/partage-de-secret/#comments</comments>
		<pubDate>Wed, 07 Jul 2010 08:46:28 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Maths difficiles]]></category>
		<category><![CDATA[Vulgarisation]]></category>
		<category><![CDATA[Blakley]]></category>
		<category><![CDATA[cryptologie]]></category>
		<category><![CDATA[interpolation]]></category>
		<category><![CDATA[Lagrange]]></category>
		<category><![CDATA[matrice]]></category>
		<category><![CDATA[partage de secret]]></category>
		<category><![CDATA[polynôme]]></category>
		<category><![CDATA[secret]]></category>
		<category><![CDATA[Shamir]]></category>
		<category><![CDATA[Vandermonde]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=375</guid>
		<description><![CDATA[Supposons que le PDG d&#8217;une grande compagnie de soda veuille garder secrète la recette qui a fait la fortune de l&#8217;entreprise. Il l&#8217;enferme donc dans un coffre fort blindé, qui s&#8217;ouvre à l&#8217;aide d&#8217;une certaine clé (qu&#8217;il garde secrète). Cette solution est très sécuritaire dans le sens où seul le PDG peut accéder au secret. [...]]]></description>
			<content:encoded><![CDATA[<p>Supposons que le PDG d&#8217;une grande compagnie de soda veuille garder secrète la recette qui a fait la fortune de l&#8217;entreprise. Il l&#8217;enferme donc dans un coffre fort blindé, qui s&#8217;ouvre à l&#8217;aide d&#8217;une certaine clé (qu&#8217;il garde secrète). Cette solution est très sécuritaire dans le sens où seul le PDG peut accéder au secret. Mais elle revêt un gros défaut : si le PDG perd cette clé, ou vient à décéder dans un accident, la clé est perdue et personne ne peut jamais accéder à la recette, entraînant inévitablement la déroute de la multinationale.</p>
<p>Une des solutions est de donner des copies de cette clé secrète à des collaborateurs au travail. Mais répliquer la clé augmente les chances des espions de l&#8217;obtenir et de rapporter la recette à l&#8217;entreprise concurrente. Le PDG est bien conscient qu&#8217;il ne peut pas faire entièrement confiance à un de ses 5 subordonnés. Il veut donc mettre en place un schéma où tout groupe contenant au moins 3 de ses subordonnés puisse ouvrir le coffre alors que tout groupe contenant strictement moins de 3 subordonnés ne puisse rien savoir sur la clé.<br />
Une solution qui consisterait à donner des bouts du secret aux subordonnés de manière à ce qu&#8217;ensemble ils puissent le reconstruire ne convient pas parce qu&#8217;ils connaîtraient alors partiellement la clé secrète.</p>
<p>Ce problème peut-être résolu par la mise en place d&#8217;un schéma de <em>partage de secret</em>.</p>
<h5>Le partage de secret avec seuil</h5>
<p>Notons <img src='http://s.wordpress.com/latex.php?latex=2%5Cleq%20t%3Cn&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2\leq t&lt;n' title='2\leq t&lt;n' class='latex' /> des entiers. Notre but est de partager une clé secrète <img src='http://s.wordpress.com/latex.php?latex=K&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K' title='K' class='latex' /> entre un ensemble de <img src='http://s.wordpress.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n' title='n' class='latex' /> personnes <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%20P%20%3D%20%5C%7BP_1%2C%20%5Cldots%2C%20P_n%5C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal P = \{P_1, \ldots, P_n\}' title='\mathcal P = \{P_1, \ldots, P_n\}' class='latex' /> de telle manière que toute coalition de <img src='http://s.wordpress.com/latex.php?latex=t&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t' title='t' class='latex' /> ou plus de ces personnes puisse calculer <img src='http://s.wordpress.com/latex.php?latex=K&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K' title='K' class='latex' /> facilement, et que toute coalition de <img src='http://s.wordpress.com/latex.php?latex=t-1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t-1' title='t-1' class='latex' /> ou moins de ces personnes ne puisse rien déterminer sur la valeur de <img src='http://s.wordpress.com/latex.php?latex=K&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K' title='K' class='latex' />, autrement dit que toutes les valeurs de <img src='http://s.wordpress.com/latex.php?latex=K&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K' title='K' class='latex' /> possibles soient équiprobables. Un tel schéma est appelé un <em>schéma au seuil <img src='http://s.wordpress.com/latex.php?latex=%28t%2Cn%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(t,n)' title='(t,n)' class='latex' /></em>. Dans l&#8217;exemple introductif, le PDG cherche un schéma au seuil <img src='http://s.wordpress.com/latex.php?latex=%283%2C5%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(3,5)' title='(3,5)' class='latex' />.</p>
<p>La valeur du secret est choisie par un participant spécial <img src='http://s.wordpress.com/latex.php?latex=D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='D' title='D' class='latex' /> (le <em>dealer</em>) (que l&#8217;on suppose bien évidemment ne pas faire partie de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%20P&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal P' title='\mathcal P' class='latex' />). Le dealer va donner à chaque participant une clé de partage. Cette distribution sera secrète bien entendu, pour qu&#8217;aucun des participants ne connaissent les clés de partage des autres participants.</p>
<p>Le problème de construire un tel schéma a été résolu indépendamment par Sharmir [1] et Blakley [2] en 1979.</p>
<h5>Schéma de Shamir</h5>
<p>Commençons par présenter le schéma de Shamir, qui repose sur l&#8217;interpolation polynômiale.</p>
<p>Le dealer veut partager la clé secrète <img src='http://s.wordpress.com/latex.php?latex=K%5Cin%20%5Cmathbf%20F_q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K\in \mathbf F_q' title='K\in \mathbf F_q' class='latex' /> où <img src='http://s.wordpress.com/latex.php?latex=q%5Cgeq%20n%2B1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='q\geq n+1' title='q\geq n+1' class='latex' /> est la puissance d&#8217;un nombre premier (on peut prendre <img src='http://s.wordpress.com/latex.php?latex=q%3Dp&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='q=p' title='q=p' class='latex' /> premier et raisonner dans <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F_p&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F_p' title='\mathbf F_p' class='latex' /> bien évidemment). Il choisit de manière aléatoire <img src='http://s.wordpress.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n' title='n' class='latex' /> éléments distincts de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F_q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F_q' title='\mathbf F_q' class='latex' /> que l&#8217;on note <img src='http://s.wordpress.com/latex.php?latex=x_1%2C%20%5Cldots%2C%20x_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x_1, \ldots, x_n' title='x_1, \ldots, x_n' class='latex' />. Ces éléemnts ne sont pas les clés de partages secrètes, ce sont des clés publiques : chaque <img src='http://s.wordpress.com/latex.php?latex=P_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_i' title='P_i' class='latex' /> reçoit la clé <img src='http://s.wordpress.com/latex.php?latex=x_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x_i' title='x_i' class='latex' />. Dans l&#8217;exemple du PDG, on pourrait dire par exemple que <img src='http://s.wordpress.com/latex.php?latex=x_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x_i' title='x_i' class='latex' /> représente l&#8217;ordre d&#8217;arrivée de l&#8217;employé dans l&#8217;entreprise. Ensuite, il réalise les étapes suivantes :</p>
<ol>
<li>Il choisit secrètement et aléatoirement <img src='http://s.wordpress.com/latex.php?latex=t-1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t-1' title='t-1' class='latex' /> éléments de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F_q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F_q' title='\mathbf F_q' class='latex' /> notés <img src='http://s.wordpress.com/latex.php?latex=a_1%2C%20%5Cldots%2C%20a_%7Bt-1%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_1, \ldots, a_{t-1}' title='a_1, \ldots, a_{t-1}' class='latex' />.</li>
<li>Pour tout <img src='http://s.wordpress.com/latex.php?latex=1%5Cleq%20i%5Cleq%20n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1\leq i\leq n' title='1\leq i\leq n' class='latex' />, le dealer calcule <img src='http://s.wordpress.com/latex.php?latex=y_i%3Da%28x_i%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='y_i=a(x_i)' title='y_i=a(x_i)' class='latex' /> où
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=a%28X%29%20%3D%20K%2B%5Csum_%7Bi%3D1%7D%5E%7Bt-1%7Da_jX%5Ej.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a(X) = K+\sum_{i=1}^{t-1}a_jX^j.' title='a(X) = K+\sum_{i=1}^{t-1}a_jX^j.' class='latex' /></p>
</li>
<li>Pour tout <img src='http://s.wordpress.com/latex.php?latex=1%5Cleq%20i%5Cleq%20n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1\leq i\leq n' title='1\leq i\leq n' class='latex' />, le dealer donne secrètement la clé de partage <img src='http://s.wordpress.com/latex.php?latex=y_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='y_i' title='y_i' class='latex' /> à <img src='http://s.wordpress.com/latex.php?latex=P_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_i' title='P_i' class='latex' /></li>
</ol>
<p>Regardons comment un groupe <img src='http://s.wordpress.com/latex.php?latex=B%3D%5Cleft%5C%7BP_%7Bi_1%7D%2C%20%5Cldots%2C%20P_%7Bi_t%7D%5Cright%5C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='B=\left\{P_{i_1}, \ldots, P_{i_t}\right\}' title='B=\left\{P_{i_1}, \ldots, P_{i_t}\right\}' class='latex' /> de <img src='http://s.wordpress.com/latex.php?latex=t&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t' title='t' class='latex' /> personnes (avec leur clé publique <img src='http://s.wordpress.com/latex.php?latex=x_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x_i' title='x_i' class='latex' />) peut retrouver les coefficients secrets du polynôme <img src='http://s.wordpress.com/latex.php?latex=a%28X%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a(X)' title='a(X)' class='latex' /> par interpolation, et ainsi retrouver <img src='http://s.wordpress.com/latex.php?latex=K%3Da%280%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K=a(0)' title='K=a(0)' class='latex' />. Comme <img src='http://s.wordpress.com/latex.php?latex=y_%7Bi_k%7D%20%3D%20a%28x_%7Bi_k%7D%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='y_{i_k} = a(x_{i_k})' title='y_{i_k} = a(x_{i_k})' class='latex' /> pour tout <img src='http://s.wordpress.com/latex.php?latex=0%5Cleq%20k%5Cleq%20t&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='0\leq k\leq t' title='0\leq k\leq t' class='latex' />, le groupe <img src='http://s.wordpress.com/latex.php?latex=B&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='B' title='B' class='latex' /> obtient <img src='http://s.wordpress.com/latex.php?latex=t&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t' title='t' class='latex' /> équations linéaires en les <img src='http://s.wordpress.com/latex.php?latex=t&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t' title='t' class='latex' /> inconnues <img src='http://s.wordpress.com/latex.php?latex=K%2C%20a_1%2C%20%5Cldots%2C%20a_%7Bt-1%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K, a_1, \ldots, a_{t-1}' title='K, a_1, \ldots, a_{t-1}' class='latex' />. Ainsi, le système obtenu par <img src='http://s.wordpress.com/latex.php?latex=B&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='B' title='B' class='latex' /> peut-être écrit sous la forme</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cbegin%7Bpmatrix%7D1%26%20x_%7Bi_1%7D%26%20x_%7Bi_1%7D%5E2%26%20%5Ccdots%26%20x_%7Bi_1%7D%5E%7Bt-1%7D%5C%5C1%26%20x_%7Bi_2%7D%26%20x_%7Bi_2%7D%5E2%26%20%5Ccdots%26%20x_%7Bi_2%7D%5E%7Bt-1%7D%5C%5C%5Cvdots%26%20%5Cvdots%20%26%20%5Cvdots%20%26%20%26%20%5Cvdots%5C%5C1%26%20x_%7Bi_t%7D%26%20x_%7Bi_t%7D%5E2%26%20%5Ccdots%26%20x_%7Bi_t%7D%5E%7Bt-1%7D%5C%5C%5Cend%7Bpmatrix%7D%5Cbegin%7Bpmatrix%7DK%5C%5Ca_1%5C%5C%5Cvdots%5C%5Ca_%7Bt-1%7D%5Cend%7Bpmatrix%7D%20%3D%20%5Cbegin%7Bpmatrix%7Dy_%7Bi_1%7D%5C%5Cy_%7Bi_2%7D%5C%5C%5Cvdots%5C%5Cy_%7Bi_t%7D%5Cend%7Bpmatrix%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\begin{pmatrix}1&amp; x_{i_1}&amp; x_{i_1}^2&amp; \cdots&amp; x_{i_1}^{t-1}\\1&amp; x_{i_2}&amp; x_{i_2}^2&amp; \cdots&amp; x_{i_2}^{t-1}\\\vdots&amp; \vdots &amp; \vdots &amp; &amp; \vdots\\1&amp; x_{i_t}&amp; x_{i_t}^2&amp; \cdots&amp; x_{i_t}^{t-1}\\\end{pmatrix}\begin{pmatrix}K\\a_1\\\vdots\\a_{t-1}\end{pmatrix} = \begin{pmatrix}y_{i_1}\\y_{i_2}\\\vdots\\y_{i_t}\end{pmatrix}.' title='\begin{pmatrix}1&amp; x_{i_1}&amp; x_{i_1}^2&amp; \cdots&amp; x_{i_1}^{t-1}\\1&amp; x_{i_2}&amp; x_{i_2}^2&amp; \cdots&amp; x_{i_2}^{t-1}\\\vdots&amp; \vdots &amp; \vdots &amp; &amp; \vdots\\1&amp; x_{i_t}&amp; x_{i_t}^2&amp; \cdots&amp; x_{i_t}^{t-1}\\\end{pmatrix}\begin{pmatrix}K\\a_1\\\vdots\\a_{t-1}\end{pmatrix} = \begin{pmatrix}y_{i_1}\\y_{i_2}\\\vdots\\y_{i_t}\end{pmatrix}.' class='latex' /></p>
<p>Or, la matrice <img src='http://s.wordpress.com/latex.php?latex=A&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='A' title='A' class='latex' /> des coefficients <img src='http://s.wordpress.com/latex.php?latex=x_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x_i' title='x_i' class='latex' /> est appelée <em>matrice de Vandermonde</em> et son déterminant vaut <img src='http://s.wordpress.com/latex.php?latex=%5Cdet%28A%29%20%3D%20%5Cprod_%7B1%5Cleq%20k%3Cj%5Cleq%20t%7D%5Cleft%28x_%7Bi_j%7D-x_%7Bi_k%7D%5Cright%29%5Cneq%200&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\det(A) = \prod_{1\leq k&lt;j\leq t}\left(x_{i_j}-x_{i_k}\right)\neq 0' title='\det(A) = \prod_{1\leq k&lt;j\leq t}\left(x_{i_j}-x_{i_k}\right)\neq 0' class='latex' />. Comme il est non nul (par choix des <img src='http://s.wordpress.com/latex.php?latex=x_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x_i' title='x_i' class='latex' />), le système admet une unique solution sur <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F_q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F_q' title='\mathbf F_q' class='latex' />, et <img src='http://s.wordpress.com/latex.php?latex=K&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K' title='K' class='latex' /> peut-être retrouvé.</p>
<p>Supposons maintenant que <img src='http://s.wordpress.com/latex.php?latex=t-1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t-1' title='t-1' class='latex' /> des <img src='http://s.wordpress.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n' title='n' class='latex' /> clés de partages secrètes sont révélées à un ennemi. Pour chaque candidat <img src='http://s.wordpress.com/latex.php?latex=K%27%5Cin%20%5Cmathbf%20F_q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K&#039;\in \mathbf F_q' title='K&#039;\in \mathbf F_q' class='latex' /> pour le secret, l'ennemi peut construire un et un unique polynôme <img src='http://s.wordpress.com/latex.php?latex=a%27%28X%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a&#039;(X)' title='a&#039;(X)' class='latex' /> de degré <img src='http://s.wordpress.com/latex.php?latex=t-1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t-1' title='t-1' class='latex' /> tel que <img src='http://s.wordpress.com/latex.php?latex=a%27%280%29%3DK%27&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a&#039;(0)=K&#039;' title='a&#039;(0)=K&#039;' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=a%27%28x_i%29%3Dy_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a&#039;(x_i)=y_i' title='a&#039;(x_i)=y_i' class='latex' /> pour les <img src='http://s.wordpress.com/latex.php?latex=t-1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t-1' title='t-1' class='latex' /> clés connues. Par construction, ces <img src='http://s.wordpress.com/latex.php?latex=q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='q' title='q' class='latex' /> possibles polynômes sont équiprobables, en conséquence de quoi l'espion ne peut rien déduire sur la valeur de la clé secrète <img src='http://s.wordpress.com/latex.php?latex=K&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K' title='K' class='latex' />.</p>
<p>Bien entendu, il y a une méthode alternative basée sur la formule de l'interpolation de Lagrange. La formule est la suivante :</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=a%28X%29%20%3D%20%5Csum_%7Bj%3D1%7D%5Et%20y_%7Bi_j%7D%20%5Cprod_%7B%5Csubstack%7B1%5Cleq%20k%5Cleq%20t%5C%5Ck%5Cneq%20j%7D%7D%5Cfrac%7BX-x_%7Bi_k%7D%7D%7Bx_%7Bi_j%7D-x_%7Bi_k%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a(X) = \sum_{j=1}^t y_{i_j} \prod_{\substack{1\leq k\leq t\\k\neq j}}\frac{X-x_{i_k}}{x_{i_j}-x_{i_k}}.' title='a(X) = \sum_{j=1}^t y_{i_j} \prod_{\substack{1\leq k\leq t\\k\neq j}}\frac{X-x_{i_k}}{x_{i_j}-x_{i_k}}.' class='latex' /></p>
<p>Étant donné qu&#8217;un groupe recherche la valeur du secret <img src='http://s.wordpress.com/latex.php?latex=K%3Da%280%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K=a(0)' title='K=a(0)' class='latex' />, ils peuvent calculer</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=K%20%3D%20%5Csum_%7Bj%3D1%7D%5E%7Bt%7Dy_%7Bi_j%7Db_j%2C%20%5Cqquad%20%5Ctext%7Bavec%7D%20%5Cquad%20b_j%20%3D%20%5Cprod_%7B%5Csubstack%7B1%5Cleq%20k%5Cleq%20t%5C%5Ck%5Cneq%20j%7D%7D%5Cfrac%7Bx_%7Bi_k%7D%7D%7Bx_%7Bi_k%7D-x_%7Bi_j%7D%7D.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K = \sum_{j=1}^{t}y_{i_j}b_j, \qquad \text{avec} \quad b_j = \prod_{\substack{1\leq k\leq t\\k\neq j}}\frac{x_{i_k}}{x_{i_k}-x_{i_j}}.' title='K = \sum_{j=1}^{t}y_{i_j}b_j, \qquad \text{avec} \quad b_j = \prod_{\substack{1\leq k\leq t\\k\neq j}}\frac{x_{i_k}}{x_{i_k}-x_{i_j}}.' class='latex' /></p>
<p>Remarquons que les valeurs <img src='http://s.wordpress.com/latex.php?latex=b_j&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b_j' title='b_j' class='latex' /> ne dépendent que des <img src='http://s.wordpress.com/latex.php?latex=x_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x_i' title='x_i' class='latex' /> et peuvent-être pré-calculées.</p>
<h5>Un exemple concret</h5>
<p>Donnons un petit exemple concret pour soulager notre PDG qui a vraiment peur de faire un infarctus qui perdrait à tout jamais la recette ! Supposons que <img src='http://s.wordpress.com/latex.php?latex=q%3D17&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='q=17' title='q=17' class='latex' /> et que les coordonnées publiques sont <img src='http://s.wordpress.com/latex.php?latex=x_i%20%3D%20i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x_i = i' title='x_i = i' class='latex' /> pour tout <img src='http://s.wordpress.com/latex.php?latex=1%5Cleq%20i%5Cleq%205&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1\leq i\leq 5' title='1\leq i\leq 5' class='latex' />. Supposons maintenant que les collaborateurs <img src='http://s.wordpress.com/latex.php?latex=P_1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_1' title='P_1' class='latex' />, <img src='http://s.wordpress.com/latex.php?latex=P_3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_3' title='P_3' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=P_5&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_5' title='P_5' class='latex' /> veuillent retrouver le secret. Ils mettent en commun leurs clés de partages secrètes qui sont respectivement <img src='http://s.wordpress.com/latex.php?latex=8&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='8' title='8' class='latex' />, <img src='http://s.wordpress.com/latex.php?latex=10&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='10' title='10' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=11&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='11' title='11' class='latex' />. Comme <img src='http://s.wordpress.com/latex.php?latex=a%28X%29%20%3D%20K%2Ba_1X%2Ba_2X%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a(X) = K+a_1X+a_2X^2' title='a(X) = K+a_1X+a_2X^2' class='latex' />, ils obtiennent le système d&#8217;équation suivant :</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cleft%5C%7B%5Cbegin%7Barray%7D%7Blll%7DK%2Ba_1%2Ba_2%20%26%3D%268%5C%5CK%2B3a_1%2B9a_2%26%3D%2610%5C%5CK%2B5a_1%2B8a_2%26%3D%2611%5Cend%7Barray%7D%5Cright.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\left\{\begin{array}{lll}K+a_1+a_2 &amp;=&amp;8\\K+3a_1+9a_2&amp;=&amp;10\\K+5a_1+8a_2&amp;=&amp;11\end{array}\right.' title='\left\{\begin{array}{lll}K+a_1+a_2 &amp;=&amp;8\\K+3a_1+9a_2&amp;=&amp;10\\K+5a_1+8a_2&amp;=&amp;11\end{array}\right.' class='latex' /></p>
<p>Ce système admet une unique solution dans <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F_%7B17%7D%3D%5Cmathbf%20Z%2F17%5Cmathbf%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F_{17}=\mathbf Z/17\mathbf Z' title='\mathbf F_{17}=\mathbf Z/17\mathbf Z' class='latex' /> : <img src='http://s.wordpress.com/latex.php?latex=K%3D13&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K=13' title='K=13' class='latex' />, <img src='http://s.wordpress.com/latex.php?latex=a_1%3D10&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_1=10' title='a_1=10' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=a_2%3D2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_2=2' title='a_2=2' class='latex' />. Le secret est donc <img src='http://s.wordpress.com/latex.php?latex=K%3D13&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K=13' title='K=13' class='latex' /> !</p>
<h5>Schéma de Blakley</h5>
<p>Donnons un autre exemple : le schéma de Blakley basé sur la géométrie des hyperplans sur les corps finis. Le secret est un point d&#8217;un espace <img src='http://s.wordpress.com/latex.php?latex=t&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t' title='t' class='latex' />-dimensionnel, et les <img src='http://s.wordpress.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n' title='n' class='latex' /> clés de partages secrètes sont des hyperplans affines passant par ce point. Un hyperplan dans un espace <img src='http://s.wordpress.com/latex.php?latex=t&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t' title='t' class='latex' />-dimensionnel à coordonnées dans un corps <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F' title='\mathbf F' class='latex' /> peut être décrit par une équation de la forme suivante :</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=a_1x_1%20%2B%20a_2x_2%20%2B%20%5Ccdots%20%2B%20a_tx_t%20%3D%20y.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_1x_1 + a_2x_2 + \cdots + a_tx_t = y.' title='a_1x_1 + a_2x_2 + \cdots + a_tx_t = y.' class='latex' /></p>
<p>Le point d&#8217;intersection est obtenu en trouvant l&#8217;intersection d&#8217;un ensemble quelconque de <img src='http://s.wordpress.com/latex.php?latex=t&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t' title='t' class='latex' /> de ces hyperplans. Par exemple, le secret peut être la première coordonnée du point d&#8217;intersection.</p>
<p><a href="http://www.kilomaths.com/wp-content/uploads/2010/07/blakley.png"><img class="aligncenter size-full wp-image-393" title="Intersections de 3 plans dans un espace de dimension 3" src="http://www.kilomaths.com/wp-content/uploads/2010/07/blakley.png" alt="" width="313" height="188" /></a></p>
<p>Disons que <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F%20%3D%20%5Cmathbf%20F_q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F = \mathbf F_q' title='\mathbf F = \mathbf F_q' class='latex' /> est le corps sur lequel on travaille. Le dealer génère un point <img src='http://s.wordpress.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x' title='x' class='latex' /> dans <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F_q%5Et&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F_q^t' title='\mathbf F_q^t' class='latex' />, où la première coordonnée <img src='http://s.wordpress.com/latex.php?latex=x_1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x_1' title='x_1' class='latex' /> est la clé secrète et les autres coordonnées sont choisies aléatoirement dans <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F_q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F_q' title='\mathbf F_q' class='latex' />. Le <img src='http://s.wordpress.com/latex.php?latex=i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='i' title='i' class='latex' />ème participant recevra comme clé de partage secrète l&#8217;hyperplan sur <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbf%20F_q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbf F_q' title='\mathbf F_q' class='latex' /> d&#8217;équation</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=a_%7Bi%2C1%7Dx_1%2Ba_%7Bi%2C2%7Dx_2%2B%5Ccdots%2Ba_%7Bi%2Ct%7Dx_t%3Dy_i.&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{i,1}x_1+a_{i,2}x_2+\cdots+a_{i,t}x_t=y_i.' title='a_{i,1}x_1+a_{i,2}x_2+\cdots+a_{i,t}x_t=y_i.' class='latex' /></p>
<p>Pour obtenir un schéma au seuil <img src='http://s.wordpress.com/latex.php?latex=%28t%2C%20n%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(t, n)' title='(t, n)' class='latex' />, il y aura <img src='http://s.wordpress.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n' title='n' class='latex' /> équations d&#8217;hyperplan, et on obtient alors un système linéaire <img src='http://s.wordpress.com/latex.php?latex=n%5Ctimes%20t&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n\times t' title='n\times t' class='latex' />: <img src='http://s.wordpress.com/latex.php?latex=Ax%3Dy&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='Ax=y' title='Ax=y' class='latex' />.</p>
<p>Le dealer donne en pratique la clé de partage secrète <img src='http://s.wordpress.com/latex.php?latex=y_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='y_i' title='y_i' class='latex' /> ainsi que les coordonnées (qui peuvent être publiques) <img src='http://s.wordpress.com/latex.php?latex=a_%7Bi%2C1%7D%2C%20%5Cldots%2C%20a_%7Bi%2Ct%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{i,1}, \ldots, a_{i,t}' title='a_{i,1}, \ldots, a_{i,t}' class='latex' /> au participant <img src='http://s.wordpress.com/latex.php?latex=P_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_i' title='P_i' class='latex' />. un choix judicieux pour la matrice <img src='http://s.wordpress.com/latex.php?latex=A&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='A' title='A' class='latex' /> est de faire en sorte que ses lignes soient les lignes d&#8217;une matrice de Vandermonde pour se ramener à une situation similaire à celle du schéma de Shamir.</p>
<h5>Pour aller plus loin&#8230;</h5>
<p>Bien entendu, ceci n&#8217;est qu&#8217;une introduction sommaire à un domaine toujours en pleine expansion en cryptologie. On pourra trouver d&#8217;autres schémas basés sur la géométrie, sur les graphes, sur le théorème des restes chinois&#8230; Une excellente introduction au sujet est l&#8217;article [3].</p>
<p>Pour les plus intrépides d&#8217;entre vous, remarquez que jusquà présent nous avons travaillé sur des corps, s&#8217;autorisant allégrement la possibilité d&#8217;inverser pour retrouver le secret si nécessaire. Un sujet intéressant est de vouloir construire des schémas valables sur n&#8217;importe quel groupe abélien (sans connaître le groupe, c&#8217;est-à-dire un schéma en boîte noire), qui ont fait l&#8217;objet de deux articles récents [4] et [5].</p>
<h5>Références</h5>
<ul>
<li>[1] A. Shamir &#8211; &laquo;&nbsp;How to share a secret&nbsp;&raquo;, Communications of the ACM 22 (1979), no. 11, p. 612 &#8211; 613.</li>
<li>[2] G. R. Blakley &#8211; &laquo;&nbsp;Safeguarding cryptographic keys&nbsp;&raquo;, AFIPS Conference Proceedings 48 (1979), p. 313 &#8211; 317.</li>
<li>[3] D. R. Stinson &#8211; &laquo;&nbsp;An explication of secret sharing schemes&nbsp;&raquo;, Designs, Codes and Cryptography 2 (1992), no. 4, p. 357 &#8211; 390.</li>
<li>[4] R. Cramer &amp; S. Fehr &#8211; &laquo;&nbsp;Optimal black-box secret sharing over arbitrary Abelian groups&nbsp;&raquo;, Advances in Cryptology &#8211; CRYPTO&#8217;02 (2002), p. 272 &#8211; 287.</li>
<li>[5] R. Cramer, S. Fehr &amp; M. Stam &#8211; &laquo;&nbsp;Black-box secret sharing from primitive sets in algebraic number fields&nbsp;&raquo;, Advances in Cryptology &#8211; CRYPTO 2005, Springer, 2005, p. 344-360.</li>
</ul>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/07/partage-de-secret/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Rapporteurs de Golomb et algorithmes génétiques</title>
		<link>http://www.kilomaths.com/2010/05/rapporteurs-de-golomb-et-algorithmes-genetiques/</link>
		<comments>http://www.kilomaths.com/2010/05/rapporteurs-de-golomb-et-algorithmes-genetiques/#comments</comments>
		<pubDate>Mon, 24 May 2010 22:42:48 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Divers]]></category>
		<category><![CDATA[Réflexions]]></category>
		<category><![CDATA[Vulgarisation]]></category>
		<category><![CDATA[algorithme]]></category>
		<category><![CDATA[algorithme génétique]]></category>
		<category><![CDATA[Golomb]]></category>
		<category><![CDATA[prépa]]></category>
		<category><![CDATA[rapporteurs]]></category>
		<category><![CDATA[TIPE]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=355</guid>
		<description><![CDATA[Dans le cadre du T.I.P.E de seconde année de classe préparatoire aux Grandes Écoles, j&#8217;ai travaillé sur la recherche de rapporteurs de Golomb via les algorithmes génétiques ; une idée originale développée par André Narbonne sur son site internet (apparemment plus disponible). Les algorithmes génétiques font parti de la famille des algorithmes évolutifs, et s&#8217;inspirent [...]]]></description>
			<content:encoded><![CDATA[<p>Dans le cadre du T.I.P.E de seconde année de classe préparatoire aux Grandes Écoles, j&#8217;ai travaillé sur la recherche de rapporteurs de Golomb via les algorithmes génétiques ; une idée originale développée par André Narbonne sur <a href="http://pageperso.aol.fr/anabonne/">son site internet</a> (apparemment plus disponible).</p>
<p>Les algorithmes génétiques font parti de la famille des algorithmes évolutifs, et s&#8217;inspirent de l&#8217;évolution biologique telle que décrite par Darwin. Leur principale utilisation est la résolution de problèmes concrets d&#8217;optimisation, trop complexes pour être résolus de façon exhaustive, tel le problème du <a href="http://fr.wikipedia.org/wiki/Probl%C3%A8me_du_voyageur_de_commerce">voyageur de commerce</a>, où l&#8217;on cherche le meilleur itinéraire (c&#8217;est-à-dire le plus court) pour relier un nombre fini de villes.</p>
<p>Dans cet article, nous étudierons la possibilité d&#8217;appliquer les algorithmes génétiques pour découvrir des <em>rapporteurs de Golomb</em>.</p>
<h3>Qu&#8217;est qu&#8217;un rapporteur de Golomb ?</h3>
<p><a href="http://www.kilomaths.com/wp-content/uploads/2010/05/rapporteur.jpg"><img class="alignleft size-medium wp-image-356" title="rapporteur de Golomb" src="http://www.kilomaths.com/wp-content/uploads/2010/05/rapporteur-300x280.jpg" alt="" width="300" height="280" /></a></p>
<div id="_mcePaste">
<p>Le mathématicien Solomon W. Golomb présenta en premier lieu « la règle de Golomb » qui est une règle mesurant plus de longueurs (discrètes) que le nombre de marques qu&#8217;elle contient. De plus, la même distance n&#8217;est pas mesurée deux fois.</p>
<p>Un exemple simple de cette règle est celle constituée des marques 0; 1; 4; 6 qui permet de mesurer les longueurs 1; 2; 3; 4; 5 et 6 une et une seule fois entre deux marques de la règle.</p>
<p>C&#8217;est en partant de cet exemple simple que la question s&#8217;est posée pour les rapporteurs : est-il possible de faire un rapporteur avec le moins de marque possible qui mesure les angles de 1 à 360 degrés ? Un rapide calcul montre que la limite minimale théorique est de 20 marques : en effet, avec <img src='http://s.wordpress.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n' title='n' class='latex' /> marques, on peut mesurer <img src='http://s.wordpress.com/latex.php?latex=n%28n-1%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n(n-1)' title='n(n-1)' class='latex' /> angles. Pour 19 marques, on mesure ainsi au plus 342 angles, et au plus 380 pour 20 marques.</p>
</div>
<p>La solution de l&#8217;algorithme génétique semble adaptée à ce problème. En effet, si pour 20 marques, l&#8217;on voulait tester toutes les possibilités, afin de trouver celle qui permet la mesure de 180 angles (si tant est que ce soit possible), avec les marques 0 et 1 fixées (une simple rotation nous y ramène), il faudrait près de <img src='http://s.wordpress.com/latex.php?latex=10%5E%7B45%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='10^{45}' title='10^{45}' class='latex' /> opérations pour construire les rapporteurs, et d&#8217;avantage encore (<img src='http://s.wordpress.com/latex.php?latex=10%5E%7B90%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='10^{90}' title='10^{90}' class='latex' />) pour compter le nombre d&#8217;angles qu&#8217;ils mesurent.</p>
<h3>Plan de l&#8217;algorithme</h3>
<p><a href="http://www.kilomaths.com/wp-content/uploads/2010/05/Diagramme1.jpeg"><img class="alignnone size-full wp-image-360" title="Algorithme génétique" src="http://www.kilomaths.com/wp-content/uploads/2010/05/Diagramme1.jpeg" alt="" width="683" height="593" /></a></p>
<p><strong>Génération :</strong> L&#8217;algorithme génétique présenté sur l&#8217;organigramme débute avec une génération de <img src='http://s.wordpress.com/latex.php?latex=N&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='N' title='N' class='latex' /> rapporteurs (entre une centaine et quelques milliers par exemple), c&#8217;est-à-dire des tableaux de taille <img src='http://s.wordpress.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n' title='n' class='latex' /> (nombre de marques désiré), contenant des angles compris entre 0 et 359, triés par ordre croissant. Le tri de ces tableaux est une opération relativement coûteuse (utilisation du tri rapide), mais il n&#8217;est effectué qu&#8217;une fois au début de l&#8217;algorithme.</p>
<p>On calcule ensuite pour chaque rapporteur le nombre d&#8217;angles qu&#8217;il mesure, sachant que l&#8217;on cherche à en obtenir un mesurant tous les angles de 1 à 360 degrés.</p>
<p>Puis on répète le processus suivant un nombre fini de fois : (c&#8217;est-à-dire de générations)</p>
<ul>
<li><strong>Calculs</strong> de la moyenne, du minimum, et du maximum d&#8217;angles mesurés, ce qui servira pour la sélection, et pour observer l&#8217;évolution de la population.</li>
<li><strong>Évaluation</strong> : On attribue à chaque rapporteur une probabilité de survie, dépendant du nombre d&#8217;angles qu&#8217;il mesure. Plus un rapporteur mesurera d&#8217;angles, plus il aura de chance de survivre. Les différentes fonctions d&#8217;évaluation seront décrites et comparées plus loin.</li>
<li><strong>Sélection</strong> : Si un rapporteur « survit », on le conserve pour la génération suivante. Sinon, on choisit au hasard deux parents, que l&#8217;on croise (Croisement) pour obtenir un « enfant », dont on compte les angles.</li>
</ul>
<p>On obtient ainsi une nouvelle génération de même taille, sur laquelle on effectue éventuellement des <strong>mutations</strong>, avant de recommencer le processus.</p>
<h3>Evaluation</h3>
<p>Différents types de fonctions d&#8217;évaluation ont été étudiés afin d&#8217;obtenir une vitesse de convergence optimale, ainsi qu&#8217;un échantillonnage optimal. Le but étant de sélectionner les meilleurs individus, tout en<br />
laissant une part de « moins bons » individus pour conserver une certaine diversité et variabilité. On évite ainsi la convergence rapide vers un individu optimal localement mais non solution au problème.</p>
<div id="attachment_363" class="wp-caption alignleft" style="width: 310px"><a href="http://www.kilomaths.com/wp-content/uploads/2010/05/graphe1.png"><img class="size-medium wp-image-363" title="rang affine" src="http://www.kilomaths.com/wp-content/uploads/2010/05/graphe1-300x196.png" alt="" width="300" height="196" /></a><p class="wp-caption-text">Rang Affine</p></div>
<p>Le<strong> type affine</strong> fait correspondre à chaque individu une probabilité de survie qui est fonction affine du nombre d&#8217;angle <img src='http://s.wordpress.com/latex.php?latex=m&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='m' title='m' class='latex' /> qu&#8217;il mesure, c&#8217;est-à-dire de la forme <img src='http://s.wordpress.com/latex.php?latex=am%20%2B%20b&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='am + b' title='am + b' class='latex' />, où <img src='http://s.wordpress.com/latex.php?latex=a&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a' title='a' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=b&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b' title='b' class='latex' /> sont à déterminer arbitrairement.</p>
<p>Cependant les meilleurs résultats ont été obtenus en utilisant des coefficients variables dépendant des variables moyenne, minimum et maximum du nombre d&#8217;angles mesurés.</p>
<p>Le <strong>type exponentiel</strong> fait correspondre à chaque individu une probabilité de survie qui est fonction exponentielle du nombre d&#8217;angle <img src='http://s.wordpress.com/latex.php?latex=m&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='m' title='m' class='latex' /> qu&#8217;il mesure, c&#8217;est-à-dire de la forme <img src='http://s.wordpress.com/latex.php?latex=e%5E%7Bam%20%2Bb%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='e^{am +b}' title='e^{am +b}' class='latex' />, où <img src='http://s.wordpress.com/latex.php?latex=a&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a' title='a' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=b&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b' title='b' class='latex' /> sont à déterminer arbitrairement. En agissant sur les coefficients, on peut accentuer ou diminuer la courbure selon la méthode de sélection voulue.</p>
<div id="attachment_364" class="wp-caption alignright" style="width: 310px"><a href="http://www.kilomaths.com/wp-content/uploads/2010/05/graphe2.png"><img class="size-medium wp-image-364" title="rang exponentiel" src="http://www.kilomaths.com/wp-content/uploads/2010/05/graphe2-300x196.png" alt="" width="300" height="196" /></a><p class="wp-caption-text">Rang Exponentiel</p></div>
<p>Une autre méthode, qui a produit de meilleurs résultats, est d&#8217;attribuer à chaque individu son <strong>rang</strong> (fonction du nombre d&#8217;angles mesurés), et de se servir de celui-ci plutôt que du nombre d&#8217;angles mesurés pour l&#8217;évaluation. Un tri par dénombrement a été utilisé pour déterminer le rang de chaque individu. L&#8217;évaluation peut ici aussi être fonction affine ou exponentielle du rang. Une comparaison entre ces deux méthodes sur 500 générations (statistiques sur plusieurs populations) révèle une convergence plus rapide et pas moins optimale pour la méthode affine.</p>
<h3>Sélection</h3>
<p>Deux méthodes ont été envisagées : soit construire la nouvelle génération uniquement à partir d&#8217; « enfants » obtenus par croisement (cf. partie Croisement) de 2 parents, soit remplacer uniquement les parents non sélectionnés, et conserver ceux qui ont « survécu ». C&#8217;est cette dernière méthode qui a été retenue.</p>
<p>L&#8217;algorithme initial ne gardait pas les meilleurs individus, ce qui a été résolu par la suite. C&#8217;est ce que l&#8217;on appelle la méthode élitiste, qui a montré ses preuves dans beaucoup d&#8217;études faites sur les algorithmes génétiques, y compris sur cet exemple.</p>
<h3>Croisement</h3>
<p>Le premier croisement étudié était un croisement très simple : les tableaux de chaque parent étaient parcourus simultanément et, une des deux valeurs choisie aléatoirement (sauf si elle a déjà été choisie)<br />
constituait la nouvelle valeur pour l&#8217;enfant créé. Cependant, cette méthode ne conservait pas la structure des parents, et était de ce fait trop aléatoire.</p>
<p>Le second croisement fut un croisement à 1 point : l&#8217;ordinateur choisissait un angle au hasard et découpait les parents pour fabriquer deux enfants, l&#8217;enfant 1 ayant la première moitié du parent 1 et la seconde du parent 2, et inversement pour l&#8217;enfant 2. A la vue de divers ouvrages sur les algorithmes génétiques, il nous est apparu que le croisement à deux points était plus avantageux (même principe qu&#8217;à un point mais avec un découpage en trois parties). En effet, il permet plus de combinaisons possibles à partir de mêmes parents, et ainsi permet une plus grande variabilité des individus. Ce fut donc le troisième et dernier croisement testé, et celui gardé pour l&#8217;algorithme final. Le choix entre les deux enfants est aléatoire, afin de ne pas nuire à la diversité en choisissant systématiquement le meilleur enfant.</p>
<h3>Mutation</h3>
<p>Là également diverses méthodes ont été essayées, mais elles n&#8217;ont pas donné de résultats significativement différents. Le principe est le même à chaque fois : on parcourt la population, on génère un nombre décimal aléatoirement entre 0 et 100, et s&#8217;il est inférieur à un coefficient de mutation défini au début de l&#8217;algorithme, on mute l&#8217;individu. La première mutation essayée était la modification d&#8217;un angle choisi au hasard en lui rajoutant plus ou moins 1. La seconde était le remplacement d&#8217;un angle au hasard par un nouvel angle choisi aléatoirement entre le précédent et le suivant.</p>
<p>La troisième mutation testée, et celle qui a été conservée, permet de jouer sur chaque angle de chaque individu, définissant le coefficient de mutation non plus pour un individu mais pour chaque angle. Ceci complique l&#8217;algorithme, mais a permis d&#8217;avantage de résultats pour 25 marques.</p>
<p><a href="http://www.kilomaths.com/wp-content/uploads/2010/05/image031.png"><img class="alignleft size-medium wp-image-366" title="image031" src="http://www.kilomaths.com/wp-content/uploads/2010/05/image031-300x180.png" alt="" width="300" height="180" /></a>De la même façon pour le croisement, il est possible d&#8217;utiliser une méthode élitiste, c&#8217;est-à-dire de conserver l&#8217;individu obtenu après mutation seulement s&#8217;il est meilleur que l&#8217;original.<br />
Celle-ci semble diminuer encore une fois la diversité, mais la comparaison ci-contre permet tout de même de valider celle-ci, et de décider du meilleur coefficient de mutation à choisir.<br />
Un minimum de mutation est nécessaire pour améliorer et diversifier les individus. Mais s&#8217;il est trop élevé, chaque individu a une trop grande probabilité d&#8217;être muté, et de ce fait les résultats deviennent trop aléatoires.</p>
<h3>Autre piste intéressante</h3>
<p>Comme suggéré par André Nabonne, sur le site Internet sur lequel il a effectué un travail semblable, il est possible de rechercher les meilleurs éléments pour un nombre de marques moins important et le compléter ensuite pour obtenir un rapporteur qui mesure 360 angles avec 1 à 2 marques supplémentaires. Cependant ce n&#8217;est pas la méthode qu&#8217;il lui a permis de battre le record précédemment détenu par J. Cottereau avec 24 marques, en obtenant des rapporteurs de 23, et même de 22 marques.</p>
<h3>Oui c&#8217;est joli le blabla&#8230; Mais on peut voir un vrai rapporteur de Golomb ?</h3>
<p>– Pour 27 marques : 0, 8, 14, 40, 41, 42, 45, 58, 75, 99, 146, 151, 153, 175, 179, 180, 193, 218, 241, 276, 285, 300, 321, 323, 331, 348, 349<br />
– Pour 26 marques : 0, 5, 49, 51, 65, 91, 92, 97, 107, 115, 136, 144, 148, 176, 180, 198, 200, 207, 210, 211, 219, 270, 287, 305, 327, 330<br />
– Pour 25 marques : 0, 22, 41, 42, 44, 56, 60, 106, 132, 137, 189, 191, 219, 235, 236, 244, 246, 259, 310, 315, 322, 343, 347, 353</p>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/05/rapporteurs-de-golomb-et-algorithmes-genetiques/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Comment calcule une calculatrice ?</title>
		<link>http://www.kilomaths.com/2010/05/comment-calcule-une-calculatrice/</link>
		<comments>http://www.kilomaths.com/2010/05/comment-calcule-une-calculatrice/#comments</comments>
		<pubDate>Sun, 16 May 2010 17:36:31 +0000</pubDate>
		<dc:creator>Valvino</dc:creator>
				<category><![CDATA[Maths faciles]]></category>
		<category><![CDATA[calculatrice]]></category>
		<category><![CDATA[CORDIC]]></category>
		<category><![CDATA[cosinus]]></category>
		<category><![CDATA[fonctions trigonométriques]]></category>
		<category><![CDATA[sinus]]></category>
		<category><![CDATA[tangente]]></category>
		<category><![CDATA[valeur approchée]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=315</guid>
		<description><![CDATA[Naïvement, je pensais qu&#8217;une calculatrice (ou tout logiciel de calcul scientifique) utilisait les développements en série pour calculer les fonctions usuelles : trigonométriques (sinus, cosinus, tangente), exponentielle, logarithme, etc. En fait, il n&#8217;en est rien et on utilise des astuces bien précises qui diminuent fortement la complexité des calculs. Par exemple, on utilise l&#8217;algorithme CORDIC [...]]]></description>
			<content:encoded><![CDATA[<p>Naïvement, je pensais qu&#8217;une calculatrice (ou tout logiciel de calcul scientifique) utilisait les développements en série pour calculer les fonctions usuelles : trigonométriques (sinus, cosinus, tangente), exponentielle, logarithme, etc. En fait, il n&#8217;en est rien et on utilise des astuces bien précises qui diminuent fortement la complexité des calculs.</p>
<p>Par exemple, on utilise l&#8217;algorithme CORDIC (COordinate Rotation DIgital Computer) inventé en 1959 par Jack E. Volder. Détaillons-le sommairement.</p>
<p>On se donne un angle en radian <img src='http://s.wordpress.com/latex.php?latex=%5Calpha&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\alpha' title='\alpha' class='latex' /> (que l&#8217;on suppose compris entre 0 et <img src='http://s.wordpress.com/latex.php?latex=%5Cpi%2F2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi/2' title='\pi/2' class='latex' />, on peut toujours s&#8217;y ramener par des formules trigonométriques du genre <img src='http://s.wordpress.com/latex.php?latex=%5Csin%28x%2B%5Cpi%2F2%29%3D%5Ccos%28x%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\sin(x+\pi/2)=\cos(x)' title='\sin(x+\pi/2)=\cos(x)' class='latex' />, etc&#8230;). On va calculer par itération un vecteur <img src='http://s.wordpress.com/latex.php?latex=v_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='v_n' title='v_n' class='latex' /> qui représente un point sur le cercle unité. Pour cela, on lui fait subir des rotations d&#8217;angles <img src='http://s.wordpress.com/latex.php?latex=%5Cgamma_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\gamma_n' title='\gamma_n' class='latex' /> choisis judicieusement, par exemple tels que <img src='http://s.wordpress.com/latex.php?latex=%5Ctan%20%5Cgamma_n%3D%202%5E%7B-n%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\tan \gamma_n= 2^{-n}' title='\tan \gamma_n= 2^{-n}' class='latex' />. L&#8217;avantage est qu&#8217;en binaire la multiplication par <img src='http://s.wordpress.com/latex.php?latex=2%5E%7B-n%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2^{-n}' title='2^{-n}' class='latex' /> revient à un simple décalage de virgule. Le vecteur <img src='http://s.wordpress.com/latex.php?latex=v_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='v_n' title='v_n' class='latex' />, d&#8217;angle correspondant <img src='http://s.wordpress.com/latex.php?latex=%5Calpha_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\alpha_n' title='\alpha_n' class='latex' />, convergera alors vers la valeur exacte <img src='http://s.wordpress.com/latex.php?latex=v&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='v' title='v' class='latex' />, d&#8217;angle correspondant <img src='http://s.wordpress.com/latex.php?latex=%5Calpha&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\alpha' title='\alpha' class='latex' />.</p>
<p>On a donc une relation de récurrence du type</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cdisplaystyle%20v_%7Bn%2B1%7D%3D%5Cbegin%7Bpmatrix%7D%20%5Ccos%20%5Cgamma_%7Bn%7D%20%26%20-%5Csin%20%5Cgamma_%7Bn%7D%20%5C%5C%20%5Csin%20%5Cgamma_%7Bn%7D%20%26%20%5Ccos%20%5Cgamma%20_%7Bn%7D%5Cend%7Bpmatrix%7Dv_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\displaystyle v_{n+1}=\begin{pmatrix} \cos \gamma_{n} &amp; -\sin \gamma_{n} \\ \sin \gamma_{n} &amp; \cos \gamma _{n}\end{pmatrix}v_n' title='\displaystyle v_{n+1}=\begin{pmatrix} \cos \gamma_{n} &amp; -\sin \gamma_{n} \\ \sin \gamma_{n} &amp; \cos \gamma _{n}\end{pmatrix}v_n' class='latex' /></p>
<p>d&#8217;où en factorisant par <img src='http://s.wordpress.com/latex.php?latex=%5Ccos%20%5Cgamma_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\cos \gamma_n' title='\cos \gamma_n' class='latex' /></p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cdisplaystyle%20v_%7Bn%2B1%7D%3D%5Ccos%28%5Carctan%282%5E%7B-n%7D%29%29%5Cbegin%7Bpmatrix%7D%201%20%26%20-%5Csigma_%7Bn%7D%202%5E%7B-n%7D%20%5C%5C%20%5Csigma_%7Bn%7D%202%5E%7B-n%7D%20%26%201%20%5Cend%7Bpmatrix%7Dv_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\displaystyle v_{n+1}=\cos(\arctan(2^{-n}))\begin{pmatrix} 1 &amp; -\sigma_{n} 2^{-n} \\ \sigma_{n} 2^{-n} &amp; 1 \end{pmatrix}v_n' title='\displaystyle v_{n+1}=\cos(\arctan(2^{-n}))\begin{pmatrix} 1 &amp; -\sigma_{n} 2^{-n} \\ \sigma_{n} 2^{-n} &amp; 1 \end{pmatrix}v_n' class='latex' /></p>
<p>où <img src='http://s.wordpress.com/latex.php?latex=%5Csigma_n%20%3D%20%5Cpm%201&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\sigma_n = \pm 1' title='\sigma_n = \pm 1' class='latex' /> (sens de la rotation). On le calcule en regardant le signe de l&#8217;angle actuel <img src='http://s.wordpress.com/latex.php?latex=%5Calpha_%7Bn%2B1%7D%3D%5Calpha_n-%5Csigma_n%20%5Carctan2%5E%7B-n%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\alpha_{n+1}=\alpha_n-\sigma_n \arctan2^{-n}' title='\alpha_{n+1}=\alpha_n-\sigma_n \arctan2^{-n}' class='latex' />.</p>
<p>Il suffit alors d&#8217;avoir en mémoire les différentes valeurs de <img src='http://s.wordpress.com/latex.php?latex=%5Carctan2%5E%7B-n%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\arctan2^{-n}' title='\arctan2^{-n}' class='latex' /> (on peut même utiliser l&#8217;approximation <img src='http://s.wordpress.com/latex.php?latex=%5Carctan2%5E%7B-n%7D%20%5Csim%202%5E%7B-n%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\arctan2^{-n} \sim 2^{-n}' title='\arctan2^{-n} \sim 2^{-n}' class='latex' /> pour <img src='http://s.wordpress.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n' title='n' class='latex' /> un peu grand) pour se retrouver avec un algorithme qui n&#8217;utilise que des additions, des décalages de virgules et une seule multiplication finale par</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cdisplaystyle%5Cprod_%7Bn%3D0%7D%5E%7BN-1%7D%20%5Ccos%28%5Carctan%282%5E%7B-n%7D%29%29%20%3D%20%5Cprod_%7Bn%3D0%7D%5E%7BN-1%7D%20%5Cfrac%7B1%7D%7B%5Csqrt%7B1%20%2B%202%5E%7B-2n%7D%7D%7D%2C%20&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\displaystyle\prod_{n=0}^{N-1} \cos(\arctan(2^{-n})) = \prod_{n=0}^{N-1} \frac{1}{\sqrt{1 + 2^{-2n}}}, ' title='\displaystyle\prod_{n=0}^{N-1} \cos(\arctan(2^{-n})) = \prod_{n=0}^{N-1} \frac{1}{\sqrt{1 + 2^{-2n}}}, ' class='latex' /></p>
<p>valeurs que l&#8217;on peut aussi stocker à l&#8217;avance. Malin, non?</p>
<p>On peut généraliser ce genre de procédés. Pour plus d&#8217;informations : <a title="http://en.wikipedia.org/wiki/CORDIC﻿" href="http://en.wikipedia.org/wiki/CORDIC">http://en.wikipedia.org/wiki/CORDIC﻿</a></p>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/05/comment-calcule-une-calculatrice/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Le Modulor de Le Corbusier</title>
		<link>http://www.kilomaths.com/2010/04/le-modulor-de-le-corbusier/</link>
		<comments>http://www.kilomaths.com/2010/04/le-modulor-de-le-corbusier/#comments</comments>
		<pubDate>Wed, 07 Apr 2010 20:41:34 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Divers]]></category>
		<category><![CDATA[architecture]]></category>
		<category><![CDATA[Le Corbusier]]></category>
		<category><![CDATA[nombre d'or]]></category>
		<category><![CDATA[système métrique]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=304</guid>
		<description><![CDATA[La nature est mathématique, les chefs-d&#8217;œuvre de l&#8217;art sont en consonance avec la nature ; ils expriment les lois de la nature et ils s&#8217;en servent. Le Corbusier est un architecte, urbaniste et peintre française d&#8217;origine Suisse (1887-1965). Il a réalisé de nombreuses constructions en adoptant un module humain servant de base pour déterminer les [...]]]></description>
			<content:encoded><![CDATA[<blockquote><p>La nature est mathématique, les chefs-d&#8217;œuvre de l&#8217;art sont en consonance avec la nature ; ils expriment les lois de la nature et ils s&#8217;en servent.</p></blockquote>
<p>Le Corbusier est un architecte, urbaniste et peintre française d&#8217;origine Suisse (1887-1965). Il a réalisé de nombreuses constructions en adoptant un module humain servant de base pour déterminer les dimensions des habitations comme celles de la <a href="http://fr.wikipedia.org/wiki/Cit%C3%A9_radieuse_de_Marseille">Cité radieuse à Marseille</a> en 1947. Il a appelé ce module le &laquo;&nbsp;modulor&nbsp;&raquo; : il s&#8217;agit d&#8217;un mot-valise composé sur &laquo;&nbsp;module&nbsp;&raquo; et &laquo;&nbsp;nombre d&#8217;or&nbsp;&raquo;. En effet, les proportions fixées par le modulor sont directement liées au nombre d&#8217;or. Le Modulor est né de l&#8217;observation de la nature, de l&#8217;étude des oeuvres d&#8217;art, de leurs tracés régulateurs (Choisy) et des travaux de Matila Ghyka consacrés au Nombre d&#8217;or dans la nature et dans l&#8217;art.</p>
<p>Le Corbusier affirmait que le Modulor (à l&#8217;échelle humaine) avait des avantages sur les deux systèmes de mesure qui divisent la planête : le système anglo-saxon du pied-pouce, peu pratique mais qui tient compte des mesures du corps, et le système métrique, décimal donc pratique, trop abstrait cependant, privé de  lien direct avec les dimensions du corps. Elle devait permettre, selon lui, un confort maximal dans les relations entre l&#8217;homme et son espace vital.</p>
<p><a href="http://www.kilomaths.com/wp-content/uploads/2010/04/modulor.jpg"><img class="size-medium wp-image-308 alignright" title="Modulor" src="http://www.kilomaths.com/wp-content/uploads/2010/04/modulor-288x300.jpg" alt="" width="288" height="300" /></a>L&#8217;examen de ce dessin, qu&#8217;il a lui-même coté, montre :</p>
<img src='http://s.wordpress.com/latex.php?latex=1%2C83%2F1%2C13%3D1%2C619&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1,83/1,13=1,619' title='1,83/1,13=1,619' class='latex' /> soit le nombre d&#8217;or (à un millième près)</p>
<p><img src='http://s.wordpress.com/latex.php?latex=1%2C83-1%2C13%3D0%2C7&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1,83-1,13=0,7' title='1,83-1,13=0,7' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=1%2C13%2F0%2C7%3D1%2C614&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1,13/0,7=1,614' title='1,13/0,7=1,614' class='latex' /> soit le nombre d&#8217;or (à 4 millième près)</p>
<p>De même, le rectangle des pieds de l&#8217;homme à sa tête est un rectangle d&#8217;or, c&#8217;est-à-dire que le rapport de ces cotés est égal au nombre d&#8217;or.</p>
<p>Le Corbusier a indiqué les dimensions de l&#8217;homme debout accoudé, puis assis, assis accoudé&#8230; et le rapport des dimensions est toujours</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cphi%2C%20%5Cphi%5E2%2C%201%2F%5Cphi%2C%20%5Csqrt%5Cphi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\phi, \phi^2, 1/\phi, \sqrt\phi' title='\phi, \phi^2, 1/\phi, \sqrt\phi' class='latex' />
<p style="text-align: left;">où <img src='http://s.wordpress.com/latex.php?latex=%5Cphi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\phi' title='\phi' class='latex' /> est le nombre d&#8217;or.</p>
<p style="text-align: left;">Les chiffres retenus par Le Corbusier sont des valeurs approchées. L&#8217;exactitude mathématique le préoccupe moins que de proposer une échelle d&#8217;harmonie visuelle qui puisse guider l&#8217;action de l&#8217;architecte.</p>
<p style="text-align: left;">Sources :</p>
<ul>
<li><a href="http://expo.ifrance.com/lenombre/le%20corbusier.htm">http://expo.ifrance.com/lenombre/le%20corbusier.htm</a></li>
<li><a href="http://ww3.ac-poitiers.fr/arts_p/b@lise14/pageshtm/page_7.htm">Le Modulor : ultime résurgence du mythe ?</a></li>
<li><a href="http://www.lenombredor.free.fr/modulor.htm">http://www.lenombredor.free.fr/modulor.htm</a></li>
</ul>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/04/le-modulor-de-le-corbusier/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Sujets polémiques en mathématiques</title>
		<link>http://www.kilomaths.com/2010/03/sujets-polemiques-en-mathematiques/</link>
		<comments>http://www.kilomaths.com/2010/03/sujets-polemiques-en-mathematiques/#comments</comments>
		<pubDate>Fri, 26 Mar 2010 09:31:51 +0000</pubDate>
		<dc:creator>Valvino</dc:creator>
				<category><![CDATA[Réflexions]]></category>
		<category><![CDATA[débat]]></category>
		<category><![CDATA[polémique]]></category>
		<category><![CDATA[troll]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=300</guid>
		<description><![CDATA[Même si les mathématiques ont l&#8217;air d&#8217;une science exacte, où la Vérité est figée à tout jamais, il existe quelques sujets qui poussent aux débats sans fin. J&#8217;en connais quelques uns : l&#8217;entier 1 est-il premier ? doit-on considérer les ensembles finis comme dénombrables ? pour ou contre l&#8217;axiome du choix ? qui a inventé [...]]]></description>
			<content:encoded><![CDATA[<p>Même si les mathématiques ont l&#8217;air d&#8217;une science exacte, où la Vérité est figée à tout jamais, il existe quelques sujets qui poussent aux débats sans fin. J&#8217;en connais quelques uns :</p>
<ul>
<li>l&#8217;entier 1 est-il premier ?</li>
<li>doit-on considérer les ensembles finis comme dénombrables ?</li>
<li>pour ou contre l&#8217;axiome du choix ?</li>
<li>qui a inventé le calcul différentiel? Newton ou Leibniz ?</li>
<li>les statistiques font-elles parties des mathématiques ?</li>
<li>est-ce que la façon d&#8217;aborder les mathématiques de Bourbaki est LA bonne façon de procéder ?</li>
</ul>
<p>En connaissez-vous d&#8217;autres ?</p>
<p>Voici quelques propositions des commentaires :</p>
<ul>
<li>Dans Bourbaki, un espace quasi-compact est un espace topologique vérifiant la propriété de Borel-Lebesgue. Un espace compact est un espace quasi-compact séparé. Par contre, dans les textes mathématiques écrits en anglais, un espace est compact n’est pas nécessairement séparé. Quid ?</li>
<li>La définition de <img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' /> est erronée, et l&#8217;erreur s’est perpétuée depuis l&#8217;antiquité.</li>
<li>Une forme sesquilinéaire est-elle linéaire à gauche ou à droite?</li>
<li>Dans les coordonnées sphériques, que désignent <img src='http://s.wordpress.com/latex.php?latex=%5Ctheta%2C%20%5Cvarphi%2C%20r&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\theta, \varphi, r' title='\theta, \varphi, r' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=%5Crho&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\rho' title='\rho' class='latex' />?</li>
<li>Combien vaut <img src='http://s.wordpress.com/latex.php?latex=0%5E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='0^0' title='0^0' class='latex' /> ?</li>
<li>Est-ce que les notions d&#8217; « application » et de « fonction » sont identiques ?</li>
<li>L&#8217;espace topologique vide est-il connexe ?</li>
<li>Quelle est la dimension de Krull de l&#8217;anneau nul ?</li>
<li>La suite <img src='http://s.wordpress.com/latex.php?latex=%28n%29_%7Bn%5Cin%5Cmathbb%20N%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(n)_{n\in\mathbb N}' title='(n)_{n\in\mathbb N}' class='latex' /> « <em>converge-t-elle</em> » ou « <em>diverge-t-elle </em>» vers l&#8217;infini ?</li>
<li>&#8230;</li>
</ul>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/03/sujets-polemiques-en-mathematiques/feed/</wfw:commentRss>
		<slash:comments>21</slash:comments>
		</item>
		<item>
		<title>La journée de pi</title>
		<link>http://www.kilomaths.com/2010/03/la-journee-de-pi/</link>
		<comments>http://www.kilomaths.com/2010/03/la-journee-de-pi/#comments</comments>
		<pubDate>Sun, 14 Mar 2010 08:52:19 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Divers]]></category>
		<category><![CDATA[archimède]]></category>
		<category><![CDATA[google]]></category>
		<category><![CDATA[Journée de Pi]]></category>
		<category><![CDATA[pi]]></category>
		<category><![CDATA[tammet]]></category>
		<category><![CDATA[volume d'une sphère]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=269</guid>
		<description><![CDATA[Aujourd&#8217;hui, Google se revêt d&#8217;un logo personnalisé (comme quelques fois dans l&#8217;année) pour une fois très mathématiques : Nous sommes le 14 mars (la date s&#8217;écrit 3/14 en format américain) et aujourd&#8217;hui on honore la constante mathématiques . On la célèbre généralement à 1h59 (le matin si on utilise le format &#171;&#160;24h&#160;&#187; et à quatorze [...]]]></description>
			<content:encoded><![CDATA[<p>Aujourd&#8217;hui, <a href="http://www.google.fr">Google</a> se revêt d&#8217;un logo personnalisé (comme quelques fois dans l&#8217;année) pour une fois très mathématiques :</p>
<div id="attachment_274" class="wp-caption aligncenter" style="width: 304px"><a href="http://www.google.fr/logos/piday10-hp.gif"><img class="size-full wp-image-274" title="Google Piday 2010" src="http://www.kilomaths.com/wp-content/uploads/2010/03/piday10-hp.gif" alt="" width="294" height="119" /></a><p class="wp-caption-text">Google Piday 2010</p></div>
<p>Nous sommes le 14 mars (la date s&#8217;écrit 3/14 en format américain) et aujourd&#8217;hui on honore la constante mathématiques <span style="color: #000000;"><img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' /></span>. On la célèbre généralement à 1h59 (le matin si on utilise le format &laquo;&nbsp;24h&nbsp;&raquo; et à quatorze heure moins une si on utilise le format &laquo;&nbsp;12h&nbsp;&raquo;) dans les départements mathématiques de nombreuses universités pour obtenir l&#8217;approximation bien connue</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cpi%20%5Capprox%203%2C14159&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi \approx 3,14159' title='\pi \approx 3,14159' class='latex' />.</p>
<p style="text-align: left;">Pendant ces festivités, on imagine un monde sans <em>pi</em>, on mange des <em>pi</em>e (tartes) en buvant de la <em>pi</em>ña colada&#8230;</p>
<p style="text-align: left;">
<p style="text-align: left;">Sur le logo de Google, on retrouve l&#8217;aide d&#8217;un cercle de rayon <img src='http://s.wordpress.com/latex.php?latex=r&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='r' title='r' class='latex' /> :</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%20A%20%3D%20%5Cpi%20r%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal A = \pi r^2' title='\mathcal A = \pi r^2' class='latex' /></p>
<p style="text-align: left;">la représentation graphique de la période d&#8217;un sinus (ou d&#8217;un cosinus), deux approximations de pi :</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cfrac%7B223%7D%7B71%7D%3C%5Cpi%3C%5Cfrac%7B22%7D7&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\frac{223}{71}&lt;\pi&lt;\frac{22}7' title='\frac{223}{71}&lt;\pi&lt;\frac{22}7' class='latex' />,</p>
<p style="text-align: left;">(l&#8217;encradrement est dû à Archimède, en 350 av. J.-C.) les volumes d&#8217;une sphère de rayon <img src='http://s.wordpress.com/latex.php?latex=r&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='r' title='r' class='latex' /> et d&#8217;un cylindre de hauteur <img src='http://s.wordpress.com/latex.php?latex=h&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h' title='h' class='latex' /> et de base un disque de rayon <img src='http://s.wordpress.com/latex.php?latex=r&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='r' title='r' class='latex' /> :</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%20V_%7B%5Ctextrm%7Bsph%5C%60ere%7D%7D%3D%5Cfrac%2043%20%5Cpi%20r%5E3%2C%20%5Cqquad%20V_%7B%5Ctextrm%7Bcylindre%7D%7D%3Dh%5Cpi%20r%5E2%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal V_{\textrm{sph\`ere}}=\frac 43 \pi r^3, \qquad V_{\textrm{cylindre}}=h\pi r^2,' title='\mathcal V_{\textrm{sph\`ere}}=\frac 43 \pi r^3, \qquad V_{\textrm{cylindre}}=h\pi r^2,' class='latex' /></p>
<p style="text-align: left;">et finalement la circonférence d&#8217;un cercle de rayon <img src='http://s.wordpress.com/latex.php?latex=r&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='r' title='r' class='latex' /> : <img src='http://s.wordpress.com/latex.php?latex=2%5Cpi%20r&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2\pi r' title='2\pi r' class='latex' />.</p>
<p style="text-align: left;">
<p style="text-align: left;">Aujourd&#8217;hui, voir qu&#8217;on était la journée de <img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' /> m&#8217;a rappelé un livre que j&#8217;ai lu récemment :</p>
<p style="text-align: left;">
<div id="attachment_285" class="wp-caption alignleft" style="width: 310px"><a href="http://www.amazon.fr/Je-suis-né-jour-bleu/dp/2290011436/"><img class="size-medium wp-image-285" title="Amazon : je suis né un jour bleau" src="http://www.kilomaths.com/wp-content/uploads/2010/03/519NKprAekL._SS500_-300x300.jpg" alt="" width="300" height="300" /></a><p class="wp-caption-text">Je suis né un jour bleu, Daniel Tammet</p></div>
<p><em>Je suis né un jour bleu</em>, de Daniel Tammet. Il s&#8217;agit d&#8217;une autobiographie écrite par un anglais atteint du <a href="http://fr.wikipedia.org/wiki/Syndrome_d'Asperger">syndrome d&#8217;Asperger</a>, une forme d&#8217;autisme de haut niveau.</p>
<p>J&#8217;ai trouvé cette autobiographie très intéressante : elle permet en premier lieu de découvrir comment les autistes appréhendent le monde et nous aide à comprendre les réactions de ces derniers. Une autre chose extrêmement troublante et intrigante est la synesthésie du personnage : l&#8217;auteur nous montre comment il modélise les nombres et les mots par des formes et des couleurs, ce qui lui permet d&#8217;accomplir des prouesses extraordinaires telles que <em>mémoriser plus de 22500 décimales du nombre </em><img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' />, faire des calculs mentaux aussi rapidement qu&#8217;une machine ou apprendre une nouvelle langue en quelques semaines. Ce record est le record européen et date du 15 mars 2004 : pendant 5 heures et 9 minutes, Danniel Tammet a énoncé les décimales de <img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' /> en parcourant les paysages de son esprits représentés par le nombre <img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' />. Ce livre nous apprend beaucoup d&#8217;autre chose sur le regard d&#8217;un autiste sur le monde, mais ceci ne rentrerait pas vraiment dans le cadre de cet article.</p>
<p>L&#8217;année dernière, Daniel Tammet a d&#8217;ailleurs écrit un poème sur le nombre <img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' /> à l&#8217;occasion de la journée du Pi 2009 :</p>
<blockquote><p><em>PI</em></p>
<p><em> </em><em>Three, One, Four, One, Five, and On<br />
The numbers recount their endless tale.<br />
Three &#8211; Barefoot green, a silent voice.<br />
White as hunger, One is twice<br />
Bright like babies’ eyes.<br />
Four is timid, envious of E.<br />
Five, Punctuation or a pregnant sigh<br />
Precedes proud Nine, colour of falling night.<br />
Two, an unfastened knot,<br />
A wayward wind, the hollow of Six resounding.<br />
Nearby, Eight, a cloud of fireflies above a lake<br />
Over which I skim Sevens<br />
Remembering that Zero is nothing but a circle.</em></p></blockquote>
<p>On trouvera la traduction en français de ce poème, par Daniel Tammet lui-même, sur <a href="http://www.optimnem.co.uk/blog/2009/03/pi-poem.html">son blog</a>. Ce poème rappelle bien évidemment les moyens mnémotechniques que l&#8217;on peut utiliser pour retenir les décimales du nombre <img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' /> via un poème par exemple :</p>
<table border="0">
<tbody>
<tr>
<td>Que<strong> </strong>j&#8217;aime à faire apprendre ce nombre utile aux sages !</td>
<td><strong>3 1 4 1 5 9 2 6 5 3 5</strong></td>
</tr>
<tr>
<td>Immortel Archimède, artiste ingénieur,</td>
<td><strong>8 9 7 9</strong></td>
</tr>
<tr>
<td>Qui de ton jugement peut priser la valeur ?</td>
<td><strong>3 2 3 8 4 6 2 6</strong></td>
</tr>
<tr>
<td>Pour moi, ton problème eut de pareils avantages.</td>
<td><strong>4 3 3 8 3 2 7 9</strong></td>
</tr>
<tr>
<td>Jadis, mystérieux, un problème bloquait</td>
<td><strong>5 0 2 8 8</strong></td>
</tr>
<tr>
<td>Tout l&#8217;admirable procédé, l&#8217;œuvre grandiose</td>
<td><strong>4 1 9 7 1 6 9</strong></td>
</tr>
<tr>
<td>Que Pythagore découvrit aux anciens Grecs.</td>
<td><strong>3 9 9 3 7 5</strong></td>
</tr>
<tr>
<td>Ô quadrature ! Vieux tourment du philosophe</td>
<td><strong>1 0 5 8 2 9</strong></td>
</tr>
<tr>
<td>Insoluble rondeur, trop longtemps vous avez</td>
<td><strong>9 7 4 9 4 4</strong></td>
</tr>
<tr>
<td>Défié Pythagore et ses imitateurs.</td>
<td><strong>5 9 2 3 0</strong></td>
</tr>
<tr>
<td>Comment intégrer l&#8217;espace plan circulaire ?</td>
<td><strong>7 8 1 6 4 0</strong></td>
</tr>
<tr>
<td>Former un triangle auquel il équivaudra ?</td>
<td><strong>6 2 8 6 2 0</strong></td>
</tr>
<tr>
<td>Nouvelle invention : Archimède inscrira</td>
<td><strong>8 9 9 8</strong></td>
</tr>
<tr>
<td>Dedans un hexagone ; appréciera son aire</td>
<td><strong>6 2 8 0 3 4</strong></td>
</tr>
<tr>
<td>Fonction du rayon. Pas trop ne s&#8217;y tiendra :</td>
<td><strong>8 2 5 3 4 2 1 1 7</strong></td>
</tr>
<tr>
<td>Dédoublera chaque élément antérieur ;</td>
<td><strong>0 6 7 9</strong></td>
</tr>
<tr>
<td>Toujours de l&#8217;orbe calculée approchera ;</td>
<td><strong>8 2 1 4 8 0</strong></td>
</tr>
<tr>
<td>Définira limite ; enfin, l&#8217;arc, le limiteur</td>
<td><strong>8 6 5 1 3 2 8</strong></td>
</tr>
<tr>
<td>De cet inquiétant cercle, ennemi trop rebelle</td>
<td><strong>2 3 0 6 6 4 7</strong></td>
</tr>
<tr>
<td style="text-align: left;">Professeur, enseignez son problème avec zèle</td>
<td><strong>0 9 3 8 4 4</strong></td>
</tr>
</tbody>
</table>
<p>(la longueur de chaque mot donne une décimale (un mot de 10 lettres code zéro) et la ponctuation ne code rien.) et si jamais cela vous parait trop compliqué, vous pouvez toujours déclamer :</p>
<p style="text-align: center;"><em>How I wish I could enumerate Pi easily, since all these horrible mnemonics prevent recalling any of pi&#8217;s sequence more simply.</em></p>
<p style="text-align: left;">
<p style="text-align: left;">
<div id="attachment_291" class="wp-caption alignleft" style="width: 190px"><a href="http://www.kilomaths.com/wp-content/uploads/2010/03/Pi_pie2.jpg"><img class="size-medium wp-image-291 " title="Pi_pie2" src="http://www.kilomaths.com/wp-content/uploads/2010/03/Pi_pie2-300x299.jpg" alt="" width="180" height="179" /></a><p class="wp-caption-text">Pi Pie</p></div>
<p>Bon, il est temps d&#8217;aller se préparer une bonne tarte chocolatée avec <img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' /> pour fêter ce nombre si extraordinaire.</p>
<p>Et pour les colleurs de prépa en première année de la semaine prochaine, un petit exercice est tout indiqué pour faire travailler la décomposition en éléments simples :</p>
<blockquote><p>En calculant l&#8217;intégrale</p>
<p><img src='http://s.wordpress.com/latex.php?latex=%5Cdisplaystyle%20%5Cint_0%5E1%20%5Cfrac%7Bx%5E4%281-x%29%5E4%7D%7B1%2Bx%5E2%7D%5Ctextrm%7Bd%7Dx&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\displaystyle \int_0^1 \frac{x^4(1-x)^4}{1+x^2}\textrm{d}x' title='\displaystyle \int_0^1 \frac{x^4(1-x)^4}{1+x^2}\textrm{d}x' class='latex' />,</p>
<p>montrer que <img src='http://s.wordpress.com/latex.php?latex=%5Cpi%3C%5Cfrac%7B22%7D7&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi&lt;\frac{22}7' title='\pi&lt;\frac{22}7' class='latex' />.</p></blockquote>
<p>Bonne journée !</p>
<p>Pour aller plus loin, quelques liens :</p>
<ul>
<li><a href="http://fr.wikipedia.org/wiki/Journée_de_pi">Journée de Pi</a> (wikipédia)</li>
<li><a href="http://www.pi-world-ranking-list.com/">Records de déclamations de Pi</a></li>
<li>Une tétralogie par Eljj sur son blog de vulgarisation (<a href="http://eljjdx.canalblog.com/archives/2010/01/10/16422546.html">1</a>-<a href="http://eljjdx.canalblog.com/archives/2010/01/17/16554141.html">2</a>-<a href="http://eljjdx.canalblog.com/archives/2010/01/24/16639669.html">3</a>-<a href="http://eljjdx.canalblog.com/archives/2010/03/07/17152155.html">4</a>)</li>
<li><a href="http://trucsmaths.free.fr/Pi.htm">Beaucoup de choses sur le nombre Pi</a></li>
</ul>
<p style="text-align: left;">
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/03/la-journee-de-pi/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
		</item>
		<item>
		<title>Le troisième problème de Hilbert avec du produit tensoriel</title>
		<link>http://www.kilomaths.com/2010/02/le-troisieme-probleme-de-hilbert-avec-du-produit-tensoriel/</link>
		<comments>http://www.kilomaths.com/2010/02/le-troisieme-probleme-de-hilbert-avec-du-produit-tensoriel/#comments</comments>
		<pubDate>Fri, 26 Feb 2010 19:46:58 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Maths difficiles]]></category>
		<category><![CDATA[découpage]]></category>
		<category><![CDATA[Dehn]]></category>
		<category><![CDATA[Hilbert]]></category>
		<category><![CDATA[invariant]]></category>
		<category><![CDATA[polyèdre]]></category>
		<category><![CDATA[polygone]]></category>
		<category><![CDATA[produit tensoriel]]></category>
		<category><![CDATA[tétraèdre]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=231</guid>
		<description><![CDATA[En 1900, lors de l&#8217;Exposition Universelle, à Paris, a lieu le deuxième congrès de mathématiques. L&#8217;exposé de David Hilbert (1862-1943, mathématicien allemand, considéré comme un des plus grands mathématiciens du XXème siècle) est l&#8217;un des plus attendus. Le 8 août 1890, il présente donc sa liste de 23 problèmes qui tiennent les mathématiciens en échec [...]]]></description>
			<content:encoded><![CDATA[<p>En 1900, lors de l&#8217;Exposition Universelle, à Paris, a lieu le deuxième congrès de mathématiques. L&#8217;exposé de David Hilbert (1862-1943, mathématicien allemand, considéré comme un des plus grands mathématiciens du XXème siècle) est l&#8217;un des plus attendus. Le 8 août 1890, il présente donc sa liste de 23 problèmes qui tiennent les mathématiciens en échec et qui marqueront le cours des mathématiques du XXème siècle.</p>
<p>On s&#8217;intéresse dans cet article au <strong>troisième problème de Hilbert</strong>, qui est considéré comme le plus facile, et qui a eu une existence brève puisque la solution a été apportée par Dehn dès 1900. Il fallait spécifier <em>deux tétraèdres de même base et de même hauteur, qui ne se subdivisent d&#8217;aucune manière en tétraèdres superposables, et qui ne se laissent pas compléter par des tétraèdres superposables en des polyèdres pour lesquels une telle subdivision en tétraèdres superposables soit possible</em> (Ouf ! On peut respirer&#8230;). Autrement dit, si deux polyèdres ont même volume, peut-on produire un puzzle pour passer de l&#8217;un à l&#8217;autre ? Ou encore, si l&#8217;on a deux polyèdres de même volume, peut-on découper le premier en un nombre fini de morceaux (polyèdres) et obtenir le second en recollant les morceaux ?</p>
<p>La réponse à ce problème est négative. En particulier il est impossible de découper un cube en un nombre fini de polyèdres et de reconstituer un tétraèdre régulier (de même volume) à partir des morceaux. La démonstration de Dehn repose sur l&#8217;introduction d&#8217;un nouvel invariant appelé <strong>l&#8217;invariant de Dehn</strong>.</p>
<h5>Découpages et recollements</h5>
<p>Soient <img src='http://s.wordpress.com/latex.php?latex=A&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='A' title='A' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=B&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='B' title='B' class='latex' /> deux parties de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20R%5Ed&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb R^d' title='\mathbb R^d' class='latex' />. On dit qu&#8217;elles sont équivalentes par découpage et recollement (ou <em>équidécomposables</em>) s&#8217;il existe une partition de <img src='http://s.wordpress.com/latex.php?latex=A&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='A' title='A' class='latex' /> (resp. de <img src='http://s.wordpress.com/latex.php?latex=B&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='B' title='B' class='latex' />),</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=A%3DA_1%20%5Ccup%20A_2%20%5Ccup%20%5Ccdots%20%5Ccup%20A_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='A=A_1 \cup A_2 \cup \cdots \cup A_n' title='A=A_1 \cup A_2 \cup \cdots \cup A_n' class='latex' /> (resp. <img src='http://s.wordpress.com/latex.php?latex=B%3DB_1%20%5Ccup%20B_2%20%5Ccup%20%5Ccdots%20%5Ccup%20B_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='B=B_1 \cup B_2 \cup \cdots \cup B_n' title='B=B_1 \cup B_2 \cup \cdots \cup B_n' class='latex' />)</p>
<p>et, pour chaque <img src='http://s.wordpress.com/latex.php?latex=i%3D1%2C%202%2C%20%5Cldots%2C%20n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='i=1, 2, \ldots, n' title='i=1, 2, \ldots, n' class='latex' />, une isométrie <img src='http://s.wordpress.com/latex.php?latex=g_i%3AA_i%5Cto%20B_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='g_i:A_i\to B_i' title='g_i:A_i\to B_i' class='latex' /> qui applique <img src='http://s.wordpress.com/latex.php?latex=A_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='A_i' title='A_i' class='latex' /> sur <img src='http://s.wordpress.com/latex.php?latex=B_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='B_i' title='B_i' class='latex' />. On note alors <img src='http://s.wordpress.com/latex.php?latex=A%5Csim%20B&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='A\sim B' title='A\sim B' class='latex' />.</p>
<p><a href="http://www.kilomaths.com/wp-content/uploads/2010/02/equi.png"><img class="aligncenter size-medium wp-image-253" title="Puzzle" src="http://www.kilomaths.com/wp-content/uploads/2010/02/equi-300x133.png" alt="" width="300" height="133" /></a></p>
<p>Cette relation est clairement une relation d&#8217;équivalence.</p>
<h5>Polygones, polyèdres, tétraèdres</h5>
<p>Afin de se mettre d&#8217;accord, il est nécessaire de définir clairement les notions de polygones (ou devrait-on dire de domaines polygonaux) dans le plan, de polyèdre et de tétraèdre dans l&#8217;espace.</p>
<p>Un <em>polygone</em> est une figure géométrique plane, formée d&#8217;une suite de segments, chacun d&#8217;entre eux partageant une extrémité avec le précédent et le suivant, délimitant ainsi un contour fermé. Par exemple, les triangles, les rectangles, les hexagones sont des polygones&#8230;</p>
<p><img class="aligncenter size-full wp-image-254" title="polygones" src="http://www.kilomaths.com/wp-content/uploads/2010/02/polygones.png" alt="" width="491" height="112" /></p>
<p>Un <em>polyèdre</em> est traditionnellement une forme tridimensionnelle qui se compose d&#8217;un nombre fini de faces polygonales qui sont des parties de plans; les faces se rencontrent par paires le long des arêtes qui sont des segments de droite, et les arêtes se rencontrent aux points nommés sommets.</p>
<div id="attachment_255" class="wp-caption aligncenter" style="width: 160px"><a href="http://www.kilomaths.com/wp-content/uploads/2010/02/Icosidodecahedron.png"><img class="size-thumbnail wp-image-255" title="Icosidodecahedron" src="http://www.kilomaths.com/wp-content/uploads/2010/02/Icosidodecahedron-150x150.png" alt="" width="150" height="150" /></a><p class="wp-caption-text">Icosadodécaèdre</p></div>
<p>Un <em>tétraèdre</em> est un polyèdre dont les 4 faces sont des triangles. Il est dit régulier si ses 4 faces sont des triangles équilatéraux.<br />
<a href="http://www.kilomaths.com/wp-content/uploads/2010/02/tetraedre.png"><img class="aligncenter size-thumbnail wp-image-256" title="tetraedre" src="http://www.kilomaths.com/wp-content/uploads/2010/02/tetraedre-150x150.png" alt="" width="150" height="150" /></a></p>
<h5>Découpage des polyèdres : pourquoi cette question ?</h5>
<p>Nous connaissons tous la formule élémentaire qui donne l&#8217;aire d&#8217;un triangle : la base fois la hauteur divisé par deux. La preuve de ce résultat consiste à découper le triangle en petits polygones et à les réarranger afin d&#8217;obtenir un rectangle qui a la même aire.</p>
<p>Peut-on utiliser un argument semblable (c&#8217;est-à-dire une preuve par découpage et recollement) afin d&#8217;obtenir le volume d&#8217;une pyramide ? En effet, on obtiendrait une preuve &laquo;&nbsp;élémentaire&nbsp;&raquo; du théorème XII.5 d&#8217;Euclide (qui dit que deux pyramides de même base et de même hauteur ont même volume). Et nous obtiendrions ainsi une définition élémentaire du volume d&#8217;un polyèdre. En effet, Euclide utilise un processus infini, l&#8217;exhaustion (un passage à la limite). Les démonstrations ultérieures de cette formule font toutes appel à des méthodes relevant de près ou de loin à un calcul intégral et aucune démonstration géométrique plus simple n&#8217;a pu être trouvée.</p>
<p style="text-align: center;"><span style="color: #008000;"><strong>Le tétraèdre régulier n&#8217;est pas équidécomposable avec le cube de même volume.</strong></span></p>
<p>Pour prouver ce théorème, Dehn a introduit un nouvel invariant qui porte son nom : l&#8217;invariant de Dehn.</p>
<h5>Invariant de Dehn, version produit tensoriel</h5>
<p>Les sous-groupes de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20R&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb R' title='\mathbb R' class='latex' /> étant soit dense, soit de la forme <img src='http://s.wordpress.com/latex.php?latex=%5Calpha%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\alpha\mathbb Z' title='\alpha\mathbb Z' class='latex' />, <img src='http://s.wordpress.com/latex.php?latex=%5Calpha%5Cin%5Cmathbb%20R%5E%2A&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\alpha\in\mathbb R^*' title='\alpha\in\mathbb R^*' class='latex' />, on a <img src='http://s.wordpress.com/latex.php?latex=%5Cpi%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi\mathbb Z' title='\pi\mathbb Z' class='latex' /> qui est un sous-groupe distingué (car <img src='http://s.wordpress.com/latex.php?latex=%28%5Cmathbb%20R%2C%20%2B%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(\mathbb R, +)' title='(\mathbb R, +)' class='latex' /> est abélien) de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20R&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb R' title='\mathbb R' class='latex' />. On peut ainsi considérer le groupe quotient <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb R/\pi\mathbb Z' title='\mathbb R/\pi\mathbb Z' class='latex' />, qui peut être vu comme le groupe des angles de droite (au moyen de la mesure des angles en radians).</p>
<p>On pourra alors définir l&#8217;<em>invariant de Dehn</em> dans le produit tensoriel <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20R%20%5Cotimes_%7B%5Cmathbb%20Z%7D%20%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb R \otimes_{\mathbb Z} (\mathbb R/\pi\mathbb Z)' title='\mathbb R \otimes_{\mathbb Z} (\mathbb R/\pi\mathbb Z)' class='latex' />.</p>
<p>Par définition du produit tensoriel, on a une application <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Z' title='\mathbb Z' class='latex' />-bilinéaire naturelle</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=i%20%3A%20%5Cbegin%7Barray%7D%5Bt%5D%7Brcl%7D%5Cmathbb%20R%5Ctimes%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29%20%26%20%5Cto%20%26%20%5Cmathbb%20R%5Cotimes_%7B%5Cmathbb%20Z%7D%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29%20%20%5C%5C%20%28a%2C%5Ctheta%29%20%26%20%5Cmapsto%20%26%20a%5Cotimes%5Ctheta%5Cend%7Barray%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='i : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R\otimes_{\mathbb Z}(\mathbb R/\pi\mathbb Z)  \\ (a,\theta) &amp; \mapsto &amp; a\otimes\theta\end{array}' title='i : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R\otimes_{\mathbb Z}(\mathbb R/\pi\mathbb Z)  \\ (a,\theta) &amp; \mapsto &amp; a\otimes\theta\end{array}' class='latex' /></p>
<p>On a aussi une fonction <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Z' title='\mathbb Z' class='latex' />-bilinéaire</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Coverline%20f%20%3A%20%5Cbegin%7Barray%7D%5Bt%5D%7Brcl%7D%5Cmathbb%20R%5Ctimes%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29%20%26%20%5Cto%20%26%20%5Cmathbb%20R%20%20%5C%5C%20%28a%2C%5Ctheta%29%20%26%20%5Cmapsto%20%26%20af%28%5Ctheta%29%5Cend%7Barray%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overline f : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R  \\ (a,\theta) &amp; \mapsto &amp; af(\theta)\end{array}' title='\overline f : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R  \\ (a,\theta) &amp; \mapsto &amp; af(\theta)\end{array}' class='latex' /></p>
<p>Par la propriété universelle du produit tensoriel, il existe une unique application <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Z' title='\mathbb Z' class='latex' />-linéaire</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=F%20%3A%20%5Cbegin%7Barray%7D%5Bt%5D%7Brcl%7D%5Cmathbb%20R%5Cotimes_%7B%5Cmathbb%20Z%7D%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29%20%26%20%5Cto%20%26%20%5Cmathbb%20R%20%20%5C%5C%20a%5Cotimes%5Ctheta%20%26%20%5Cmapsto%20%26%20af%28%5Ctheta%29%5Cend%7Barray%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='F : \begin{array}[t]{rcl}\mathbb R\otimes_{\mathbb Z}(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R  \\ a\otimes\theta &amp; \mapsto &amp; af(\theta)\end{array}' title='F : \begin{array}[t]{rcl}\mathbb R\otimes_{\mathbb Z}(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R  \\ a\otimes\theta &amp; \mapsto &amp; af(\theta)\end{array}' class='latex' /></p>
<p>On peut ainsi définir l&#8217;invariant de Dehn indépendamment de la fonction <img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' /> en l&#8217;exprimant dans le produit tensoriel.</p>
<p>Soit un polyèdre <img src='http://s.wordpress.com/latex.php?latex=P&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P' title='P' class='latex' /> dans l&#8217;espace. On définit l&#8217;<strong>invariant de Dehn de <img src='http://s.wordpress.com/latex.php?latex=P&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P' title='P' class='latex' /></strong> comme le nombre réel :</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cdelta%28P%29%3D%5Csum_%7Be%5Cin%20P%7D%5Cell%28e%29%20%5Cotimes%20%5Calpha%28e%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\delta(P)=\sum_{e\in P}\ell(e) \otimes \alpha(e)' title='\delta(P)=\sum_{e\in P}\ell(e) \otimes \alpha(e)' class='latex' /></p>
<p>où l&#8217;on somme sur toutes les arêtes <img src='http://s.wordpress.com/latex.php?latex=e&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='e' title='e' class='latex' /> du polyèdre, <img src='http://s.wordpress.com/latex.php?latex=%5Cell%28e%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\ell(e)' title='\ell(e)' class='latex' /> représentant la longueur de l&#8217;arête <img src='http://s.wordpress.com/latex.php?latex=e&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='e' title='e' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=%5Calpha%28e%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\alpha(e)' title='\alpha(e)' class='latex' /> l&#8217;angle entre deux faces dont l&#8217;intersection est <img src='http://s.wordpress.com/latex.php?latex=e&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='e' title='e' class='latex' />.</p>
<p>On a donc le théorème suivant :</p>
<p style="text-align: center;"><span style="color: #339966;"><strong><span style="color: #008000;">Si deux polyèdres sont équidécomposables, ils ont le même invariant de Dehn.</span></strong></span></p>
<p>qui repose sur le caractère additif de l&#8217;invariant de Dehn : si un polyèdre <img src='http://s.wordpress.com/latex.php?latex=P&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P' title='P' class='latex' /> est réunion disjointe de polyèdres <img src='http://s.wordpress.com/latex.php?latex=P_1%2C%20%5Cldots%2C%20P_r&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_1, \ldots, P_r' title='P_1, \ldots, P_r' class='latex' />, on a</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cdelta%28P%29%3D%5Cdelta%28P_1%29%2B%5Ccdots%2B%5Cdelta%28P_r%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\delta(P)=\delta(P_1)+\cdots+\delta(P_r)' title='\delta(P)=\delta(P_1)+\cdots+\delta(P_r)' class='latex' /></p>
<p>On souhaite donc calculer l&#8217;invariant de Dehn du cube et celui du tétraèdre. Pour cela on a besoin d&#8217;un résultat préliminaire :</p>
<p>Un élément <img src='http://s.wordpress.com/latex.php?latex=t%3Da%5Cotimes%5Ctheta%20%5Cin%20%5Cmathbb%20R%5Cotimes_%7B%5Cmathbb%20Z%7D%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t=a\otimes\theta \in \mathbb R\otimes_{\mathbb Z}(\mathbb R/\pi\mathbb Z)' title='t=a\otimes\theta \in \mathbb R\otimes_{\mathbb Z}(\mathbb R/\pi\mathbb Z)' class='latex' /> , avec <img src='http://s.wordpress.com/latex.php?latex=a%5Cneq%200&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a\neq 0' title='a\neq 0' class='latex' />, est nul si et seulement si <img src='http://s.wordpress.com/latex.php?latex=%5Cfrac%5Ctheta%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\frac\theta\pi' title='\frac\theta\pi' class='latex' /> est rationnel. En effet, si <img src='http://s.wordpress.com/latex.php?latex=%5Cfrac%5Ctheta%5Cpi%20%3D%20%5Cfrac%20pq&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\frac\theta\pi = \frac pq' title='\frac\theta\pi = \frac pq' class='latex' />, on a</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=t%3D%28q%5Cfrac%20aq%29%5Cotimes%5Cfrac%20pq%20%5Cpi%20%3D%20%5Cfrac%20aq%20%5Cotimes%20%28q%5Cfrac%20pq%20%5Cpi%29%20%3D%20%5Cfrac%20aq%20%5Cotimes%20p%5Cpi%20%3D%20%5Cfrac%20aq%20%5Cotimes%200%20%3D%200&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='t=(q\frac aq)\otimes\frac pq \pi = \frac aq \otimes (q\frac pq \pi) = \frac aq \otimes p\pi = \frac aq \otimes 0 = 0' title='t=(q\frac aq)\otimes\frac pq \pi = \frac aq \otimes (q\frac pq \pi) = \frac aq \otimes p\pi = \frac aq \otimes 0 = 0' class='latex' />.</p>
<p>Supposons maintenant que <img src='http://s.wordpress.com/latex.php?latex=%5Cfrac%5Ctheta%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\frac\theta\pi' title='\frac\theta\pi' class='latex' /> est irrationnel. Par la propriété universelle du produit tensoriel, étant donnés</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Coverline%20f%20%3A%20%5Cbegin%7Barray%7D%5Bt%5D%7Brcl%7D%5Cmathbb%20R%5Ctimes%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29%20%26%20%5Cto%20%26%20%5Cmathbb%20R%20%20%5C%5C%20%28a%2C%5Ctheta%29%20%26%20%5Cmapsto%20%26%20af%28%5Ctheta%29%5Cend%7Barray%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overline f : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R  \\ (a,\theta) &amp; \mapsto &amp; af(\theta)\end{array}' title='\overline f : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R  \\ (a,\theta) &amp; \mapsto &amp; af(\theta)\end{array}' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=i%20%3A%20%5Cbegin%7Barray%7D%5Bt%5D%7Brcl%7D%5Cmathbb%20R%5Ctimes%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29%20%26%20%5Cto%20%26%20%5Cmathbb%20R%5Cotimes_%5Cmathbb%20Z%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29%20%20%5C%5C%20%28a%2C%5Ctheta%29%20%26%20%5Cmapsto%20%26%20a%5Cotimes%5Ctheta%5Cend%7Barray%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='i : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R\otimes_\mathbb Z(\mathbb R/\pi\mathbb Z)  \\ (a,\theta) &amp; \mapsto &amp; a\otimes\theta\end{array}' title='i : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R\otimes_\mathbb Z(\mathbb R/\pi\mathbb Z)  \\ (a,\theta) &amp; \mapsto &amp; a\otimes\theta\end{array}' class='latex' /></p>
<p>deux applications bilinéaires, il existe une unique application <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Z' title='\mathbb Z' class='latex' />-linéaire</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=F%20%3A%20%5Cbegin%7Barray%7D%5Bt%5D%7Brcl%7D%5Cmathbb%20R%5Cotimes_%5Cmathbb%20Z%28%5Cmathbb%20R%2F%5Cpi%5Cmathbb%20Z%29%20%26%20%5Cto%20%26%20%5Cmathbb%20R%20%20%5C%5C%20a%5Cotimes%5Ctheta%20%26%20%5Cmapsto%20%26%20af%28%5Ctheta%29%5Cend%7Barray%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='F : \begin{array}[t]{rcl}\mathbb R\otimes_\mathbb Z(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R  \\ a\otimes\theta &amp; \mapsto &amp; af(\theta)\end{array}' title='F : \begin{array}[t]{rcl}\mathbb R\otimes_\mathbb Z(\mathbb R/\pi\mathbb Z) &amp; \to &amp; \mathbb R  \\ a\otimes\theta &amp; \mapsto &amp; af(\theta)\end{array}' class='latex' /></p>
<p>On aura gagné si on trouve <img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' /> telle que <img src='http://s.wordpress.com/latex.php?latex=f%28%5Ctheta%29%5Cneq0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(\theta)\neq0' title='f(\theta)\neq0' class='latex' />. Comme <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20R&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb R' title='\mathbb R' class='latex' /> est un <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Q' title='\mathbb Q' class='latex' />-espace vectoriel et qu&#8217;il existe des bases de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20R&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb R' title='\mathbb R' class='latex' /> comme <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Q' title='\mathbb Q' class='latex' />-espace vectoriel, et comme <img src='http://s.wordpress.com/latex.php?latex=%5Ctheta&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\theta' title='\theta' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' /> sont <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Q' title='\mathbb Q' class='latex' />-indépendants, on les complète en une base et on envoie <img src='http://s.wordpress.com/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi' title='\pi' class='latex' /> sur <img src='http://s.wordpress.com/latex.php?latex=0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='0' title='0' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=%5Ctheta&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\theta' title='\theta' class='latex' /> sur <img src='http://s.wordpress.com/latex.php?latex=1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1' title='1' class='latex' />. Cet homomorphisme se factorise par <img src='http://s.wordpress.com/latex.php?latex=%5Cpi%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\pi\mathbb Z' title='\pi\mathbb Z' class='latex' /> et c&#8217;est ce que l&#8217;on désirait.</p>
<h5>Preuve du théorème</h5>
<p>Considérons le cube <img src='http://s.wordpress.com/latex.php?latex=C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C' title='C' class='latex' />. On utilisant la bilinéarité du produit tensoriel sur <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Z' title='\mathbb Z' class='latex' /> on a</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cdelta%28C%29%3D%5Csum_%7Be%5Cin%20C%7D%20%5Cell%28e%29%5Cotimes%20%5Cfrac%5Cpi2%20%3D%20%5Csum_%7Be%5Cin%20C%7D%202%5Cfrac%7B%5Cell%28e%29%7D2%5Cotimes%20%5Cfrac%5Cpi2%20%3D%20%5Csum_%7Be%5Cin%20C%7D%20%5Cfrac%7B%5Cell%28e%29%7D2%5Cotimes%202%5Cfrac%5Cpi2%20%20%20%3D%20%5Csum_%7Be%5Cin%20C%7D%20%5Cfrac%7B%5Cell%28e%29%7D2%5Cotimes%20%5Cpi%20%3D%200&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\delta(C)=\sum_{e\in C} \ell(e)\otimes \frac\pi2 = \sum_{e\in C} 2\frac{\ell(e)}2\otimes \frac\pi2 = \sum_{e\in C} \frac{\ell(e)}2\otimes 2\frac\pi2   = \sum_{e\in C} \frac{\ell(e)}2\otimes \pi = 0' title='\delta(C)=\sum_{e\in C} \ell(e)\otimes \frac\pi2 = \sum_{e\in C} 2\frac{\ell(e)}2\otimes \frac\pi2 = \sum_{e\in C} \frac{\ell(e)}2\otimes 2\frac\pi2   = \sum_{e\in C} \frac{\ell(e)}2\otimes \pi = 0' class='latex' /></p>
<p>Considérons maintenant le tétraèdre régulier <img src='http://s.wordpress.com/latex.php?latex=T&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='T' title='T' class='latex' /> de volume 1 avec des cotés de longueur <img src='http://s.wordpress.com/latex.php?latex=%5Cell&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\ell' title='\ell' class='latex' /> (<img src='http://s.wordpress.com/latex.php?latex=%3D6%5Csqrt2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='=6\sqrt2' title='=6\sqrt2' class='latex' />). En utilisant le résultat préliminaire et la liberté de la famille <img src='http://s.wordpress.com/latex.php?latex=%5C%7B%5Calpha%2C%5Cpi%5C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\{\alpha,\pi\}' title='\{\alpha,\pi\}' class='latex' /> où <img src='http://s.wordpress.com/latex.php?latex=%5Calpha&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\alpha' title='\alpha' class='latex' /> est tel que <img src='http://s.wordpress.com/latex.php?latex=%5Ccos%20%5Calpha%20%3D%20%5Cfrac%2013&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\cos \alpha = \frac 13' title='\cos \alpha = \frac 13' class='latex' />, on a</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cdelta%28T%29%3D%5Csum_%7Be%5Cin%20T%7D%20%5Cell%28e%29%5Cotimes%20%5Calpha%20%3D%20%5Csum_%7Be%5Cin%20T%7D%20%5Cell%5Cotimes%5Calpha%20%3D%206%20%5Cunderbrace%7B%5Cell%5Cotimes%20%5Calpha%7D_%7B%5Cneq0%7D%5Cneq%200&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\delta(T)=\sum_{e\in T} \ell(e)\otimes \alpha = \sum_{e\in T} \ell\otimes\alpha = 6 \underbrace{\ell\otimes \alpha}_{\neq0}\neq 0' title='\delta(T)=\sum_{e\in T} \ell(e)\otimes \alpha = \sum_{e\in T} \ell\otimes\alpha = 6 \underbrace{\ell\otimes \alpha}_{\neq0}\neq 0' class='latex' />.</p>
<p>Jolie application du produit tensoriel non ?</p>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/02/le-troisieme-probleme-de-hilbert-avec-du-produit-tensoriel/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Preuve topologique de l&#8217;infinitude des nombres premiers</title>
		<link>http://www.kilomaths.com/2010/02/preuve-topologique-de-linfinitude-des-nombres-premiers/</link>
		<comments>http://www.kilomaths.com/2010/02/preuve-topologique-de-linfinitude-des-nombres-premiers/#comments</comments>
		<pubDate>Wed, 03 Feb 2010 21:30:25 +0000</pubDate>
		<dc:creator>Valvino</dc:creator>
				<category><![CDATA[Maths difficiles]]></category>
		<category><![CDATA[infinité]]></category>
		<category><![CDATA[nombres premiers]]></category>
		<category><![CDATA[raisonnements divins]]></category>
		<category><![CDATA[topologie]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=213</guid>
		<description><![CDATA[Voilà un titre qui en jette un maximum! J&#8217;ai lu dans l&#8217;excellent livre Raisonnements divins (chez Springer) une démonstration étonnante du fait qu&#8217;il existe une infinité de nombres premiers. Elle est d&#8217;un niveau élevé car elle fait appel à des notions de topologie générale, mais elle est assez élémentaire pour qui connait cette théorie. Je [...]]]></description>
			<content:encoded><![CDATA[<p>Voilà un titre qui en jette un maximum! J&#8217;ai lu dans l&#8217;excellent livre <em>Raisonnements divins</em> (chez Springer) une démonstration étonnante du fait qu&#8217;il existe une infinité de nombres premiers. Elle est d&#8217;un niveau élevé car elle fait appel à des notions de topologie générale, mais elle est assez élémentaire pour qui connait cette théorie. Je la livre donc ici.</p>
<p>On définit une topologie sur <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Z' title='\mathbb Z' class='latex' /> en disant que les ouverts sont le vide et les <img src='http://s.wordpress.com/latex.php?latex=O%20%5Csubset%20%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='O \subset \mathbb Z' title='O \subset \mathbb Z' class='latex' /> vérifiant que pour tout entier <img src='http://s.wordpress.com/latex.php?latex=a%5Cin%20O&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a\in O' title='a\in O' class='latex' />, il existe un entier <img src='http://s.wordpress.com/latex.php?latex=b%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b&gt;0' title='b&gt;0' class='latex' /> tel que <img src='http://s.wordpress.com/latex.php?latex=a%2Bb%5Cmathbb%20Z%5Csubset%20O&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a+b\mathbb Z\subset O' title='a+b\mathbb Z\subset O' class='latex' />. Il est clair que la réunion quelconque d&#8217;ouverts est un ouvert. De plus, si <img src='http://s.wordpress.com/latex.php?latex=O_1%2CO_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='O_1,O_2' title='O_1,O_2' class='latex' /> sont des ouverts, ou bien l&#8217;intersection est vide et <img src='http://s.wordpress.com/latex.php?latex=O_1%20%5Ccap%20O_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='O_1 \cap O_2' title='O_1 \cap O_2' class='latex' /> est un ouvert, ou bien pour <img src='http://s.wordpress.com/latex.php?latex=a%20%5Cin%20O_1%20%5Ccap%20O_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a \in O_1 \cap O_2' title='a \in O_1 \cap O_2' class='latex' />, on a <img src='http://s.wordpress.com/latex.php?latex=a%2Bb_1b_2%5Cmathbb%20Z%20%5Csubset%20O_1%20%5Ccap%20O_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a+b_1b_2\mathbb Z \subset O_1 \cap O_2' title='a+b_1b_2\mathbb Z \subset O_1 \cap O_2' class='latex' />, avec  des entiers <img src='http://s.wordpress.com/latex.php?latex=b_1%2Cb_2%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b_1,b_2&gt;0' title='b_1,b_2&gt;0' class='latex' /> tels que <img src='http://s.wordpress.com/latex.php?latex=a%2Bb_1%5Cmathbb%20Z%5Csubset%20O_1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a+b_1\mathbb Z\subset O_1' title='a+b_1\mathbb Z\subset O_1' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=a%2Bb_2%5Cmathbb%20Z%5Csubset%20O_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a+b_2\mathbb Z\subset O_2' title='a+b_2\mathbb Z\subset O_2' class='latex' />. Finalement,  <img src='http://s.wordpress.com/latex.php?latex=O_1%20%5Ccap%20O_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='O_1 \cap O_2' title='O_1 \cap O_2' class='latex' /> est un ouvert. On a donc bien une topologie sur <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb Z' title='\mathbb Z' class='latex' />.</p>
<p>On remarque d&#8217;une part que tout ouvert non vide est infini (car par définition il contient un ensemble infini), et d&#8217;autre part que tout ensemble du type <img src='http://s.wordpress.com/latex.php?latex=a%2Bb%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a+b\mathbb Z' title='a+b\mathbb Z' class='latex' />, avec <img src='http://s.wordpress.com/latex.php?latex=a%2Cb&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a,b' title='a,b' class='latex' /> des entiers (<img src='http://s.wordpress.com/latex.php?latex=b%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b&gt;0' title='b&gt;0' class='latex' />), est un fermé. En effet, on a</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cdisplaystyle%20a%2Bb%5Cmathbb%20Z%3D%5Cmathbb%20Z-%5Cleft%28%5Cbigcup_%7Bk%3D1%7D%5E%7Bb-1%7D%20%5Ba%2Bk%2Bb%5Cmathbb%20Z%5D%5Cright%29%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\displaystyle a+b\mathbb Z=\mathbb Z-\left(\bigcup_{k=1}^{b-1} [a+k+b\mathbb Z]\right),' title='\displaystyle a+b\mathbb Z=\mathbb Z-\left(\bigcup_{k=1}^{b-1} [a+k+b\mathbb Z]\right),' class='latex' /></p>
<p>c&#8217;est donc le complémentaire d&#8217;un ouvert.</p>
<p>Comme tout entier différent de 1 et -1 admet un diviseur premier, on a</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Cdisplaystyle%20%5Cmathbb%20Z-%5C%7B-1%2C1%5C%7D%3D%5Cbigcup_p%200%2Bp%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\displaystyle \mathbb Z-\{-1,1\}=\bigcup_p 0+p\mathbb Z' title='\displaystyle \mathbb Z-\{-1,1\}=\bigcup_p 0+p\mathbb Z' class='latex' /></p>
<p>où la réunion se fait sur tous les nombres premiers <img src='http://s.wordpress.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p' title='p' class='latex' />. S&#8217;ils étaient en nombre fini, <img src='http://s.wordpress.com/latex.php?latex=%5Cbigcup_p%200%2Bp%5Cmathbb%20Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\bigcup_p 0+p\mathbb Z' title='\bigcup_p 0+p\mathbb Z' class='latex' /> serait fermé comme réunion finie d&#8217;ensembles fermés. Par passage au complémentaire, <img src='http://s.wordpress.com/latex.php?latex=%5C%7B-1%2C1%5C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\{-1,1\}' title='\{-1,1\}' class='latex' /> serait ouvert, ce qui est absurde car c&#8217;est un ensemble fini non vide. Il existe donc une infinité de nombres premiers.</p>
<p>Joli, non?</p>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/02/preuve-topologique-de-linfinitude-des-nombres-premiers/feed/</wfw:commentRss>
		<slash:comments>6</slash:comments>
		</item>
		<item>
		<title>Le théorème de Wielandt</title>
		<link>http://www.kilomaths.com/2010/01/le-theoreme-de-wielandt/</link>
		<comments>http://www.kilomaths.com/2010/01/le-theoreme-de-wielandt/#comments</comments>
		<pubDate>Mon, 25 Jan 2010 23:10:46 +0000</pubDate>
		<dc:creator>Valvino</dc:creator>
				<category><![CDATA[Maths difficiles]]></category>
		<category><![CDATA[analyse complexe]]></category>
		<category><![CDATA[fonction gamma]]></category>
		<category><![CDATA[théorème de Bohr-Mollerup]]></category>
		<category><![CDATA[théorème de Liouville]]></category>
		<category><![CDATA[théorème de Wielandt]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=201</guid>
		<description><![CDATA[La fonction gamma prolonge la notion de factorielle sur l&#8217;ensemble des nombres complexes privés des entiers négatifs ou nul. Il s&#8217;agit là d&#8217;une fonction holomorphe, sauf aux entiers négatifs ou nul où elle admet des pôles. C&#8217;est donc une fonction méromorphe sur les nombres complexes. On dispose de plusieurs caractérisations de cette fonction. Citons le [...]]]></description>
			<content:encoded><![CDATA[<p>La <a title="fonction gamma" href="http://fr.wikipedia.org/wiki/Fonction_gamma">fonction gamma</a> <img src='http://s.wordpress.com/latex.php?latex=%5CGamma&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\Gamma' title='\Gamma' class='latex' /> prolonge la notion de factorielle sur l&#8217;ensemble des nombres complexes privés des entiers négatifs ou nul. Il s&#8217;agit là d&#8217;une fonction holomorphe, sauf aux entiers négatifs ou nul où elle admet des pôles. C&#8217;est donc une fonction méromorphe sur les nombres complexes.</p>
<p>On dispose de plusieurs caractérisations de cette fonction. Citons le théorème de Bohr-Mollerup :</p>
<blockquote><p>Soit une fonction <img src='http://s.wordpress.com/latex.php?latex=f%3A%5D0%2C%2B%5Cinfty%5B%20%5Cto%20%5D0%2C%2B%5Cinfty%5B&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f:]0,+\infty[ \to ]0,+\infty[' title='f:]0,+\infty[ \to ]0,+\infty[' class='latex' /> telle que</p>
<ol>
<li><img src='http://s.wordpress.com/latex.php?latex=f%281%29%3D1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(1)=1' title='f(1)=1' class='latex' />;</li>
<li><img src='http://s.wordpress.com/latex.php?latex=f%28x%2B1%29%3Dxf%28x%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(x+1)=xf(x)' title='f(x+1)=xf(x)' class='latex' /> pour tout <img src='http://s.wordpress.com/latex.php?latex=x%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x&gt;0' title='x&gt;0' class='latex' />;</li>
<li><img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' /> est log-convexe, c&#8217;est-à-dire que <img src='http://s.wordpress.com/latex.php?latex=%5Clog%28f%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\log(f)' title='\log(f)' class='latex' /> est une <a title="fonction convexe" href="http://fr.wikipedia.org/wiki/Fonction_convexe">fonction convexe</a>.</li>
</ol>
<p>Alors <img src='http://s.wordpress.com/latex.php?latex=f%28x%29%3D%5CGamma%28x%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(x)=\Gamma(x)' title='f(x)=\Gamma(x)' class='latex' /> pour tout <img src='http://s.wordpress.com/latex.php?latex=x%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x&gt;0' title='x&gt;0' class='latex' />.</p></blockquote>
<p>On dispose d&#8217;une autre caractérisation, il s&#8217;agit du théorème de Wielandt :</p>
<blockquote><p>Soit <img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' /> une fonction holomorphe sur <img src='http://s.wordpress.com/latex.php?latex=%5Cmathrm%7BRe%7D%28z%29%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathrm{Re}(z)&gt;0' title='\mathrm{Re}(z)&gt;0' class='latex' /> telle que</p>
<ol>
<li><img src='http://s.wordpress.com/latex.php?latex=f%281%29%3D1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(1)=1' title='f(1)=1' class='latex' />;</li>
<li><img src='http://s.wordpress.com/latex.php?latex=f%28z%2B1%29%3Dzf%28z%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(z+1)=zf(z)' title='f(z+1)=zf(z)' class='latex' /> pour tout <img src='http://s.wordpress.com/latex.php?latex=%5Cmathrm%7BRe%7D%28z%29%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathrm{Re}(z)&gt;0' title='\mathrm{Re}(z)&gt;0' class='latex' />;</li>
<li><img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' /> est bornée dans la bande <img src='http://s.wordpress.com/latex.php?latex=1%20%5Cleq%20%5Cmathrm%7BRe%7D%28z%29%20%5Cleq%202&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1 \leq \mathrm{Re}(z) \leq 2' title='1 \leq \mathrm{Re}(z) \leq 2' class='latex' />.</li>
</ol>
<p>Alors <img src='http://s.wordpress.com/latex.php?latex=f%28z%29%3D%5CGamma%28z%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(z)=\Gamma(z)' title='f(z)=\Gamma(z)' class='latex' /> pour tout <img src='http://s.wordpress.com/latex.php?latex=%5Cmathrm%7BRe%7D%28z%29%3E0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathrm{Re}(z)&gt;0' title='\mathrm{Re}(z)&gt;0' class='latex' />.</p></blockquote>
<p>Je me propose de faire une esquisse de la démonstration.</p>
<p>On remarque tout d&#8217;abord que l&#8217;on peut étendre <img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' /> sur l&#8217;ensemble des nombres complexes privés des entiers négatifs ou nul par 2. en suivant la même méthode que pour la fonction gamma. Ensuite, on remarque avec 1. que les résidus aux pôles sont les mêmes que ceux de la fonction gamma. Ainsi, la fonction <img src='http://s.wordpress.com/latex.php?latex=g%3Df-%5CGamma&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='g=f-\Gamma' title='g=f-\Gamma' class='latex' /> est une fonction entière.</p>
<p>Ensuite, on remarque que <img src='http://s.wordpress.com/latex.php?latex=g&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='g' title='g' class='latex' /> est bornée sur la bande <img src='http://s.wordpress.com/latex.php?latex=0%20%5Cleq%20%5Cmathrm%7BRe%7D%28z%29%20%5Cleq%201&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='0 \leq \mathrm{Re}(z) \leq 1' title='0 \leq \mathrm{Re}(z) \leq 1' class='latex' />. Pour cela, il suffit de remarquer que c&#8217;est le cas sur la bande <img src='http://s.wordpress.com/latex.php?latex=1%20%5Cleq%20%5Cmathrm%7BRe%7D%28z%29%20%5Cleq%202&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1 \leq \mathrm{Re}(z) \leq 2' title='1 \leq \mathrm{Re}(z) \leq 2' class='latex' />, en faisant une majoration explicite sur la formule définissant <img src='http://s.wordpress.com/latex.php?latex=%5CGamma&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\Gamma' title='\Gamma' class='latex' />. On utilise ensuite 2. pour se ramener à la bande <img src='http://s.wordpress.com/latex.php?latex=0%20%5Cleq%20%5Cmathrm%7BRe%7D%28z%29%20%5Cleq%201&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='0 \leq \mathrm{Re}(z) \leq 1' title='0 \leq \mathrm{Re}(z) \leq 1' class='latex' />, le problème en 0 étant effaçable par 1.</p>
<p>Enfin, on pose <img src='http://s.wordpress.com/latex.php?latex=h%28z%29%3Dg%28z%29g%281-z%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h(z)=g(z)g(1-z)' title='h(z)=g(z)g(1-z)' class='latex' />.  Par ce qui précède, c&#8217;est une fonction entière bornée dans la bande <img src='http://s.wordpress.com/latex.php?latex=0%20%5Cleq%20%5Cmathrm%7BRe%7D%28z%29%20%5Cleq%201&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='0 \leq \mathrm{Re}(z) \leq 1' title='0 \leq \mathrm{Re}(z) \leq 1' class='latex' />. De plus, <img src='http://s.wordpress.com/latex.php?latex=h%28z%2B1%29%3D-h%28z%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h(z+1)=-h(z)' title='h(z+1)=-h(z)' class='latex' />, ce qui montre que <img src='http://s.wordpress.com/latex.php?latex=h&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h' title='h' class='latex' /> est une fonction bornée sur l&#8217;ensemble des nombres complexes. Par le théorème de Liouville, elle est constante. Comme <img src='http://s.wordpress.com/latex.php?latex=h%281%29%3D0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h(1)=0' title='h(1)=0' class='latex' />, on a <img src='http://s.wordpress.com/latex.php?latex=h%3D0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h=0' title='h=0' class='latex' />, c&#8217;est-à-dire <img src='http://s.wordpress.com/latex.php?latex=g%3D0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='g=0' title='g=0' class='latex' />. Finalement, <img src='http://s.wordpress.com/latex.php?latex=f%3D%5CGamma&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f=\Gamma' title='f=\Gamma' class='latex' />.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/01/le-theoreme-de-wielandt/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Maths et magie, racine septième d&#8217;un entier</title>
		<link>http://www.kilomaths.com/2010/01/maths-et-magie-racine-septieme-dun-entier/</link>
		<comments>http://www.kilomaths.com/2010/01/maths-et-magie-racine-septieme-dun-entier/#comments</comments>
		<pubDate>Sun, 10 Jan 2010 23:31:16 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Maths et magie]]></category>
		<category><![CDATA[entiers]]></category>
		<category><![CDATA[magie]]></category>
		<category><![CDATA[racines]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=188</guid>
		<description><![CDATA[Si vous voulez impressionner des amis (ou des élèves) par vos performances en calcul mental, mais que malheureusement, vous n&#8217;êtes pas aussi doués que d&#8217;autres mathématiciens, vous pourriez être tenté d&#8217;utiliser quelques petites astuces&#8230; Comment extraire une racine septième d&#8217;un entier ? Demandez à la personne en face de vous d&#8217;élever un nombre (entier, cela [...]]]></description>
			<content:encoded><![CDATA[<p>Si vous voulez impressionner des amis (ou des élèves) par vos performances en calcul mental, mais que malheureusement, vous n&#8217;êtes pas aussi doués que d&#8217;<a href="http://www.mathoman.com/index.php/1546-les-mysteres-du-cerveau-les-mathemagiciens">autres mathématiciens</a>, vous pourriez être tenté d&#8217;utiliser quelques petites astuces&#8230;</p>
<h3>Comment extraire une racine septième d&#8217;un entier ?</h3>
<p>Demandez à la personne en face de vous d&#8217;élever un nombre (entier, cela va de soi, sinon votre tour tombe à l&#8217;eau) compris entre 1 et 100 à la puissance 7, avec une calculatrice scientifique (la petite calculatrice aura du mal à afficher <img src='http://s.wordpress.com/latex.php?latex=100%5E7%3D10%5E%7B14%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='100^7=10^{14}' title='100^7=10^{14}' class='latex' />, c&#8217;est-à-dire 100 000 milliards&#8230;, et qu&#8217;elle vous annonce le résultat.</p>
<p>Supposons par exemple qu&#8217;elle annonce 3 938 980 639 167. Écrivez le nombre sur votre feuille en séparant tous les 3 chiffres (comme on le fait naturellement en français).</p>
<p><strong><span style="text-decoration: underline;">Première étape</span></strong> : déterminons le chiffre des unités du nombre élevé à la puissance 7. On regarde alors le chiffre des unités du nombre qui nous a été donné :</p>
<p style="text-align: center;">3 938 980 639 16<strong><span style="color: #ff0000;">7</span></strong></p>
<p>Puis on regarde discrètement dans ce petit tableau qu&#8217;on a caché (ou mieux, qu&#8217;on a appris par coeur tellement il est simple) à quoi correspond ce chiffre 7 :</p>
<table border="1">
<tbody>
<tr>
<td><strong>Chiffre des unités du nombre donné</strong></td>
<td>0</td>
<td>1</td>
<td>2</td>
<td>3</td>
<td>4</td>
<td>5</td>
<td>6</td>
<td><strong><span style="color: #ff0000;">7</span></strong></td>
<td>8</td>
<td>9</td>
</tr>
<tr>
<td><strong>Chiffre des unités du nombre initial</strong></td>
<td>0</td>
<td>1</td>
<td>8</td>
<td>7</td>
<td>4</td>
<td>5</td>
<td>6</td>
<td><strong><span style="color: #ff0000;">3</span></strong></td>
<td>2</td>
<td>9</td>
</tr>
</tbody>
</table>
<p>Le nombre initial fini donc par un 3 ! Les plus savants peuvent retenir que ce tableau correspond exactement à la permutation <img src='http://s.wordpress.com/latex.php?latex=%283%2C7%29%282%2C8%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(3,7)(2,8)' title='(3,7)(2,8)' class='latex' />&#8230;</p>
<p><strong><span style="text-decoration: underline;">Deuxième étape</span><span style="font-weight: normal;"> : Déterminons maintenant le nombre de dizaines. Pour cela on regarde le nombre de milliards qui figurent dans le nombre donné, c&#8217;est-à-dire qu&#8217;on oublie les 9 premiers chiffres. Dans notre exemple :</span></strong></p>
<p style="text-align: center;"><span style="color: #ff0000;">3 938</span> 980 639 167</p>
<p style="text-align: left;">Puis on regarde discrètement dans ce petit tableau qu&#8217;on a caché (ou mieux, qu&#8217;on a appris par coeur&#8230; parce qu&#8217;il n&#8217;y a que 10 valeurs à retenir) où se situe ce nombre 3938 :</p>
<table border="1">
<tbody>
<tr>
<td><strong>Nombre de milliards du nombre donné</strong></td>
<td>0</td>
<td>0,01</td>
<td>1</td>
<td>21</td>
<td>163</td>
<td>780</td>
<td>2700</td>
<td>8000</td>
<td>20000</td>
<td>47000</td>
<td>100000</td>
</tr>
<tr>
<td><strong>Nombre de dizaines du nombre initial</strong></td>
<td>0</td>
<td>1</td>
<td>2</td>
<td>3</td>
<td>4</td>
<td>5</td>
<td>6</td>
<td>7</td>
<td>8</td>
<td>9</td>
<td>10</td>
</tr>
</tbody>
</table>
<p>On voit bien que 3938 se situe entre 2700 et 8000. On prend donc le nombre de dizaines du nombre le plus petit entre 6 et 7, c&#8217;est-à-dire 6.</p>
<p>Finalement, vous pouvez annoncer fièrement votre résultat : le nombre de départ était <strong><span style="color: #ff0000;">63</span></strong> !</p>
<h4>Comment ça fonctionne ?</h4>
<p>Il est remarquable qu&#8217;à la puissance 7, les chiffres des unités des puissances septième soient tous différents selon le chiffre des unités de départ, et on retrouve exactement les mêmes résultats aux puissances 3 et 5. Même mieux, à la puissance 9, le chiffre des unités de la racine neuvième est exactement le chiffre des unité du nombre final !</p>
<p>D&#8217;autre part, les encadrements données dans le second tableau sont simplement ceux que l&#8217;on obtient en calculant les puissances septièmes des différentes dizaines, entre 10 et 100, puis en les divisant pas 1 000 000 000, et en arrondissant.</p>
<p>Il convient juste de faire attention lorsque l&#8217;on arrondit de ne pas les rendre inférieurs à la puissance septième située immédiatement en dessous. Par exemple, 60^7 = 2 779,36 milliards et 59^7 = 2 488,&#8230; milliards, donc on peut arrondir à 2700, 2600 ou 2500 mais pas moins, et du ce fait les puissances septièmes des nombres ayant 5 pour dizaine seront situés sous la barre des 2 700 (ou 2 600, ou 2 500) milliards.</p>
<p>On pourra s&#8217;amuser si on le souhaite trouver des moyens équivalents pour calculer des racines cubiques, cinquième ou neuvième des entiers inférieurs à 100.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2010/01/maths-et-magie-racine-septieme-dun-entier/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
	</channel>
</rss>
