Théorème de Thébault

Le nom de théorème de Thébault ne correspond pas à un théorème précis, mais plutôt à une série de problèmes posés par le mathématicien français Victor Thébault (1882 - 1960).

Le problème de Thébault n^o 1 modifier

Figure du problème de Thébault n^o 1.

Le problème de Thébault n^o 1 est un problème de géométrie euclidienne portant sur le parallélogramme. Il fut posé par Thébault en 1937^[1] qui le démontra en 1938^{[réf. nécessaire]}.

Ce théorème peut être considéré comme l'équivalent pour les quadrilatères du théorème de Napoléon qui concerne les triangles.

Problème de Thébault n°1 — Soit un parallélogramme ABCD, quelconque, et extérieurement, quatre carrés construits sur les côtés du parallélogramme. Si M, N, O et P désignent les centres de ces carrés placés comme sur la figure, alors MNOP est également un carré.

La rotation de centre O et d'angle ${\frac {\pi }{2}}$ transforme C en D, B en D', le carré de côté [CB] a pour image le carré de côté [DA].

Donc N a pour image P, soit ON = OP et l'angle ${\widehat {NOP}}$ est droit. NOP est un triangle rectangle isocèle en O.

De même par la rotation de centre M et d'angle ${\frac {\pi }{2}}$ , le carré de côté [DA] a pour image le carré de côté [CB].

Donc P a pour image N ; MP = MN et le triangle NMP est rectangle isocèle en M.

MNOP a ses quatre angles droits et des côtés consécutifs égaux : c'est un carré.

Le problème de Thébault n^o 2 modifier

Triangles équilatéraux à l'extérieur du carré.

Triangles équilatéraux à l'intérieur du carré.

Le problème de Thébault n^o 2 est un problème de géométrie euclidienne portant sur le triangle équilatéral.

Problème de Thébault n°2 — Soit un carré ABCD. Construisons deux triangles équilatéraux sur deux côtés consécutifs du carré, tous les deux "intérieurs" ou "extérieurs" par exemple ABL et BCM. Alors le triangle LMD est équilatéral.

Démonstration par raisonnement géométrique dans le cas externe

Par construction on a $DC=DA$ et $CM=AL$ .

Comme ${\widehat {DCM}}=90^{\circ }+60^{\circ }={\widehat {LAD}}$ alors les triangles $DCM$ et $DAL$ sont superposables.

Ces deux triangles étant isocèles, on a pour les angles à-la-base ${\widehat {CDM}}={\widehat {LDA}}={\frac {180^{\circ }-(90^{\circ }+60^{\circ })}{2}}=15^{\circ }$ .

Ainsi ${\widehat {MDL}}=90^{\circ }-{\widehat {CDM}}-{\widehat {LDA}}=90^{\circ }-15^{\circ }-15^{\circ }=60^{\circ }$ .

Puisque ${\widehat {MDL}}=60^{\circ }$ et $DM=DL$ , le triangle $DML$ est donc équilatéral.

Démonstration par raisonnement géométrique dans le cas interne

Par construction on a $AD=AL$ et $CD=CM$ .

Comme ${\widehat {DAL}}=90^{\circ }-60^{\circ }={\widehat {MCD}}$ alors les triangles $DCM$ et $DAL$ sont superposables.

Ces deux triangles étant isocèles, on a pour les angles à-la-base ${\widehat {ADL}}={\widehat {MDC}}={\frac {180^{\circ }-(90^{\circ }-60^{\circ })}{2}}=75^{\circ }$ .

Ainsi ${\widehat {MDL}}={\widehat {ADL}}-{\widehat {ADM}}$

={\widehat {ADL}}-(90^{\circ }-{\widehat {MDC}})

=75^{\circ }-(90^{\circ }-75^{\circ })

=60^{\circ }

Puisque ${\widehat {MDL}}=60^{\circ }$ et $DM=DL$ , le triangle $DML$ est donc équilatéral.

Le problème de Thébault n^o 3 modifier

Figure du théorème de Sawayama-Thébault.

Le problème de Thébault n^o 3, aussi connu sous le nom de Théorème de Sawayama-Thébault, est un théorème de géométrie euclidienne portant sur l'alignement de trois points^[2]

La première démonstration connue a été réalisée en 1973 par le mathématicien néerlandais H. Streefkerk^[3].

Jean-Louis Ayme^[4] a publié, en 2003, une solution purement synthétique de ce problème. Il a également effectué des recherches historiques et a découvert que ce résultat avait été démontré en 1905 par Y. Sawayama^[5], instructeur à l'école militaire de Tokyo.

Théorème de Sawayama-Thébault — Soient ABC un triangle quelconque, et D un point de [BC]. Soient Q le centre du cercle inscrit au triangle ABC, de rayon r, et ${\mathcal {C}}$ le cercle circonscrit au triangle ABC. Soient N le centre du cercle tangent à [DC], [DA] et ${\mathcal {C}}$ , de rayon r₁, et P le centre du cercle tangent à [DB], [DA] et ${\mathcal {C}}$ , de rayon r₂. On note $\theta ={\widehat {ADB}}$ .

Alors P, Q et N sont alignés, avec

{\frac {PQ}{QN}}=\tan ^{2}{\frac {\theta }{2}}

, et

r=r_{1}\cos ^{2}{\frac {\theta }{2}}+r_{2}\sin ^{2}{\frac {\theta }{2}}

Références modifier

↑ (en) Roger B. Nelsen, Proofs Without Words II, MAA, 2000, p. 19.
↑ (en) Wilfred Reyes, « An Application of Thebault’s Theorem », Forum Geometricorum, vol. 2,‎ 2002, p. 183–185 (ISSN 1534-1178, lire en ligne)
↑ (nl) H. Streefkerk, « Waarom eenvoudig als het ook ingewikkeld kan? », Nieuw Tijdschrift voor Wiskunde, vol. 60,‎ 1972-73, p. 240-253.
↑ (en) Jean-Louis Ayme, « Sawayama and Thebault's Theorem », Forum Geometricorum, vol. 3,‎ 2003, p. 225-229 (lire en ligne).
↑ (en) Y. Sawayama, « A new geometrical proposition », Amer. Math. Monthly, vol. 12,‎ 1905, p. 222-224.

Voir aussi modifier

Liens externes modifier

« Carré de Thébault - Théorème de Thébault », sur Descartes et les Mathématiques (une démonstration géométrique du théorème n^o 1)
Michel Hort, « Le théorème de Thébault »

Article connexe modifier

Théorème de van Aubel quand les carrés sont construits autour d'un quadrilatère quelconque

Portail de la géométrie

[1] (en) Roger B. Nelsen, Proofs Without Words II, MAA, 2000, p. 19.

[2] (en) Wilfred Reyes, « An Application of Thebault’s Theorem », Forum Geometricorum, vol. 2,‎ 2002, p. 183–185 (ISSN 1534-1178, lire en ligne)

[3] (nl) H. Streefkerk, « Waarom eenvoudig als het ook ingewikkeld kan? », Nieuw Tijdschrift voor Wiskunde, vol. 60,‎ 1972-73, p. 240-253.

[4] (en) Jean-Louis Ayme, « Sawayama and Thebault's Theorem », Forum Geometricorum, vol. 3,‎ 2003, p. 225-229 (lire en ligne).

[5] (en) Y. Sawayama, « A new geometrical proposition », Amer. Math. Monthly, vol. 12,‎ 1905, p. 222-224.

[1]

[2]

[3]

[4]

[5]