Vrai/Faux : Lieux géométriques

[enonce]
Pour chaque affirmation suivante sur les lieux géométriques caractérisés par une condition sur l'affixe, indiquer si elle est Vraie ou Fausse.
[/enonce]

[etape]
Affirmation : L'ensemble des points $M$ d'affixe $z$ tels que $|z| = 3$ est le cercle de centre $O$ et de rayon $3$.

[qcm]
[option correct="true"]Vrai[/option]
[option]Faux[/option]
[reponse statut="correct"]Bonne réponse !
$|z|$ est la distance $OM$ entre l'origine et le point image. La condition $OM = 3$ caractérise précisément le cercle de centre $O$ et de rayon $3$.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est vraie.
Le module $|z|$ représente la distance de $M$ à $O$. Une condition $|z| = r$ (avec $r > 0$ constant) définit le cercle centré en $O$ de rayon $r$.[/reponse]
[/qcm]

[solution]
Cette affirmation est vraie. $|z| = r$ est l'équation du cercle de centre $O$ et de rayon $r$.
[/solution]
[/etape]

[etape]
Soient $A$ et $B$ deux points distincts d'affixes $z_{A}$ et $z_{B}$.

Affirmation : L'ensemble des points $M$ d'affixe $z$ tels que $|z - z_{A}| = |z - z_{B}|$ est la médiatrice de $[AB]$.

[qcm]
[option correct="true"]Vrai[/option]
[option]Faux[/option]
[reponse statut="correct"]Exactement !
$|z - z_{A}| = MA$ et $|z - z_{B}| = MB$. La condition $MA = MB$ caractérise les points équidistants de $A$ et $B$, qui forment la médiatrice du segment $[AB]$.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est vraie.
Lire $|z - z_{A}|$ comme la distance $MA$ et $|z - z_{B}|$ comme $MB$. L'égalité de ces deux distances caractérise la médiatrice de $[AB]$.[/reponse]
[/qcm]

[solution]
Cette affirmation est vraie. La condition $MA = MB$ caractérise la médiatrice de $[AB]$ (lieu des points équidistants de $A$ et $B$).
[/solution]
[/etape]

[etape]
Affirmation : L'ensemble des points $M$ d'affixe $z$ non nulle vérifiant $\arg(z) = \dfrac{\pi}{2}$ (modulo $2\pi$) est l'axe des ordonnées.

[qcm]
[option]Vrai[/option]
[option correct="true"]Faux[/option]
[reponse statut="correct"]Bien vu !
$\arg(z) = \dfrac{\pi}{2}$ caractérise une demi-droite (orientation fixée modulo $2\pi$) : ici la demi-droite des ordonnées strictement positives, privée de $O$.
L'axe des ordonnées entier comprendrait aussi les points d'argument $-\dfrac{\pi}{2}$ (ordonnées négatives), qui ne vérifient pas la condition. De plus, l'origine $O$ est exclue (pas d'argument défini).[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est fausse.
$\arg(z) = \dfrac{\pi}{2}$ ne sélectionne qu'une demi-droite (ordonnées strictement positives, sans $O$). L'axe des ordonnées entier inclurait aussi les ordonnées négatives, dont l'argument vaut $-\dfrac{\pi}{2}$.[/reponse]
[/qcm]

[solution]
Cette affirmation est fausse. $\arg(z) = \dfrac{\pi}{2}$ ne caractérise que la demi-droite des ordonnées strictement positives (privée de $O$), pas l'axe des ordonnées entier.
[/solution]
[/etape]

[etape]
Affirmation : L'ensemble des points $M$ d'affixe $z$ tels que $|z - 1 - 2i| = 4$ est le cercle de centre $\Omega(1\,;\, 2)$ et de rayon $4$.

[qcm]
[option correct="true"]Vrai[/option]
[option]Faux[/option]
[reponse statut="correct"]Bravo !
$|z - 1 - 2i| = |z - (1 + 2i)|$ représente la distance $\Omega M$ entre $M$ et le point $\Omega$ d'affixe $1 + 2i$, donc de coordonnées $(1\,;\, 2)$. La condition $\Omega M = 4$ donne le cercle de centre $\Omega(1\,;\, 2)$ et de rayon $4$.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est vraie.
Réécrire la condition sous la forme $|z - a| = r$ : ici $a = 1 + 2i$ correspond à $\Omega(1\,;\, 2)$ et $r = 4$ est le rayon. C'est l'équation d'un cercle.[/reponse]
[/qcm]

[solution]
Cette affirmation est vraie. La condition $|z - a| = r$ caractérise le cercle de centre $\Omega$ (image de $a$) et de rayon $r$.
[/solution]
[/etape]

[etape]
Soient $A$ et $B$ les points d'affixes $z_{A} = 1$ et $z_{B} = i$.

Affirmation : L'ensemble des points $M$ tels que $|z - 1| = |z - i|$ est la médiatrice de $[AB]$, qui passe par l'origine $O$.

[qcm]
[option correct="true"]Vrai[/option]
[option]Faux[/option]
[reponse statut="correct"]C'est bien ça !
La condition est $MA = MB$ : c'est la médiatrice de $[AB]$.
On vérifie que $O$ est bien sur cette médiatrice : $OA = |1| = 1$ et $OB = |i| = 1$, donc $OA = OB$ et $O$ est équidistant de $A$ et $B$.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est vraie.
La condition $|z - 1| = |z - i|$ traduit $MA = MB$, ce qui est la médiatrice de $[AB]$. Comme $|z_{A}| = |z_{B}| = 1$, $O$ est équidistant de $A$ et $B$, donc sur la médiatrice.[/reponse]
[/qcm]

[solution]
Cette affirmation est vraie. La condition donne la médiatrice de $[AB]$ ; comme $OA = OB = 1$, l'origine appartient bien à cette médiatrice.
[/solution]
[/etape]

[etape]
Affirmation : L'ensemble des points $M$ d'affixe $z$ tels que $z + \overline{z} = 0$ est l'axe des abscisses.

[qcm]
[option]Vrai[/option]
[option correct="true"]Faux[/option]
[reponse statut="correct"]Tu as raison !
Avec $z = a + ib$, on a $z + \overline{z} = 2a$. La condition $2a = 0$ équivaut à $a = 0$, c'est-à-dire à une partie réelle nulle : c'est l'axe des ordonnées, pas des abscisses.
L'axe des abscisses correspond à $z = \overline{z}$ (partie imaginaire nulle), ou encore $z - \overline{z} = 0$.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est fausse.
La somme $z + \overline{z} = 2 \cdot \text{Re}(z)$ s'annule quand la partie réelle est nulle, donc sur l'axe des ordonnées (axe imaginaire), pas sur l'axe des abscisses.[/reponse]
[/qcm]

[solution]
Cette affirmation est fausse. $z + \overline{z} = 2\,\text{Re}(z) = 0$ équivaut à $\text{Re}(z) = 0$, donc à l'axe des ordonnées (et non des abscisses).
[/solution]
[/etape]

QCM : Lieux géométriques et configurations

[enonce]
Ce QCM porte sur l'utilisation des complexes pour caractériser des lieux géométriques et des configurations : médiatrice, cercle, alignement, orthogonalité, distance et nature de triangle. Choisir la bonne réponse parmi les 4 propositions.
[/enonce]

[etape]
Soient $A$ et $B$ deux points distincts d'affixes $z_{A}$ et $z_{B}$. L'ensemble des points $M$ d'affixe $z$ tels que $|z - z_{A}| = |z - z_{B}|$ est :
[qcm]
[option]le segment $[AB]$[/option]
[option]le cercle de centre $A$ passant par $B$[/option]
[option correct="true"]la médiatrice du segment $[AB]$[/option]
[option]la droite $(AB)$[/option]
[reponse statut="correct"]Bonne réponse !
$|z - z_{A}|$ est la distance $MA$ et $|z - z_{B}|$ est la distance $MB$. La condition $MA = MB$ caractérise les points équidistants de $A$ et $B$, c'est-à-dire la médiatrice de $[AB]$.[/reponse]
[reponse motif="le segment $[AB]$"]Non.
Les points du segment $[AB]$ ne sont en général pas équidistants des extrémités (sauf le milieu). Une condition d'égalité de distances caractérise une perpendiculaire, pas un segment.[/reponse]
[reponse motif="le cercle de centre $A$ passant par $B$"]Non.
Sur ce cercle, on a $MA = AB$, ce qui n'a rien à voir avec $MA = MB$. Une condition $MA = r$ (constant) donne un cercle, $MA = MB$ donne une médiatrice.[/reponse]
[reponse motif="la droite $(AB)$"]Non.
Sur la droite $(AB)$ (en dehors du milieu), un point n'est pas à égale distance de $A$ et $B$. La médiatrice est perpendiculaire à $(AB)$, pas confondue.[/reponse]
[reponse statut="incorrect"]Non.
Interpréter $|z - z_{A}|$ comme la distance entre $M$ (image de $z$) et $A$. Une égalité de distances $MA = MB$ définit un lieu classique de la géométrie.[/reponse]
[/qcm]
[/etape]

[etape]
L'ensemble des points $M$ d'affixe $z$ tels que $|z - 2 + i| = 3$ est :
[qcm]
[option correct="true"]le cercle de centre $\Omega(2\,;\, -1)$ et de rayon $3$[/option]
[option]le cercle de centre $\Omega(-2\,;\, 1)$ et de rayon $3$[/option]
[option]le cercle de centre $\Omega(2\,;\, 1)$ et de rayon $3$[/option]
[option]le cercle de centre $\Omega(2\,;\, -1)$ et de rayon $9$[/option]
[reponse statut="correct"]Bravo !
On réécrit $|z - 2 + i| = |z - (2 - i)|$ qui est la distance de $M$ au point $\Omega$ d'affixe $2 - i$, donc de coordonnées $(2\,;\, -1)$.
La condition $\Omega M = 3$ caractérise le cercle de centre $\Omega(2\,;\, -1)$ et de rayon $3$.[/reponse]
[reponse motif="le cercle de centre $\Omega(-2\,;\, 1)$ et de rayon $3$"]Non.
Le centre est l'affixe $a$ telle que $|z - a| = 3$. Ici $z - 2 + i = z - (2 - i)$, donc $a = 2 - i$. Le centre $\Omega$ a pour coordonnées $(2\,;\, -1)$, pas $(-2\,;\, 1)$.[/reponse]
[reponse motif="le cercle de centre $\Omega(2\,;\, 1)$ et de rayon $3$"]Non.
Attention au signe de la partie imaginaire : $|z - 2 + i| = |z - (2 - i)|$, donc l'affixe du centre est $2 - i$, qui correspond au point $\Omega(2\,;\, -1)$ — pas $(2\,;\, 1)$.[/reponse]
[reponse motif="le cercle de centre $\Omega(2\,;\, -1)$ et de rayon $9$"]Non.
Le centre est correct, mais le rayon est $|3| = 3$ et non $3^{2} = 9$. La condition $|z - a| = r$ donne directement le rayon $r$, sans élévation au carré.[/reponse]
[reponse statut="incorrect"]Non.
Mettre la condition sous la forme $|z - a| = r$ : ici $a = 2 - i$ et $r = 3$. Le point $\Omega$ d'affixe $a$ est le centre, et $r$ est le rayon.[/reponse]
[/qcm]
[/etape]

[etape]
Trois points distincts $A$, $B$, $C$ d'affixes $z_{A}, z_{B}, z_{C}$ sont alignés si et seulement si :
[qcm]
[option]$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$ est un imaginaire pur[/option]
[option correct="true"]$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$ est un réel[/option]
[option]$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}} = 1$[/option]
[option]$z_{C} - z_{A} = z_{B} - z_{A}$[/option]
[reponse statut="correct"]Exactement !
L'argument du quotient $\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$ vaut $(\overrightarrow{AB}\,;\, \overrightarrow{AC})$. L'alignement de $A$, $B$, $C$ équivaut à un angle nul ou $\pi$, c'est-à-dire un argument $0$ ou $\pi$ : le quotient est alors un nombre réel.[/reponse]
[reponse motif="$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$ est un imaginaire pur"]Non.
Un quotient imaginaire pur correspond à un argument $\pm\dfrac{\pi}{2}$, donc à des vecteurs perpendiculaires : c'est la caractérisation de l'orthogonalité, pas de l'alignement.[/reponse]
[reponse motif="$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}} = 1$"]Non.
Cette condition donne $z_{C} = z_{B}$, donc $B = C$. C'est un cas très particulier, beaucoup trop restrictif pour caractériser tous les alignements.[/reponse]
[reponse motif="$z_{C} - z_{A} = z_{B} - z_{A}$"]Non.
Cette égalité signifie $z_{C} = z_{B}$, donc $B = C$ : ce n'est pas la caractérisation de l'alignement.[/reponse]
[reponse statut="incorrect"]Non.
L'argument du quotient $\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$ donne l'angle $(\overrightarrow{AB}\,;\, \overrightarrow{AC})$. Un angle nul ou plat se traduit par un argument $0$ ou $\pi$, c'est-à-dire un quotient réel.[/reponse]
[/qcm]
[/etape]

[etape]
Soient $A$, $B$, $C$ trois points distincts. Le triangle $ABC$ est rectangle en $A$ si et seulement si :
[qcm]
[option]$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$ est un réel[/option]
[option]$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}} = i$[/option]
[option]$|z_{C} - z_{A}| = |z_{B} - z_{A}|$[/option]
[option correct="true"]$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$ est un imaginaire pur[/option]
[reponse statut="correct"]C'est bien ça !
L'angle $(\overrightarrow{AB}\,;\, \overrightarrow{AC})$ vaut un argument du quotient $\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$. Un triangle rectangle en $A$ correspond à un angle $\pm\dfrac{\pi}{2}$, soit un argument $\pm\dfrac{\pi}{2}$ : le quotient est un imaginaire pur.[/reponse]
[reponse motif="$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$ est un réel"]Non.
Un quotient réel correspond à un argument $0$ ou $\pi$, donc à des vecteurs colinéaires : c'est la caractérisation de l'alignement, pas du triangle rectangle.[/reponse]
[reponse motif="$\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}} = i$"]Non.
La condition $\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}} = i$ correspond bien à un triangle rectangle en $A$, mais c'est un cas très particulier (triangle rectangle isocèle en $A$ avec $AC = AB$). Pour un triangle rectangle quelconque en $A$, la condition est plus large : tout imaginaire pur convient.[/reponse]
[reponse motif="$|z_{C} - z_{A}| = |z_{B} - z_{A}|$"]Non.
Cette condition donne $AC = AB$, c'est-à-dire que le triangle est isocèle en $A$, pas rectangle.[/reponse]
[reponse statut="incorrect"]Non.
Le triangle est rectangle en $A$ si et seulement si $(\overrightarrow{AB}\,;\, \overrightarrow{AC}) = \pm\dfrac{\pi}{2}$, ce qui correspond à un argument $\pm\dfrac{\pi}{2}$ pour le quotient $\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}$ — donc un imaginaire pur.[/reponse]
[/qcm]
[/etape]

[etape]
Soient $A$ et $B$ deux points d'affixes $z_{A} = 1 + 2i$ et $z_{B} = -3 + i$. La distance $AB$ vaut :
[qcm]
[option]$\sqrt{13}$[/option]
[option]$\sqrt{5}$[/option]
[option correct="true"]$\sqrt{17}$[/option]
[option]$5$[/option]
[reponse statut="correct"]Tu as raison !
$AB = |z_{B} - z_{A}| = |(-3 + i) - (1 + 2i)| = |-4 - i|$.
Donc $AB = \sqrt{(-4)^{2} + (-1)^{2}} = \sqrt{16 + 1} = \sqrt{17}$.[/reponse]
[reponse motif="$\sqrt{13}$"]Non.
On a additionné les affixes ($z_{A} + z_{B} = -2 + 3i$, module $\sqrt{4 + 9} = \sqrt{13}$) au lieu de soustraire. La distance $AB$ correspond au module de la différence des affixes.[/reponse]
[reponse motif="$\sqrt{5}$"]Non.
On a oublié d'élever les coordonnées au carré : la formule $|a + ib| = \sqrt{a^{2} + b^{2}}$ utilise les carrés, pas les valeurs absolues.[/reponse]
[reponse motif="$5$"]Non.
On a additionné les valeurs absolues des coordonnées ($4 + 1 = 5$) au lieu de calculer le module. Le module est une racine carrée d'une somme de carrés.[/reponse]
[reponse statut="incorrect"]Non.
La distance entre deux points est le module de la différence des affixes : $AB = |z_{B} - z_{A}|$. Calculer cette différence puis appliquer la formule du module.[/reponse]
[/qcm]
[/etape]

[etape]
L'ensemble des points $M$ d'affixe $z$ non nulle tels que $\arg(z) = \dfrac{\pi}{4}$ (modulo $2\pi$) est :
[qcm]
[option]la droite passant par $O$ d'angle $\dfrac{\pi}{4}$[/option]
[option]le cercle de rayon $\dfrac{\pi}{4}$[/option]
[option correct="true"]la demi-droite issue de $O$ (privée de $O$) d'angle $\dfrac{\pi}{4}$[/option]
[option]l'axe des abscisses[/option]
[reponse statut="correct"]Correct !
$\arg(z) = \dfrac{\pi}{4}$ signifie que $\overrightarrow{OM}$ fait un angle $\dfrac{\pi}{4}$ avec $\vec{u}$, ce qui décrit une demi-droite partant de $O$ (l'argument est défini modulo $2\pi$, pas modulo $\pi$). On exclut $O$ car le complexe nul n'a pas d'argument.[/reponse]
[reponse motif="la droite passant par $O$ d'angle $\dfrac{\pi}{4}$"]Non.
Une droite contiendrait aussi les points d'argument $\dfrac{\pi}{4} + \pi$ (donc $\dfrac{5\pi}{4}$), qui ne vérifient pas la condition. La demi-droite opposée correspond à un argument différent.[/reponse]
[reponse motif="le cercle de rayon $\dfrac{\pi}{4}$"]Non.
$\dfrac{\pi}{4}$ est ici un angle (l'argument), pas une distance. Une condition de la forme $\arg(z) = $ constante donne un secteur angulaire, pas un cercle.[/reponse]
[reponse motif="l'axe des abscisses"]Non.
L'axe des abscisses correspond à $\arg(z) = 0$ (ou $\pi$), pas $\dfrac{\pi}{4}$. L'angle $\dfrac{\pi}{4}$ est l'angle de la « première bissectrice » à partir de l'axe horizontal.[/reponse]
[reponse statut="incorrect"]Non.
$\arg(z) = \theta_{0}$ caractérise une demi-droite issue de l'origine (privée de $O$), faisant un angle $\theta_{0}$ avec $\vec{u}$. L'argument étant défini modulo $2\pi$, on n'obtient qu'une seule demi-droite.[/reponse]
[/qcm]
[/etape]

Nombres complexes – Lieux géométriques – 2

Dans le plan complexe, déterminer l'ensemble $ \left(E\right) $ des points $ M $ d'affixe $ z $ tels que $ \dfrac{ z+1 - i }{ z - i } $ soit un nombre imaginaire pur.

Corrigé

Indications

L'idée est d'appliquer la formule sur les angles et arguments $ \left(\overrightarrow{AB};\overrightarrow{AC}\right)= \text{arg}\left(\dfrac{z_{C} - z_{A}}{z_{B} - z_{A}}\right) $ mais il faut aussi bien traiter les cas «limites» pour lesquels le numérateur ou le dénominateur s'annule.

Tout d'abord, notons que le rapport $ \dfrac{ z+1 - i }{ z - i } $ n'est pas défini pour $ z=i $ donc le point $ A $ d'affixe $ i $ n'appartient pas à l'ensemble $ \left(E\right) $.

Ensuite pour $ z= - 1+i $, $ \dfrac{ z+1 - i }{ z - i }=0 $ qui est bien un imaginaire pur ($ 0=0i $) donc le point $ B $ d'affixe $ - 1+i $ appartient à l'ensemble $ \left(E\right) $.

Enfin, si $ z\neq i $ et $ z\neq - 1+i $, le rapport $ \dfrac{ z+1 - i }{ z - i } $ peut s'écrire $ \dfrac{z - z_{B}}{z - z_{A}} $ où $ A $ et $ B $ sont les points d'affixes respectives $ i $ et $ - 1+i $.

Le nombre non nul $ \dfrac{ z+1 - i }{ z - i } $ est un imaginaire pur si et seulement si son argument vaut $ \dfrac{\pi }{2} $ ou $ - \dfrac{\pi }{2} $ (modulo $ 2\pi $).

Or d'après le cours $ \text{arg}\left(\dfrac{z - z_{B}}{z - z_{A}}\right)=\left(\overrightarrow{AM};\overrightarrow{BM}\right) $.

Remarque

Cette propriété ne s'applique que si $ A\neq M $ et $ B\neq M $ (sinon l'angle $ \left(\overrightarrow{AM};\overrightarrow{BM}\right) $ n'existe pas !).

C'est pourquoi on a traité les cas «limites» $ z=i $ et $ z= - 1+i $ séparément.

Conclusion

Le nombre $ \dfrac{ z+1 - i }{ z - i } $ est donc un imaginaire pur si et seulement si l'angle $ \widehat{AMB} $ est un angle droit.

Or on sait que l'angle $ \widehat{AMB} $ est un angle droit si et seulement si $ M $ appartient au cercle de diamètre $ \left[AB\right] $.

L'ensemble $ \left(E\right) $ est donc le cercle de diamètre $ \left[AB\right] $ privé du point $ A $ (mais on conserve le point $ B $).

Lieux géométriques

Nombres complexes – Lieux géométriques – 1

Dans le plan complexe, déterminer l'ensemble $ \left(E\right) $ des points $ M $ d'affixe $ z $ tels que :

$ | z+1 |=| z - i | $

Corrigé

1 - Méthode algébrique

On pose $ z=x+iy $.

Alors :

$ z+1=x+1+iy $

$ | z+1 |= \sqrt{\left(x+1\right)^{2}+y^{2}}=\sqrt{x^{2}+2x+1+y^{2}} $

$ z - i=x+i\left(y - 1\right) $

$ | z - i |=\sqrt{x^{2}+\left(y - 1\right)^{2}}=\sqrt{x^{2}+y^{2} - 2y+1} $

L'égalité $ | z+1 |=| z - i | $ est donc équivalente à :

$ \sqrt{x^{2}+2x+1+y^{2}}=\sqrt{x^{2}+y^{2} - 2y+1} $

$ x^{2}+2x+1+y^{2}=x^{2}+y^{2} - 2y+1 $

$ x^{2}+2x+1+y^{2} - x^{2} - y^{2}+2y - 1=0 $

$ x+y=0 $

L'ensemble $ \left(E\right) $ est la droite d'équation $ x+y=0 $

2 - Méthode géométrique

$ | z+1 |=| z - \left( - 1\right)| $ est de la forme $ | z - a | $. Cela peut donc s'interpréter comme la distance entre les points $ M $ d'affixe $ z $ et $ A $ d'affixe $ - 1 $.

De même $ | z - i | $ représente la distance entre les points $ M $ d'affixe $ z $ et $ B $ d'affixe $ i $.

L'égalité $ | z+1 |=| z - i | $ signifie donc que $ M\left(z\right) $ est équidistant de $ A\left( - 1\right) $ et de $ B\left(i\right) $.

L'ensemble $ \left(E\right) $ est donc la médiatrice de $ \left[AB\right] $

Ensemble des points équidistants de A et de B