Nombres complexes et géométrie

Le plan P est muni d’un repère orthonormé direct (O, →−u,→−

v ).
Un vrai triangle dans le plan P est la donnée de trois points non alignés A, B, C. Un tel triangle est noté ABC.
On se donne quatre points A, B, C, D du plan deux à deux distincts d’affixes respectives a, b, c, d.
Si →
−
v1 , →
−
v2 sont deux vecteurs non nuls, une mesure de l’angle orienté formé par ces vecteurs est notée (→ −
v1 , →
−
v2 ) . Une
telle mesure est uniquement déterminée modulo 2π.
On dispose de la relation de Chasles sur les mesures d’angles orientés : (→
−
v1 , →
−
v2 ) + ( →
−
v2 , →
−
v3 ) ≡ (→
−
v1 , →
−
v3 ) (2π)
 . −−→
On rappelle qu’un argument d’un nombre complexe z non nul, noté arg (z) , est une mesure de l’angle → −u , OM ,
où M est le point d’affixe z.
Un point M (x, y) ∈ P d’affixe z = x + iy sera noté M (z) .
– I – Généralités
1. On suppose que ABC est un vrai triangle. En notant, après avoir justifié son existence, Ω le point d’intersection
des médiatrices de [BC] et [AC] du triangle ABC, montrer que Ω est aussi sur la médiatrice de [AB] . Les trois
médiatrices du triangle ABC sont donc concourantes au point Ω. Montrer que le cercle de centre Ω et de rayon
R = ΩA est circonscrit à ce triangle.
−−→ −→ −→ −→
2. Montrer que si Ω est le centre du cercle circonscrit au triangle ABC, on a alors 2 AB, AC ≡ ΩB, ΩC (2π)
(figure 1).

A Ω b

Figure 1 – Théorème de l’angle inscrit

3. Montrer que si →−v1 , →

−
v2 sont deux vecteurs non nuls d’affixes respectives z1 , z2 , une mesure de l’angle orienté formé
z2
par les vecteurs v1 et →
→
− −
v2 est un argument de .
z1
4. Soient →
−
v1 , →
−
v2 deux vecteurs non nuls d’affixes respectives z1 , z2 et θ = (→ −
v1 , →
−
v2 ) . Montrer que :
   
|z1 | z2 Re (z1 z2 ) |z1 | z2 Im (z1 z2 )
cos (θ) = Re = , sin (θ) = Im =
|z2 | z1 |z1 | |z2 | |z2 | z1 |z1 | |z2 |
5. Montrer que assertions suivantes sont équivalentes :
(a) les points A, B, C sont alignés ;
c−a
(b) est réel.
b−a
 
a−z
– II – Lignes de niveau de la fonction f : z 7→ arg mod (π)
b−z
On se donne deux points A 6= B dans le plan P d’affixes respectives a, b, un réel λ et on s’intéresse à l’ensemble
n −−→ −−→ o
Eλ = M ∈ P \ {A, B} | M A, M B ≡ λ mod (π)
1. Dans le cas où λ est congru à 0 modulo π, montrer que Eλ est la droite (AB) privée des points A, B.
Pour la suite de cette partie, on suppose que λ ∈ ]0, π[ .
π
2. Étudier le cas où λ = .
2
3. Montrer que : 


Eλ = M (z) ∈ P | z ∈ C \ {a, b} et arg (a − z) b − z ≡ λ mod (π)
4. Soit M (z) ∈ Eλ .
a+b b−a
(a) En notant c = ,d= et t = z − c, montrer que t ∈
/ {−d, d} et :
2 2

 2 2


(a − z) b − z = |t| − |d| + 2i Im dt

2 2
|t| − |d| cos (λ)
i. Montrer que
= .
2 Im dt sin (λ)
cos (λ) 2 1 2
ii. En notant ω = c − i d, montrer que |z − ω| = |d| .
sin (λ) sin2 (λ)
iii. Conclure.
5. On note Cλ le cercle de centre Ω (ω) et de rayon R.
(a) Montrer que les points A et B sont sur le cercle Cλ .
−→ −→
(b) Montrer que ΩA, ΩB ≡ 2λ mod (2π) .
(c) En déduire que Cλ \ {A, B} est contenu dans Eλ .
n −−→ −−→ o
En conclusion, on a montré que l’ensemble Eλ = M ∈ P \ {A, B} | M A, M B ≡ λ mod (π) est :
— la droite (AB) privée des points A, B si λ est congru à 0 modulo π ;  
a+b 1 b−a 1 b − a
— le cercle de centre Ω d’affixe ω = −i et de rayon R =   privé des points
2 tan (λ) 2 |sin (λ)|  2 
A, B si λ n’est pas congru à 0 modulo π.

– III – Alignement et cocyclicité

1. Montrer que assertions suivantes sont équivalentes :

(a) les points A, B, C, D sont alignés ou cocycliques ;
−−→ −→ −−→ −−→
(b) AB, AC ≡ DB, DC mod (π) ;
   
c−a c−d
(c) arg ≡ arg mod (π) ;
b−a b−d
c−ab−d
(d) est réel.
b−ac−d
2. Déduire de la question précédente une équation complexe du cercle circonscrit au triangle ABC. On précisera
l’affixe du centre Ω et le rayon du cercle.