# Quadrilatère orthodiagonal

En géométrie euclidienne, un quadrilatère orthodiagonal est un quadrilatère dont les diagonales se coupent à angle droit. Autrement dit, il s'agit d'un polygone à quatre côtés dont les segments entre sommets non adjacents sont perpendiculaires.

## Cas particuliers

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

## Caractérisations

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$^,$ :
    $\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 a$^2$+c$^2$=b$^2$+d$^2${\textstyle a^{2}+c^{2}=b^{2}+d^{2}} est orthodiagonal. La démonstration se fait par exemple par la loi des cosinus. On en déduit qu'un quadrilatère articulé qui a une position orthodiagonale, reste orthodiagonal dans toutes ses déformations.
Les diagonales d'un quadrilatère convexe sont perpendiculaires si et seulement si les deux bimédianes ont même longueur.
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
    ${\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.
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$^,$$^,$. 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.
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.
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$_1$, m$_2$, m$_3$, m$_4$ les médianes issues de P respectives des triangles ABP, BCP, CDP, DAP . Si R$_1$, R$_2$, R$_3$, R$_4$ et h$_1$, h$_2$, h$_3$, h$_4$ 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 :
* $m_{1}^{2}+m_{3}^{2}=m_{2}^{2}+m_{4}^{2}$
* $R_{1}^{2}+R_{3}^{2}=R_{2}^{2}+R_{4}^{2}$
* ${\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.

### 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$_1$, R$_2$, R$_3$, R$_4$, et les hauteurs h$_1$, h$_2$, h$_3$, h$_4$ sont les mêmes que ci-dessus dans les deux types de quadrilatères.
| Quadrilatère circonscriptible | Quadrilatère orthodiagonal |
| $a+c=b+d$ | $a^{2}+c^{2}=b^{2}+d^{2}$ |
| $R_{1}+R_{3}=R_{2}+R_{4}$ | $R_{1}^{2}+R_{3}^{2}=R_{2}^{2}+R_{4}^{2}$ |
| ${\frac {1}{h_{1}}}+{\frac {1}{h_{3}}}={\frac {1}{h_{2}}}+{\frac {1}{h_{4}}}$ | ${\frac {1}{h_{1}^{2}}}+{\frac {1}{h_{3}^{2}}}={\frac {1}{h_{2}^{2}}}+{\frac {1}{h_{4}^{2}}}$ |

## Aire

L'aire S d'un quadrilatère orthodiagonal non croisé est égale à la moitié du produit des longueurs p et q des diagonales :
    $S={\frac {pq}{2}}.$
Réciproquement, tout quadrilatère convexe dont l'aire vérifie cette relation est nécessairement orthodiagonal.
Étant données deux longueurs p et q, les quadrilatères ayant p et q pour longueurs de diagonales ont une aire maximale (égale à $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).

## Autres propriétés

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

## Quadrilatères orthodiagonaux inscriptibles
### Rayon du cercle circonscrit et aire

On suppose que le point d'intersection des diagonales d'un quadrilatère orthodiagonal inscriptible (dont les sommets appartiennent à un même cercle) divise celles-ci en segments de longueurs respectives p$_1$, p$_2$ et q$_{1,}$ q$_2$ ; alors, d'après la proposition 11 du Livre des Lemmes d'Archimède:
    $D^{2}=p_{1}^{2}+p_{2}^{2}+q_{1}^{2}+q_{2}^{2}=a^{2}+c^{2}=b^{2}+d^{2}$,
où D est le diamètre du cercle circonscrit. La relation se déduit du fait que les diagonales forment des cordes perpendiculaires d'un cercle. On obtient alors une expression du rayon du cercle circonscrit R :
    $R={\tfrac {1}{2}}{\sqrt {p_{1}^{2}+p_{2}^{2}+q_{1}^{2}+q_{2}^{2}}}$,
soit en fonction des longueurs des côtés du quadrilatère,
    $R={\tfrac {1}{2}}{\sqrt {a^{2}+c^{2}}}={\tfrac {1}{2}}{\sqrt {b^{2}+d^{2}}}.$
On a alors
    $a^{2}+b^{2}+c^{2}+d^{2}=8R^{2}.$
Ainsi, d'après la relation d'Euler dans le quadrilatère, le rayon du cercle circonscrit peut être exprimé en termes des longueurs des diagonales p et q, et de la distance x entre les milieux des diagonales :
    $R={\sqrt {\frac {p^{2}+q^{2}+4x^{2}}{8}}}\,.$
On déduit également la formule de l'aire S d'un quadrilatère orthodiagonal inscriptible en fonction des quatre côtés en combinant le théorème de Ptolémée et la formule de l'aire d'un quadrilatère orthodiagonal vue ci-dessus. On a finalement :
    $S={\tfrac {1}{2}}(ac+bd).$

### Autres propriétés

Dans un quadrilatère orthodiagonal inscriptible :
* l'anticentre (symétrique du centre du cercle circonscrit par rapport au centre de gravité) est confondu avec le point d'intersection des diagonales,
* la perpendiculaire à un côté passant par le point d'intersection des diagonales coupe le côté opposé en son milieu (théorème de Brahmagupta),
* la distance du centre du cercle circonscrit à n'importe quel côté est égale à la moitié de la longueur du côté opposé
* la distance entre les milieux des diagonales est égale à la distance entre le centre circonscrit et le point d'intersection des diagonales.Quadrilatère de Brahmagupta.

### Exemple : le quadrilatère de Brahmagupta

Le mathématicien indien Brahmagupta découvrit un quadrilatère orthodiagonal inscriptible, formé de 4 triangles pythagoriciens, à côtés et diagonales entiers$^,$.

## Ensembles infinis de rectangles inscrits

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.

## Lien externe

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