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é
par les vecteurs v1 et −
−
→ → z2
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 ̸= B dans le plan P d’affixes respectives a, b, un réel λ et on s’intéresse à l’ensemble
{ (−−→ −−→) }
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λ .
{ (−−→ −−→) }
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.
 Solution
– I – Généralités

1. Comme ABC est un vrai triangle, les droites (BC) et (AB) ne sont pas parallèles et en conséquence les
médiatrices de [BC] et [AC] sont sécantes un point Ω. On a alors ΩB = ΩC et ΩA = ΩB, donc ΩA = ΩC, ce
qui signifie que Ω est aussi sur la médiatrice de [AC] . Le point Ω est donc à l’intersection des trois médiatrices
et les sommets du triangle sont sur le cercle de centre Ω et de rayon R = ΩA = ΩB = ΩC.
2. En utilisant la relation de Chasles, on a :
(−→ −→) (−→ −→) (−→ −→) (−→ −→)
ΩB, ΩC + ΩC, ΩA + ΩA, ΩB ≡ ΩB, ΩB ≡ 0 (2π)

Comme les triangles ΩAB et ΩAC sont isocèles en Ω, on a :

(−−→ −→) (−→ −→)
2 AB, AΩ + ΩA, ΩB ≡ π (2π)
(−→ −→) (−→ −→) ((−−→ −→) (−→ −→)) (−→ −→)
et 2 AΩ, AC + ΩC, ΩA ≡ π (2π) , ce qui donne par addition 2 AB, AΩ + AΩ, AC + ΩA, ΩB +
(−→ −→) (−−→ −→) (−→ −→) (−→ −→)
ΩC, ΩA ≡ 0 (2π) , soit 2 AB, AC + ΩA, ΩB + ΩC, ΩA ≡ 0 (2π) , ou encore :
(−−→ −→) (−→ −→)
2 AB, AC − ΩB, ΩC ≡ 0 (2π)

3. C’est du cours, parait-il.

( ) ( )
|z2 | iθ |z2 | |z2 |
4. En notant θ = (−
→
v1 , −
→ z2 z2 z2
v2 ) , on a = e , ce qui équivaut à Re = cos (θ) et Im = sin (θ) .
z1 |z1 | z1 |z1 | z1 |z1 |
5. On a :
(−→ −−→ ) ( ) ( ( ) )
c−a c−a
(A, B, C alignés) ⇔ AC, AB colinéaires ⇔ ∈ R ⇔ Im =0
b−a b−a
( (( ) ) ) (( ) )
\
−−→ −→ \
−−→ −→
⇔ sin AB, AC =0 ⇔ AB, AC ≡ 0 mod (π)

( )
a−z
– II – Lignes de niveau de la fonction f : z 7→ arg mod (π)
b−z
1. Facile. ( (−−→ −−→) π ) ( )
( ) −−→ −−→
2. M ∈ E π2 ⇔ M ∈ P \ {A, B} et M A, M B ≡ mod (π) ⇔ M ∈ P \ {A, B} et M A · M B = 0 , donc
2 ( )
a+b |b − a|
E 2 est le cercle de diamètre [AB] , soit le cercle de centre Ω
π et de rayon .
2 2
3. On a : { ( ) }
a−z
Eλ = M (z) ∈ P | z ∈ C \ {a, b} et arg ≡ λ mod (π)
b−z
( ) ( ( ))
a−z (a − z) b − z ( ( ))
avec arg = arg = arg (a − z) b − z .
b−z |b − z|
2

4.
(a) En posant z = c + t, l’égalité z = a ou z = b équivaut à t = −d ou t = d et on a :
( )( ) ( )( )
( ) a+b a+b a−b b−a ( )
(a − z) b − z = a − −t b− −t = −t − t = (d + t) t − d
2 2 2 2
( ) ( )
2 2 2 2
= dt − dt + |t| − |d| = |t| − |d| + 2i Im dt

(b)
( )
i. Si M (z) ∈ Eλ , on a alors z ∈ C \ {a, b} et (a − z) b − z = ρeiθ où ρ = |a − z| |b − z| et θ ≡ λ mod (π) ,
soit θ = λ + kπ avec k ∈ Z, ce qui nous donne :
{
2 2 k
|t| − |d| = ρ cos (θ) = ρ cos (λ + kπ) = (−1) ρ cos (λ)
( ) k
2 Im dt = ρ sin (θ) = ρ sin (λ + kπ) = (−1) ρ sin (λ) ̸= 0
2 2
|t| − |d| cos (λ)
donc ( ) = .
2 Im dt sin (λ)
 ii. On a :
2 2
2 cos (λ) cos (λ)
|z − ω| = z − c + i d = t+i d
sin (λ) sin (λ)
( )( )
cos (λ) cos (λ) 2 cos2 (λ) 2 cos (λ) ( )
= t+i d t−i d = |t| + 2 |d| + i dt − dt
sin (λ) sin (λ) sin (λ) sin (λ)
2 2 1 2 cos (λ) ( )
= |t| − |d| + |d| − 2 Im dt
sin2 (λ) sin (λ)
( ) cos (λ) 1 2 cos (λ) ( ) 1 2
= 2 Im dt + 2 |d| − 2 Im dt = 2 |d|
sin (λ) sin (λ) sin (λ) sin (λ)

1 b−a
iii. En conclusion, le point M est sur le cercle de centre Ω (ω) et de rayon R = privé des
|sin (λ)| 2
points A et B.
5.
(a) On a |a − ω| = |b − ω| = R.
(b) C’est le théorème de l’angle inscrit.
(c) Il parait que c’est facile.
{ (−−→ −−→) }
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. Si A, B, C, D sont alignés, on a alors AB, AC ≡ DB, DC mod (π) . Si A, B, C, D sont cocycliques, on a
alors (−→ −→)
(−−→ −→) ΩB, ΩC (−−→ −−→)
AB, AC ≡ ≡ DB, DC (π)
2
(figure ??). Faire une
(−−→ −→) (−−→ −−→) figure. { (−−→ −−→) }
Si AB, AC ≡ DB, DC mod (π) , le point D appartient à Eλ = M ∈ P \ {A, B} | M A, M B ≡ λ mod (π) ,
(−−→ −→)
où λ = AB, AC (on prend la détermination principale de la mesure de l’angle) et il est maintenant connu
que cet ensemble est une [Link] un cercle.
( )
(−−→ −−→) c−z
(b) ⇔ (c) résulte de M B, M C ≡ arg mod (2π) pour tout point M (et que ceux qui croient à une
b−z
truanderie le démontre).
(c) ⇔ (d) On a :
( ( ) ( ) ) ( ( ) )
c−a c−d c−ab−d
arg ≡ arg mod (π) ⇔ arg ≡ 0 mod (π)
b−a b−d b−ac−d
( )
c−ab−d
⇔ ∈R
b−ac−d

2. Au boulot.