Théorème de Thébault

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 avec les quadrilatères du théorème de Napoléon qui concerne les triangles.

La rotation de centre O et d'angle ${\displaystyle {\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 ${\displaystyle {\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 ${\displaystyle {\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é.

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.

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

Par construction on a ${\displaystyle DC=DA}$ et ${\displaystyle CM=AL}$.

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

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

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

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

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

Par construction on a ${\displaystyle AD=AL}$ et ${\displaystyle CD=CM}$.

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

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

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

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

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

${\displaystyle =60^{\circ }}$

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

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.

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

Jean-Louis Ayme[3] 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[4], instructeur à l'école militaire de Tokyo.