Inégalité de Ptolémée

L'inégalité de Ptolémée est une inégalité portant sur les distances entre quatre points d'un espace affine euclidien.

Énoncé

Figure de l'inégalité de Ptolémée.

Le cas d'égalité est connu comme le théorème de Ptolémée.

L'inégalité de Ptolémée est la manifestation de l'inégalité triangulaire après l'application d'une inversion de centre l'un des points, ou, dans le cas plan, peut s'obtenir directement en utilisant les nombres complexes Modèle:,.

Démonstration utilisant les nombres complexes (cas plan)

Soient $a,b,c,d$ les affixes respectives de $A,B,C,D$. En développant et refactorisant $(b-a)(d-c)+(d-a)(c-b)$, on obtient $(c-a)(d-b)$, donc d'après l'inégalité triangulaire, on a :

$AB\cdot CD+AD\cdot BC=|b-a||d-c|+|d-a||c-b|⩾|c-a||d-b|=AC\cdot BD$, d'où l'inégalité voulue.

Si deux points sont confondus, les quatre points sont cocycliques ou alignés, sinon le cas d'égalité s'écrit :

$(b-a)(d-c)=\lambda (d-a)(c-b)$ avec $\lambda >0$ , ce qui s'écrit aussi $\frac{b-a}{d-a}=\lambda \frac{c-b}{d-c}$, ou encore $\widehat{(\overrightarrow{AB},\overrightarrow{AD})}=\widehat{(\overrightarrow{BC},\overrightarrow{CD})}$, d'où le résultat.

Démonstration utilisant une inversion

Soit $A^{\prime }$, $B^{\prime }$ et $C^{\prime }$ les images respectives de $A$, $B$ et $C$ par l'inversion de centre $D$ et de rapport $1$.

Nous avons les relations entre longueurs :

$A^{\prime }{B}^{\prime }=\frac{AB}{DA\times DB}$

$B^{\prime }{C}^{\prime }=\frac{BC}{DC\times DB}$

$A^{\prime }{C}^{\prime }=\frac{AC}{DA\times DC}$

Ainsi l'inégalité triangulaire $A^{\prime }{C}^{\prime }⩽A^{\prime }{B}^{\prime }+B^{\prime }{C}^{\prime }$ nous donne

$\frac{AC}{DA\times DC}⩽\frac{AB}{DA\times DB}+\frac{BC}{DC\times DB}$

qui après multiplication par $DA\times DB\times DC$ devient

$AC\times BD⩽AB\times CD+BC\times AD$

Il y a égalité si et seulement si $A^{\prime }$, $B^{\prime }$ et $C^{\prime }$ sont alignés dans cet ordre, ce qui est équivalent à : $A$, $B$, $C$ et $D$ sont cocycliques ou alignés, avec $A,C$ séparant $B,D$.