Inversions, complexes et applications

Marc SAGE
7 octobre 2005

Table des matières

1 Inversion 2
1.1 Dé…nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Notation complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Action sur les droites et cercles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

2 Applications 3
2.1 Ptolémée . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Une autre inégalité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

Résumé
On étudie ici de manière sommaire une transformation oubliée de nos jours : l’inversion. On s’intéresse
ensuite, grâce aux nombres complexes, à deux inégalités géométriques que l’on peut en déduire (dont la
célèbre inégalité de Ptolémée).

1
1 Inversion

1.1 Dé…nition

Soit O un point du plan euclidien et k un réel non nul.

On dé…nit l’inversion de pôle O et de rapport k comme la transformation du plan privé de O qui à M
associe l’unique point M 0 dé…ni par
M 0 2 (OM )
.
OM OM 0 = k

1.2 Notation complexe

En notation complexe, cela s’écrit

z 0 2 kR+ z z0 = k z
() 9 2 R;
jzj jz 0 j = jkj jzj jkj jzj = jkj
z0 = k z z k
() 9 2 R; () z 0 = k () z 0 = .
= jzj1 2 jzj2 z

Sous cette forme, il apparaît qu’une inversion est involutive :

k k k
z 00 = = = z = z.
z0 k k
z

De plus, la composée de deux inversions de même pôle et de rapport k puis k0 nous donne une homothétie
de rapport kk0 :
k k k k
z 00 = 0 = 0 = 0 z = 0 z.
z k k k
z

1.3 Action sur les droites et cercles

Regardons maitenant l’action d’une inversion i de pôle O sur les droites et les cercles.

Tout d’abord, si est une droite passant O, alors il est clair que nO est envoyée sur elle même.
Soit maintenant une droite ne passant pas par O et H le projeté de O sur . On remarque par des
dessins grossiers que l’image semble être un cercle de diamètre [Oi (H)]. Montrons cela par les complexes.
Quitte à conjuger i par une similitude de centre O adéquate, ce qui n’a aucun e¤et car
1 1
SimO; ; i SimO;1 ; (z) = ei = = i (z) ,
e i
z z

on peut toujours supposée paramétrisée par

: Re z = 1 > 0.
Soit z = 1 + it sur cette droite. On a
k k (1 + it)
i (z) = = ,
1 + it 1 + t2
d’où
i (H) k i (1) k (1 + it) k 2 + 2it 1 + t2
i (z) = = = jkj
2 1 + it 2 1 + t2 2 2 (1 + t2 )
jkj 1 jkj 1 jkj
= 1 t2 + 2it = (1 + it)2 = ,
2 (1 + t2 ) 2 j1 + itj2 2
ce qui prouve que i envoie dans le cercle de diamètre [Oi (H)]. Pour voir que l’image décrit bien tout le
k
cercle (privé de 0), on remarque que la partie réelle 1+t2 de i (z) décrit ]0; jkj].
Réciproquement, puisque i est involutive, i envoie les cercles passant par O sur des droites.

2
2 Applications

2.1 Ptolémée

Soit P; Q; R; S quatre points distincts du plan complexe. On veut montrer que

P Q RS + P S QR P R QS

avec égalité ssi les quatre points P; Q; R; S sont cocycliques dans cet ordre.

Solution proposée.
On se place dans le plan complexe d’origine prise abitrairement en S, avec les a¢ xes
8
>
> zP = p
<
zQ = q
.
>
> zR = r
:
zS = 0

L’égalité à montrer est donc équivalente à

? 1 1 1 1 ? 1 1
jp qj jrj + jpj jq rj jp rj jqj () + ,
q p r q r p

ce qui n’est autre que l’inégalité triangulaire.

Pour avoir le cas d’égalité, introduisons les points A; B; C d’a¢ xes
8 1
< zA = p
zB = 1q
:
zC = r1

(il fallait bien faire apparaître les inversions quelque part...). Le cas d’égalité s’écrit alors

1 1 1 1 1 1
+ = () AB + BC = AC () B 2 [AC] .
q p r q r p

En passant à l’inversion de pôle O = S et en notant C le cercle image de (AC) (qui passe par S), l’apparte-
nance ci-dessus se réécrit

B 2 [AC] () i (B) 2 arcC (i (A) i (C)) () Q 2 arcC (P R) () P; Q; R; S cocycliques dans cet ordre.

2.2 Une autre inégalité

Soit P; Q; R; S quatre points distincts cocycliques du plan complexe. Montrer que

jP Q RSj + jP S QRj 2 jP R QSj .

Solution proposée.
On raisonne comme pour Ptolémée, en passant en complexes avec les a¢ xes
8
> zP = p 8
>
< < zA = p
1
zQ = q
et zB = 1q ,
>
> zR = r :
: zC = r1
zS = 0

de sorte que les points A; B; C sont alignés par cocyclicité de P; Q; R; S. On pose également

O=R

origine du plan complexe.

L’inégalité à montrer s’écrit maitenant

3
 jjp qj jrjj + jjpj jq rjj 2 jjp rj jqjj
1 1 1 1 1 1 1 1 1 1 1 1
() + 2
r p q pq p q r qr q p r pr
() jOC BA OB OAj + jOA BC OB OCj 2 jOB AC OA OCj
OC BA OA OA BC OC OA OC
() + 2 1 .
OB AC AC OB AC AC OB AC
Utilisons la trigonométrie du triangle OAC muni de la cévienne [OB] avec B 2 [AC]. Posons
8
>
< \
= AOB
\
= COB .
>
: b
O= +

!
Remarquer dès maintenant la symétrie qui simpli…era nos calculs.
A !C
Regardons les deux termes de gauche :
OC BA OA OC AB AO sin A sin sin C sin sin C
= = =
OB AC AC AC OB AC b sin A
sin O b
sin O b
sin O
et on obtient de même
OA BC OC sin sin A
= .
OB AC AC b
sin O
Reste le terme de droite. On a d’une part
A (AOC)
OA OC = 1 b
sin O2

et d’autre part
A (AOC)
OA OC = A(AOC)
1 \
sin OBA
2

en comparant la hauteur issue de O à la cévienne OB, d’où

A(AOC)
OA OC b
1 sin O
sin (A + )
2
= = .
OB AC A(AOC) b
sin O
1 sin OBA
\
2

On veut donc
sin sin C sin sin A ? sin (A + ) ?
b
+ 2 1 () jsin sin Cj+jsin sin Aj 2 sin O sin (A + ) .
b
sin O b
sin O b
sin O
Il ne reste plus qu’à factoriser selon la formule bien connue (n’est-ce pas ?)
x y x+y
sin x sin y = 2 sin cos .
2 2
On a ainsi

b ( + ) (A + ) ( + ) + (A + )
sin O sin (A + ) = 2 sin cos
2 2
A C+ A C
= 2 sin cos = 2 sin sin ,
2 2 2 2
puis
C +C C A C A+
sin sin C = 2 sin cos = 2 sin cos = 2 sin sin
2 2 2 2 2 2
et de même
A C+
sin sin A = 2 sin sin .
2 2
On veut …nalement démontrer
C A+ A C+ ? A C
2 sin sin + 2 sin sin 2 2 sin sin
2 2 2 2 2 2
jC j A+ jA j C+ ? jA j jC j
() sin sin + sin sin 2 sin sin
2 2 2 2 2 2
jC j A+ jA j jA j C+ jC j ?
() sin sin sin + sin sin sin 0
2 2 2 2 2 2

4
évident à présent car tous les demi-angles sont dans 0; 2 où sin est croissante :
(
jA j A+ C a
0 2 2
= 2 2
jC j C+ A .
0 2 2
= 2 2

Si l’on veut étudier le cas d’églité, on remarquera que les termes

(
sin A+
2
sin jA 2 j
A+
sin 2 sin jA 2 j

ne sont jamais nul, sinon par exemple = 0, B = C et Q = R, absurde car les points de départ sont supposés
distincts.
Ainsi, on a égalité ssi

jC j jA j
sin =0=
2 2
() = C et =A
=) \=
OBA A= C \
= OBC
=) B = m [AC] ,

ce qui ne semble pas évident à caractériser en fonction des points P; Q; R; S cocycliques de départ.