Un siècle autour du théorème de Morley

Présentation au sujet: "Un siècle autour du théorème de Morley"— Transcription de la présentation:

1 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

2 A B C P Q R Frank MORLEY ( )

3

4 B’ C’ A B C A’

5 D A C B

6 B’ C’ A B C A’

7 B’ C’ A B C A’

8 B’ C’ A B C A’

9 A C’ B’ B C A’

10 A C’ B’ B C A’

11 A C’ B’ B C A’

12 A C’ B’ B C A’

13 A C’ B’ B C A’

14 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

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

16 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

17 Un peu de Synthèse…

18 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

19 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

20 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

21 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

22 Un peu d’Analyse…

23 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

24 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

25 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

26 P’ R Q Q’ R’ P

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

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

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

30 A P’  B C

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

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

33 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

34 Raoul Bricard (1922)

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

36 A R Q P B C

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

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

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

40  P’ P B C

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

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

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

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

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

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

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

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

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

50 John Horton Conway (1995)

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

52 A B C

53 

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

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

56 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 ?

57 Démonstration “ directe ”…

58 — 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

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

60 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

61 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

62 A B C C’ A’ B’

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

64 A R Q P B C

65 A R Q P B C

66 A R Q P B C

67 A P’ R’ Q’ B C

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

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

70 P’ P Q R Q’ R’

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

72

73

74

75

76

77

78

79

80

81

82

83

84

85 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

86 N M O

87 N M O

88 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 v 2 + v 1 w 3 w 2 + w O 1 u 3 u 2 + u 1 v v 2 + v 1 uvw

89 … / …

90 A B C

91 A B C

92 A B C

93 A B C

94 A B C

95 … / …

96 A B C

97 A B C

98 A B C

99 A B C

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

101 A B C

102

103 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 ?

104 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 ?

105 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 ?

106 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 ?

107 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 ?

108 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 ?

109 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 ?

110 Pourquoi 60° ?…

111 Pourquoi 60° ?…

112

113 O   

114 … / …

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

116 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

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

118 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é

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

120 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

121 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

122

123 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 ?

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

125 P’ P Q R Q’ R’

126 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)

127 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)

128 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.

129 « 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) … / …

130 [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.

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

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

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

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

135 Démonstrations…

136 Démonstration synthétique…

137 Démonstration synthétique…

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

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

140 La démonstration de Clifford (1870)

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

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

143

144

145

146

147 1 2 3 4 1 4 2 3

148 4 3 1 2 1 2 3 4

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

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

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

152

153 Cas de 6 droites (Clifford 1870)

154 Le théorème de « de Longchamps »

155 Miquel

156 de Longchamps (1877)

157 de Longchamps (1877)

158

159 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. »

160 « 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)

161 … / …

162 … / …

163 … / …

164 … / …