<?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 &#187; Tukikun</title>
	<atom:link href="http://www.kilomaths.com/author/admin/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>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>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>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>
		<item>
		<title>Efficacité vaccin du sida</title>
		<link>http://www.kilomaths.com/2009/11/efficacite-vaccin-du-sida/</link>
		<comments>http://www.kilomaths.com/2009/11/efficacite-vaccin-du-sida/#comments</comments>
		<pubDate>Wed, 04 Nov 2009 17:21:55 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Divers]]></category>
		<category><![CDATA[corrélation]]></category>
		<category><![CDATA[médecine]]></category>
		<category><![CDATA[pourcentages]]></category>
		<category><![CDATA[probabilité]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=146</guid>
		<description><![CDATA[Jeudi 24 septembre 2009, des chercheurs américains et thaïlandais ont annoncé avoir mis au point un vaccin permettant de réduire de 31,2 % les infections au virus du sida. Cette information a circulé tout autour de la terre comme un formidable message d&#8217;espoir&#8230; Dans l&#8217;article que j&#8217;ai lu, ils parlaient d&#8217;une expérience effectuée sur 16000 [...]]]></description>
			<content:encoded><![CDATA[<p>Jeudi 24 septembre 2009, des chercheurs américains et thaïlandais ont annoncé avoir mis au point un vaccin permettant de réduire de 31,2 % les infections au virus du sida. Cette information a circulé tout autour de la terre comme un formidable message d&#8217;espoir&#8230; Dans l&#8217;article que j&#8217;ai lu, ils parlaient d&#8217;une expérience effectuée sur 16000 individus&#8230; qui ont été divisés en deux groupes, l&#8217;un ayant le vaccin et le second un placebo. Cependant, aucune autre information n&#8217;était disponible : combien de cas de sida dans chaque groupe, comment ont été constitués les groupes, quels étaient les risques de contamination des individus, et un certain nombre d&#8217;informations importantes&#8230; Et surtout : <em>comment ce nombre de 31,2% a-t-il été calculé ?</em></p>
<p>Ne disposant pas de ces résultats et voulant mettre en garde les étudiants de médecine auxquels je donnais des cours cette année, je leur ai fait tester l&#8217;hypothèse : &laquo;&nbsp;le vaccin n&#8217;a aucun effet&nbsp;&raquo; sur un échantillon de 16000 personnes, 6000 ayant reçu le vaccin et 10000 un placebo; avec une prévalence (très élevée) de 1% dans la population. Ainsi, sur le groupe de 10 000 individus, 100 présentaient le virus, et 42 parmi le groupe ayant été vacciné, ce qui &#8211; ramené à effectif comparable &#8211; est une baisse de 30% du virus du sida. Après de petits calculs, on ne peut pas rejeter l&#8217;hypothèse faite au risque 5%&#8230; c&#8217;est-à-dire qu&#8217;il est possible que les différences d&#8217;effectifs soient le seul fait du hasard (mais pas forcément que le vaccin n&#8217;a eu aucun effet) à 95% ! Conclusion : impossible d&#8217;en dire plus&#8230;</p>
<p>Aujourd&#8217;hui, je suis tombé sur une <a href="http://www.google.com/hostednews/afp/article/ALeqM5inSxB8rLa9gXpJ1IiwyFRSzJm8sQ" target="_blank">brève de l&#8217;AFP</a>, expliquant un peu mieux comment ont été formés les groupes, etc. En refaisant une comparaison de pourcentage à l&#8217;aide du test du <img src='http://s.wordpress.com/latex.php?latex=%5Cchi%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\chi^2' title='\chi^2' class='latex' />, on obtient au risque 5% le rejet de l&#8217;hypothèse, c&#8217;est-à-dire qu&#8217;avec un risque de 5% de se tromper, on peut dire que le <em>vaccin a eu un effet</em> ! Bon, après, il faut relativiser : le chiffre avancé de 31,2% est assez&#8230; arbitraire ! Rien ne dit que le vaccin provoque une immunité dans 30% des cas : ce chiffre est fortement contesté par la communauté scientifique. De plus, ce sont deux groupes de volontaires, donc ce n&#8217;est pas un <a href="http://www.spc.univ-lyon1.fr/polycop/randomisation.htm">essai thérapeutique randomisé</a>, on ne sait pas s&#8217;il s&#8217;agit d&#8217;un test en double aveugle (c&#8217;est-à-dire médecins et patients ignorent s&#8217;ils ont le vaccin ou un placebo) ou si seul le patient ignore le produit qui lui a été injecté. On ne sait rien des effets à long terme, et on ne sait pas si ce vaccin serait utilisable en Afrique (population à haut risque, avec un type différent de virus) !</p>
<p>Bref, une modeste avancée, mais qui s&#8217;avère statistiquement significative au risque 5%&#8230; Mais on est loin des 31,2% de protection annoncés !</p>
<p>Le matraquage médiatique et les pourcentages lancés sans aucune explication permettent une manipulation importante d&#8217;une population non prévenue&#8230; Il existe de nombreux exemples de cette manipulation :</p>
<p>- Suite au premier tour de l&#8217;élection présidentielle française en 2002 (et la surprise pour une grande partie des français des résultats du front national), <a href="http://www.lecanardenchaine.fr/">le canard enchaîné</a> (hebdomadaire satirique) avait publié une image mettant en avant la <em>corrélation</em> entre les retombées radioactives de Tchernobyl et les résultats du Front National dans les départements</p>
<div id="attachment_149" class="wp-caption aligncenter" style="width: 310px"><a href="http://www.kilomaths.com/wp-content/uploads/2009/11/carteFN.gif"><img class="size-medium wp-image-149" title="carteFN" src="http://www.kilomaths.com/wp-content/uploads/2009/11/carteFN-300x157.gif" alt="Corrélation entre retombées radioactives de Tchernobyl et vote en faveur du Front National" width="300" height="157" /></a><p class="wp-caption-text">Corrélation entre les retombées radioactives de Tchernobyl et le vote en faveur du Front National</p></div>
<p style="text-align: left;">Mais ce qu&#8217;il faut savoir, c&#8217;est qu&#8217;une corrélation entre deux phénomènes de ce genre, en mathématiques, indique une relation du genre :</p>
<p style="text-align: center;"><em>si on est dans une région ayant eu de fortes retombées suite à la catastrophe de Tchernobyl, alors le vote Front National est élevé dans notre région, et inversement</em></p>
<p style="text-align: left;">En effet, si notre département a beaucoup voté FN, on doit être dans l&#8217;est et du coup, il y a de grandes chances que les retombées du nuage radioactif aient été importantes. Mais il n&#8217;y a pas forcément <strong>dépendance entre les événements</strong>, c&#8217;est-à-dire que ça ne signifie pas qu&#8217;un des éléments a causé le second !</p>
<p style="text-align: left;">- Quand la sécurité routière annonce des pourcentages, elle dit qu&#8217;il y a par exemple 97% des accidents sur des lignes droites le jour et 3% la nuit, et donc qu&#8217;il faut être prudent le jour aussi, etc. Ce qu&#8217;elle ne mentionne pas, c&#8217;est qu&#8217;il y a <span style="text-decoration: underline;">beaucoup plus</span> de circulation le jour que la nuit, et que proportionnellement, la probabilité d&#8217;avoir un accident sur une ligne droite le jour est très faible, alors que cette probabilité est beaucoup plus importante de nuit !</p>
<p style="text-align: left;">
<p style="text-align: left;">Les nombres permettent de manipuler les individus, il convient de rester vigilant et critique envers tous ces pourcentages qui jonchent l&#8217;actualité !</p>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2009/11/efficacite-vaccin-du-sida/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Calculs &#171;&#160;à la main&#160;&#187; nécessaires après le bac</title>
		<link>http://www.kilomaths.com/2009/10/calculs-a-la-main/</link>
		<comments>http://www.kilomaths.com/2009/10/calculs-a-la-main/#comments</comments>
		<pubDate>Sat, 03 Oct 2009 14:20:25 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Réflexions]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/?p=87</guid>
		<description><![CDATA[C&#8217;est sans doute un thème récurrent dans les blogs, la baisse de niveau des étudiants, la génération dyslexique en maths : que de formules peu flatteuses pour l&#8217;enseignement des mathématiques actuel&#8230; Bien que j&#8217;aie connue la baisse drastique de niveau des mathématiques (jeunesse oblige), j&#8217;ai eu envie de venir apporter ma pierre à cette polémique [...]]]></description>
			<content:encoded><![CDATA[<p>C&#8217;est sans doute un thème récurrent dans les blogs, la <a href="http://math-et-physique.over-blog.com/article-21854065.html">baisse de niveau</a> des étudiants, la <a href="http://www.mathoman.com/index.php/138-une-generation-dyslexique-en-math">génération dyslexique en maths</a> : que de formules peu flatteuses pour l&#8217;enseignement des mathématiques actuel&#8230; Bien que j&#8217;aie connue la baisse drastique de niveau des mathématiques (jeunesse oblige), j&#8217;ai eu envie de venir apporter ma pierre à cette polémique maintes fois exposée, n&#8217;ayant pas la prétention d&#8217;innover, mais juste celle de redire encore et encore les surprises que l&#8217;on peut rencontrer lorsque l&#8217;on enseigne&#8230;</p>
<p>Je donne actuellement des &laquo;&nbsp;cours&nbsp;&raquo; &#8212; disons plutôt que j&#8217;entraîne sauvagement les étudiants au concours &#8212; dans une prépa privée pour les étudiants de PCEM 1 / PCEP 1  (i.e. étudiants de médecine et de pharmacie de première année). La formation étant exclusivement basée sur la rapidité, la connaissance du cours et l&#8217;application des méthodes (et non pas de la compréhension), je peux difficilement juger de leur capacité à comprendre les mathématiques. Par contre, je peux &#8212; et je ne m&#8217;en prive pas &#8212; tester leur capacité à calculer.</p>
<p>En effet, la calculatrice est interdite le jour du concours, sans doute pour éviter les fraudes (qui consisterait à la remplir de formules à appliquer à tous les exercices). En conséquence de quoi le concours déjà fort long se complique un peu d&#8217;avantage : non seulement il faut aller vite, mais il faut en plus faire un nombre non négligeable de calculs de tête.</p>
<p>En analyse, outre les dérivées de fonctions parfois assez corsées (du genre de l&#8217;évolution de la population bactérienne par le modèle de Verhulst : <img src='http://s.wordpress.com/latex.php?latex=N%28t%29%20%3D%20%5Cfrac%7BN_C%7D%7B1%2B%5Cleft%28%5Cfrac%7BN_C%7D%7BN_0%7D-1%5Cright%29e%5E%7B-%5Ctau%20t%7D%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='N(t) = \frac{N_C}{1+\left(\frac{N_C}{N_0}-1\right)e^{-\tau t}}' title='N(t) = \frac{N_C}{1+\left(\frac{N_C}{N_0}-1\right)e^{-\tau t}}' class='latex' />, à dériver deux fois pour rechercher les points d&#8217;inflexion), il faut aussi calculer des incertitudes (comme l&#8217;incertitude sur la pression connaissant l&#8217;incertitude sur la température et le volume d&#8217;un gaz parfait), et tout cela&#8230; de tête. Et là, c&#8217;est terrible&#8230; les élèves se braquent pour diviser 2802 par 41, s&#8217;effraient devant les dérivées de la forme <img src='http://s.wordpress.com/latex.php?latex=%5Cfrac%20uv&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\frac uv' title='\frac uv' class='latex' /> où <img src='http://s.wordpress.com/latex.php?latex=u&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='u' title='u' class='latex' /> et <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' /> ne sont pas des simples fonctions polynomiales qui rendent les calculs faciles&#8230;</p>
<p>En biostatistique, il faut donner des intervalles de confiance de moyenne, il faut calculer des covariances de variables aléatoire, les VPP et VPN (valeurs prédictives positives et négatives d&#8217;un test diagnostic, i.e. respectivement la probabilité d&#8217;être malade sachant que le test est positif et la probabilité de ne pas être malade sachant que le test est négatif), et parfois même des formules compliquées, avec des <img src='http://s.wordpress.com/latex.php?latex=%5Csqrt%7Bn%7D%2C%20%5Csqrt%7Bn-1%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\sqrt{n}, \sqrt{n-1}' title='\sqrt{n}, \sqrt{n-1}' class='latex' /> ou <img src='http://s.wordpress.com/latex.php?latex=%5Csqrt%7Bn-2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\sqrt{n-2}' title='\sqrt{n-2}' class='latex' /> où <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' /> est la taille de l&#8217;échantillon&#8230;</p>
<p>Je reconnais que ça fait beaucoup de calculs, et parfois vraiment pas évidents&#8230; Mais le recours à la calculatrice étant si immédiat, on en oublie la manière de calculer, on en oublie de regarder les ordres de grandeur (pour évincer une solution parfaitement fausse du premier coup d&#8217;oeil)&#8230; Je passais dans les rangs et je voyais des multiplications farfelues orner les brouillons&#8230; des multiplications pour <img src='http://s.wordpress.com/latex.php?latex=900%5Ctimes%200%2C4&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='900\times 0,4' title='900\times 0,4' class='latex' /> ou pour <img src='http://s.wordpress.com/latex.php?latex=250%5Ctimes%200%2C5&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='250\times 0,5' title='250\times 0,5' class='latex' /> ! Alors évidemment, après on me dit que mon sujet était trop long&#8230; c&#8217;est évident. Si même les petits calculs prennent du temps, que doivent donner les divisions de milliers par des dizaines&#8230;</p>
<p>Le non recours à la calculatrice est assez injustifié pour les calculs que les cours nécessitent de faire&#8230; il faut constamment redonner avant quelques valeurs arrondies pour qu&#8217;ils puissent traiter la question&#8230; mais pour les élèves que le calcul mental n&#8217;effraie pas, c&#8217;est excellent ! C&#8217;est excellent donc, pour une pincée d&#8217;étudiants&#8230; Eux qui pensaient se débarrasser des mathématiques, les voilà obligés de faire plein de petits calculs, et c&#8217;est ça plus que tout le reste, qui leur prend du temps et qui les handicape sérieusement&#8230;</p>
<p>Je dois avouer qu&#8217;ayant toujours aimé les maths (je me souviens de la découverte des équations du premier degré à résoudre de tête avec mon père en voiture alors que j&#8217;étais vraiment jeune), les calculs ne m&#8217;effraient pas. Je ne suis pas excellent, loin de là, mais j&#8217;aime assez ne pas recourir à la calculatrice lorsque je peux l&#8217;éviter&#8230; Mais je suis bien conscient que c&#8217;est loin d&#8217;être le cas pour la majorité des étudiants, même ceux en université de mathématiques&#8230;</p>
<p>Dans un tout autre registre, et peut-être plus grave encore <span style="text-decoration: line-through;">(quoique l&#8217;âge plus jeune contrebalance&#8230;)</span> : j&#8217;avais demandé à une élève de troisième qui venait de voir les identités remarquables de calculer <img src='http://s.wordpress.com/latex.php?latex=%283%2B4%29%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(3+4)^2' title='(3+4)^2' class='latex' />. Après avoir fait de longs calculs (en temps !), elle finit péniblement par trouver <img src='http://s.wordpress.com/latex.php?latex=49&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='49' title='49' class='latex' />&#8230; Je lui explique alors que <img src='http://s.wordpress.com/latex.php?latex=3%2B4%3D7&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='3+4=7' title='3+4=7' class='latex' /> et donc que <img src='http://s.wordpress.com/latex.php?latex=%283%2B4%29%5E2%3D7%5E2%3D49&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(3+4)^2=7^2=49' title='(3+4)^2=7^2=49' class='latex' />. <em>Tu as compris ? Oui oui&#8230; </em>Ok, calcule moi alors <img src='http://s.wordpress.com/latex.php?latex=%281-1%29%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(1-1)^2' title='(1-1)^2' class='latex' />. Réapparition immédiate de l&#8217;identité remarquable&#8230; J&#8217;attends deux, trois minutes. Finalement, elle reste bloqué avant de marquer la solution, et trace un zéro lent et hésitant&#8230; <em>C&#8217;est faux hein ? </em>Hé non&#8230; c&#8217;était bon&#8230; <img src='http://www.kilomaths.com/wp-includes/images/smilies/icon_smile.gif' alt=':-)' class='wp-smiley' /> </p>
<p>Jeunesse décadente va ! Enfin, j&#8217;vous aime bien quand même <img src='http://www.kilomaths.com/wp-includes/images/smilies/icon_biggrin.gif' alt=':-D' class='wp-smiley' />  Les étudiants que j&#8217;ai cette année sont très sympa ! Puis globalement, je ne suis pas à plaindre, je suis avec des étudiants quand même doués, et motivés&#8230;</p>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2009/10/calculs-a-la-main/feed/</wfw:commentRss>
		<slash:comments>5</slash:comments>
		</item>
		<item>
		<title>Un aveugle dans un bar</title>
		<link>http://www.kilomaths.com/2009/08/un-aveugle-dans-un-bar/</link>
		<comments>http://www.kilomaths.com/2009/08/un-aveugle-dans-un-bar/#comments</comments>
		<pubDate>Tue, 11 Aug 2009 15:45:51 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Énigmes]]></category>
		<category><![CDATA[énigme]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/wordpress/?p=61</guid>
		<description><![CDATA[Voici une petite énigme proposée par un ami Aujourd&#8217;hui, je rentre dans un café de quartier. Au bar, un aveugle est attablé et bois son café. Le patron, d&#8217;humeur joueuse par cette après-midi avec peu de monde, propose à l&#8217;aveugle un jeu : il dispose devant lui une assiette avec 4 pièces de 2 euro et [...]]]></description>
			<content:encoded><![CDATA[<p><img class="alignleft size-full wp-image-6" title="2euros" src="http://www.kilomaths.com/wp-content/uploads/2009/09/2euros.png" alt="2euros" width="200" height="90" /><strong>Voici une petite énigme proposée par un ami</strong></p>
<blockquote><p>Aujourd&#8217;hui, je rentre dans un café de quartier. Au bar, un aveugle est attablé et bois son café. Le patron, d&#8217;humeur joueuse par cette après-midi avec peu de monde, propose à l&#8217;aveugle un jeu : il dispose devant lui une assiette avec 4 pièces de 2 euro et le but est qu&#8217;il mette les 4 pièces dans le même sens.<br />
<img class="aligncenter size-full wp-image-7" title="assiette_euros" src="http://www.kilomaths.com/wp-content/uploads/2009/09/assiette_euros.png" alt="assiette_euros" width="250" height="250" /><br />
L&#8217;aveugle retourne autant de pièces qu&#8217;il veut, on lui dit si il a gagné et sinon, le patron tourne l&#8217;assiette du nombre de quarts de tour qu&#8217;il veut et l&#8217;aveugle peut recommencer à retourner, et ainsi de suite. Le patron dit qu&#8217;à chaque fois qu&#8217;il tourne l&#8217;assiette, il donnera un euro de moins à l&#8217;aveugle.<br />
L&#8217;aveugle souris, et rétorque qu&#8217;en moins de 7 tours, il est sûr de gagner, et remercie le patron de lui offrir son café (à 1 euro depuis la baisse de la TVA). Ils jouent, et effectivement, l&#8217;aveugle gagne au moins 1 euro à chaque fois&#8230;<br />
Quelle méthode a-t-il donc adoptée ?</p></blockquote>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2009/08/un-aveugle-dans-un-bar/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
		</item>
		<item>
		<title>Mesure et pavés</title>
		<link>http://www.kilomaths.com/2009/08/mesure-et-paves/</link>
		<comments>http://www.kilomaths.com/2009/08/mesure-et-paves/#comments</comments>
		<pubDate>Sat, 01 Aug 2009 07:23:17 +0000</pubDate>
		<dc:creator>Tukikun</dc:creator>
				<category><![CDATA[Maths difficiles]]></category>
		<category><![CDATA[géométrie]]></category>
		<category><![CDATA[pavé]]></category>
		<category><![CDATA[problème]]></category>

		<guid isPermaLink="false">http://www.kilomaths.com/wordpress/?p=57</guid>
		<description><![CDATA[Le problème Plaçons nous dans l&#8217;espace . On appelle un pavé un ensemble de la forme où les c&#8217;est-à-dire le produit cartésien d&#8217;intervalles bornés de (fermés, ouverts, demi-fermés&#160;: ça n&#8217;a pas d&#8217;importance !). On définie alors la mesure d&#8217;un pavé comme le produit des longueurs des intervalles&#160;: On rappelle que . Considérons alors pavés de [...]]]></description>
			<content:encoded><![CDATA[<p><strong>Le problème</strong></p>
<p>Plaçons nous dans l&#8217;espace <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%7BR%7D%5En%2C%20n%5Cgeq%202&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb{R}^n, n\geq 2' title='\mathbb{R}^n, n\geq 2' class='latex' />. On appelle un <em>pavé</em> un ensemble de la forme<br />
<img src='http://s.wordpress.com/latex.php?latex=P%3DI_1%5Ctimes%20I_2%5Ctimes%20%5Ccdots%5Ctimes%20I_n%20&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P=I_1\times I_2\times \cdots\times I_n ' title='P=I_1\times I_2\times \cdots\times I_n ' class='latex' /><br />
où les <img src='http://s.wordpress.com/latex.php?latex=I_j%2C%20j%5Cin%5Cleft%5C%7B1%2C%20%5Cldots%2C%20n%5Cright%5C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='I_j, j\in\left\{1, \ldots, n\right\}' title='I_j, j\in\left\{1, \ldots, n\right\}' class='latex' /> c&#8217;est-à-dire le produit cartésien d&#8217;intervalles bornés de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%7BR%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb{R}' title='\mathbb{R}' class='latex' /> (fermés, ouverts, demi-fermés&nbsp;: ça n&#8217;a pas d&#8217;importance !). On définie alors la <em>mesure d&#8217;un pavé</em> comme le produit des longueurs des intervalles&nbsp;:<br />
<img src='http://s.wordpress.com/latex.php?latex=mes%28P%29%3D%5Cell%28I_1%29%20%5Ctimes%20%5Cell%28I_2%29%20%5Ctimes%20%5Ccdots%20%5Ctimes%20%5Cell%28I_n%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='mes(P)=\ell(I_1) \times \ell(I_2) \times \cdots \times \ell(I_n)' title='mes(P)=\ell(I_1) \times \ell(I_2) \times \cdots \times \ell(I_n)' class='latex' /><br />
On rappelle que <img src='http://s.wordpress.com/latex.php?latex=%5Cell%28I_j%29%20%3D%20sup%28I_j%29-inf%28I_j%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\ell(I_j) = sup(I_j)-inf(I_j)' title='\ell(I_j) = sup(I_j)-inf(I_j)' class='latex' />.</p>
<p>Considérons alors <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' /> pavés de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%7BR%7D%5En&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb{R}^n' title='\mathbb{R}^n' class='latex' />&nbsp;: <img src='http://s.wordpress.com/latex.php?latex=P_1%2C%20P_2%2C%20%5Cldots%2C%20P_N&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_1, P_2, \ldots, P_N' title='P_1, P_2, \ldots, P_N' class='latex' />, et un pavé <img src='http://s.wordpress.com/latex.php?latex=P%5Csubset%20%5Cbigcup_%7Bi%3D1%7D%5EN%20P_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P\subset \bigcup_{i=1}^N P_i' title='P\subset \bigcup_{i=1}^N P_i' class='latex' />. Si dans les dimensions 2 ou 3, il semble trivial que la mesure 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' /> est inférieure à la somme des mesures des <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' />, c&#8217;est-à-dire respectivement que l&#8217;aire d&#8217;un rectangle inclus dans une union d&#8217;autres rectangles est inférieure à la somme des aires de ces rectangles, et que le volume d&#8217;un parallélépipède rectangle inclus dans une union d&#8217;autres parallélépipèdes rectangles est inférieure à la somme des volumes de ces parallélépipèdes rectangles, est-ce vraiment si trivial dans <img src='http://s.wordpress.com/latex.php?latex=%5Cmathbb%7BR%7D%5En&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathbb{R}^n' title='\mathbb{R}^n' class='latex' />&nbsp;? Ca le semble, bien entendu, mais à ce jour je n&#8217;ai pas trouvé de démonstration simple de ce résultat.</p>
<img src='http://s.wordpress.com/latex.php?latex=P%5Csubset%20%5Cbigcup_%7Bi%3D1%7D%5EN%20P_i%20%5CLongrightarrow%20mes%28P%29%5Cleq%5Csum_%7Bi%3D1%7D%5EN%20mes%28P_i%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P\subset \bigcup_{i=1}^N P_i \Longrightarrow mes(P)\leq\sum_{i=1}^N mes(P_i)' title='P\subset \bigcup_{i=1}^N P_i \Longrightarrow mes(P)\leq\sum_{i=1}^N mes(P_i)' class='latex' />
<p><strong>Une démonstration</strong></p>
<p>On peut déjà supposer <a href="http://fr.wiktionary.org/wiki/WLOG">sans perte de généralité (WLOG)</a> que les pavés sont tous fermés.<br />
<br />
Idée de la démonstration&nbsp;:<br />
<div id="attachment_5" class="wp-caption aligncenter" style="width: 302px"><img src="http://www.kilomaths.com/wp-content/uploads/2009/09/idee_demo.png" alt="Idée de démonstration" title="idee_demo" width="292" height="339" class="size-full wp-image-5" /><p class="wp-caption-text">Idée de démonstration</p></div><br />
<br />
On va raisonner par récurrence sur <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' /> le nombre de pavés.<br />
<br />
Le cas <img src='http://s.wordpress.com/latex.php?latex=N%3D1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='N=1' title='N=1' class='latex' /> est clair&nbsp;: si <img src='http://s.wordpress.com/latex.php?latex=P%3DI_1%5Ctimes%20I_2%5Ctimes%20%5Ccdots%20%5Ctimes%20I_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P=I_1\times I_2\times \cdots \times I_n' title='P=I_1\times I_2\times \cdots \times I_n' class='latex' /> et  <img src='http://s.wordpress.com/latex.php?latex=Q%3DJ_1%5Ctimes%20J_2%20%5Ctimes%20%5Ccdots%20%5Ctimes%20J_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='Q=J_1\times J_2 \times \cdots \times J_n' title='Q=J_1\times J_2 \times \cdots \times J_n' class='latex' />, alors on a</p>
<img src='http://s.wordpress.com/latex.php?latex=P%5Csubset%20Q%20%5CLongleftrightarrow%20%5Cforall%20i%20%5Cin%20%5Cleft%5C%7B1%2C%20%5Cldots%2C%20d%5Cright%5C%7D%2C%20I_i%20%5Csubset%20J_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P\subset Q \Longleftrightarrow \forall i \in \left\{1, \ldots, d\right\}, I_i \subset J_i' title='P\subset Q \Longleftrightarrow \forall i \in \left\{1, \ldots, d\right\}, I_i \subset J_i' class='latex' />
<p>et dans ce cas,</p>
<img src='http://s.wordpress.com/latex.php?latex=mes%28P%29%20%3D%20%5Cell%20%28I_1%29%5Ctimes%20%5Cell%28I_2%29%20%5Ctimes%20%5Ccdots%20%5Ctimes%20%5Cell%28I_n%29%20%5Cleq%5Cell%20%28J_1%29%5Ctimes%20%5Cell%28J_2%29%20%5Ctimes%20%5Ccdots%20%5Ctimes%20%5Cell%28J_n%29%20%3D%20mes%28Q%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='mes(P) = \ell (I_1)\times \ell(I_2) \times \cdots \times \ell(I_n) \leq\ell (J_1)\times \ell(J_2) \times \cdots \times \ell(J_n) = mes(Q)' title='mes(P) = \ell (I_1)\times \ell(I_2) \times \cdots \times \ell(I_n) \leq\ell (J_1)\times \ell(J_2) \times \cdots \times \ell(J_n) = mes(Q)' class='latex' />
<p>Considérons alors le cas général. Notons <img src='http://s.wordpress.com/latex.php?latex=P%3DI_1%5Ctimes%20I_2%20%5Ctimes%20%5Ccdots%20%5Ctimes%20I_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P=I_1\times I_2 \times \cdots \times I_n' title='P=I_1\times I_2 \times \cdots \times I_n' class='latex' /> et <img src='http://s.wordpress.com/latex.php?latex=P_i%20%3D%20I_%7Bi%2C1%7D%5Ctimes%20I_%7Bi%2C2%7D%5Ctimes%20%5Ccdots%20%5Ctimes%20I_%7Bi%2Cn%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_i = I_{i,1}\times I_{i,2}\times \cdots \times I_{i,n}' title='P_i = I_{i,1}\times I_{i,2}\times \cdots \times I_{i,n}' class='latex' />. Pour chaque <img src='http://s.wordpress.com/latex.php?latex=j%5Cin%20%5Cleft%5C%7B1%2C%5Cldots%2C%20n%5Cright%5C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='j\in \left\{1,\ldots, n\right\}' title='j\in \left\{1,\ldots, n\right\}' class='latex' />, on subdivise l&#8217;intervalle <img src='http://s.wordpress.com/latex.php?latex=I_j&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='I_j' title='I_j' class='latex' /> de la façon suivante&nbsp;:</p>
<img src='http://s.wordpress.com/latex.php?latex=I_j%3D%5Cleft%5Ba%5Ej_1%2Ca%5Ej_2%5Cright%5D%5Ccup%20%5Cleft%5Ba%5Ej_2%2Ca%5Ej_3%5Cright%5D%5Ccup%20%5Ccdots%20%5Ccup%20%5Cleft%5Ba%5Ej_%7Bm_j%7D%2Ca%5Ej_%7Bm_j%2B1%7D%5Cright%5D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='I_j=\left[a^j_1,a^j_2\right]\cup \left[a^j_2,a^j_3\right]\cup \cdots \cup \left[a^j_{m_j},a^j_{m_j+1}\right]' title='I_j=\left[a^j_1,a^j_2\right]\cup \left[a^j_2,a^j_3\right]\cup \cdots \cup \left[a^j_{m_j},a^j_{m_j+1}\right]' class='latex' />
<p>où <img src='http://s.wordpress.com/latex.php?latex=%5Cleft%5C%7Ba%5Ej_k%5Cright%5C%7D_%7Bk%5Cin%5Cleft%5C%7B1%2C%20%5Cldots%2C%20m_j%5Cright%5C%7D%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\left\{a^j_k\right\}_{k\in\left\{1, \ldots, m_j\right\}}' title='\left\{a^j_k\right\}_{k\in\left\{1, \ldots, m_j\right\}}' class='latex' /> est l&#8217;ensemble des extrémités des intervalles <img src='http://s.wordpress.com/latex.php?latex=I_j%5Ccap%20I_%7Bi%2Cj%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='I_j\cap I_{i,j}' title='I_j\cap I_{i,j}' class='latex' /> pour <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' /> parcourant <img src='http://s.wordpress.com/latex.php?latex=1%2C2%2C%5Cldots%2C%20N&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1,2,\ldots, N' title='1,2,\ldots, N' class='latex' />.<br />
<br />
Notons alors</p>
<img src='http://s.wordpress.com/latex.php?latex=E%3D%5Cleft%5C%7Bk%3D%28k_1%2C%20%5Cldots%2C%20k_n%29%20%5Cin%20%5Cmathbb%7BN%7D%5En%20%5Cmid%201%5Cleq%20k_1%5Cleq%20n_1%2C%20%5Cldots%2C%201%5Cleq%20k_n%5Cleq%20m_n%5Cright%5C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='E=\left\{k=(k_1, \ldots, k_n) \in \mathbb{N}^n \mid 1\leq k_1\leq n_1, \ldots, 1\leq k_n\leq m_n\right\}' title='E=\left\{k=(k_1, \ldots, k_n) \in \mathbb{N}^n \mid 1\leq k_1\leq n_1, \ldots, 1\leq k_n\leq m_n\right\}' class='latex' />
<p>Pour <img src='http://s.wordpress.com/latex.php?latex=k%5Cin%20E&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='k\in E' title='k\in E' class='latex' />, on note <img src='http://s.wordpress.com/latex.php?latex=Q_k%20%3D%20%5Cleft%5Ba%5E1_%7Bk_1%7D%2C%20a%5E1_%7Bk_1%2B1%7D%5Cright%5D%20%5Ctimes%20%5Cleft%5Ba%5E1_%7Bk_2%7D%2C%20a%5E1_%7Bk_2%2B1%7D%5Cright%5D%20%5Ctimes%20%5Ccdots%20%5Ctimes%20%5Cleft%5Ba%5E1_%7Bk_n%7D%2C%20a%5E1_%7Bk_n%2B1%7D%5Cright%5D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='Q_k = \left[a^1_{k_1}, a^1_{k_1+1}\right] \times \left[a^1_{k_2}, a^1_{k_2+1}\right] \times \cdots \times \left[a^1_{k_n}, a^1_{k_n+1}\right]' title='Q_k = \left[a^1_{k_1}, a^1_{k_1+1}\right] \times \left[a^1_{k_2}, a^1_{k_2+1}\right] \times \cdots \times \left[a^1_{k_n}, a^1_{k_n+1}\right]' class='latex' />. Avec ces notations, on a que <img src='http://s.wordpress.com/latex.php?latex=P%3D%5Cbigcup_%7Bk%5Cin%20E%7DQ_k&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P=\bigcup_{k\in E}Q_k' title='P=\bigcup_{k\in E}Q_k' class='latex' />, et que</p>
<img src='http://s.wordpress.com/latex.php?latex=%28E%29%3A%20%5Cqquad%20mes%28P%29%20%3D%20%5Cprod_%7Bj%3D1%7D%5En%20%5Cell%28I_j%29%20%3D%20%5Cprod_%7Bj%3D1%7D%5En%20%5Csum_%7Bk_j%3D1%7D%5E%7Bm_j%7D%20%5Cell%20%5Cleft%28%5Cleft%5Ba_%7Bk_j%7D%5Ej%2C%20a_%7Bk_j%2B1%7D%5Ej%5Cright%5D%5Cright%29%20%3D%20%5Csum_%7Bk%5Cin%20E%7D%20mes%28Q_k%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(E): \qquad mes(P) = \prod_{j=1}^n \ell(I_j) = \prod_{j=1}^n \sum_{k_j=1}^{m_j} \ell \left(\left[a_{k_j}^j, a_{k_j+1}^j\right]\right) = \sum_{k\in E} mes(Q_k)' title='(E): \qquad mes(P) = \prod_{j=1}^n \ell(I_j) = \prod_{j=1}^n \sum_{k_j=1}^{m_j} \ell \left(\left[a_{k_j}^j, a_{k_j+1}^j\right]\right) = \sum_{k\in E} mes(Q_k)' class='latex' />
<p>Or,</p>
<img src='http://s.wordpress.com/latex.php?latex=%5Csum_%7Bk%5Cin%20E%7D%20mes%28Q_k%29%20%5Cleq%20%5Csum_%7Bi%3D1%7D%5EN%5Cleft%28%5Csum_%7Bk%20%5Cmid%20Q_k%5Csubset%20P_i%7Dmes%28Q_k%29%5Cright%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\sum_{k\in E} mes(Q_k) \leq \sum_{i=1}^N\left(\sum_{k \mid Q_k\subset P_i}mes(Q_k)\right)' title='\sum_{k\in E} mes(Q_k) \leq \sum_{i=1}^N\left(\sum_{k \mid Q_k\subset P_i}mes(Q_k)\right)' class='latex' />
<p>et en appliquant <img src='http://s.wordpress.com/latex.php?latex=%28E%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(E)' title='(E)' class='latex' /> à <img src='http://s.wordpress.com/latex.php?latex=P_i%5Ccap%20P&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='P_i\cap P' title='P_i\cap P' class='latex' />, on obtient</p>
<img src='http://s.wordpress.com/latex.php?latex=%5Csum_%7Bk%5Cin%20E%7D%20mes%28Q_k%29%20%5Cleq%20%5Csum_%7Bi%3D1%7D%5EN%20mes%28P_i%5Ccap%20P%29%20%5Cleq%20%5Csum_%7Bi%3D1%7D%5EN%20mes%28P_i%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\sum_{k\in E} mes(Q_k) \leq \sum_{i=1}^N mes(P_i\cap P) \leq \sum_{i=1}^N mes(P_i)' title='\sum_{k\in E} mes(Q_k) \leq \sum_{i=1}^N mes(P_i\cap P) \leq \sum_{i=1}^N mes(P_i)' class='latex' />
<p>Et c&#8217;est, <em>enfin</em>, ce que l&#8217;on désirait.</p>
<p><strong>Auriez-vous une idée pour simplifier cette démonstration&nbsp;? Peut-on réellement considérer le résultat comme trivial sinon&nbsp;? Je suis preneur de toute réflexion à ce sujet&nbsp;!</strong></p>
]]></content:encoded>
			<wfw:commentRss>http://www.kilomaths.com/2009/08/mesure-et-paves/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
		</item>
	</channel>
</rss>
