Histoire de la racine carrée
1083933
24075752
2007-12-18T19:17:45Z
R
1375
a renommé [[Racine carrée (histoire)]] en [[Histoire de la racine carrée]]: [[WP:CST]]
{{histoire des sciences}}
{{recycler}}
[[Image:racine_carree.svg|left|thumb|200px|Racine carrée, une grandeur géométrique, pour quelle valeur arithmétique ?]]
L''''histoire de la [[racine carrée]]''' commence autour du {{XXe siècle av. J.-C.}}. Sa première représentation connue date du {{XVIIe siècle av. J.-C.}}. La valeur de <math>\sqrt{2}</math> a été calculée de manière approchée en Inde au {{VIIIe siècle av. J.-C.}} et en Chine durant le {{IIe siècle av. J.-C.}}. Entre ces deux périodes, les grecs démontrent son [[nombre irrationnel|irrationalité]].
Des mathématiciens ont rencontré ces problèmes depuis les débuts de l'écriture, en [[Mésopotamie]] (-1700), ils ont été fertiles jusqu'au du [[XIXe]] siècle, il conservent un intérêt [[didactique|pédagogique]].
La racine carrée est une question classique d'[[histoire des sciences]]. Elle permet de tracer le fonctionnement réel des découvertes, de leur oubli ou de leur transmission. Certaines [[représentation]]s limitent la compréhension (les obstacles épistémologiques), d'autres favorisent la spéculation ([[technique]]s, [[organisation sociale]], [[religion]], [[philosophie]]...) ; mais au delà de son avancement, chaque société à sa manière de faire des mathématiques. Pour s'en rendre compte, rien ne vaut une citation d'époque, même traduite, pour découvrir des technicités différentes, et souvent très élaborées. La racine carrée est un objet mathématique très défini, qui permet un petit voyage dans l'espace et le temps par les traces qu'il a laissé.
==[[Babylone]]==
[[Image:YBC 7289 sketch.svg|thumb|right|Schéma de la tablette [[YBC 7289]].]] {{article détaillé|YBC 7289}}
La première représentation connue d'une racine carrée est une tablette [[Babylone|babylonienne]] [[YBC 7289]] (-1800~-1600). On peut réellement affirmer que les mathématiques sont nées là. La [http://www.math.ubc.ca/~cass/Euclid/ybc/ybc.html photo] est encore plus émouvante que le diagramme. On y reconnait distinctement un carré avec ses diagonales (d'autres tablettes confirment la construction). Le dessin est baclé, avec des écritures que les spécialistes reconnaissent être celle d'un apprenti scribe : c'est un cahier d'exercices.
Les écritures sont des mesures, en particulier sur la diagonale. En [[système sexagésimal]] [[cunéiforme]]:
:{{Nombre babylonien|1|24|51|10}}
:1 + 24/60 + 51/60² + 10/60³<ref>L'absence de [[zéro]] et de [[virgule]] dans la [[numération babylonienne]] rend la [[notation positionnelle]] ambiguë</ref> =~ 1,41421296
Une valeur approchée au six dix-millionièmes de √2 (6 décimales). Le calcul n'a pas été effectué sur la tablette. Le nombre a été selon toute vraissemblance dicté, ou appris, et appliqué avec à propos sur la figure. Des listes d'approximations ont ainsi été retrouvées<ref>{{en}} David Fowler et Eleanor Robson, ''[http://www.hps.cam.ac.uk/dept/robson-fowler-square.pdf Square Root Approximations in Old Babylonian Mathematics : YBC 7289 in Context]'', dans Historia Mathematica, 25 (1998), 366–378</ref>. Mais comment ce nombre a-t-il été calculé ?
Il n'a pas encore été retrouvé de tablette expliquant exactement ce calcul pour √2. Toutefois, sur plusieurs autres problèmes (diagonale d'un rectangle, côtés de triangles, hexagones et autres polygones), des algorithmes itératifs sont bien utilisés. Les spécialistes acceptent l'hypothèse d'un genre de [[méthode de Héron]]. Cependant, la stricte application de celle ci dans une notation sexagésimale ne permet pas de retrouver l'exacte approximation de la tablette YBC 7289. Il faut supposer la réutilisation d'approximations dans la simplification des calculs. De plus, les problèmes montrant l'utilisation de processus itératifs sont d'expression peu claire, mélangeant les unités, sans qu'il soit évident que le rédacteur à conscience que les étapes peuvent se répéter à l'infini.
L'exercice des mathématiques pour la majorité des scribes dont on retrouve les tablettes semble surtout consister à mémoriser des résultats exemplaires, établis par d'autres, et de savoir les utiliser à bon escient dans la variété des problèmes rencontrés. Toutefois, la précison atteinte dépasse l'utilité pratique, sans qu'on puisse y voir une motivation religieuse, peut-être est-elle librement spéculative, en tous cas pédagogique.
==Chine ancienne<ref>Cette chronologie est fiable et claire à lire, David E. Joyce, ''[http://aleph0.clarku.edu/~djoyce/mathhist/china.html Mathematics in China]''.</ref>==
{{article détaillé|Les Neuf Chapitres sur l'art mathématique}}
[[Image:NuwaFuxi.gif|thumb|left|Nǚwā tenant le compas et son mari [[Fuxi]] l’équerre – fouilles archéologiques au [[Xinjiang]]]]
La culture intellectuelle de la Chine classique est généralement ''littéraire'', si bien qu'un grand sinologue osa dire : « L’idée de quantité ne joue autant dire aucun rôle dans les spéculations philosophiques des Chinois. Les Nombres, cependant, intéressent passionnément les Sages de l’ancienne Chine »<ref>[[Marcel Granet]], ''La Pensée chinoise'', « Chapitre III, les nombres », 1934 (rééd. Albin Michel, coll. « L’Évolution de l’humanité », 1999) 1925 {{lire en ligne|lien=}}.</ref>. Le [[Dao De Jing]] (v. -600) donne le ton : « [[Dào]] créa l'Un, de l'un poussa le deux, deux fit trois, et du trois naquirent les 10 000 êtres » ([http://www.afpc.asso.fr/wengu/wg/wengu.php?no=42&lang=fr&l=Daodejing 42]). L'inspiration est poursuivie par le [[taoïsme]] ([[Wang Bi]], 226~249), jusqu'au [[néo-confucianisme]] (Zhou Dunyi, 1017~1073), notamment en spéculant sur [[Yi Jing]]. Au mieux, on lit des dialectiques sur l'un et le multiple<ref>Dans le genre du [[Parménide (Platon)|]] de [[Platon]].</ref>, mais on y chercherait en vain l'équivalent d'une [[mystique]] [[pythagoricien]]ne de la [[nombre rationnel|rationalité]]. Le [[théorème de Pythagore]] et le risque de l'[[nombre irrationnel|irrationalité]] ont été vus, quand on constate la faveur des triangles rectangles à côtés commensurables (3,4,5), mais on s'accommode aussi de [[Triplet pythagoricien|triplets pythagoriciens]] approximatifs (4²+8²=9²-1, 4²+7²=8²-1). Le nombre est surtout vidé de la quantité pour en trouver un sens symbolique, propre à étiqueter la diversité du réel. Les examens impériaux pour accéder aux fonctions mandarinales demande une grande connaissance des [[Classiques chinois]], mais ne comportent pas d'épreuves mathématiques.
Cependant, en 1983, on a découvert le plus ancien texte mathématique actuellement connus (-186) dans la tombe d'un lettré fonctionnaire impérial. Le ''Suàn shù shū'' 算數書, « écritures de compte », est un ensemble de 190 baguettes traduites très récemment (2004)<ref>Christopher Cullen, ''[http://www.nri.org.uk/SuanshushuC.Cullen2004.pdf The Suàn shù shū 算數書 : Preliminary matter]'', 2004, Needham Research Institute.</ref>. Il s'agit d'exemples de calculs, utilisées pour des opérations administratives (« Champs rectangulaires », « Millet et riz », « Taxation équitable », « Excédent et déficit »...)<ref>Titres des sections dans ''[[les Neuf Chapitres sur l'art mathématique]]''</ref>.
'''(-186) ''Suàn shù shū'' 算數書, « écritures de compte »'''
<br/>''√240 : une approximation acceptable par la [[méthode de la fausse position]]''
<blockquote>
Mise au carré d'un champ
<br/>Soit un champ d'un arpent : de combien de pas est-il carré ? ''[« arpent » traduit une unité d'aire, ''mǔ'' 畝. « pas » traduit une unité de longueur. On sait que 240 步 bù carrés = 1 mǔ 畝. Le problème est donc √240 ?]''
<br/>Réponse : il est le carré de 15 pas et 15/31 pas ''[√240=15,491... ; 15+15/31=15,483...]''.
<br/>Méthode : Si c'est un carré de 15, il y a un déficit de 15 ''[15x15=225=240-15]'' ; si c'est un carré de 16, il y a un excès de 16 ''[16x16=256=240+16]''.
<br/>Réponse : Additionner l'excès ''[16]'' et le déficit ''[15]'' pour faire un diviseur ''[15+16]''. Le numérateur du déficit multiplie le dénominateur de l'excès ''[15x16]'', et le numérateur de l'excès multiplie le dénominateur du déficit ''[16x15]'' ; additionner pour faire un dividende ''[(15x16 + 16x15)]''. Renverser pour donner la longueur ''[(15x16 + 16x15)/(15+16)=32x15/31=15+15/31]''.
</blockquote>
L'approximation de √240 à laquelle ce texte abouti est acceptable. Cette première tentative chinoise attestée d'extraction de racine est aussi la première formulation de la [[méthode de la fausse position]] (dite ''Yíng bù zú'' « excès et déficit ») que l'on retrouve jusqu'à Al-Khwarizmi (783~850). Elle est utilisée ailleurs dans le texte avec exactitude sur des [[équation du premier degré|équations linéaires]]. Ici elle fonctionne comme une approximation. Le calcul peut être difficile à suivre, il prouve en tous cas une grande habitude de manipulation verbale des fractions. Pour nous, en termes fonctionnels, cela consiste à effectuer une moyenne linéaire entre deux valeurs encadrantes. Soit f(x)=x²-240. On cherche x pour que f(x)=0. Par essai et erreur on trouve (1) f(15)=-15 et (2) f(16)=+16, x est entre 15 et 16. Si f était linéaire de type ax+b, elle serait telle que (1) a15+b=-15 et (2) a16+b=16. (2)-(1) => 16a+b-15a-b=a=16+15=31 , d'où a=31. Appliqué à (1) ou (2), on trouve b=-480, d'où l'approximation linéaire f(x)=31x-480=0 => x=480/31=((31x15)+15)/31=15+15/31, solution initiale du problème. L'algorithme n'est pas appliqué de manière itérative.
Reste une information de contexte qui nous manque, quelle est l'utilité de ce calcul ? Cela semble supposer que le ''mǔ'' 畝 est une unité d'aire traditionnelle qui ne s'obtient pas par arpentage, peut-être par évaluation de la production d'une parcelle, ou comme le caractère semble l'indiquer, un temps de travail agricole (久 ''jiǔ'' « durée » : 人 ''rén'' « un homme » avec un outil ; 田 '' tián'' « champ »). Le fonctionnaire qui lisait ce texte a participé à la réforme impériale de [[Qin Shi Huang]] (-260~-210). Celle-ci unifia les poids et mesures, appliqua une réforme agraire, afin que des paysans devenus propriétaires produisent les grains nécessaires à des campagnes militaires et des grands travaux. Les nombreux problèmes de conversions devaient donc s'appliquer concrètement dans le calcul des taxes, en confrontation aux unités traditionnelles de la population locale.
Cette approche est très intéressante pour l'histoire des mathématiques et des civilisations en général. Comparé à la tradition grecque, les mathématiques ne sont pas la libre théorie d'une classe oisive<ref>[[Platon]], ''[[Théétète (Platon)|]]'', [http://remacle.org/bloodwolf/philosophes/platon/theetetefr.htm#175e 175e] : « le philosophe, élevé au sein de la liberté et du loisir, ne doit pas être blâmé d’avoir l’air d’un homme simple et qui n’est bon à rien quand il se trouve en face de besognes serviles »</ref>, elles doivent être utiles à un lettré [[confucéen]] qui a une charge envers l'état et le peuple. Il en résulte une moindre clarté d'expression des problèmes, et l'acceptation de solutions pragmatiques, bien éloignées de la perfection religieuse recherchée par exemple dans les [[veda]] indiens. Toutefois, cela n'empêche pas une intention de généralisation (plus que d'abstractions), guidée par le paradigme [[taoïste]].
'''(-200~200) ''Zhoubi Suanjing'' 周髀算經, « l'ombre des cycles, livre de calculs » '''
<br/>''Ecrit astronomique avec des résultats mathématiques, édité et commenté par [[Liu Hui]]''[[Image:gougu1.svg|thumb|right|200 px|Puzzle de Gougu]]
<blockquote>
''Conseils [[taoïste]]s d'un mathématicien à son élève (~-100)''
<br/>« [...] tu peux comprendre cette matière si tu lui donnes une pensée sincère et continue [...] Pour l'instant, tu ne sais pas généraliser. [...] Beaucoup de choses échappent à ta connaissance. La [[Dao|Voie]] illumine la connaissance quand des mots simples ont une application large. Quand tu interroges un seul problème et y vois une myriade de choses, là, tu entends la [[Dao|Voie]]. »
<br/>''Zhoubi Suanjing'', -100~100, in ([http://www.nri.org.uk/SuanshushuC.Cullen2004.pdf Cullen] 1996, 175-178)''
</blockquote>
'''(0~263) ''JiuZhang SuanShu'' 九章算術 « Les Neuf Chapitres sur l'art mathématique »'''
<br/>''Un classique mathématique édité et commenté par [[Liu Hui]] (263)''
Le repère suivant est un commentaire de [[Liu Hui]] (263), rapportant un texte [[les Neuf Chapitres sur l'art mathématique]]<ref>Chemla, Karine et Shuchun Guo, ''Les neuf chapitres: le classique mathématique de la Chine ancienne et ses commentaires'', Paris, Dunod, 2004 .Traduction française avec des addendas détaillés et une édition commentée du texte chinois du livre et de son commentaire.</ref> datant à peu près de notre ère (un inventaire de la bibliothèque impériale de -5 ne le mentionne pas alors qu'il le sera ensuite). Dans le chapitre 4 少广 ''Shao guang'' « la moindre largeur », les questions 12 à 18 impliquent l'extraction de [[racine carrée]] selon la [[méthode de la fausse position]] du livre précédent. [[Liu Hui]] est parfois présenté comme l'[[Euclide]] chinois. Qu'il soit chinois est hors de doute, les problèmes et les méthodes n'empruntent rien à d'autres cultures. Par contre, le mode de généralisation n'a rien à voir avec un développement axiomatique. Pour résumer, √2 a été vu, mais pas cherché.
==Grèce antique==
{{article détaillé|mathématiques de la Grèce antique|École pythagoricienne|Nombre réel|mode=approfondir}}
La Grèce connaît et même démontre l'irrationalité de √2, mais cette découverte est difficile à attribuer exactement.
[[Aristote]] (-384~-322) tient la démonstration pour acquise et l'utilise comme un exemple d'application du raisonnement par l'absurde et du tiers exclus, il dit juste : « la diagonale du carré est incommensurable à ses côtés, ou cela supposerait que les nombres impairs soient pairs. » (-335~-323)<ref>[[Aristote]], [[Organon]], [[Premiers Analytiques]], E3r [http://etext.lib.virginia.edu/etcbin/toccer-new2?id=AriPrio.xml&images=images/modeng&data=/texts/english/modeng/parsed&tag=public&part=1&division=div2 en]</ref>, ses auditeurs sont sensés connaître la [[Racine_carrée_de_deux#Démonstration arithmétique|démonstration arithmétique]].
{{boîte déroulante|align=left|titre=√2, pair et impair, démonstration moderne |contenu=
Si √2 était rationnel, il existerait donc par '''définition''' une fraction ou a et b sont entiers et irréductibles, <math>\sqrt{2}=a/b \Leftrightarrow 2=a^2/b^2 \Leftrightarrow a^2 = 2b^2 \,</math>. Quelle que soit la valeur de b², si a égal 2b², c'est qu'il est multiple de 2, donc pair. Or, si le carré de a est pair, alors a est pair. Ici est la disjonction pointée par Aristote, celle qui exclus une troisième option, le '''tiers exclus'''. Un nombre est ou pair ou impair. Si a est impair, <math>a=(2x+1) \Rightarrow a^2=(2x+1)^2=4x^2+4x+1=2(2(x^2+x))+1=2y+1\,</math>, son carré est impair. Si a est pair, <math>a=2x \Rightarrow a=2(2x^2)=2y\,</math>, son carré est pair. En conséquence, il existe un entier n, tel que <math>a=2n \Rightarrow a^2=(2n)^2=2(2n^2)=2b^2 \Rightarrow b^2=2n^2\,</math>, autrement dit, si a est pair, le carré de b est pair aussi. Comme pour a, si b² est pair, b doit être pair aussi. Là est le nœud du raisonnement, si a et b sont pairs, alors la fraction a/b peut être réduite par 2, ce qui est contradictoire à la définition initiale, donc la défition initiale est fausse, '''absurde''', il n'existe pas de fraction rationnelle irréductible égale à √2. Le même raisonnement se montre pour √3 et les autres racines de nombres premiers[http://serge.mehl.free.fr/chrono/Aristote.html#rac2].
}}
[[Platon]](-427~-348) évoque un ensemble des ''racines'' dans le [[Théétète (Platon)|Théétète]]. L'action se tient après la mort de [[Socrate]] (-399), un tout jeune Euclide (-325~-265) rapporte un dialogue que Socrate aurait eu avec le mathématicien [[Théétète d'Athènes]] (-415 ~ -395 ou -369). Le sujet concerne la recherche d'un principe pour définir la science vraie. La définition des ''irrationnels'' est utilisée comme un exemple introductif du critère philosophique à chercher. Est aussi cité le mathématicien [[Théodore de Cyrène]] (-470~-420), maître de Platon.
L'incompatibilité des dates est évidente. Toutefois, c'est dans le style de Platon d'invoquer dans ses dialogues les figures représentatives d'un problème. Il veut clairement signifier que Théétète hérite de Théodore. Reste qu'Euclide n'était pas né quand Platon mourut. Plusieurs critiques ont voulu supposer un autre Euclide, avec autant de mémoire et de talents. La probabilité est faible. Une autre hypothèse s'accorde tout à fait avec la composition du texte, l'introduction d'Euclide est postérieure, après la mort du maître. On sait qu'avant de rejoindre [[Alexandrie]], le mathématicien naquit à Athènes, et l'[[Académie de Platon|Académie]] restait un centre d'études mathématiques.
{{boîte déroulante|align=left|titre=[[Platon]], ''[[Théétète (Platon)|Théétète]]'', [http://remacle.org/bloodwolf/philosophes/platon/theetetefr.htm#147d 147d]|contenu=
'''Théétète''' : Théodore que voici nous avait tracé quelques figures à propos des racines. Il nous a montré que celles de trois pieds et de cinq pieds ne sont pas commensurables avec celle d’un pied. Les prenant ainsi, l’une après l’autre, il était allé jusqu’à celle de dix-sept. Je ne sais pourquoi, il s'est arrêté là. Il nous vint alors à l’esprit, en considérant que les racines sont en nombre infini, d’essayer de les rassembler sous un terme unique.
'''Socrate''' : Et ce terme, l’avez-vous trouvé ? [...]
'''Théétète''' : Nous avons divisé tous les nombres entiers en deux classes : les uns, les nombres qui peuvent être formés par la multiplication de facteurs égaux, nous les avons [...] appelés ''carrés''.
<br/>[...] Pour les nombres placés entre les carrés, comme le trois, le cinq ; ils ne peuvent pas résulter d'une multiplication de facteurs égaux, mais seulement d'un plus petit avec un plus grand. [...] Nous les avons nommés ''rectangles''.
<br/>[...]Toutes les segments dont la multiplication est rapportable à un carré, nous les avons nommées ''longueurs'' [<math>2^2=4, 3^2=9 ...</math>], et toutes celles dont la multiplication est rapportable à un rectangle, nous les avons appelé ''racines'' [<math>\sqrt{2}^2=2, \sqrt{3}^2=3 ...</math>], parce qu’elles ne sont pas commensurables avec les autres pour la longueur, mais seulement pour les aires qu’elles ont le pouvoir de former. Et nous avons opéré de même pour les solides.[le texte original a été ici interprété en termes mathématiques plus contemporains]
<br/>Pourtant, Socrate, la question que tu me poses au sujet de la science, je ne me crois pas capable de la résoudre, comme celle qui a trait à la longueur et à la racine.
}}
Ce court passage montre que les mathématiques d'alors s'appuient toujours sur des analogies géométriques, mais que le discours se poursuit sans recourir à des figures, en énoncés oraux concluants (voir la logique d'Aristote). Certains historiens des sciences parlent même de raisonnement ''arithmétique'' précurseur d'une démonstration algébrique. [[Euclide]] a donc recueilli une tradition déjà longuement élaborée dans son Livre X des [[Éléments d'Euclide|éléments]]. Il en tire d'autres propositions, en particulier une méthode d'approximation des racines dite d'antiphérèse, ou soustraction réciproque. Les définitions 1 à 3 rappelent celles du ''[[Théétète (Platon)|Théétète]]'', dans d'autres termes.
{{boîte déroulante|align=left|titre=[[Euclide]], ''[[Éléments d'Euclide|éléments]]'', Livre X, définitions 1 à 3 [http://aleph0.clarku.edu/~djoyce/java/elements/bookX/bookX.html#defsI en]|contenu=
'''Définition 1''' : Une quantité est dite ''commensurable'' si elle peut être mesurée avec une même unité [ [[Nombre rationnel|rationnel]] ], et ''incommensurable'', si elle ne peut pas avoir une mesure commune [ [[Nombre irrationnel|irrationnel]] ].
'''Définition 2''' : Un segment est ''commensurable au carré'' si son carré est mesurable, rapportable à l'unité [...]
'''Définition 3''' : De ces hypothèses, il est prouvé qu'il existe des segments infinis en nombre qui sont commensurables ou incommensurables [...]
}}
Euclide a donc reçu de [[Théétète d'Athènes|Théétète]] la définition d'une classe de nombres incommensurables, ou irrationnels, les ''racines''. Théétète a appris de [[Théodore de Cyrène|Théodore]] la preuve de l'irrationalité des racines jusqu'à 17, probablement par [[Racine_carrée_de_deux#Démonstration géométrique|démonstration géométrique]]. Mais d'où Théodore tient la démonstration pour la première, √2 ? [[Platon]] encore, considère la démonstration pour si élémentaire, qu'elle peut être expliquée à un esclave dans le [[Ménon]] ([[Racine_carrée_de_deux#Duplication du carré|duplication du carré]]). Un [[néoplatonisme]] bien postérieur l'attribue à l'[[école pythagoricienne]]. [[Jamblique]] (250~325) estime qu'elle concerne le partage d'un segment en extrême et moyenne raison, le [[nombre d'or]] <math>(1+\sqrt{5})/2</math>. [[Pappus d'Alexandrie]] (340) en parle pour la diagonale du carré (√2), de même [[Proclos]] (412~485). Jamblique ajoute une légende très belle, critiquée par Proclos, peut-être le premier (et le dernier ?) martyre mathématique.
[[Hippase de Métaponte]], disciple de [[Pythagore]] (v.-580~v.-490), connaissait l'incommensurabilité de √2 (peut-être découverte par son maître). La secte propageait une arithmétique mystique affirmant la [[nombre rationnel|rationalité]] de l'univers au sens mathématique, c’est-à-dire que le sensible est fait de grandeurs pouvant toutes se ramener à l'unité. L'existence d'au moins une seule grandeur irrationnelle prouvée, √2, réfute le principe métaphysique. Hippase aurait enfreint la règle de silence de la communauté, et révéler l'[[nombre irrationnel|irrationalité]] du monde. Nous ne connaissons pas les enjeux théologiques de l'époque, mais Hippase a été banni, et peut-être d'avoir perdu l'amitié de ses frères, il se serait jeté à la mer.
Le néo-pythogoricien Théon de Smyrne (70~135), inspiré de la méthode d'antiphérèse d'Euclide, a utilisé le principe de suites encadrantes pour approcher la valeur de √2 (a/b, (a+2b)/(a+b) ... : 3/2, 7/5, 17/12 ...). Enfin [[Diophante d'Alexandrie]] (200/214~284/298) aura besoin d'une [[théorie des nombres]] unifiant les entiers, les rationnels et les irrationnels, pour la résolution d'une [[équation diophantienne]].
Pour la grèce antique, √2 est plus qu'un nombre. Ce fut d'abord un problème [[métaphysique]], qui resta une introduction de choix à la [[philosophie]] (car « nul n'y entre s'il n'est géomètre »<ref>Devise au fronton de l'[[Académie de Platon]]</ref>). La question parcoure un millénaire de culture classique, de [[Pythagore]] (-580~-490) à [[Proclos]] (412~485).
==Monde indien==
{{Article détaillé|Mathématiques indiennes|mode=approfondir}}
La [[Civilisation de la vallée de l'Indus]] (-2600~-1500), contemporaine de la [[Mésopotamie]] et l’[[Égypte ancienne]] a-t-elle connu √2 ? Son écriture n'a pas encore été déchiffrée, on peut tout au plus s'essayer à des conjectures sur la civilisation matérielle. La présence de briques normalisées (1x2x4) sur le même lieu que des règles précises au millimètre prouve la connaissance pratique de la réduction à l'unité. Ils savent rendre les longueurs commensurables, est-ce que la diagonale du carré leur a posé problème ? Il est dans l'état impossible de déduire les sciences spéculatives du savoir-faire des artisans. Mais la découverte d'un système de poids et mesures d'une grande précision et de caractère décimal, oblige à se demander ce que les mathématiques postérieures doivent à cette culture.
L'époque suivante (-1500~-400) est nommé védique, car elle est essentiellement connue par les [[Veda]], des textes religieux dans une [[langue indo-européenne]], le [[sanskrit]]. En appendice, on peut y trouver des ''Śulbasutras''. Ce sont des règles pour construire un autel avec des proportions justes, avec ces mêmes briques de l'Indus, autorisant à se demander si ces textes ne compilent pas des traditions orales bien antérieures. S'il on veut que le sacrifice plaise aux dieux, il doit être parfait, d'où la motivation à chercher l'exactitude des rapports, comme un temple grec. Les mathématiques ont donc un sens religieux, sans pour autant faire l'objet d'un culte d'un genre pythagoricien, encore moins de démonstrations. L'essentiel est que la règle fonctionne.
Dans son Śulbasutra 52, Baudhayana (-800) explique comment construire un carré d'aire double d'un carré donné, donc de côté √2, en une seule phrase : « qu'on augmente le côté du carré d'un tiers et cela de son quart diminué du trente-quatrième de lui-même ». La figure à construire n'est pas triviale<ref>''[http://www.enseignement.be/@librairie/documents/ressources/100/diagonalecarre.pdf La Diagonale du carré]'', 5.2</ref>, mais la valeur algébrique revient à 1 + 1/3 + 1/4 (1/3 - 1/34 x 1/3) = 1,414215..., précision à 5 décimales. La procédure n'est pas démontrée, il est même difficile de deviner comment elle a été découverte. Un indianiste<ref>{{en}} ''[http://www.math.cornell.edu/~dwh/papers/sulba/sulba.html Square Roots in the Sulbasutra]'', David W. Henderson</ref> note que la phrase indienne exacte utilise le mot sanskrit ''savi´e¸a'', signifiant « excède ». Le rédacteur sait que son résultat est supérieur au nombre cherché, et même de combien, l'approximation résulterait d'un processus itératif avec pour étapes : <math>\sqrt2 \approx 1 + \frac{1}{3} \approx 1 + \frac{1}{3} + \frac{1}{3}.\frac{1}{4} \approx 1 + \frac{1}{3} + \frac{1}{3}.\frac{1}{4} - \frac{1}{3}.\frac{1}{4}.\frac{1}{34} \approx 1 + \frac{1}{3} + \frac{1}{3}.\frac{1}{4} - \frac{1}{3}.\frac{1}{4}.\frac{1}{34} - \frac{1}{3}.\frac{1}{4}.\frac{1}{34}.\frac{1}{1154} ...</math> (12 décimales de précision). L'obtention des signes (+/-) et des diviseurs (4, 34, 1154...) repose sur une procédure assez complexe démontrée avec de la géométrie et la proportion des briques ; mais avec au final très peu de calculs à effectuer. La construction d'autels s'est suffit de 5 décimales de précision.
Il ne faut cependant pas surévaluer la postérité de ces résultats. Ils semblent avoir été abandonnés avec la religion védique. Après la conquête de la [[Bactriane]] par [[Alexandre le Grand]] (-328), une influence grecque s'est continuée jusqu'au début de notre ère (10) par le [[royaume indo-grec]]. Il s'y constitue un [[syncrétisme]] [[gréco-bouddhisme|gréco-bouddhique]] évident dans la statuaire, mais les textes conservés ne permettent pas de déterminer si [[Euclide]] par exemple a attiré l'attention. Le [[bouddhisme mahayana]] diffusé depuis là dans le reste de l'Asie conserve des spéculations astronomiques, mais pas de contribition mathématique notable. Les historiens des sciences préfèrent insister sur le rôle du [[jaïnisme]] dans la renouveau classique des mathématiques indiennes, d'ailleurs plus au sud.
Dans le ''Brahmasphuta-siddhanta'' « Le système révisé de Brahma » de Brahmagupta (598-668) on trouvera le zéro, une méthode pour calculer les racines carrées et quelques algorithmes pour résoudre des [[Équation du second degré|équations du second degré]]. Ce livre est parvenu aux arabes.<!--
Je n'ai pas lu la référence papier, dois-je la mettre ?
<ref>Voir
{{fr}} Quelques aspects arithmétiques du commentaire de Dvarakanatha sur la géométrie du Sulbasutra, Jean-Michel Delire, Oriens-Occidens, n°4 (2002) ; {{en}} ''[http://www.math.cornell.edu/~dwh/papers/sulba/sulba.html Square Roots in the Sulbasutra]'', avid W. Henderson ; {{fr}} ''[http://www.enseignement.be/@librairie/documents/ressources/100/diagonalecarre.pdf La Diagonale du carré]'', 5.2
</ref>.
-->
==Monde arabo-musulman==
{{article détaillé|mathématiques arabes|mode=approfondir}}
Les [[mathématiques arabes|mathématiques en langue arabe]] ont conservé et compris les [[mathématiques de la Grèce antique]], c'est déjà un énorme mérite, elles auraient pu rester lettres mortes, comme par exemple les mathématiques babyloniennes. Le [[Nestoriens|nestorien]] [[Hunayn ibn Ishaq]] (809~873)<ref>ap. J.C.</ref> a très tôt traduit les [[Éléments d'Euclide]], relu par le [[Sabéisme|sabéen]] [[Thabit ibn Qurra]] (826~901)<ref>ap. J.C.</ref>, qui parlait grec. L'autre apport décisif est d'avoir assimilé les [[Mathématiques indiennes]], en particulier l'[[écriture décimale positionnelle]] des [[chiffre arabo-indien|chiffres]]. Toutefois, il faut rappeler que si le perse [[Muhammad ibn Mūsā al-Khuwārizmī|Al-Khwarizmi]] (783~850)<ref>ap. J.C.</ref> parle des chiffres indiens dans son ''[[algèbre]]'' (الجبر و المقابلة - '''Al-jabr''' wa’l-muqâbalah), ses démonstrations restent verbales (Le carré de l'inconnue est nommé «le carré» ou ''mâl'', l'inconnue est «la chose» ou ''shay'' ou ''jidhr'', la constante est le ''dirham'' ou ''adǎd''). Il propose le premier modèle systématique d'[[Algorithmique|algorithmes]] de résolutions des équations [[équation linéaire|linéaires]] et [[équation quadratique|quadratiques]]. √2 est définitivement domestiqué, il n'a plus de mystère.
==Occident==
<blockquote>
''[[René Descartes]], ''Regulae ad directionem ingenii'' « Les Règles pour la direction de l'esprit », 1628 [Traduit du latin par Georges Le Roy]''<br/>
[...] nombre de relations [... dont] on cherche à exprimer par plusieurs dimensions et plusieurs figures, et dont on nomme la première racine, la seconde carré, la troisième cube, la quatrième bicarré, etc. Ces termes m'ont moi-même longtemps trompé, je l'avoue; car [...] après beaucoup d'expériences je m'aperçus que, par cette manière de concevoir les choses, je n'avais rien découvert que je n'eusse pu connaître bien plus facilement et distinctement sans elle ; et qu'il faut rejeter entièrement de telles dénominations, de peur qu'elles ne troublent la pensée, car, quoiqu'on puisse appeler une grandeur cube ou bicarré, on ne doit jamais la présenter à l'imagination autrement que comme une ligne ou une surface, d'après la règle précédente. Il faut donc noter avant tout que la racine, le carré, le cube, etc. ne sont que des grandeurs en proportion continue.
</blockquote>
==Références==
===Notes===
<div class="references-small" style="-moz-column-count:2; column-count:2;">
<references /></div>
===Voir aussi===
* [[Racine carrée de deux]]
[[Catégorie:Histoire des mathématiques]]