Un siècle autour du théorème de Morley Commission Inter-Irem Epistémologie - 11 mars 2006 Un siècle autour du théorème de Morley « Ce faisant, je n’ajouterai aucun résultat positif à ceux déjà connus ; peut-être cependant les réflexions qui suivent intéresseront-elles ceux qui ne se contentent pas de collectionner les faits mathématiques mais aiment à les retourner en tous sens pour les mieux comprendre… » Henri Lebesgue

A B C P Q R Frank MORLEY (1860 - 1937)

B’ C’ A B C A’

D A C B

B’ C’ A B C A’

B’ C’ A B C A’

B’ C’ A B C A’

A C’ B’ B C A’

A C’ B’ B C A’

A C’ B’ B C A’

A C’ B’ B C A’

A C’ B’ B C A’

A R Q P B C bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? P B C

1.— Approches géométriques 2.— La découverte de Morley 3.— Géométrie et « calculs »…

A R Q P B C bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? P B C

Un peu de Synthèse…

A R Q P B C bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? P B C

A P’ R Q P B C bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? P B C

A P’ P   B C  3 3 bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? P   B C  3 3

A    Q  Q’   B C  3 3 bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?   B C  3 3

Un peu d’Analyse…

A R Q P B C bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? P B C

P’ P bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? P

P’ P bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? P

P’ R Q Q’ R’ P

A  P’ R Q Q’ R’ P   B C

A P’ Q’ R’ P   B C

A P’ Q’ R’ P   B C

A P’  B C

A  P’    B C

  

A — les segments rouges font toujours des angles de π/3 — SI le résultat est vrai, alors les segments rouges sont concourants… — SI le résultat est vrai, alors les angles des triangles isocèles valent … P’ R Q Q’ R’ P B C

Raoul Bricard (1922)

R   Q     P

A R Q P B C

A  ? R Q   P   B C

A    R  Q P   B C

 R Q P   B C

 P’ P B C

P’ P  B C

U I v + w)/2 V W

U v + w)/2 ? V W

U v + w)/2 v + w)/2 V W

U I v + w)/2 V W

A  R Q P     B C

A    R Q P   B C

A    R Q P   B C

A     R Q P   B C

John Horton Conway (1995)

A    R  Q  P      B C

A B C



     

          

bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?

Démonstration “ directe ”…

— les droites PP’, QQ’ et RR’ font entre elles des angles de π/3 —SI LA CONCLUSION EST VRAIE, alors les droites PP’, QQ’ et RR’ sont concourantes. P’ R π/3 Q π/3 Q’ bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? π/3 R’ P B C

A 1°) supposons que les segments rouges (qui font toujours des angles de π/3) soient concourants … P’ R Q Q’ R’ P B C

2°) il reste à prouver que les segments rouges sont concourants … bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? P B C

A P’ R Q Q’ R’ P B C bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ? R’ P B C

A B C C’ A’ B’

A A B C C’ A’ B’ R Q P B C

A R Q P B C

A R Q P B C

A R Q P B C

A P’ R’ Q’ B C

A P’ R Q R’ Q’ P B C

A B C P’ Q’ R’ R Q P

P’ P Q R Q’ R’

1.— Approches géométriques 2.— La découverte de Morley 3.— Géométrie et « calculs »…

z = (u 2 + 2u) / 3 z + u 3 z – (u 2 + u) / 3 = 0 a z +  z +  = 0 ] 1 z = (u 2 + 2u) / 3 z + u 3 z – (u 2 + u) / 3 = 0 a z +  z +  = 0 ]  3 +  2 – 3    +  2

N M O

N M O

1 u 3 u 2 + u 1 v 3 v 2 + v 1 w 3 w 2 + w 1 u 3 u 2 + u 1 v 3 v 2 + v    1 u 3 u 2 + u 1 v 3 v 2 + v 1 w 3 w 2 + w O 1 u 3 u 2 + u 1 v 3 v 2 + v 1 uvw 0

… / …

A B C

A B C

A B C

A B C

A B C

… / …

A B C

A B C

A B C

A B C

A Triangle fixe B Triangle mobile Semblable à lui-même Lieu géométrique du centre ? C

A B C

bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?

bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?

bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?

bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?

bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?

M N O bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?

bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?

Pourquoi 60° ?…

Pourquoi 60° ?…

O   

… / …

1.— Approches géométriques 2.— La découverte de Morley 3.— Géométrie et « calculs »…

Le calcul d’Alain Connes B C P Q R A U(2) 2 1 3 6 W(2) 4 5 V(2) Le calcul d’Alain Connes

B C P Q R A 1 2 2 1 1 2 U(2)°U(2)°U(2)

A U(2)°U(2)°U(2) R Q P B C V(2)°V(2)°V(2) W(2)°W(2)°W(2) 1 U(2)°U(2)°U(2) 3 6 4 5 V(2)°V(2)°V(2) W(2)°W(2)°W(2) W 3°V 3°U 3 = Identité

B C P Q R A 1 2 V(2)°U(2) 3 4

A V(2)°U(2) U(2)°W(2) centre R centre Q R Q P B C W(2)°V(2) 1 1 V(2)°U(2) U(2)°W(2) centre R centre Q 4 6 4 5 W(2)°V(2) centre P

forment un triangle équilatéral B C P Q R A si W 3°V 3°U 3 = Identité 1 1 alors les centres de V°U , W°V et U°W forment un triangle équilatéral 4 6 4 5

A R Q P B C bulles-enveloppes et calculi du sceau au cheque fantome de calculi, c’est-à-dire de caillou… hypothèse de symbolisme et de représentation numération l’invention du zéro : problème épistémologique fondamental car, pour reprendre l’expression d’un grand poète que nous retrouverons tout à l’heure : … Le vide pour zéro Elam + Babylone (bergers) Grecs + Mayas + Chine (marins ?) Inde + arabes (mystère) —> renaissance à la Renaissance logarithmes ?

A P’ Q’ R’ R Q P B C

P’ P Q R Q’ R’

U : z  u.z + a.(1 – u) A U 3 : z  u 3.z + a.(1 – u 3) U(2) B C P Q R A V(2) U(2) W(2) 2 1 6 5 4 3 U 3 : z  u 3.z + a.(1 – u 3) V°U : z  vu.z + r.(1 – vu)

alors, si P°Q a un point fixe, (P°Q) 3 = Id si Q 3 = Id et P 3 = Id alors, si P°Q a un point fixe, (P°Q) 3 = Id Q : z  u.z + q.(1 – u) P : z  u.z + p.(1 – u) avec u 3 = 1 P 3 4 Q 2 1 P°Q : z  u 2.z + (uq + p)(1 – u) v = u 2 , donc v 3 = 1 uq + p = r.(1 + u) , … P°Q : z  v.z + r.(1 – v)

B C P Q R A « Ce résultat géométrique se perçoit directement par les aires visuelles du cerveau et même si l’on n’en connaît pas la démonstration, on peut en comprendre l’énoncé de manière directe grâce à la richesse de la perception visuelle. » « On peut en donner une démonstration géométrique simple qui consiste à partir d’un triangle équilatère PQR et à reconstruire un triangle quelconque ABC, mais cette démonstration reste artificielle. » […] Au lieu de faire appel aux aires visuelles du cerveau [l’algèbre] fait appel aux aires du langage. D’un côté, vous avez un résultat géométrique qui est simple à appréhender, de l’autre côté vous avez un résultat algébrique qui fait appel à des manipulations élémentaires.

« Nous ne pouvons pas nous contenter de formules simplement juxtaposées et qui ne s’accorderaient que par un hasard heureux ; il faut que ces formules arrivent pour ainsi dire à se pénétrer mutuellement. L’esprit ne sera satisfait que quand il croira apercevoir la raison de cet accord, au point d’avoir l’illusion qu’il aurait pu le prévoir. » Henri Poincaré (1905) … / …

[Au début du XIXème siècle, la géométrie analytique] se renouvelait […] par une révolution en quelque sorte inverse de la réforme cartésienne. Avant Descartes, le hasard seul, ou le génie, permettait de résoudre une question géométrique ; après Descartes, on a pour arriver au résultat des règles infaillibles ; pour être géomètre, il suffit d’être patient. Mais une méthode purement mécanique, qui ne demande à l’esprit d’invention aucun effort, ne peut être réellement féconde. Une nouvelle réforme était donc nécessaire : Poncelet et Chasles en furent les initiateurs. Grâce à eux, ce n’est plus ni à un hasard heureux, ni à une longue patience que nous devons demander la solution d’un problème, mais à une connaissance approfondie des faits mathématiques et de leurs rapports intimes. Les longs calculs d’autrefois sont devenus inutiles, car on peut le plus souvent en prévoir le résultat.

Les théorèmes de Miquel et le théorème de Clifford

1er Théorème de Miquel (1838)

1er Théorème de Miquel (1838)

1er Théorème de Miquel (1838)

Démonstrations…

Démonstration synthétique…

Démonstration synthétique…

Démonstration synthétique… 1 5 9 6 2 4 3 Démonstration synthétique…

Démonstration synthétique… 1 5 9 6 1 2 6 7 4 5 8 2 4 3 9 3 Démonstration synthétique…

La démonstration de Clifford (1870)

I J F La démonstration de Clifford (1870)

2ème Théorème de Miquel (1838)

1 2 3 4 1 4 2 3

4 3 1 2 1 2 3 4

1 2 3 4 1 4 2 4 4 3 1 2 3

I J F La démonstration de Clifford (1870)

I F J La démonstration de Clifford (1870)

Cas de 6 droites (Clifford 1870)

Le théorème de « de Longchamps »

Miquel

de Longchamps (1877)

de Longchamps (1877)

Programme de Leibniz (1679) : « Il nous faut encore une autre analyse géométrique ou linéaire, qui nous exprime directement situm comme l’algèbre exprime magnitudinem. […] » « L’algèbre n’est autre chose que la caractéristique des nombres indéterminés, ou des grandeurs. Mais elle n’exprime pas directement la situation, les angles et le mouvement. D’où vient qu’il est souvent difficile d’enfermer dans le calcul les conditions de la figure et qu’il est encore plus difficile de trouver des démonstrations et des constructions géométriques assez commodes, alors même que le calcul d’algèbre est tout fait. »

« Faire comprendre un résultat, c’est essentiellement l’intégrer dans un tout cohérent dont certaines parties sont déjà bien familières. » Henri Lebesgue (1939)

… / …

… / …

… / …

… / …