En raison de limitations techniques, la typographie souhaitable du titre, «
Exercice : Sur les applications géométriquesCalcul avec les nombres complexes/Exercices/Sur les applications géométriques », n'a pu être restituée correctement ci-dessus.
Identifier l'ensemble décrit par l'image du complexe
z
{\displaystyle z}
tel que :
a)
|
arg
z
|
=
π
4
mod
2
π
{\displaystyle \left|\arg z\right|={\frac {\pi }{4}}{\bmod {2\pi }}}
;
b)
|
z
−
2
i
|
=
2
{\displaystyle \left|z-2\mathrm {i} \right|=2}
;
c)
|
z
−
1
z
+
1
|
=
2
{\displaystyle \left|{\frac {z-1}{z+1}}\right|=2}
.
Solution
a) Union de la demi-droite
y
=
x
>
0
{\displaystyle y=x>0}
et de la demi-droite
−
y
=
x
>
0
{\displaystyle -y=x>0}
.
b) Cercle de centre
(
0
,
2
)
{\displaystyle (0,2)}
et de rayon
2
{\displaystyle 2}
.
c) Cercle de centre
(
−
5
3
,
0
)
{\displaystyle \left(-{\frac {5}{3}},0\right)}
et de rayon
4
3
{\displaystyle {\frac {4}{3}}}
car
Wikipedia-logo-v2.svg
(
x
−
1
)
2
+
y
2
=
4
(
(
x
+
1
)
2
+
y
2
)
⇔
(
x
+
5
3
)
2
+
y
2
=
16
9
{\displaystyle (x-1)^{2}+y^{2}=4((x+1)^{2}+y^{2})\Leftrightarrow \left(x+{\frac {5}{3}}\right)^{2}+y^{2}={\frac {16}{9}}}
.
1° Quel est l'ensemble des nombres complexes
z
{\displaystyle z}
vérifiant
|
z
−
1
|
=
|
z
¯
+
1
|
{\displaystyle |z-1|=|{\bar {z}}+1|}
?
Expliquer géométriquement le résultat trouvé, en associant à tout point
M
{\displaystyle M}
du plan euclidien son affixe
z
{\displaystyle z}
.
2° Soit
n
∈
N
∗
{\displaystyle n\in \mathbb {N} ^{*}}
. Déterminer l’ensemble des nombres complexes
z
{\displaystyle z}
vérifiant
(
z
−
1
)
n
=
(
z
¯
+
1
)
n
{\displaystyle \left(z-1\right)^{n}=\left({\bar {z}}+1\right)^{n}}
.
Dans le plan euclidien muni d'un repère orthonormé d'origine
O
{\displaystyle O}
, soient :
M
{\displaystyle M}
d'affixe
z
=
a
+
b
i
(
a
,
b
)
∈
R
2
{\displaystyle z=a+b\mathrm {i} \quad \left(a,b\right)\in \mathbb {R} ^{2}}
;
M
′
{\displaystyle M'}
le symétrique de
M
{\displaystyle M}
par rapport à la droite d'équation
y
=
x
{\displaystyle y=x}
;
M
″
{\displaystyle M''}
le symétrique de
M
′
{\displaystyle M'}
par rapport à la droite d'équation
x
=
0
{\displaystyle x=0}
.
1° En fonction de
a
{\displaystyle a}
et
b
{\displaystyle b}
, calculer
z
′
{\displaystyle z'}
et
z
″
{\displaystyle z''}
, affixes respectives de
M
′
{\displaystyle M'}
et
M
″
{\displaystyle M''}
, puis le rapport
z
″
z
{\displaystyle {\frac {z''}{z}}}
.
2° En déduire une mesure de l'angle
(
O
M
→
,
O
M
″
→
^
)
{\displaystyle \left({\widehat {{\overrightarrow {OM}},\,{\overrightarrow {OM''}}}}\right)}
et la valeur du rapport
O
M
″
O
M
{\displaystyle {\frac {OM''}{OM}}}
.
3° Pouvait-on prévoir géométriquement ces résultats ?
Soit
z
=
cos
φ
+
i
sin
φ
,
φ
{\displaystyle z=\cos \varphi +\mathrm {i} \sin \varphi ,\qquad \varphi }
réel.
1° Rappeler quel est l'ensemble décrit par l'image de
z
{\displaystyle z}
quand
φ
{\displaystyle \varphi }
décrit
[
0
,
2
π
[
{\displaystyle \left[0,2\pi \right[}
.
2° Calculer le module de
1
+
x
i
1
−
x
i
{\displaystyle {\frac {1+x\mathrm {i} }{1-x\mathrm {i} }}}
, pour
x
{\displaystyle x}
réel.
Démontrer que si
z
{\displaystyle z}
est différent de
−
1
{\displaystyle -1}
, il peut s'écrire
1
+
x
i
1
−
x
i
{\displaystyle {\frac {1+x\mathrm {i} }{1-x\mathrm {i} }}}
.
Calculer
x
{\displaystyle x}
en fonction de
φ
{\displaystyle \varphi }
.
3° En fonction de
φ
{\displaystyle \varphi }
, calculer le module et un argument de
z
+
1
{\displaystyle z+1}
.
4° Déterminer l'ensemble décrit par l'image de
z
+
1
{\displaystyle z+1}
quand
φ
{\displaystyle \varphi }
décrit
[
0
,
2
π
[
{\displaystyle \left[0,2\pi \right[}
.
Soient, dans le plan complexe :
B
{\displaystyle B}
et
C
{\displaystyle C}
d'affixes respectives
b
{\displaystyle b}
et
c
{\displaystyle c}
;
B
′
{\displaystyle B'}
l'image de
B
{\displaystyle B}
par la rotation de centre
O
{\displaystyle O}
, d'angle
−
π
2
{\displaystyle -{\frac {\pi }{2}}}
;
C
′
{\displaystyle C'}
l’image de
C
{\displaystyle C}
par la rotation de centre
O
{\displaystyle O}
, d'angle
π
2
{\displaystyle {\frac {\pi }{2}}}
.
1° En fonction de
b
{\displaystyle b}
et
c
{\displaystyle c}
, exprimer les affixes de
B
′
{\displaystyle B'}
et
C
′
{\displaystyle C'}
.
2° Déterminer l'affixe du milieu
M
{\displaystyle M}
de
[
B
′
,
C
′
]
{\displaystyle \left[B',C'\right]}
.
3° Déterminer l'affixe du point
K
{\displaystyle K}
tel que
O
K
→
=
B
C
→
{\displaystyle {\overrightarrow {OK}}={\overrightarrow {BC}}}
.
4° Démontrer que
(
O
M
)
{\displaystyle (OM)}
, médiane du triangle
(
O
,
B
′
,
C
′
)
{\displaystyle \left(O,B',C'\right)}
, est une hauteur de
(
O
,
B
,
C
)
{\displaystyle \left(O,B,C\right)}
, et que
2
O
M
=
B
C
{\displaystyle 2OM=BC}
.
Le plan complexe étant rapporté au repère orthonormal
(
0
;
i
→
,
j
→
)
{\displaystyle (0;\,{\vec {i}},\,{\vec {j}})}
, on considère :
le point
M
{\displaystyle M}
d'affixe
z
=
x
+
i
y
{\displaystyle z=x+\mathrm {i} y}
,
x
{\displaystyle x}
et
y
{\displaystyle y}
réels ;
le point
M
′
{\displaystyle M'}
d'affixe
z
′
=
x
+
4
i
y
{\displaystyle z'=x+4\mathrm {i} y}
;
le point
A
{\displaystyle A}
d'affixe
−
7
{\displaystyle -7}
;
le point
B
{\displaystyle B}
d'affixe
5
{\displaystyle 5}
.
1° Quelles conditions doit vérifier
z
{\displaystyle z}
pour que l'on ait
M
≠
A
{\displaystyle M\neq A}
et
M
′
≠
B
{\displaystyle M'\neq B}
?
Dans les questions suivantes, ces conditions sont supposées remplies.
2° Montrer que
(
A
M
)
{\displaystyle (AM)}
est parallèle à
(
B
M
′
)
{\displaystyle (BM')}
si, et seulement si,
z
+
7
z
′
−
5
∈
R
∗
{\displaystyle {\frac {z+7}{z'-5}}\in \mathbb {R} ^{*}}
.
En déduire l'ensemble
D
{\displaystyle D}
des points
M
{\displaystyle M}
tels que les droites
(
A
M
)
{\displaystyle (AM)}
et
(
B
M
′
)
{\displaystyle (BM')}
soient parallèles.
3° Déterminer, de la même manière, l'ensemble
E
{\displaystyle E}
des points
M
{\displaystyle M}
tels que les droites
(
A
M
)
{\displaystyle (AM)}
et
(
B
M
′
)
{\displaystyle (BM')}
soient perpendiculaires.
Solution
z
≠
−
7
et
z
′
≠
5
⇔
z
∉
{
−
7
,
5
}
{\displaystyle z\neq -7{\text{ et }}z'\neq 5\Leftrightarrow z\notin \{-7,5\}}
.
A
M
→
{\displaystyle {\overrightarrow {AM}}}
est colinéaire à
B
M
′
→
{\displaystyle {\overrightarrow {BM'}}}
si et seulement si
|
x
+
7
x
−
5
y
4
y
|
=
0
{\displaystyle {\begin{vmatrix}x+7&x-5\\y&4y\end{vmatrix}}=0}
, c'est-à-dire
3
y
(
x
+
11
)
=
0
{\displaystyle 3y\left(x+11\right)=0}
.
D
{\displaystyle D}
est donc l'union des deux droites d'équations
x
=
−
11
{\displaystyle x=-11}
et
y
=
0
{\displaystyle y=0}
.
De même,
(
A
M
)
⊥
(
B
M
′
)
⇔
z
+
7
i
(
z
′
−
5
)
∈
R
∗
⇔
0
=
|
x
+
7
−
4
y
y
x
−
5
|
=
x
2
+
2
x
−
35
+
4
y
2
=
(
x
+
1
)
2
+
4
y
2
−
36
{\displaystyle (AM)\perp (BM')\Leftrightarrow {\frac {z+7}{\mathrm {i} \left(z'-5\right)}}\in \mathbb {R} ^{*}\Leftrightarrow 0={\begin{vmatrix}x+7&-4y\\y&x-5\end{vmatrix}}=x^{2}+2x-35+4y^{2}=\left(x+1\right)^{2}+4y^{2}-36}
.
E
{\displaystyle E}
est donc l'ellipse d'équation
(
x
+
1
)
2
6
2
+
y
2
3
2
=
1
{\displaystyle {\frac {\left(x+1\right)^{2}}{6^{2}}}+{\frac {y^{2}}{3^{2}}}=1}
, de sommets
(
5
,
0
)
{\displaystyle \left(5,0\right)}
,
(
−
7
,
0
)
{\displaystyle \left(-7,0\right)}
,
(
−
1
,
3
)
{\displaystyle \left(-1,3\right)}
et
(
−
1
,
−
3
)
{\displaystyle \left(-1,-3\right)}
.
Soit
P
{\displaystyle {\mathcal {P}}}
un plan orienté muni d'un repère orthonormal direct
(
O
;
e
→
1
,
e
→
2
)
{\displaystyle (O;\,{\vec {e}}_{1},\,{\vec {e}}_{2})}
. À tout point
M
{\displaystyle M}
de
P
{\displaystyle {\mathcal {P}}}
on associe son affixe complexe
m
{\displaystyle m}
.
Soient
1
{\displaystyle 1}
,
j
{\displaystyle \mathrm {j} }
et
j
2
{\displaystyle \mathrm {j} ^{2}}
les racines cubiques de l'unité, où
j
=
cos
2
π
3
+
i
sin
2
π
3
{\displaystyle \mathrm {j} =\cos {\frac {2\pi }{3}}+\mathrm {i} \sin {\frac {2\pi }{3}}}
.
On se propose d'étudier la propriété (E) suivante, relative à un triplet
(
A
,
B
,
C
)
{\displaystyle (A,\,B,\,C)}
de points de
P
{\displaystyle {\mathcal {P}}}
:
(E) : Les affixes
a
,
b
,
c
{\displaystyle a,\,b,\,c}
des points
A
,
B
,
C
{\displaystyle A,\,B,\,C}
satisfont :
a
+
b
j
+
c
j
2
=
0
{\displaystyle a+b\mathrm {j} +c\mathrm {j} ^{2}=0}
.
1° Soit
T
v
→
{\displaystyle T_{\vec {v}}}
une translation de vecteur
v
→
{\displaystyle {\vec {v}}}
définie dans
P
{\displaystyle {\mathcal {P}}}
.
Montrer que si le triplet
(
A
,
B
,
C
)
{\displaystyle (A,\,B,\,C)}
a la propriété (E) , il en est de même de
(
T
v
→
(
A
)
,
T
v
→
(
B
)
,
T
v
→
(
C
)
)
{\displaystyle \left(T_{\vec {v}}(A),\,T_{\vec {v}}(B),\,T_{\vec {v}}(C)\right)}
.
2° Soit un triangle équilatéral dont les sommets
A
,
B
,
C
{\displaystyle A,\,B,\,C}
sont disposés de sorte qu'une mesure de l'angle
(
A
B
→
,
A
C
→
^
)
{\displaystyle \left({\widehat {{\overrightarrow {AB}},\,{\overrightarrow {AC}}}}\right)}
soit
π
3
{\displaystyle {\frac {\pi }{3}}}
.
Montrer que
(
A
,
B
,
C
)
{\displaystyle (A,\,B,\,C)}
a la propriété (E) .
3° Caractériser géométriquement la propriété (E) .
Solution
1° Soit
v
{\displaystyle v}
l'affixe de
v
→
{\displaystyle {\vec {v}}}
.
(
a
+
v
)
+
(
b
+
v
)
j
+
(
c
+
v
)
j
2
=
a
+
b
j
+
c
j
2
+
v
(
1
+
j
+
j
2
)
=
a
+
b
j
+
c
j
2
{\displaystyle \left(a+v\right)+\left(b+v\right)\mathrm {j} +\left(c+v\right)\mathrm {j} ^{2}=a+b\mathrm {j} +c\mathrm {j} ^{2}+v\left(1+\mathrm {j} +\mathrm {j} ^{2}\right)=a+b\mathrm {j} +c\mathrm {j} ^{2}}
.
2° et 3° Voir Approche géométrique des nombres complexes/Apports à la géométrie#Triangle équilatéral .
Déterminer l'ensemble des points du plan euclidien dont l'affixe
z
{\displaystyle z}
vérifie :
|
(
1
+
i
)
z
¯
−
2
i
|
=
2
{\displaystyle \left|\left(1+\mathrm {i} \right){\bar {z}}-2\mathrm {i} \right|=2}
.