{"id":814,"date":"2012-03-14T14:02:05","date_gmt":"2012-03-14T14:02:05","guid":{"rendered":"http:\/\/nicotupe.fr\/Blog\/?p=814"},"modified":"2012-05-29T14:15:34","modified_gmt":"2012-05-29T14:15:34","slug":"podcastscience-77-pi","status":"publish","type":"post","link":"http:\/\/nicotupe.fr\/Blog\/2012\/03\/podcastscience-77-pi\/","title":{"rendered":"PodcastScience 77 &#8211; Pi"},"content":{"rendered":"<p>Cet article est une reproduction du dossier que j&#8217;ai \u00e9crit pour <a href=\"http:\/\/www.podcastscience.fm\/dossiers\/2012\/03\/14\/dossier-pi\/\">Podcastscience<\/a> et je vous engage \u00e0 vous abonner \u00e0 ce podcast. Pour les plus flemmards, le texte et l&#8217;audio dans la suite&#8230;<\/p>\n[audio:http:\/\/www.podcastscience.fm\/wp-content\/uploads\/2012\/03\/77-Pi.mp3]\n<p>Si nous faisons aujourd&#8217;hui une \u00e9mission sur pi, c&#8217;est avant tout parce que le 14 mars est une date tr\u00e8s sp\u00e9ciale. Aux \u00c9tats-Unis, on note d&#8217;abord le mois puis le jour pour indiquer la date, nous sommes donc le 3-14, ce qui correspond \u00e0 une estimation des premi\u00e8res d\u00e9cimales de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code>! Cette journ\u00e9e festive pour les math\u00e9maticiens est l&#8217;occasion de manger des pie (tartes) en buvant des pi\u00f1a colada. Pour l&#8217;anecdote, c&#8217;est le jour o\u00f9\u00a0le MIT d\u00e9voile ses admissions, il le fait \u00e0 1:59pm (les d\u00e9cimales suivantes dans pi)<\/p>\n<p>Plusieurs nombres ont un statut particulier en math\u00e9matiques, principalement du fait de leur histoire. Les plus c\u00e9l\u00e8bres sont sans aucun doute <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code>, le nombre d\u2019or, exponentielle, <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> et om\u00e9ga (celui-l\u00e0, vous ne le connaissez probablement pas, j\u2019en parle un peu plus loin dans ce dossier). Cette illustration d\u2019<a href=\"http:\/\/xkcd.com\/\">XKCD<\/a> r\u00e9sume assez bien l\u2019ensemble des nombres \u201cint\u00e9ressants\u201d pour les math\u00e9matiens.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter\" title=\"numbersXKCD\" src=\"http:\/\/imgs.xkcd.com\/comics\/number_line.png\" alt=\"\" width=\"518\" height=\"189\" \/><\/p>\n<p><code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> garde un statut particulier, c\u2019est avec <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code> celui dont la d\u00e9finition est la plus simple et pourtant il a, du fait de ses propri\u00e9t\u00e9s complexes perturb\u00e9es de nombreux scientifiques de l\u2019histoire. Dans ce dossier, nous verrons quelques-unes des propri\u00e9t\u00e9s de ce nombre unique.<\/p>\n<p>Je ne vais pas m\u2019attarder trop longtemps sur la d\u00e9finition la plus connue de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code>, \u00e0 savoir le rapport entre la circonf\u00e9rence (longueur du p\u00e9rim\u00e8tre d\u2019un cercle) et son diam\u00e8tre. Ni de la d\u00e9finition qui suit g\u00e9n\u00e9ralement \u00e0 savoir le rapport entre l\u2019aire du cercle et le carr\u00e9 de son rayon. En revanche, nous allons commencer par r\u00e9pondre \u00e0 une question que vous ne vous \u00eates sans doute pas assez pos\u00e9e <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> est-il constant?<\/p>\n<h3>Pi est-il constant?<\/h3>\n<p>La r\u00e9ponse largement accept\u00e9e \u00e0 cette question est oui. Pourtant cela reste \u00e0 d\u00e9montrer. Une d\u00e9monstration simple utilise un th\u00e9or\u00e8me que l\u2019on voit \u00e0 l\u2019\u00e9cole : le th\u00e9or\u00e8me de Thal\u00e8s. Son \u00e9nonc\u00e9 est le suivant :<br \/>\n\u201cSoit un triangle ABC et deux points D et E tels que les droites (DE) et (BC) soient parall\u00e8les. Alors on a <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cfrac%7BAD%7D%7BAB%7D%3D%5Cfrac%7BAE%7D%7BAC%7D%3D%5Cfrac%7BDE%7D%7BBC%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\frac{AD}{AB}=\\frac{AE}{AC}=\\frac{DE}{BC}' title='\\frac{AD}{AB}=\\frac{AE}{AC}=\\frac{DE}{BC}' class='latex' \/><\/code>\u201d<br \/>\nSi l\u2019on prend alors deux cercles de rayon diff\u00e9rents et que l\u2019on trace le plus grand polygone de 10 c\u00f4t\u00e9s \u00e0 l\u2019int\u00e9rieur, on obtient la figure suivante :<\/p>\n<p><a href=\"http:\/\/nicotupe.fr\/Blog\/?attachment_id=1149\" rel=\"attachment wp-att-1149\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-1149\" title=\"PS-DossierPI.001\" src=\"http:\/\/www.podcastscience.fm\/wp-content\/uploads\/2012\/03\/PS-DossierPI.001-300x225.jpg\" alt=\"\" width=\"300\" height=\"225\" \/><\/a><\/p>\n<p>Le th\u00e9or\u00e8me de Thal\u00e8s permet d\u2019affirmer que le rapport entre les c\u00f4t\u00e9s de chaque polygones sont \u00e9gaux au rapport des rayons des deux cercles :<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi_1%3D%5Cfrac%7BDE%7D%7BAD%7D%3D%5Cfrac%7BBC%7D%7BAB%7D%3D%5Cpi_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi_1=\\frac{DE}{AD}=\\frac{BC}{AB}=\\pi_2' title='\\pi_1=\\frac{DE}{AD}=\\frac{BC}{AB}=\\pi_2' class='latex' \/><\/code><\/center><\/p>\n<p>Si on augmente le nombre de c\u00f4t\u00e9s des deux polygones, les \u201crayons\u201d des polygones convergent vers la m\u00eame valeur et le rapport des circonf\u00e9rences est donc \u00e9gal au rapport des rayons, les <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> des deux cercles sont donc \u00e9gaux (pour que la d\u00e9monstration soit juste, il ne faut pas se contenter de tracer le plus grand polygone contenu dans le cercle, mais tracer aussi le plus petit qui contient le cercle).<\/p>\n<p>Ouf, <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> est constant, on ne nous a pas menti! Enfin, comme toute d\u00e9monstration math\u00e9matique, elle est vraie dans le cadre de certaines hypoth\u00e8ses\u2026 Pour que le th\u00e9or\u00e8me de Thal\u00e8s soit vrai, il faut se placer dans la g\u00e9om\u00e9trie d\u2019Euclide, soit grossi\u00e8rement une g\u00e9om\u00e9trie \u201cplate\u201d en opposition \u00e0 une g\u00e9om\u00e9trie courbe. Prenons par exemple une assiette \u00e0 soupe. Le pourtour de l\u2019assiette forme bien un cercle, mais le centre de ce cercle, sur l\u2019assiette, n\u2019est pas sur le m\u00eame plan que ce cercle et ne co\u00efncide donc pas avec le centre &#8220;euclidien&#8221; du cercle. Sur Terre, le probl\u00e8me est le m\u00eame, du fait de la forme de la terre, quand on trace un cercle au sol et mesure son diam\u00e8tre, la valeur n\u2019est pas la m\u00eame que celle que l\u2019on obtiendrait en g\u00e9om\u00e9trie euclidienne. Cela a pour cons\u00e9quence que sur Terre <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> n\u2019est pas constant!<\/p>\n<p>Rassurez-vous, le <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> des math\u00e9matiques est bel est bien constant et correspond au rapport des cercles en g\u00e9om\u00e9trie Euclicienne. Cette remarque permet de diff\u00e9rencier deux types de constantes :<\/p>\n<ul>\n<li>\u00a0Les constantes \u201cphysiques\u201d : Des exp\u00e9riences laissent penser qu\u2019une op\u00e9ration donne toujours le m\u00eame r\u00e9sultat quelles que soient un certain nombre de transformations subies par un objet (par exemple en tra\u00e7ant plusieurs cercles sur le sol et en mesurant diam\u00e8tre et circonf\u00e9rence, on constate que le rapport fait toujours la m\u00eame valeur).<\/li>\n<li>Les constantes \u201cmath\u00e9matiques\u201d : Gr\u00e2ce \u00e0 plusieurs hypoth\u00e8ses, on a d\u00e9montr\u00e9 que cette valeur \u00e9tait constante.<\/li>\n<\/ul>\n<p>Dans l\u2019histoire, <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> a d\u2019abord \u00e9t\u00e9 une constante physique, il n\u2019est devenu constante math\u00e9matique assez tard gr\u00e2ce \u00e0 l\u2019homme dont l\u2019un des bains est le plus c\u00e9l\u00e8bre de l\u2019histoire.<\/p>\n<h3>Les premi\u00e8res apparitions<\/h3>\n<p>Une des premi\u00e8res apparitions de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code>, ou du moins de l\u2019id\u00e9e d\u2019un rapport constant entre la circonf\u00e9rence du cercle et de son rayon, provient d\u2019une tablette babylonienne datant d\u2019environ 2000 avjc. Gr\u00e2ce \u00e0 l\u2019hexagone inscrit dans un cercle, les Babyloniens avaient propos\u00e9 l\u2019approximation <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi%3D3%2B%5Cfrac%7B1%7D%7B8%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi=3+\\frac{1}{8}' title='\\pi=3+\\frac{1}{8}' class='latex' \/><\/code>.<br \/>\nLes \u00c9gyptiens quant \u00e0 eux ont laiss\u00e9 la trace d\u2019un calcul implicite de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> sur le papyrus de Rhind. Ce papyrus, r\u00e9dig\u00e9 par le scribe Ahm\u00e8s environ 1650 ans avant notre \u00e8re, est la recopie d\u2019un manuel scolaire un peu plus vieux (1800 avjc environ) et est repr\u00e9sent\u00e9 sur l\u2019image ci-dessous (trouv\u00e9e sur <a href=\"http:\/\/en.wikipedia.org\/wiki\/Rhind_Mathematical_Papyrus\">wikipedia<\/a>).<\/p>\n<p><a href=\"http:\/\/nicotupe.fr\/Blog\/?attachment_id=1150\" rel=\"attachment wp-att-1150\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-1150\" title=\"Rhind_Mathematical_Papyrus\" src=\"http:\/\/www.podcastscience.fm\/wp-content\/uploads\/2012\/03\/Rhind_Mathematical_Papyrus-300x188.jpg\" alt=\"\" width=\"300\" height=\"188\" \/><\/a><\/p>\n<p>Sur ce papyrus, on donne une m\u00e9thode pour calculer la surface d\u2019un cercle \u00e0 partir de son diam\u00e8tre D :<\/p>\n<ul>\n<li>Enlever 1\/9 au diam\u00e8tre du cercle<\/li>\n<li>multiplier le r\u00e9sultat par lui-m\u00eame<\/li>\n<\/ul>\n<p>Soit la formule <code><img src='http:\/\/s0.wp.com\/latex.php?latex=S%3D%5Cleft%28D-%5Cfrac%7BD%7D%7B9%7D%5Cright%29%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='S=\\left(D-\\frac{D}{9}\\right)^2' title='S=\\left(D-\\frac{D}{9}\\right)^2' class='latex' \/><\/code> au lieu de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=S%3D%5Cpi%5Cleft%28%5Cfrac%7BD%7D%7B2%7D%5Cright%29%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='S=\\pi\\left(\\frac{D}{2}\\right)^2' title='S=\\pi\\left(\\frac{D}{2}\\right)^2' class='latex' \/><\/code> soit une estimation de pi \u00e0 <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cleft%28%5Cfrac%7B16%7D%7B9%7D%5Cright%29%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\left(\\frac{16}{9}\\right)^2' title='\\left(\\frac{16}{9}\\right)^2' class='latex' \/><\/code>.<br \/>\nNotons que rien ne prouve aujourd\u2019hui que les Babyloniens ou les \u00c9gyptiens savaient si leurs valeurs de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> \u00e9tait exacte ou une approximation. Ils avaient exp\u00e9rimentalement constat\u00e9 qu\u2019il existait un rapport constant et l\u2019avaient estim\u00e9 par diverses mani\u00e8res.<\/p>\n<h3>Et pi devint math\u00e9matique<\/h3>\n<p>Ce n\u2019est que beaucoup plus tard, autour de 250 avjc qu\u2019Archim\u00e8de transforme la constante physique en une constante math\u00e9matique. Dans le trait\u00e9 \u201cDe la mesure du cercle\u201d, il calcule des encadrements de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code>. Pour calculer ces encadrements, il utilise des polygones r\u00e9guliers (un polygone r\u00e9gulier \u00e0 n c\u00f4t\u00e9s est une figure ayant n c\u00f4t\u00e9s \u00e9gaux). Pour encadrer la circonf\u00e9rence d\u2019un cercle, il encadre le dit cercle par le plus petit polygone qui contient le cercle et le plus grand polygone contenu dans le cercle (comme dans la figure ci-dessous).<\/p>\n<p><a href=\"http:\/\/nicotupe.fr\/Blog\/?attachment_id=1151\" rel=\"attachment wp-att-1151\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-1151\" title=\"PS-DossierPIArchi.002\" src=\"http:\/\/www.podcastscience.fm\/wp-content\/uploads\/2012\/03\/PS-DossierPIArchi.002-300x225.jpg\" alt=\"\" width=\"300\" height=\"225\" \/><\/a><\/p>\n<p>Ce type de construction permet non seulement de calculer <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> \u00e0 la pr\u00e9cision que l\u2019on souhaite (en prenant des polygones avec de plus en plus de c\u00f4t\u00e9s), mais permet aussi de d\u00e9montrer que <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> est bien une constante math\u00e9matique.<\/p>\n<h3>Pourquoi faire simple quand on peut faire compliqu\u00e9?<\/h3>\n<p>Il existe de nombreuses autres mani\u00e8res pour d\u00e9finir <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code>. Un constat simple est que partout o\u00f9 l\u2019on trouve un cercle ou une sph\u00e8re, on peut trouver <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code>. Ainsi, le volume d\u2019une sph\u00e8re d\u00e9pendra de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> (<code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cfrac%7B4%7D%7B3%7D%5Cpi+r%5E3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\frac{4}{3}\\pi r^3' title='\\frac{4}{3}\\pi r^3' class='latex' \/><\/code>), sa surface aussi (<code><img src='http:\/\/s0.wp.com\/latex.php?latex=4%5Cpi+r%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='4\\pi r^2' title='4\\pi r^2' class='latex' \/><\/code>) ainsi que <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Aiguille_de_Buffon\">la probabilit\u00e9 pour un cure-dent que vous lancez sur votre parquet de croiser un rainure<\/a> (l\u2019ensemble des sens selon lequel le cure-dent tombe sur le sol forme un cercle). Aujourd\u2019hui, ces d\u00e9finitions g\u00e9om\u00e9triques sont tr\u00e8s peu utilis\u00e9es, les math\u00e9maticiens y pr\u00e9f\u00e8rent des d\u00e9finitions plus abstraites, mais aussi plus faciles \u00e0 manipuler.<\/p>\n<p>On peut par exemple d\u00e9finir <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> en disant que c\u2019est l\u2019unique nombre x tel que cos(x)=0. Ayant bien s\u00fbr avant d\u00e9fini cosinus gr\u00e2ce \u00e0 des exponentielles complexes et l\u2019exponentielle gr\u00e2ce \u00e0 une somme infinie de termes, ayant alors pos\u00e9 la th\u00e9orie des sommes infinies et des nombres complexes\u2026 Autant dire que l\u2019on est loin de la simplicit\u00e9 g\u00e9om\u00e9trique. Pourtant, ce type de d\u00e9finition permet de d\u00e9montrer des r\u00e9sultats tr\u00e8s \u00e9l\u00e9gants et pratiques pour calculer <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> :<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cfrac%7B%5Cpi%7D%7B4%7D%3D1-%5Cfrac%7B1%7D%7B3%7D%2B%5Cfrac%7B1%7D%7B5%7D-%5Cfrac%7B1%7D%7B7%7D%2B%5Cfrac%7B1%7D%7B9%7D-...&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\frac{\\pi}{4}=1-\\frac{1}{3}+\\frac{1}{5}-\\frac{1}{7}+\\frac{1}{9}-...' title='\\frac{\\pi}{4}=1-\\frac{1}{3}+\\frac{1}{5}-\\frac{1}{7}+\\frac{1}{9}-...' class='latex' \/><\/code><\/center>A l\u2019\u00e9cole, les plus jeunes auront appris que <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> vaut \u00e0 peu pr\u00e8s 3,14 et les plus vieux 22\/7, ces deux nombres tr\u00e8s simples sont h\u00e9las des approximations. On a d\u2019un c\u00f4t\u00e9 une d\u00e9finition tr\u00e8s simple de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> et de l\u2019autre des formules tr\u00e8s compliqu\u00e9es (une infinit\u00e9 de termes) pour le calculer, n\u2019y a-t-il pas une formule plus simple? Durant toute l\u2019histoire, les math\u00e9maticiens ont essay\u00e9 de ranger <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> dans des ensembles de nombres qui par leur propri\u00e9t\u00e9s simplifieraient le calcul, sans succ\u00e8s. Ils ont ainsi rendu <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> c\u00e9l\u00e8bre pour tout ce qu\u2019il est pas!<\/p>\n<h3>Ce que pi n\u2019est pas!<\/h3>\n<p>Les premier nombres qui furent utilis\u00e9s sont les nombres dit \u201cnaturels\u201d :<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=0%2C+1%2C+2%2C+3%2C+4...&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='0, 1, 2, 3, 4...' title='0, 1, 2, 3, 4...' class='latex' \/><\/code><\/center>L\u2019ensemble de tous ces nombres est not\u00e9 <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cmathbb%7BN%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\mathbb{N}' title='\\mathbb{N}' class='latex' \/><\/code>. Assez rapidement le besoin s\u2019est fait sentir d\u2019avoir des nombres n\u00e9gatifs. Les nombres n\u00e9gatifs sont les inverses pour l\u2019addition des entiers naturels. C\u2019est \u00e0 dire qu\u2019en additionnant un entier naturel, 3 par exemple, et son inverse, -3 dans ce cas, on obtient 0. Cet ensemble, bien que simple permet, avec les op\u00e9rations que l\u2019on conna\u00eet tous d\u2019addition \u201c+\u201d et de multiplication \u201cx\u201d (on rappellera que la soustraction n\u2019est pas une \u201cvraie\u201d op\u00e9ration, c\u2019est l\u2019addition de l\u2019oppos\u00e9), offre d\u00e9j\u00e0 la possibilit\u00e9 de faire les op\u00e9rations d\u2019arithm\u00e9tique classique. C\u2019est-\u00e0-dire que l\u2019on peut y d\u00e9finir des polyn\u00f4mes (<code><img src='http:\/\/s0.wp.com\/latex.php?latex=x%5E3%2B3x%5E2%2B2x%2B1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x^3+3x^2+2x+1' title='x^3+3x^2+2x+1' class='latex' \/><\/code> par exemple), la division euclidienne (celle que l\u2019on apprend \u00e0 la petite \u00e9cole : la division de 13 par 4 a pour reste 1), etc.<\/p>\n<p>Malheureusement et pour revenir \u00e0 notre sujet, on s\u2019est tr\u00e8s rapidement rendu compte que <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> n\u2019est pas un entier. En fait, je n\u2019ai vu qu\u2019un texte qui pr\u00e9sentait <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> comme un entier (ou plut\u00f4t une approximation, le texte en question datant de 500 avjc, on ne parle pas du <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> moderne) : la Bible. On peut en effet y lire :<\/p>\n<blockquote><p>\u201cIl fit aussi une mer de fonte de dix coud\u00e9es d\u2019un bord jusqu\u2019\u00e0 l\u2019autre, qui \u00e9tait toute ronde : elle avait cinq coud\u00e9es de haut et \u00e9tait environn\u00e9e tout \u00e0 l\u2019entour d\u2019un cordon de trente coud\u00e9es\u201d<\/p><\/blockquote>\n<h3>Pi n\u2019est pas aim\u00e9 des Py-taghoriciens<\/h3>\n<p>Les entiers relatifs ne suffisent pas \u00e0 d\u00e9crire <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code>. En fait, ils ne suffisent pas non plus \u00e0 d\u00e9crire la plupart des nombres que nous utilisons chaque jour. Quand on mange un g\u00e2teau par exemple, on est tr\u00e8s vite amen\u00e9s \u00e0 parler du tiers ou du quart du g\u00e2teau. On est tr\u00e8s habitu\u00e9s \u00e0 parler en \u201cfractions\u201d. Une fraction s\u2019\u00e9crit comme le rapport de deux entiers relatifs (1\/3, 2\/5, 1242332\/58974892676, etc.)<\/p>\n<p>Les fractions sont tr\u00e8s utiles pour repr\u00e9senter des quantit\u00e9s intrins\u00e8quement non enti\u00e8res. Par exemple, 1\/3 permet de s\u00e9parer en trois l\u2019unit\u00e9. L\u2019\u00c9cole Pythagoricienne, qui exista autour des ann\u00e9es 500 avjc, \u00e9tait persuad\u00e9e que tous les nombres pouvaient \u00eatre repr\u00e9sent\u00e9s par des fractions. Cette \u00e9cole philosophique (qui serait sans doute qualifi\u00e9e de secte si elle existait encore aujourd\u2019hui) pensait que le rapport entre toute quantit\u00e9 du m\u00eame type peut \u00eatre rapport\u00e9 au rapport entre deux entiers. L\u2019ensemble des fractions paraissait alors si \u201cnormal\u201d qu\u2019il est appel\u00e9 aujourd\u2019hui ensemble des \u201cRationnels\u201d.<br \/>\nOn ne sait sous quelles conditions, mais un jour les pythagoriciens sont tomb\u00e9s devant un paradoxe de taille. Si l\u2019on trace un carr\u00e9 de c\u00f4t\u00e9 1, la diagonale de ce carr\u00e9 a pour longueur <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code> (le nombre qui multipli\u00e9 par lui m\u00eame fait 2).<\/p>\n<p><a href=\"http:\/\/nicotupe.fr\/Blog\/?attachment_id=1152\" rel=\"attachment wp-att-1152\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-1152\" title=\"PS-DossierPIracine2.003\" src=\"http:\/\/www.podcastscience.fm\/wp-content\/uploads\/2012\/03\/PS-DossierPIracine2.003-300x225.jpg\" alt=\"\" width=\"300\" height=\"225\" \/><\/a><\/p>\n<p>Une ironie amusante est que l\u2019on peut d\u00e9montrer que cette diagonale correspond \u00e0 <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code> gr\u00e2ce au th\u00e9or\u00e8me de Pythagore (La paternit\u00e9 du th\u00e9or\u00e8me qu\u2019indique ce nom est tr\u00e8s loin d\u2019\u00eatre certifi\u00e9e\u2026) Ce nombre dont le carr\u00e9 vaut 2 est-il rationnel, autrement dit, peut-on l\u2019\u00e9crire sous forme de fraction?<br \/>\nRegardons cela de plus pr\u00e8s. Dire que <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code> est rationnel revient \u00e0 dire qu\u2019il existe des entiers positifs p et q non nuls tels que<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D%3D%5Cfrac%7Bp%7D%7Bq%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}=\\frac{p}{q}' title='\\sqrt{2}=\\frac{p}{q}' class='latex' \/><\/code><\/center>En \u00e9levant cette relation au carr\u00e9 et en multipliant par q, on obtient<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=2+q%5E2%3Dp%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2 q^2=p^2' title='2 q^2=p^2' class='latex' \/><\/code><\/center>Cette relation permet de d\u00e9duire que <code><img src='http:\/\/s0.wp.com\/latex.php?latex=p%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p^2' title='p^2' class='latex' \/><\/code> est pair. Nous allons r\u00e9\u00e9crire les nombres p et q afin de compter \u201cle nombre de fois o\u00f9 ils sont pairs\u201d :<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=p%3D2%5Ej+r&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p=2^j r' title='p=2^j r' class='latex' \/><\/code><\/center><br \/>\no\u00f9 r est impair.<\/p>\n<p>On peut dire alors que p est pair j fois. Le carr\u00e9 <code><img src='http:\/\/s0.wp.com\/latex.php?latex=p%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p^2' title='p^2' class='latex' \/><\/code> de p se d\u00e9compose alors :<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=p%5E2%3D2%5E%7B2j%7Dr%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p^2=2^{2j}r^2' title='p^2=2^{2j}r^2' class='latex' \/><\/code><\/center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=r%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='r^2' title='r^2' class='latex' \/><\/code> n\u2019est pas pair car le carr\u00e9 d\u2019un nombre impair est impair. On peut donc affirmer que le nombre de fois o\u00f9 <code><img src='http:\/\/s0.wp.com\/latex.php?latex=p%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p^2' title='p^2' class='latex' \/><\/code> est pair est 2j.<\/p>\n<p>Effectuons le m\u00eame raisonnement sur q en notant k le nombre de fois o\u00f9 il est pair. <code><img src='http:\/\/s0.wp.com\/latex.php?latex=q%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='q^2' title='q^2' class='latex' \/><\/code> est alors pair 2k fois. Par suite, <code><img src='http:\/\/s0.wp.com\/latex.php?latex=2q%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2q^2' title='2q^2' class='latex' \/><\/code>, le produit de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=q%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='q^2' title='q^2' class='latex' \/><\/code> par 2 est pair une fois de plus soit 2k+1 fois.<\/p>\n<p>Or, on a \u00e9crit plus haut <code><img src='http:\/\/s0.wp.com\/latex.php?latex=p%5E2%3D2q%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p^2=2q^2' title='p^2=2q^2' class='latex' \/><\/code>. Ceci implique que<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=2j%3D2k%2B1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2j=2k+1' title='2j=2k+1' class='latex' \/><\/code><\/center>Ce qui est tout simplement impossible car 2j est pair et 2k+1 est impair. La seule hypoth\u00e8se faite ici est que <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code> pouvait s\u2019\u00e9crire sous forme de fraction. Ce nombre ne peut donc pas s\u2019\u00e9crire de cette mani\u00e8re sinon on aura des contradictions, il est \u201cirrationnel\u201d!<br \/>\nL\u2019id\u00e9e Pythagoricienne \u00e9tait alors d\u00e9truite pour toujours, il existait des nombres non rationnels, que l\u2019on ne pouvait pas \u00e9crire sous forme de fraction. <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> rentre aussi dans cette cat\u00e9gorie de nombre, cela a \u00e9t\u00e9 d\u00e9montr\u00e9 en 1761 par <a href=\"http:\/\/en.wikipedia.org\/wiki\/Johann_Heinrich_Lambert\">Lambert<\/a>. La d\u00e9monstration est plus compliqu\u00e9e que pour <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code> donc non d\u00e9taill\u00e9e ici, mais les curieux pourront en trouver quelques \u00e9l\u00e9ments dans livre de Jean-Paul Delahaye cit\u00e9 en fin de dossier.<\/p>\n<p>La preuve de l\u2019irrationalit\u00e9 de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> r\u00e9duit \u00e0 n\u00e9ant aussi l\u2019un des int\u00e9r\u00eats de recherches de d\u00e9cimales de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> (qui occupe encore aujourd\u2019hui plusieurs personnes et supercalculateurs). En effet, un nombre rationnel a la propri\u00e9t\u00e9 qu\u2019\u00e0 partir d\u2019un certain nombre de d\u00e9cimales, on voit apparaitre un \u201ccycle\u201d :<\/p>\n<p>1\/3=0.333333333333\u2026 Le 3 est infiniment r\u00e9p\u00e9t\u00e9 d\u00e8s la premi\u00e8re d\u00e9cimale<br \/>\n22\/7=3.1428571428571428571\u2026 d\u00e8s la premi\u00e8re d\u00e9cimale, la suite de chiffres 142857 est r\u00e9p\u00e9t\u00e9e<\/p>\n<p>Un des buts que pouvaient avoir le calcul des d\u00e9cimales de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> \u00e9tait de trouver ce cycle. La preuve de l\u2019irrationalit\u00e9 de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> amena le fait qu\u2019on ne trouvera jamais de cycle dans ses d\u00e9cimales.<\/p>\n<p>Si <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> et <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code> ont la propri\u00e9t\u00e9 commune d\u2019\u00eatre irrationnels, il subsiste une tr\u00e8s grande diff\u00e9rence entre les deux : \u00c0 partir d\u2019un segment de longueur 1, je peux avec une r\u00e8gle non gradu\u00e9e et un compas tracer un segment qui fait exactement <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code>, la diagonale du carr\u00e9. Qu\u2019en est-il pour <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code>?<\/p>\n<h3 id=\"pinestpasaimdescarreleurs\">Pi n\u2019est pas aim\u00e9 des carreurs<\/h3>\n<p>Autour de -500 (maintenant que les nombres relatifs sont d\u00e9finis, je peux les utiliser pour repr\u00e9senter les ann\u00e9es), un grec nomm\u00e9 <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Anaxagore\">Anaxagore<\/a> se posa un probl\u00e8me \u00e0 la fois extr\u00eamement \u00e9l\u00e9gant (tout le monde peut le comprendre et penser le r\u00e9soudre facilement) et tr\u00e8s dur \u00e0 r\u00e9soudre (plus de 2000 ans d\u2019histoire ont \u00e9t\u00e9 n\u00e9cessaires pour trouver la r\u00e9ponse). Ce probl\u00e8me est celui de la \u201cquadrature du cercle\u201d. Le principe est de tracer un cercle et un carr\u00e9 faisant la m\u00eame aire. Comme tout probl\u00e8me, il y a quelques r\u00e8gles \u00e0 respecter :<\/p>\n<ul>\n<li>On ne doit utiliser qu\u2019une r\u00e8gle non gradu\u00e9e et un compas<\/li>\n<li>Le nombre de trac\u00e9s interm\u00e9diaires doit \u00eatre fini (on ne peut pas en proposer une infinit\u00e9)<\/li>\n<\/ul>\n<p>L\u2019impossibilit\u00e9 de quarrer le cercle (c\u2019est le nom technique de la chose) a \u00e9t\u00e9 d\u00e9montr\u00e9e en 1882. Mais l\u2019apparente simplicit\u00e9 du probl\u00e8me a amen\u00e9 certaines personnes \u00e0 continuer \u00e0 essayer de trouver une construction pour quarrer le cercle, \u00e0 tel point qu\u2019une maladie existe pour les personnes qui veulent \u00e0 tout prix r\u00e9soudre la quadrature du cercle : \u201cmorbus cyclometricus\u201d! Avant la d\u00e9monstration de l\u2019impossibilit\u00e9, l\u2019acad\u00e9mie des science croulait sous les d\u00e9monstrations (erron\u00e9es bien entendu) du r\u00e9sultat \u00e0 tel point qu\u2019elle d\u00e9cida en 1775 qu\u2019elle n\u2019accepterait plus de regarder des d\u00e9monstrations de la quadrature du cercle, elle avait probablement la conviction que c\u2019\u00e9tait impossible.<\/p>\n<p>Bien qu\u2019assez \u00e9l\u00e9gant, \u00e9nonc\u00e9 comme cela il n\u2019est pas simple de s\u2019y attaquer rigoureusement. C\u2019est cette impr\u00e9cision qui a pouss\u00e9 plusieurs personnes \u00e0 penser qu\u2019elles l\u2019avaient r\u00e9solu. Construire un point \u00e0 la r\u00e8gle et au compas veut dire que l\u2019on a fait un nombre fini de constructions interm\u00e9diaires du type :<\/p>\n<ul>\n<li>Tracer une droite entre des points d\u00e9j\u00e0 construits<\/li>\n<li>Tracer un cercle dont le centre est un point d\u00e9j\u00e0 construit et le rayon est la distance entre deux points d\u00e9j\u00e0 construits.<\/li>\n<\/ul>\n<p>Pour r\u00e9soudre ce probl\u00e8me, il fallut faire le lien entre les constructions g\u00e9om\u00e9triques et les \u00e9quations. Plusieurs math\u00e9maticiens renomm\u00e9s s\u2019y sont attel\u00e9s, de Descartes qui montra un lien entre certains type d\u2019\u00e9quations et les constructions \u00e0 la r\u00e8gle et au compas jusqu\u2019\u00e0 Wantzel qui obtint l\u2019\u00e9quivalence entre les constructions g\u00e9om\u00e9triques \u00e0 la r\u00e8gle et au compas et les \u201cradicaux\u201d.<\/p>\n<p>Un nombre que l\u2019on peut construire par radicaux est un nombre que l\u2019on peut construire en un nombre fini d\u2019\u00e9tapes gr\u00e2ce aux nombres entiers et aux op\u00e9rations racine carr\u00e9e, division, multiplication, addition et soustraction. Ainsi,<\/p>\n<p><code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code> est constructible par radicaux (\u00e0 partir de 2 et de l\u2019op\u00e9ration racine carr\u00e9e)<br \/>\n<code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cfrac%7B1%2B%5Csqrt%7B3%2B%5Csqrt%7B5%7D%2B%5Cfrac%7B%5Csqrt%7B2%7D%7D%7B6%7D%7D%7D%7B7-%5Csqrt%7B2%7D%2B%5Csqrt%7B1%2B%5Csqrt%7B5%2B%5Csqrt%7B8%7D%7D%7D%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\frac{1+\\sqrt{3+\\sqrt{5}+\\frac{\\sqrt{2}}{6}}}{7-\\sqrt{2}+\\sqrt{1+\\sqrt{5+\\sqrt{8}}}}' title='\\frac{1+\\sqrt{3+\\sqrt{5}+\\frac{\\sqrt{2}}{6}}}{7-\\sqrt{2}+\\sqrt{1+\\sqrt{5+\\sqrt{8}}}}' class='latex' \/><\/code> est constructible par radicaux.<\/p>\n<p>Gr\u00e2ce \u00e0 cette formulation, le probl\u00e8me de la quadrature du cercle devenait : <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> est-il constructible par radicaux? Wantzel d\u00e9montra que non en 1837.<\/p>\n<p>Les habitu\u00e9s des math\u00e9matiques r\u00e9agiront vite en se demandant pourquoi se limiter aux racines carr\u00e9es et ils auront bien raison! La notion de construction par radicaux a une grande valeur historique, mais aujourd\u2019hui on parle davantage de nombre \u201calg\u00e9brique\u201d. Un nombre alg\u00e9brique est un nombre qui est la solution d\u2019une \u00e9quation \u201cpolynomiale\u201d \u00e0 coefficients entiers. C\u2019est-\u00e0-dire la solution x d\u2019une \u00e9quation du type :<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=x%5E5%2B3x%5E4%2B2x%5E3%2B8x%5E2%2B6x%2B1%3D0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x^5+3x^4+2x^3+8x^2+6x+1=0' title='x^5+3x^4+2x^3+8x^2+6x+1=0' class='latex' \/><\/code><\/center><br \/>\nou encore<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=x%5E34%2Bx%5E39%2Bx%3D0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x^34+x^39+x=0' title='x^34+x^39+x=0' class='latex' \/><\/code><\/center>En clair une \u00e9quation avec des puissances de x, des coefficients entiers et s\u2019annulant. Chose tr\u00e8s rare en math\u00e9matique, les nombres qui ne sont pas alg\u00e9briques portent un non moins \u00e9vident que \u201cnon alg\u00e9briques\u201d, ils sont \u201ctranscendants\u201d. Autre chose \u00e9tonnante et pour le coup tr\u00e8s li\u00e9e \u00e0 la d\u00e9marche du math\u00e9maticien, la notion de nombre transcendant a \u00e9t\u00e9 d\u00e9finie avant m\u00eame que l\u2019on sache s\u2019il en existait. Heureusement, <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Joseph_Liouville\">Liouville<\/a> trouva des nombres transcendants et bien plus tard, en 1882, <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Ferdinand_von_Lindemann\">Lindemann<\/a> d\u00e9montra que <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> \u00e9tait transcendant. Autrement dit, jamais aucune \u00e9quation polynomiale \u00e0 coefficients entiers n\u2019aura pour solution <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code>!<\/p>\n<p>Pour r\u00e9sumer, <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> n\u2019est pas un entier, il ne peut pas \u00eatre dessin\u00e9 avec un compas et une r\u00e8gle, il n\u2019est solution d\u2019aucune \u00e9quation alg\u00e9brique, ce nombre est-il donc le plus compliqu\u00e9 qu\u2019on puisse trouver, est-il rare de rencontrer des nombres de ce type?<\/p>\n<h3 id=\"pourtantpinestpasbiencompliqu\">Pourtant pi n\u2019est pas bien compliqu\u00e9<\/h3>\n<p>Comme nous venons de le voir, tout au long de l\u2019histoire il a \u00e9t\u00e9 d\u00e9montr\u00e9 que le nombre <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> \u00e9tait diff\u00e9rent de la plupart des nombres que les math\u00e9maticiens rencontraient, c\u2019est un nombre \u201ctranscendant\u201d. Dans <a href=\"http:\/\/www.podcastscience.fm\/dossiers\/2012\/02\/22\/dossier-linfini-quand-il-ny-en-a-plus-il-y-a-cantor\/\">mon pr\u00e9c\u00e9dent dossier sur l\u2019infini<\/a>, nous avons vu qu\u2019il existait plusieurs infinis plus ou moins grands. En particulier, j\u2019ai pr\u00e9sent\u00e9 deux types d\u2019infini, le d\u00e9nombrable (celui que l\u2019on peut num\u00e9roter) et l\u2019ind\u00e9nombrable. <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Georg_Cantor\">Cantor<\/a> a aussi d\u00e9montr\u00e9 un r\u00e9sultat sur les nombres transcendants, ils forment un ensemble infini ind\u00e9nombrable alors que les nombres alg\u00e9briques forment un infini d\u00e9nombrable. Autrement dit, si l\u2019on prend un nombre r\u00e9el au hasard (si tant est que cela veuille dire quelque chose), il y a une probabilit\u00e9 nulle de tomber sur un nombre alg\u00e9brique (comme 2 ou 3 ou <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Csqrt%7B2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sqrt{2}' title='\\sqrt{2}' class='latex' \/><\/code>, etc.). Autrement dit, ce n\u2019est pas <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> qui est rare, c\u2019est plut\u00f4t tous les nombres que nous utilisons r\u00e9guli\u00e8rement!<\/p>\n<p>En fait, <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> appartient \u00e0 un ensemble de nombres lui aussi d\u00e9nombrable, celui des nombres \u201ccalculables\u201d. Pour faire simple, un nombre calculable est un nombre duquel on peut approcher \u00e0 une pr\u00e9cision souhait\u00e9e en un nombre fini d&#8217;op\u00e9rations. C\u2019est \u00e0 dire c\u2019est un nombre dont le calcul jusqu\u2019\u00e0 n\u2019importe quelle d\u00e9cimale peut \u00eatre obtenu par un ordinateur. Tout comme la biblioth\u00e8que de Babel dans mon pr\u00e9c\u00e9dent dossier, l\u2019ensemble de tous les programmes informatiques, de toutes les fonctions calculables est un ensemble d\u00e9nombrable. L\u2019ensemble des nombres que l\u2019on peut calculer est donc infiniment plus petit que celui des nombres que l\u2019on ne peut pas calculer. Autrement dit, en prenant un nombre r\u00e9el au hasard, on a une probabilit\u00e9 nulle de tomber sur un nombre calculable\u2026 Les nombres <a href=\" http:\/\/fr.wikipedia.org\/wiki\/Om%C3%A9ga_de_Chaitin\">Omega de Chaitin<\/a>, dont je vous parlais en introduction sont justement des nombres incalculables. Il en existe m\u00eame certains qui respectent beaucoup de tr\u00e8s bonnes propri\u00e9t\u00e9s, mais dont on ne peut conna\u00eetre aucune d\u00e9cimale!<\/p>\n<p>Pour \u00eatre complet sur les propri\u00e9t\u00e9s de pi, je me dois de pr\u00e9ciser que le travail est loin d\u2019\u00eatre fini. Plusieurs r\u00e9sultats non d\u00e9montr\u00e9s subsistent : pi est-il un <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Nombre_univers \">nombre univers<\/a> (nombre dont tous les nombres entiers apparaissent dans les d\u00e9cimales)? Est-il un nombre normal (nombre dont les d\u00e9cimales suivent une certaine forme de hasard)?\u2026<\/p>\n<p>Puisqu\u2019on a la chance d\u2019avoir un nombre calculable, calculons-le!<\/p>\n<h2>La chasse aux d\u00e9cimales<\/h2>\n<p>Le calcul de d\u00e9cimales de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> n&#8217;a jamais cess\u00e9, depuis sa d\u00e9couverte, d&#8217;int\u00e9resser certains scientifiques. Pourtant cela ne sert pas \u00e0 grand-chose&#8230; Depuis que l&#8217;on sait que <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> est irrationnel, on sait qu&#8217;on ne trouvera pas de cycle dans ses d\u00e9cimales. Conna\u00eetre plusieurs milliards de d\u00e9cimales n&#8217;aidera pas \u00e0 savoir si oui ou non <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> est un nombre univers ou un nombre normal. Mais pire encore, avoir plus d&#8217;une cinquantaine de d\u00e9cimales apporte beaucoup trop de pr\u00e9cision par rapport \u00e0 tous les calculs que nous serions amen\u00e9s \u00e0 faire. Par exemple, la seule connaissance de 40 d\u00e9cimales de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> suffit \u00e0 calculer la circonf\u00e9rence de l&#8217;univers entier \u00e0 la pr\u00e9cision d&#8217;un atome d&#8217;hydrog\u00e8ne. Un des seuls int\u00e9r\u00eats math\u00e9matiques qui persiste serait de parvenir \u00e0 trouver une r\u00e9gularit\u00e9 dans ces d\u00e9cimales, mais apr\u00e8s plusieurs milliers de milliards de d\u00e9cimales connues, aucune n&#8217;est apparue.<\/p>\n<p>En revanche, le calcul des d\u00e9cimales de pi a \u00e9norm\u00e9ment fait avancer l&#8217;efficacit\u00e9 des m\u00e9thodes calcul. Au d\u00e9but, les m\u00e9thodes de calcul de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> reposaient sur la m\u00e9thode des polygones pr\u00e9sent\u00e9e en d\u00e9but de dossier. Cette m\u00e9thode permet de gagner trois d\u00e9cimales toutes les cinq \u00e9tapes. Une autre m\u00e9thode populaire est la m\u00e9thode dite d'&#8221;arctangeante&#8221;, c&#8217;est celle correspondant \u00e0 la somme infinie pr\u00e9sent\u00e9e plus haut. Elle est tout aussi peu efficace que la m\u00e9thode d&#8217;Archim\u00e8de. C&#8217;est pourtant avec ces m\u00e9thodes qu&#8217;est d\u00e9pass\u00e9e la centaine de d\u00e9cimales connues au XVIIIe si\u00e8cle.<\/p>\n<p>Au XIXe si\u00e8cle, les calculateurs de d\u00e9cimales s&#8217;organisent. La 200e d\u00e9cimale est d\u00e9pass\u00e9e en 1844 par Von Strassnitzki, ou plut\u00f4t Johann Martin Zacharias Dahse, calculateur prodigue qui effectua la plupart des calculs! Le record continue \u00e0 \u00eatre battu par Shanks qui en 1874 calcule 707 d\u00e9cimales. Ce record est pratiquement le dernier record humain (il fut battu en 1945) et a une importance historique. D&#8217;abord parce que Shanks a pass\u00e9 20 ans de sa vie \u00e0 l&#8217;obtenir. Pour que ce type de calcul soit valid\u00e9, il faut que quelqu&#8217;un le v\u00e9rifie. \u00c9valuons les deux possibilit\u00e9s pour la personne effectuant la v\u00e9rification :<\/p>\n<ul>\n<li>Il trouve les m\u00eames d\u00e9cimales, Shanks deviens c\u00e9l\u00e8bre. Le v\u00e9rificateur tombe dans l&#8217;oubli<\/li>\n<li>Il ne trouve pas les m\u00eames d\u00e9cimales. Cela ne prouve rien, il faut un autre v\u00e9rificateur pour savoir qui a raison.<\/li>\n<\/ul>\n<p>Autant dire que pour 20 ans de calcul, le jeu ne vaut pas tellement la chandelle. C&#8217;est une des raisons pour lesquelles le record r\u00e9sista d&#8217;abord jusqu&#8217;en 1945 et surtout jusqu&#8217;\u00e0 l&#8217;apparition des premiers calculs par machine.<\/p>\n<p>A la cr\u00e9ation du <a href=\"http:\/\/www.palais-decouverte.fr\/index.php\">Palais de la D\u00e9couverte<\/a> \u00e0 Paris en 1937, \u00e0 l&#8217;occasion de l&#8217;exposition universelle, <a href=\"http:\/\/fr.wikipedia.org\/wiki\/%C3%89mile_Borel\">Borel<\/a> d\u00e9cida de construire une salle d\u00e9di\u00e9e \u00e0 Pi. Ce lieu, unique salle au monde d\u00e9di\u00e9e \u00e0 pi (selon plusieurs sources m\u00eames si j&#8217;ai du mal \u00e0 y croire), a \u00e9t\u00e9 construite sur une base circulaire et avec un plafond formant une demi-sph\u00e8re. Tout autour, les d\u00e9cimales de Shanks y ont \u00e9t\u00e9 affich\u00e9es. En 1945 avec le nouveau record et avec les records suivants, on eut la certitude que le calcul de Shanks \u00e9tait faux \u00e0 partir de la 528e d\u00e9cimale. Les d\u00e9cimales du Palais de la D\u00e9couverte ont donc \u00e9t\u00e9 fausses jusqu&#8217;en 1945, mais contrairement \u00e0 beaucoup de rumeurs, elles ont \u00e9t\u00e9 corrig\u00e9es depuis. Vous pouvez v\u00e9rifier vous m\u00eame en cherchant au-dessus du nom &#8220;Poisson&#8221; de la frise des math\u00e9maticiens les d\u00e9cimales &#8220;&#8230;0213949463&#8230;&#8221; on y lisait avant &#8220;&#8230;021395016&#8230;&#8221;. Ci-dessous une photo des d\u00e9cimales de la salle pi, mais n&#8217;h\u00e9sitez pas \u00e0 la visiter, elle existe encore!<\/p>\n<p><a href=\"http:\/\/nicotupe.fr\/Blog\/?attachment_id=1155\" rel=\"attachment wp-att-1155\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-1155\" title=\"P1010846\" src=\"http:\/\/www.podcastscience.fm\/wp-content\/uploads\/2012\/03\/P1010846-300x225.jpg\" alt=\"\" width=\"300\" height=\"225\" \/><\/a><\/p>\n<h2>L&#8217;\u00e8re des machines<\/h2>\n<p>Contrairement \u00e0 ce que l&#8217;on pourrait croire, l&#8217;efficacit\u00e9 du calcul de pi par les ordinateurs ne d\u00e9pend pas seulement de la puissance des ordinateurs, mais bien aussi du raisonnement math\u00e9matique utilis\u00e9. Il est m\u00eame amusant de remarquer qu&#8217;historiquement les scientifiques se sont beaucoup plus int\u00e9ress\u00e9s \u00e0 la fa\u00e7on de moins faire de calculs depuis que ce n&#8217;est plus eux qui les font. Par exemple, pour calculer<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=2%5Ctimes+3%2B2%5Ctimes+6&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2\\times 3+2\\times 6' title='2\\times 3+2\\times 6' class='latex' \/><\/code><\/center>on effectue trois op\u00e9rations (une addition et deux multiplication). Alors que si l&#8217;on factorise le calcul,<\/p>\n<p><center><code><img src='http:\/\/s0.wp.com\/latex.php?latex=2%5Ctimes%283%2B6%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2\\times(3+6)' title='2\\times(3+6)' class='latex' \/><\/code><\/center>on effectue plus que deux op\u00e9rations! Soit un gain de temps de 30%!<\/p>\n<p>Ce sont donc des raisonnements math\u00e9matiques \u00e0 la fois sur la complexit\u00e9 (nombre d&#8217;op\u00e9rations \u00e0 effectuer) et sur les propri\u00e9t\u00e9s de <code><img src='http:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\pi' title='\\pi' class='latex' \/><\/code> qui ont permis \u00e0 travers les ann\u00e9es de battre les records sur pi. En 1973, le million de d\u00e9cimales est d\u00e9pass\u00e9 par Guilloud et Bouyer qui utilisent la m\u00eame formule que Shanks. La v\u00e9rification de ce calcul a \u00e9t\u00e9 effectu\u00e9e par le CERN, \u00e0 Gen\u00e8ve et le r\u00e9sultat a \u00e9t\u00e9 publi\u00e9 (oui oui, il s&#8217;agit bien d&#8217;un ouvrage ne contenant pratiquement que des d\u00e9cimales de pi!).<\/p>\n<p>Aujourd&#8217;hui, le milliard de d\u00e9cimales est largement d\u00e9pass\u00e9. En d\u00e9cembre 2009, le fran\u00e7ais <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Fabrice_Bellard\">Fabrice Bellard<\/a> \u00e9tablit le record v\u00e9rifi\u00e9 de 2700 milliards de d\u00e9cimales calcul\u00e9es avec un simple ordinateur de bureau. En octobre 2011, les Japonais Yee et Kondo affirment avoir calcul\u00e9 10 000 milliards de d\u00e9cimales, r\u00e9sultat pas encore totalement valid\u00e9 \u00e0 ma connaissance. Depuis que l&#8217;on conna\u00eet autant de d\u00e9cimales, il a \u00e9t\u00e9 v\u00e9rifi\u00e9 que toutes les dates de naissance (groupes de 6 chiffres) apparaissent, vous pouvez m\u00eame chercher la v\u00f4tre <a href=\"http:\/\/www.eveandersson.com\/pi\/digits\/\">ici<\/a>.<\/p>\n<p>Pour finir, Pi est donc un nombre qui de tout temps a passionn\u00e9 les scientifiques. Les propri\u00e9t\u00e9s et anecdotes rapport\u00e9es ici ne sont qu&#8217;une infime partie de son histoire. Si le sujet vous int\u00e9resse, n&#8217;h\u00e9sitez pas \u00e0 consulter les livres ci-dessous.<\/p>\n<p>Sources :<br \/>\n&#8211; Le fascinant nombre Pi de Jean-Paul Delahaye. Le livre \u00e0 lire si le sujet vous int\u00e9resse, il est complet et simple d&#8217;acc\u00e8s, un must!<br \/>\n&#8211; Alex au pays des chiffres de Alex Bellos. Un livre tr\u00e8s g\u00e9n\u00e9ral et tr\u00e8s agr\u00e9able \u00e0 lire, il contient un passage sur pi int\u00e9ressant.<br \/>\n&#8211; La fabuleux destin de V2 de Benoit Rittaud. J&#8217;y ai trouv\u00e9 la d\u00e9monstration de non rationalit\u00e9 de racine de 2. C&#8217;est un excellent livre sur ce nombre.<br \/>\n&#8211; Calculer pi avec la pluie (merci Mathieu): <a href=\"http:\/\/amazings.es\/2012\/02\/29\/calculando-pi-con-gotas-de-lluvia\/\">http:\/\/amazings.es\/2012\/02\/29\/calculando-pi-con-gotas-de-lluvia\/<\/a><br \/>\n&#8211; Des anecdotes sur le jour de pi ici : <a href=\"http:\/\/www.piday.org\/stuff\/\">http:\/\/www.piday.org\/stuff\/<\/a><br \/>\n&#8211; Un WWsh qui parle de PI, queqlues exemples de WTF sonores autour de pi : <a href=\"http:\/\/www.linaudible.com\/2011\/03\/19\/wwsh065\/\">http:\/\/www.linaudible.com\/2011\/03\/19\/wwsh065\/<\/a><\/p>\n<p class=\"wp-flattr-button\"><a class=\"FlattrButton\" style=\"display:none;\" href=\"http:\/\/nicotupe.fr\/Blog\/2012\/03\/podcastscience-77-pi\/\" title=\" PodcastScience 77 &#8211; Pi\" rev=\"flattr;uid:nicotupe;language:fr_FR;category:text;tags:nicotupe.fr;\">Cet article est une reproduction du dossier que j&#8217;ai \u00e9crit pour Podcastscience et je vous engage \u00e0 vous abonner \u00e0 ce podcast. Pour les plus flemmards, le texte et l&#8217;audio...<\/a><\/p>","protected":false},"excerpt":{"rendered":"<p>Cet article est une reproduction du dossier que j&#8217;ai \u00e9crit pour Podcastscience et je vous engage \u00e0 vous abonner \u00e0 ce podcast. Pour les plus flemmards, le texte et l&#8217;audio dans la suite&#8230; [audio:http:\/\/www.podcastscience.fm\/wp-content\/uploads\/2012\/03\/77-Pi.mp3] Si nous faisons aujourd&#8217;hui une \u00e9mission sur pi, c&#8217;est avant tout parce que le 14 mars est une date tr\u00e8s sp\u00e9ciale. [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":1021,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"categories":[46,38],"tags":[],"class_list":["post-814","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-podcastscience","category-sciences"],"jetpack_featured_media_url":"http:\/\/nicotupe.fr\/Blog\/wp-content\/uploads\/2012\/03\/Pi1024x768.gif","_links":{"self":[{"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/posts\/814","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/comments?post=814"}],"version-history":[{"count":13,"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/posts\/814\/revisions"}],"predecessor-version":[{"id":824,"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/posts\/814\/revisions\/824"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/media\/1021"}],"wp:attachment":[{"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/media?parent=814"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/categories?post=814"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/nicotupe.fr\/Blog\/wp-json\/wp\/v2\/tags?post=814"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}