Quadrilatère orthodiagonal

Un cerf-volant est un quadrilatère orthodiagonal dont l'une des diagonales est axe de symétrie. Les cerfs-volants sont les quadrilatères orthodiagonaux circonscriptibles, c'est-à-dire possédant un cercle inscrit tangent à chacun de leurs quatre côtés[1].

Un losange est un quadrilatère orthodiagonal ayant ses côtés parallèles deux à deux (c'est-à-dire un parallélogramme orthodiagonal).

Un carré est un quadrilatère qui est à la fois un cerf-volant et un losange.

Les quadrilatères à la fois orthodiagonaux et équidiagonaux sont dits de carré médian ou appelés des pseudo-carrés.

Les pseudo-carrés dans lesquels les diagonales sont au moins aussi longues que tous les côtés du quadrilatère sont d'aire maximale parmi tous les quadrilatères de diamètre donné, résolvant le cas n = 4 du problème du plus grand petit polygone. Le carré est l'un de ces quadrilatères, mais il en existe une infinité d'autres.

Un quadrilatère convexe orthodiagonal (en jaune). Les deux carrés rouges, construits sur deux côtés opposés du quadrilatère, ont la même aire totale que les deux carrés bleus sur l'autre paire de côtés opposés.

La somme des carrés des longueurs de deux côtés opposés d'un quadrilatère convexe orthodiagonal, est égale à celle des deux autres côtés. Notant a, b, c et d, les longueurs successives des côtés, on a[2] - [3] :

${\displaystyle \displaystyle a^{2}+c^{2}=b^{2}+d^{2}.}$

Cette relation est une conséquence directe du théorème de Pythagore, appliqué aux quatre triangles rectangles formés par les sommets du quadrilatère et le point d'intersection des diagonales.

La réciproque est également vraie : tout quadrilatère vérifiant ${\textstyle a^{2}+c^{2}=b^{2}+d^{2}}$ est orthodiagonal[4]. La démonstration se fait par exemple par la loi des cosinus[5].

Les diagonales d'un quadrilatère convexe sont perpendiculaires si et seulement si les deux bimédianes ont même longueur[5].

Il existe une autre caractérisation à partir des angles : les diagonales d'un quadrilatère convexe ABCD se coupant en P sont perpendiculaires si et seulement si

${\displaystyle {\widehat {PAB}}+{\widehat {PBA}}+{\widehat {PCD}}+{\widehat {PDC}}=\pi }$.

De cette équation, on en déduit que les diagonales d'un quadrilatère convexe sont perpendiculaires si et seulement si les projections de l'intersection des diagonales sur les côtés du quadrilatère forment les sommets d'un quadrilatère inscriptible[5].

Un quadrilatère orthodiagonal ABCD (en bleu). Le parallélogramme de Varignon (en vert) formé par les milieux des côtés de ABCD est un rectangle. De plus, les quatre milieux (en gris) et les quatre pieds des "hauteurs médianes" (en rouge) sont cocycliques sur le cercle des 8 points.

Un quadrilatère convexe est orthodiagonal si et seulement si son parallélogramme de Varignon (formé par les milieux de ses côtés) est un rectangle. On en déduit une autre caractérisation : un quadrilatère convexe est orthodiagonal si et seulement si les milieux des côtés et les pieds des quatre "hauteurs médianes" (joignant le milieu d'un côté au projeté sur le côté opposé, dénommées maltitudes en anglais) sont huit points cocycliques ; le cercle commun à ces points est appelé premier cercle des huit points [6] - [7] - [8]. Le centre de ce cercle est le centre de gravité du quadrilatère. Le quadrilatère formé par les pieds des "hauteurs médianes" est appelé quadrilatère orthique principal[9].

Un deuxième cercle des 8 points peut être construit à partir d'un quadrilatère orthodiagonal ABCD (en bleu). Les droites perpendiculaires aux côtés passant par le point d'intersection des diagonales coupent les côtés en 8 points différents, qui sont tous cocycliques.

Si les perpendiculaires aux côtés d'un quadrilatère convexe ABCD passant par l'intersection des diagonales coupent les côtés opposés en R, S, T, U ; et que K, L, M, N sont les pieds de ces perpendiculaires, alors ABCD est orthodiagonal si et seulement si les huit points K, L, M, N, R, S, T et U sont cocycliques sur le second cercle des huit points. Par corollaire, un quadrilatère convexe est orthodiagonal si et seulement si RSTU est un rectangle dont les côtés sont parallèles aux diagonales de ABCD[5].

Il existe plusieurs caractérisations par les longueurs des côtés des triangles formés par le point d'intersection P des diagonales et deux sommets consécutifs d'un quadrilatère convexe ABCD. Soient m₁, m₂, m₃, m₄ les médianes issues de P respectives des triangles ABP, BCP, CDP, DAP . Si R₁, R₂, R₃, R₄ et h₁, h₂, h₃, h₄ désignent respectivement les rayons des cercles circonscrits et les hauteurs de ces triangles, alors le quadrilatère convexe ABCD est orthodiagonal si et seulement si au moins l'une des égalités suivantes est vraie[5] :

• ${\displaystyle m_{1}^{2}+m_{3}^{2}=m_{2}^{2}+m_{4}^{2}}$
• ${\displaystyle R_{1}^{2}+R_{3}^{2}=R_{2}^{2}+R_{4}^{2}}$
• ${\displaystyle {\frac {1}{h_{1}^{2}}}+{\frac {1}{h_{3}^{2}}}={\frac {1}{h_{2}^{2}}}+{\frac {1}{h_{4}^{2}}}}$.

De plus, un quadrilatère convexe ABCD, dont les diagonales se coupent en P est orthodiagonal si et seulement si les centres des cercles circonscrits des triangles ABP, BCP, CDP et DAP sont les milieux des côtés du quadrilatère[5].

Comparaison avec les quadrilatères circonscriptibles

Certaines caractérisations métriques des quadrilatères circonscriptibles et des quadrilatères convexes orthodiagonaux sont très similaires, comme on peut le voir dans le tableau ci-dessous. Les notations des longueurs des côtés a, b, c, d, les rayons des cercles circonscrits R₁, R₂, R₃, R₄, et les hauteurs h₁, h₂, h₃, h₄ sont les mêmes que ci-dessus dans les deux types de quadrilatères.

Quadrilatère circonscriptible	Quadrilatère orthodiagonal
${\displaystyle a+c=b+d}$	${\displaystyle a^{2}+c^{2}=b^{2}+d^{2}}$
${\displaystyle R_{1}+R_{3}=R_{2}+R_{4}}$	${\displaystyle R_{1}^{2}+R_{3}^{2}=R_{2}^{2}+R_{4}^{2}}$
${\displaystyle {\frac {1}{h_{1}}}+{\frac {1}{h_{3}}}={\frac {1}{h_{2}}}+{\frac {1}{h_{4}}}}$	${\displaystyle {\frac {1}{h_{1}^{2}}}+{\frac {1}{h_{3}^{2}}}={\frac {1}{h_{2}^{2}}}+{\frac {1}{h_{4}^{2}}}}$

L'aire S d'un quadrilatère orthodiagonal non croisé est égale à la moitié du produit des longueurs p et q des diagonales [10] :

${\displaystyle S={\frac {pq}{2}}.}$

Réciproquement, tout quadrilatère convexe dont l'aire vérifie cette relation est nécessairement orthodiagonal[5].

Étant données deux longueurs p et q, les quadrilatères ayant p et q pour longueurs de diagonales ont une aire maximale (égale à ${\displaystyle pq/2}$) lorsqu'ils sont orthodiagonaux. On en déduit que les quadrilatères de diamètre donné ont une aire maximale lorsqu'ils sont ortho- et équi-diagonaux (des pseudo-carrés) [11].

• Les quadrilatères convexes orthodiagonaux sont les seuls quadrilatères convexes pour lesquels les longueurs des côtés et l'angle formé par les diagonales ne déterminent pas uniquement l'aire[3]. Par exemple, soient deux losanges ayant même longueur de côté. Leurs diagonales se coupent à angle droit, mais si l'un a un angle aigu plus petit que celui de l'autre, alors ils auront des aires différentes (l'aire du premier tendant vers zéro lorsque l'angle aigu tend vers zéro).
• Le théorème de Van Aubel affirme que pour un quadrilatère convexe quelconque, si l'on construit vers l'extérieur un carré à partir de chacun de ses côtés, les centres des quatre carrés ainsi construits forment un quadrilatère à la fois équidiagonal et orthodiagonal.
• Chaque côté d'un quadrilatère convexe orthodiagonal a au moins un point commun avec le cercle des points de Pascal[12].

${\displaystyle ABCD}$ est un quadrilatère orthodiagonal. ${\displaystyle P_{1}}$ et ${\displaystyle Q_{1}}$ sont des points de Pascal formés par le cercle ${\displaystyle \omega _{1}}$, ${\displaystyle \sigma _{P_{1}Q_{1}}}$ est le cercle des points de Pascal qui définit le rectangle ${\displaystyle P_{1}V_{1}Q_{1}W_{1}}$ . ${\displaystyle P_{2}}$ et ${\displaystyle Q_{2}}$ sont des points Pascal formés par le cercle ${\displaystyle \omega _{2}}$, ${\displaystyle \sigma _{P_{2}Q_{2}}}$ est le cercle aux points de Pascal qui définit le rectangle ${\displaystyle P_{2}V_{2}Q_{2}W_{2}}$ .

On peut inscrire dans tout quadrilatère convexe orthodiagonal deux ensembles infinis de rectangles :

• un ensemble de rectangles dont les côtés sont parallèles aux diagonales du quadrilatère
• un ensemble de rectangles définis par des cercles de points de Pascal[15].

(en) Eric W. Weisstein, « Eight Point Circle Theorem », sur MathWorld

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Orthodiagonal quadrilateral » (voir la liste des auteurs).