L'essentiel Dans R \mathbb{R} R , l'équation x 2 = − 1 x^2 = -1 x 2 = − 1 n'a pas de solution. On construit un ensemble plus grand, noté C \mathbb{C} C , qui contient R \mathbb{R} R et un nombre i i i tel que i 2 = − 1 i^2 = -1 i 2 = − 1 . Ce chapitre te donne les outils de calcul (forme algébrique, conjugué, module, argument) et leur lecture géométrique dans le plan.
Définition
Tout nombre complexe z z z s'écrit de façon unique z = a + i b z = a + ib z = a + ib avec a ∈ R a \in \mathbb{R} a ∈ R et b ∈ R b \in \mathbb{R} b ∈ R . C'est la forme algébrique de z z z . Le réel a a a est la partie réelle de z z z , notée R e ( z ) \mathrm{Re}(z) Re ( z ) ; le réel b b b est la partie imaginaire de z z z , notée I m ( z ) \mathrm{Im}(z) Im ( z ) .
Si b = 0 b = 0 b = 0 , alors z = a z = a z = a est un réel : R ⊂ C \mathbb{R} \subset \mathbb{C} R ⊂ C . Si a = 0 a = 0 a = 0 , alors z = i b z = ib z = ib est un imaginaire pur (le nombre 0 0 0 est à la fois réel et imaginaire pur). Propriété
Deux nombres complexes sont égaux si et seulement si ils ont la même partie réelle et la même partie imaginaire : a + i b = a ′ + i b ′ ⟺ a = a ′ a + ib = a' + ib' \iff a = a' a + ib = a ′ + i b ′ ⟺ a = a ′ et b = b ′ b = b' b = b ′ . En particulier, a + i b = 0 ⟺ a = 0 a + ib = 0 \iff a = 0 a + ib = 0 ⟺ a = 0 et b = 0 b = 0 b = 0 .
Attention
La partie imaginaire de z = 3 − 5 i z = 3 - 5i z = 3 − 5 i est − 5 -5 − 5 , et non − 5 i -5i − 5 i : I m ( z ) \mathrm{Im}(z) Im ( z ) est toujours un nombre réel.
2. Opérations dans ℂ On calcule dans C \mathbb{C} C comme dans R \mathbb{R} R , en remplaçant i 2 i^2 i 2 par − 1 -1 − 1 . Pour z = a + i b z = a + ib z = a + ib et z ′ = a ′ + i b ′ z' = a' + ib' z ′ = a ′ + i b ′ :
z + z ′ = ( a + a ′ ) + i ( b + b ′ ) z + z' = (a + a') + i(b + b') z + z ′ = ( a + a ′ ) + i ( b + b ′ ) z z ′ = ( a a ′ − b b ′ ) + i ( a b ′ + a ′ b ) z z' = (aa' - bb') + i(ab' + a'b) z z ′ = ( a a ′ − b b ′ ) + i ( a b ′ + a ′ b ) Les puissances de i i i se répètent tous les 4 rangs : i 2 = − 1 i^2 = -1 i 2 = − 1 , i 3 = − i i^3 = -i i 3 = − i , i 4 = 1 i^4 = 1 i 4 = 1 , puis i 5 = i i^5 = i i 5 = i , etc. Pour calculer i n i^n i n , tu cherches le reste r r r de la division euclidienne de n n n par 4 : alors i n = i r i^n = i^r i n = i r (avec i 0 = 1 i^0 = 1 i 0 = 1 ).
Les identités remarquables restent vraies. La plus utile est :
( a + i b ) ( a − i b ) = a 2 + b 2 (a + ib)(a - ib) = a^2 + b^2 ( a + ib ) ( a − ib ) = a 2 + b 2 Propriété
Tout nombre complexe z = a + i b z = a + ib z = a + ib non nul admet un inverse : 1 z = a − i b a 2 + b 2 \frac{1}{z} = \frac{a - ib}{a^2 + b^2} z 1 = a 2 + b 2 a − ib . Pour écrire un quotient sous forme algébrique, on multiplie le numérateur et le dénominateur par le conjugué du dénominateur.
3. Conjugué d'un nombre complexe Propriété
Pour tous z z z et z ′ z' z ′ de C \mathbb{C} C et tout entier naturel n n n : z + z ′ ‾ = z ‾ + z ′ ‾ \overline{z + z'} = \overline{z} + \overline{z'} z + z ′ = z + z ′ , z z ′ ‾ = z ‾ × z ′ ‾ \overline{z z'} = \overline{z} \times \overline{z'} z z ′ = z × z ′ , z n ‾ = z ‾ n \overline{z^n} = \overline{z}^{\,n} z n = z n , et si z ′ ≠ 0 z' \neq 0 z ′ = 0 : ( z z ′ ) ‾ = z ‾ z ′ ‾ \overline{\left(\frac{z}{z'}\right)} = \frac{\overline{z}}{\overline{z'}} ( z ′ z ) = z ′ z . De plus z ‾ ‾ = z \overline{\overline{z}} = z z = z , z + z ‾ = 2 R e ( z ) z + \overline{z} = 2\,\mathrm{Re}(z) z + z = 2 Re ( z ) , z − z ‾ = 2 i I m ( z ) z - \overline{z} = 2i\,\mathrm{Im}(z) z − z = 2 i Im ( z ) et z z ‾ = a 2 + b 2 z \overline{z} = a^2 + b^2 z z = a 2 + b 2 .
Propriété
z z z est réel ⟺ z ‾ = z \iff \overline{z} = z ⟺ z = z . z z z est imaginaire pur ⟺ z ‾ = − z \iff \overline{z} = -z ⟺ z = − z .
Ces deux équivalences servent à démontrer qu'un nombre est réel ou imaginaire pur sans passer par la forme algébrique.
4. Représentation géométrique Le plan est rapporté à un repère orthonormé direct ( O , u ⃗ , v ⃗ ) (O, \vec{u}, \vec{v}) ( O , u , v ) .
Définition
Au nombre complexe z = a + i b z = a + ib z = a + ib on associe le point M ( a ; b ) M(a ; b) M ( a ; b ) : M M M est l'image de z z z , et z z z est l'affixe du point M M M . On note M ( z ) M(z) M ( z ) ou z M z_M z M . De même, le vecteur w ⃗ ( a ; b ) \vec{w}(a ; b) w ( a ; b ) a pour affixe z w ⃗ = a + i b z_{\vec{w}} = a + ib z w = a + ib .
L'axe des abscisses contient les images des réels ; l'axe des ordonnées celles des imaginaires purs. Les images de z z z et de z ‾ \overline{z} z sont symétriques par rapport à l'axe des abscisses. Propriété
Pour deux points A A A et B B B : l'affixe du vecteur A B → \overrightarrow{AB} A B est z B − z A z_B - z_A z B − z A ; l'affixe du milieu I I I de [ A B ] [AB] [ A B ] est z I = z A + z B 2 z_I = \frac{z_A + z_B}{2} z I = 2 z A + z B ; pour tout réel k k k , le vecteur k w ⃗ + w ′ ⃗ k\vec{w} + \vec{w'} k w + w ′ a pour affixe k z w ⃗ + z w ′ ⃗ k z_{\vec{w}} + z_{\vec{w'}} k z w + z w ′ .
Conséquence : A B C D ABCD A B C D est un parallélogramme ⟺ A B → = D C → ⟺ z B − z A = z C − z D \iff \overrightarrow{AB} = \overrightarrow{DC} \iff z_B - z_A = z_C - z_D ⟺ A B = D C ⟺ z B − z A = z C − z D .
5. Module Définition
Le module de z = a + i b z = a + ib z = a + ib est le réel positif ∣ z ∣ = a 2 + b 2 = z z ‾ |z| = \sqrt{a^2 + b^2} = \sqrt{z \overline{z}} ∣ z ∣ = a 2 + b 2 = z z . Si M M M est l'image de z z z , alors ∣ z ∣ = O M |z| = OM ∣ z ∣ = O M . Pour deux points A A A et B B B : A B = ∣ z B − z A ∣ AB = |z_B - z_A| A B = ∣ z B − z A ∣ .
Propriété
Pour tous z z z , z ′ z' z ′ de C \mathbb{C} C et tout entier naturel n n n : ∣ z z ′ ∣ = ∣ z ∣ × ∣ z ′ ∣ |z z'| = |z| \times |z'| ∣ z z ′ ∣ = ∣ z ∣ × ∣ z ′ ∣ , ∣ z n ∣ = ∣ z ∣ n |z^n| = |z|^n ∣ z n ∣ = ∣ z ∣ n , et si z ′ ≠ 0 z' \neq 0 z ′ = 0 : ∣ z z ′ ∣ = ∣ z ∣ ∣ z ′ ∣ \left|\frac{z}{z'}\right| = \frac{|z|}{|z'|} z ′ z = ∣ z ′ ∣ ∣ z ∣ . ∣ z ‾ ∣ = ∣ − z ∣ = ∣ z ∣ |\overline{z}| = |-z| = |z| ∣ z ∣ = ∣ − z ∣ = ∣ z ∣ , et ∣ z ∣ = 0 ⟺ z = 0 |z| = 0 \iff z = 0 ∣ z ∣ = 0 ⟺ z = 0 . Inégalité triangulaire : ∣ z + z ′ ∣ ≤ ∣ z ∣ + ∣ z ′ ∣ |z + z'| \leq |z| + |z'| ∣ z + z ′ ∣ ≤ ∣ z ∣ + ∣ z ′ ∣ .
Attention
En général ∣ z + z ′ ∣ ≠ ∣ z ∣ + ∣ z ′ ∣ |z + z'| \neq |z| + |z'| ∣ z + z ′ ∣ = ∣ z ∣ + ∣ z ′ ∣ . Par exemple ∣ 1 + i ∣ = 2 |1 + i| = \sqrt{2} ∣1 + i ∣ = 2 , alors que ∣ 1 ∣ + ∣ i ∣ = 2 |1| + |i| = 2 ∣1∣ + ∣ i ∣ = 2 .
Définition
Soit z z z un nombre complexe non nul d'image M M M . On appelle argument de z z z toute mesure θ \theta θ de l'angle orienté ( u ⃗ , O M → ) (\vec{u}, \overrightarrow{OM}) ( u , O M ) . On note arg ( z ) ≡ θ [ 2 π ] \arg(z) \equiv \theta \ [2\pi] arg ( z ) ≡ θ [ 2 π ] . Le nombre 0 0 0 n'a pas d'argument.
Si ∣ z ∣ = r |z| = r ∣ z ∣ = r et arg ( z ) ≡ θ [ 2 π ] \arg(z) \equiv \theta \ [2\pi] arg ( z ) ≡ θ [ 2 π ] , alors a = r cos θ a = r\cos\theta a = r cos θ et b = r sin θ b = r\sin\theta b = r sin θ , donc :
z = r ( cos θ + i sin θ ) z = r(\cos\theta + i\sin\theta) z = r ( cos θ + i sin θ ) Définition
L'écriture z = r ( cos θ + i sin θ ) z = r(\cos\theta + i\sin\theta) z = r ( cos θ + i sin θ ) avec r > 0 r > 0 r > 0 est la forme trigonométrique de z z z . On la note aussi z = [ r , θ ] z = [r, \theta] z = [ r , θ ] . Pour la trouver à partir de z = a + i b z = a + ib z = a + ib : r = a 2 + b 2 r = \sqrt{a^2 + b^2} r = a 2 + b 2 , puis θ \theta θ vérifie cos θ = a r \cos\theta = \frac{a}{r} cos θ = r a et sin θ = b r \sin\theta = \frac{b}{r} sin θ = r b .
Propriété
Pour r > 0 r > 0 r > 0 et r ′ > 0 r' > 0 r ′ > 0 : [ r , θ ] = [ r ′ , θ ′ ] ⟺ r = r ′ [r, \theta] = [r', \theta'] \iff r = r' [ r , θ ] = [ r ′ , θ ′ ] ⟺ r = r ′ et θ ≡ θ ′ [ 2 π ] \theta \equiv \theta' \ [2\pi] θ ≡ θ ′ [ 2 π ] . z z z est un réel strictement positif ⟺ arg ( z ) ≡ 0 [ 2 π ] \iff \arg(z) \equiv 0 \ [2\pi] ⟺ arg ( z ) ≡ 0 [ 2 π ] ; un réel strictement négatif ⟺ arg ( z ) ≡ π [ 2 π ] \iff \arg(z) \equiv \pi \ [2\pi] ⟺ arg ( z ) ≡ π [ 2 π ] . z z z est un imaginaire pur non nul ⟺ arg ( z ) ≡ π 2 [ π ] \iff \arg(z) \equiv \frac{\pi}{2} \ [\pi] ⟺ arg ( z ) ≡ 2 π [ π ] .
Valeurs à connaître par cœur :
z z z 1 1 1 i i i − 1 -1 − 1 − i -i − i 1 + i 1 + i 1 + i 1 + i 3 1 + i\sqrt{3} 1 + i 3 3 + i \sqrt{3} + i 3 + i ∣ z ∣ \lvert z \rvert ∣ z ∣ 1 1 1 1 1 1 1 1 1 1 1 1 2 \sqrt{2} 2 2 2 2 2 2 2 arg ( z ) \arg(z) arg ( z ) 0 0 0 π 2 \frac{\pi}{2} 2 π π \pi π − π 2 -\frac{\pi}{2} − 2 π π 4 \frac{\pi}{4} 4 π π 3 \frac{\pi}{3} 3 π π 6 \frac{\pi}{6} 6 π
7. Propriétés de l'argument Propriété
Pour tous z z z et z ′ z' z ′ non nuls et tout entier naturel n n n (modulo 2 π 2\pi 2 π ) : arg ( z z ′ ) ≡ arg ( z ) + arg ( z ′ ) \arg(z z') \equiv \arg(z) + \arg(z') arg ( z z ′ ) ≡ arg ( z ) + arg ( z ′ ) ; arg ( z n ) ≡ n arg ( z ) \arg(z^n) \equiv n\arg(z) arg ( z n ) ≡ n arg ( z ) ; arg ( 1 z ) ≡ − arg ( z ) \arg\left(\frac{1}{z}\right) \equiv -\arg(z) arg ( z 1 ) ≡ − arg ( z ) ; arg ( z z ′ ) ≡ arg ( z ) − arg ( z ′ ) \arg\left(\frac{z}{z'}\right) \equiv \arg(z) - \arg(z') arg ( z ′ z ) ≡ arg ( z ) − arg ( z ′ ) ; arg ( z ‾ ) ≡ − arg ( z ) \arg(\overline{z}) \equiv -\arg(z) arg ( z ) ≡ − arg ( z ) ; arg ( − z ) ≡ π + arg ( z ) \arg(-z) \equiv \pi + \arg(z) arg ( − z ) ≡ π + arg ( z ) .
Avec les crochets, cela donne des calculs très rapides : [ r , θ ] × [ r ′ , θ ′ ] = [ r r ′ , θ + θ ′ ] [r, \theta] \times [r', \theta'] = [r r', \theta + \theta'] [ r , θ ] × [ r ′ , θ ′ ] = [ r r ′ , θ + θ ′ ] , [ r , θ ] [ r ′ , θ ′ ] = [ r r ′ , θ − θ ′ ] \frac{[r, \theta]}{[r', \theta']} = \left[\frac{r}{r'}, \theta - \theta'\right] [ r ′ , θ ′ ] [ r , θ ] = [ r ′ r , θ − θ ′ ] et [ r , θ ] n = [ r n , n θ ] [r, \theta]^n = [r^n, n\theta] [ r , θ ] n = [ r n , n θ ] .
Remarque
Si k k k est un réel strictement positif, arg ( k z ) ≡ arg ( z ) \arg(kz) \equiv \arg(z) arg ( k z ) ≡ arg ( z ) ; si k k k est strictement négatif, arg ( k z ) ≡ π + arg ( z ) \arg(kz) \equiv \pi + \arg(z) arg ( k z ) ≡ π + arg ( z ) . Ainsi − 2 ( cos θ + i sin θ ) -2(\cos\theta + i\sin\theta) − 2 ( cos θ + i sin θ ) n'est pas une forme trigonométrique : elle vaut [ 2 , π + θ ] [2, \pi + \theta] [ 2 , π + θ ] .
8. Interprétation géométrique Propriété
Pour deux points distincts A A A et B B B : arg ( z B − z A ) ≡ ( u ⃗ , A B → ) [ 2 π ] \arg(z_B - z_A) \equiv (\vec{u}, \overrightarrow{AB}) \ [2\pi] arg ( z B − z A ) ≡ ( u , A B ) [ 2 π ] . Pour trois points A A A , B B B , C C C deux à deux distincts : ∣ z C − z A z B − z A ∣ = A C A B \left|\frac{z_C - z_A}{z_B - z_A}\right| = \frac{AC}{AB} z B − z A z C − z A = A B A C et arg ( z C − z A z B − z A ) ≡ ( A B → , A C → ) [ 2 π ] \arg\left(\frac{z_C - z_A}{z_B - z_A}\right) \equiv (\overrightarrow{AB}, \overrightarrow{AC}) \ [2\pi] arg ( z B − z A z C − z A ) ≡ ( A B , A C ) [ 2 π ] .
Conséquences directes, avec q = z C − z A z B − z A q = \frac{z_C - z_A}{z_B - z_A} q = z B − z A z C − z A :
A A A , B B B , C C C sont alignés ⟺ q \iff q ⟺ q est réel.( A B ) ⊥ ( A C ) ⟺ q (AB) \perp (AC) \iff q ( A B ) ⊥ ( A C ) ⟺ q est imaginaire pur.Le triangle A B C ABC A B C est isocèle en A A A ⟺ ∣ q ∣ = 1 \iff |q| = 1 ⟺ ∣ q ∣ = 1 . A B C ABC A B C est rectangle isocèle en A A A ⟺ q = i \iff q = i ⟺ q = i ou q = − i q = -i q = − i .A B C ABC A B C est équilatéral ⟺ q = 1 2 + i 3 2 \iff q = \frac{1}{2} + i\frac{\sqrt{3}}{2} ⟺ q = 2 1 + i 2 3 ou q = 1 2 − i 3 2 q = \frac{1}{2} - i\frac{\sqrt{3}}{2} q = 2 1 − i 2 3 (c'est-à-dire q = [ 1 , ± π 3 ] q = [1, \pm\frac{\pi}{3}] q = [ 1 , ± 3 π ] ).Plus généralement, pour A ≠ B A \neq B A = B et C ≠ D C \neq D C = D : ( A B → , C D → ) ≡ arg ( z D − z C z B − z A ) [ 2 π ] (\overrightarrow{AB}, \overrightarrow{CD}) \equiv \arg\left(\frac{z_D - z_C}{z_B - z_A}\right) \ [2\pi] ( A B , C D ) ≡ arg ( z B − z A z D − z C ) [ 2 π ] . Donc ( A B ) ∥ ( C D ) (AB) \parallel (CD) ( A B ) ∥ ( C D ) si et seulement si ce quotient est réel.
Remarque
La condition de cocyclicité de quatre points (le « birapport ») est hors programme PC et SVT : elle est étudiée en Sciences mathématiques. Pour montrer que des points sont sur un même cercle, tu montres qu'ils sont tous à la même distance d'un centre Ω \Omega Ω .
Méthodes Repère le dénominateur c + i d c + id c + i d et son conjugué c − i d c - id c − i d . Multiplie le numérateur et le dénominateur par c − i d c - id c − i d . Le dénominateur devient le réel c 2 + d 2 c^2 + d^2 c 2 + d 2 ; développe le numérateur en remplaçant i 2 i^2 i 2 par − 1 -1 − 1 . Sépare partie réelle et partie imaginaire. Exemple. Écrire z = 3 + i 1 − 2 i z = \frac{3 + i}{1 - 2i} z = 1 − 2 i 3 + i sous forme algébrique.
z = ( 3 + i ) ( 1 + 2 i ) ( 1 − 2 i ) ( 1 + 2 i ) = 3 + 6 i + i + 2 i 2 1 + 4 = 1 + 7 i 5 = 1 5 + 7 5 i z = \frac{(3 + i)(1 + 2i)}{(1 - 2i)(1 + 2i)} = \frac{3 + 6i + i + 2i^2}{1 + 4} = \frac{1 + 7i}{5} = \frac{1}{5} + \frac{7}{5}i z = ( 1 − 2 i ) ( 1 + 2 i ) ( 3 + i ) ( 1 + 2 i ) = 1 + 4 3 + 6 i + i + 2 i 2 = 5 1 + 7 i = 5 1 + 5 7 i Calcule le module r = a 2 + b 2 r = \sqrt{a^2 + b^2} r = a 2 + b 2 . Factorise par r r r : z = r ( a r + i b r ) z = r\left(\frac{a}{r} + i\frac{b}{r}\right) z = r ( r a + i r b ) . Reconnais un angle θ \theta θ tel que cos θ = a r \cos\theta = \frac{a}{r} cos θ = r a et sin θ = b r \sin\theta = \frac{b}{r} sin θ = r b (attention aux signes : ils fixent le quadrant). Conclus : z = [ r , θ ] z = [r, \theta] z = [ r , θ ] . Exemple. Soit z = 3 − 3 i z = \sqrt{3} - 3i z = 3 − 3 i . On a r = 3 + 9 = 12 = 2 3 r = \sqrt{3 + 9} = \sqrt{12} = 2\sqrt{3} r = 3 + 9 = 12 = 2 3 , donc :
z = 2 3 ( 3 2 3 − 3 2 3 i ) = 2 3 ( 1 2 − 3 2 i ) z = 2\sqrt{3}\left(\frac{\sqrt{3}}{2\sqrt{3}} - \frac{3}{2\sqrt{3}}i\right) = 2\sqrt{3}\left(\frac{1}{2} - \frac{\sqrt{3}}{2}i\right) z = 2 3 ( 2 3 3 − 2 3 3 i ) = 2 3 ( 2 1 − 2 3 i ) Le cosinus vaut 1 2 \frac{1}{2} 2 1 et le sinus − 3 2 -\frac{\sqrt{3}}{2} − 2 3 : θ = − π 3 \theta = -\frac{\pi}{3} θ = − 3 π . Donc z = [ 2 3 , − π 3 ] z = \left[2\sqrt{3}, -\frac{\pi}{3}\right] z = [ 2 3 , − 3 π ] .
Méthode 3 : Étudier trois points (alignement, triangle) Calcule q = z C − z A z B − z A q = \frac{z_C - z_A}{z_B - z_A} q = z B − z A z C − z A sous forme algébrique (le point A A A est le sommet étudié). Si q q q est réel : A A A , B B B , C C C alignés. Si q q q est imaginaire pur : triangle rectangle en A A A ; si de plus ∣ q ∣ = 1 |q| = 1 ∣ q ∣ = 1 (q = ± i q = \pm i q = ± i ) : rectangle isocèle en A A A . Si q = 1 2 ± i 3 2 q = \frac{1}{2} \pm i\frac{\sqrt{3}}{2} q = 2 1 ± i 2 3 : triangle équilatéral. Exemple 1. A ( 1 ) A(1) A ( 1 ) , B ( 2 + i ) B(2 + i) B ( 2 + i ) , C ( 3 + 2 i ) C(3 + 2i) C ( 3 + 2 i ) : z C − z A = 2 + 2 i = 2 ( 1 + i ) = 2 ( z B − z A ) z_C - z_A = 2 + 2i = 2(1 + i) = 2(z_B - z_A) z C − z A = 2 + 2 i = 2 ( 1 + i ) = 2 ( z B − z A ) , donc q = 2 q = 2 q = 2 est réel et les points sont alignés.
Exemple 2. A ( i ) A(i) A ( i ) , B ( 2 + 2 i ) B(2 + 2i) B ( 2 + 2 i ) , C ( − 1 + 3 i ) C(-1 + 3i) C ( − 1 + 3 i ) : z B − z A = 2 + i z_B - z_A = 2 + i z B − z A = 2 + i et z C − z A = − 1 + 2 i z_C - z_A = -1 + 2i z C − z A = − 1 + 2 i . Or i ( 2 + i ) = 2 i − 1 i(2 + i) = 2i - 1 i ( 2 + i ) = 2 i − 1 , donc q = i q = i q = i : le triangle A B C ABC A B C est rectangle isocèle en A A A .
Méthode 4 : Déterminer un ensemble de points avec le module Traduis chaque module en distance : ∣ z − z A ∣ = A M |z - z_A| = AM ∣ z − z A ∣ = A M . ∣ z − z A ∣ = r |z - z_A| = r ∣ z − z A ∣ = r (avec r > 0 r > 0 r > 0 ) : M M M décrit le cercle de centre A A A et de rayon r r r .∣ z − z A ∣ = ∣ z − z B ∣ |z - z_A| = |z - z_B| ∣ z − z A ∣ = ∣ z − z B ∣ : A M = B M AM = BM A M = B M , donc M M M décrit la médiatrice de [ A B ] [AB] [ A B ] .Si l'écriture ne se lit pas directement, pose z = x + i y z = x + iy z = x + i y et calcule. Exemple. Ensemble des points M ( z ) M(z) M ( z ) tels que ∣ z − 1 − 2 i ∣ = ∣ z + 3 ∣ |z - 1 - 2i| = |z + 3| ∣ z − 1 − 2 i ∣ = ∣ z + 3∣ . On a ∣ z − ( 1 + 2 i ) ∣ = ∣ z − ( − 3 ) ∣ |z - (1 + 2i)| = |z - (-3)| ∣ z − ( 1 + 2 i ) ∣ = ∣ z − ( − 3 ) ∣ : c'est la médiatrice de [ A B ] [AB] [ A B ] avec A ( 1 + 2 i ) A(1 + 2i) A ( 1 + 2 i ) et B ( − 3 ) B(-3) B ( − 3 ) . Avec z = x + i y z = x + iy z = x + i y :
( x − 1 ) 2 + ( y − 2 ) 2 = ( x + 3 ) 2 + y 2 ⟺ − 8 x − 4 y − 4 = 0 ⟺ 2 x + y + 1 = 0 (x - 1)^2 + (y - 2)^2 = (x + 3)^2 + y^2 \iff -8x - 4y - 4 = 0 \iff 2x + y + 1 = 0 ( x − 1 ) 2 + ( y − 2 ) 2 = ( x + 3 ) 2 + y 2 ⟺ − 8 x − 4 y − 4 = 0 ⟺ 2 x + y + 1 = 0 Contrôle : le milieu de [ A B ] [AB] [ A B ] , d'affixe − 1 + i -1 + i − 1 + i , vérifie bien 2 ( − 1 ) + 1 + 1 = 0 2(-1) + 1 + 1 = 0 2 ( − 1 ) + 1 + 1 = 0 .
Méthode 5 : Montrer qu'un nombre est réel ou imaginaire pur avec le conjugué Calcule Z ‾ \overline{Z} Z en utilisant les propriétés du conjugué. Si tu retrouves Z Z Z : Z Z Z est réel. Si tu trouves − Z -Z − Z : Z Z Z est imaginaire pur. Retiens l'outil clé : si ∣ z ∣ = 1 |z| = 1 ∣ z ∣ = 1 , alors z z ‾ = 1 z\overline{z} = 1 z z = 1 , donc z ‾ = 1 z \overline{z} = \frac{1}{z} z = z 1 . Exemple. Soit z z z tel que ∣ z ∣ = 1 |z| = 1 ∣ z ∣ = 1 et Z = z + 1 z Z = z + \frac{1}{z} Z = z + z 1 . Alors Z ‾ = z ‾ + 1 z ‾ = 1 z + z = Z \overline{Z} = \overline{z} + \frac{1}{\overline{z}} = \frac{1}{z} + z = Z Z = z + z 1 = z 1 + z = Z , donc Z Z Z est réel.
Exercices corrigés Exercice 1 : Calculs sous forme algébrique Facile On pose z 1 = 2 − 3 i z_1 = 2 - 3i z 1 = 2 − 3 i et z 2 = 1 + 4 i z_2 = 1 + 4i z 2 = 1 + 4 i . Écris sous forme algébrique : z 1 + z 2 z_1 + z_2 z 1 + z 2 , z 1 z 2 z_1 z_2 z 1 z 2 , z 1 2 z_1^2 z 1 2 et z 1 z 2 \frac{z_1}{z_2} z 2 z 1 .
Voir le corrigéSomme : z 1 + z 2 = ( 2 + 1 ) + i ( − 3 + 4 ) = 3 + i z_1 + z_2 = (2 + 1) + i(-3 + 4) = 3 + i z 1 + z 2 = ( 2 + 1 ) + i ( − 3 + 4 ) = 3 + i .
Produit : on développe en remplaçant i 2 i^2 i 2 par − 1 -1 − 1 .
z 1 z 2 = ( 2 − 3 i ) ( 1 + 4 i ) = 2 + 8 i − 3 i − 12 i 2 = 2 + 5 i + 12 = 14 + 5 i z_1 z_2 = (2 - 3i)(1 + 4i) = 2 + 8i - 3i - 12i^2 = 2 + 5i + 12 = 14 + 5i z 1 z 2 = ( 2 − 3 i ) ( 1 + 4 i ) = 2 + 8 i − 3 i − 12 i 2 = 2 + 5 i + 12 = 14 + 5 i Carré : identité ( a − b ) 2 (a - b)^2 ( a − b ) 2 .
z 1 2 = 4 − 12 i + 9 i 2 = 4 − 12 i − 9 = − 5 − 12 i z_1^2 = 4 - 12i + 9i^2 = 4 - 12i - 9 = -5 - 12i z 1 2 = 4 − 12 i + 9 i 2 = 4 − 12 i − 9 = − 5 − 12 i Quotient : on multiplie par le conjugué 1 − 4 i 1 - 4i 1 − 4 i du dénominateur.
z 1 z 2 = ( 2 − 3 i ) ( 1 − 4 i ) ( 1 + 4 i ) ( 1 − 4 i ) = 2 − 8 i − 3 i + 12 i 2 1 + 16 = − 10 − 11 i 17 \frac{z_1}{z_2} = \frac{(2 - 3i)(1 - 4i)}{(1 + 4i)(1 - 4i)} = \frac{2 - 8i - 3i + 12i^2}{1 + 16} = \frac{-10 - 11i}{17} z 2 z 1 = ( 1 + 4 i ) ( 1 − 4 i ) ( 2 − 3 i ) ( 1 − 4 i ) = 1 + 16 2 − 8 i − 3 i + 12 i 2 = 17 − 10 − 11 i Donc z 1 z 2 = − 10 17 − 11 17 i \frac{z_1}{z_2} = -\frac{10}{17} - \frac{11}{17}i z 2 z 1 = − 17 10 − 17 11 i .
Bloqué ? Demande à l'IAExercice 2 : Conjugué, module et équation Facile Soit z = ( 1 + 2 i ) ( 3 − i ) z = (1 + 2i)(3 - i) z = ( 1 + 2 i ) ( 3 − i ) . Écris z z z sous forme algébrique, puis donne z ‾ \overline{z} z et ∣ z ∣ |z| ∣ z ∣ . Résous dans C \mathbb{C} C l'équation 2 z + i z ‾ = 5 + 4 i 2z + i\overline{z} = 5 + 4i 2 z + i z = 5 + 4 i . Voir le corrigé1. z = 3 − i + 6 i − 2 i 2 = 3 + 5 i + 2 = 5 + 5 i z = 3 - i + 6i - 2i^2 = 3 + 5i + 2 = 5 + 5i z = 3 − i + 6 i − 2 i 2 = 3 + 5 i + 2 = 5 + 5 i . Donc z ‾ = 5 − 5 i \overline{z} = 5 - 5i z = 5 − 5 i et ∣ z ∣ = 25 + 25 = 5 2 |z| = \sqrt{25 + 25} = 5\sqrt{2} ∣ z ∣ = 25 + 25 = 5 2 .
Vérification par les propriétés du module : ∣ z ∣ = ∣ 1 + 2 i ∣ × ∣ 3 − i ∣ = 5 × 10 = 50 = 5 2 |z| = |1 + 2i| \times |3 - i| = \sqrt{5} \times \sqrt{10} = \sqrt{50} = 5\sqrt{2} ∣ z ∣ = ∣1 + 2 i ∣ × ∣3 − i ∣ = 5 × 10 = 50 = 5 2 .
2. L'équation contient z z z et z ‾ \overline{z} z : on pose z = x + i y z = x + iy z = x + i y avec x x x et y y y réels, donc z ‾ = x − i y \overline{z} = x - iy z = x − i y .
2 ( x + i y ) + i ( x − i y ) = 2 x + 2 i y + i x + y = ( 2 x + y ) + i ( x + 2 y ) 2(x + iy) + i(x - iy) = 2x + 2iy + ix + y = (2x + y) + i(x + 2y) 2 ( x + i y ) + i ( x − i y ) = 2 x + 2 i y + i x + y = ( 2 x + y ) + i ( x + 2 y ) Par identification des parties réelles et imaginaires :
{ 2 x + y = 5 x + 2 y = 4 \begin{cases} 2x + y = 5 \\ x + 2y = 4 \end{cases} { 2 x + y = 5 x + 2 y = 4 En soustrayant deux fois la seconde ligne à la première : − 3 y = − 3 -3y = -3 − 3 y = − 3 , donc y = 1 y = 1 y = 1 puis x = 2 x = 2 x = 2 . La solution est z = 2 + i z = 2 + i z = 2 + i .
Vérification : 2 ( 2 + i ) + i ( 2 − i ) = 4 + 2 i + 2 i + 1 = 5 + 4 i 2(2 + i) + i(2 - i) = 4 + 2i + 2i + 1 = 5 + 4i 2 ( 2 + i ) + i ( 2 − i ) = 4 + 2 i + 2 i + 1 = 5 + 4 i .
Bloqué ? Demande à l'IAExercice 3 : Formes trigonométriques et calculs Facile On donne z 1 = − 2 + 2 i z_1 = -2 + 2i z 1 = − 2 + 2 i , z 2 = − 3 i z_2 = -3i z 2 = − 3 i , z 3 = − 5 z_3 = -5 z 3 = − 5 et z 4 = 1 + i 3 z_4 = 1 + i\sqrt{3} z 4 = 1 + i 3 .
Écris chacun de ces nombres sous forme trigonométrique. En déduis la forme trigonométrique de z 1 z 4 z_1 z_4 z 1 z 4 et de z 1 z 4 \frac{z_1}{z_4} z 4 z 1 . Calcule z 4 6 z_4^6 z 4 6 . Voir le corrigé1.
∣ z 1 ∣ = 4 + 4 = 2 2 |z_1| = \sqrt{4 + 4} = 2\sqrt{2} ∣ z 1 ∣ = 4 + 4 = 2 2 et z 1 = 2 2 ( − 2 2 + i 2 2 ) z_1 = 2\sqrt{2}\left(-\frac{\sqrt{2}}{2} + i\frac{\sqrt{2}}{2}\right) z 1 = 2 2 ( − 2 2 + i 2 2 ) : cosinus négatif, sinus positif, donc θ = 3 π 4 \theta = \frac{3\pi}{4} θ = 4 3 π . Ainsi z 1 = [ 2 2 , 3 π 4 ] z_1 = \left[2\sqrt{2}, \frac{3\pi}{4}\right] z 1 = [ 2 2 , 4 3 π ] .z 2 = − 3 i = 3 × ( − i ) z_2 = -3i = 3 \times (-i) z 2 = − 3 i = 3 × ( − i ) , donc z 2 = [ 3 , − π 2 ] z_2 = \left[3, -\frac{\pi}{2}\right] z 2 = [ 3 , − 2 π ] .z 3 = − 5 = 5 × ( − 1 ) z_3 = -5 = 5 \times (-1) z 3 = − 5 = 5 × ( − 1 ) , donc z 3 = [ 5 , π ] z_3 = [5, \pi] z 3 = [ 5 , π ] .∣ z 4 ∣ = 1 + 3 = 2 |z_4| = \sqrt{1 + 3} = 2 ∣ z 4 ∣ = 1 + 3 = 2 et z 4 = 2 ( 1 2 + i 3 2 ) z_4 = 2\left(\frac{1}{2} + i\frac{\sqrt{3}}{2}\right) z 4 = 2 ( 2 1 + i 2 3 ) , donc z 4 = [ 2 , π 3 ] z_4 = \left[2, \frac{\pi}{3}\right] z 4 = [ 2 , 3 π ] .2. On multiplie les modules et on ajoute les arguments :
z 1 z 4 = [ 2 2 × 2 , 3 π 4 + π 3 ] = [ 4 2 , 13 π 12 ] = [ 4 2 , − 11 π 12 ] z_1 z_4 = \left[2\sqrt{2} \times 2, \frac{3\pi}{4} + \frac{\pi}{3}\right] = \left[4\sqrt{2}, \frac{13\pi}{12}\right] = \left[4\sqrt{2}, -\frac{11\pi}{12}\right] z 1 z 4 = [ 2 2 × 2 , 4 3 π + 3 π ] = [ 4 2 , 12 13 π ] = [ 4 2 , − 12 11 π ] car 13 π 12 − 2 π = − 11 π 12 \frac{13\pi}{12} - 2\pi = -\frac{11\pi}{12} 12 13 π − 2 π = − 12 11 π . Pour le quotient, on divise les modules et on soustrait les arguments :
z 1 z 4 = [ 2 2 2 , 3 π 4 − π 3 ] = [ 2 , 5 π 12 ] \frac{z_1}{z_4} = \left[\frac{2\sqrt{2}}{2}, \frac{3\pi}{4} - \frac{\pi}{3}\right] = \left[\sqrt{2}, \frac{5\pi}{12}\right] z 4 z 1 = [ 2 2 2 , 4 3 π − 3 π ] = [ 2 , 12 5 π ] 3. z 4 6 = [ 2 6 , 6 × π 3 ] = [ 64 , 2 π ] = [ 64 , 0 ] z_4^6 = \left[2^6, 6 \times \frac{\pi}{3}\right] = [64, 2\pi] = [64, 0] z 4 6 = [ 2 6 , 6 × 3 π ] = [ 64 , 2 π ] = [ 64 , 0 ] , donc z 4 6 = 64 z_4^6 = 64 z 4 6 = 64 .
Remarque : calculer z 4 6 z_4^6 z 4 6 sous forme algébrique serait long ; la forme trigonométrique est l'outil adapté aux puissances.
Bloqué ? Demande à l'IAExercice 4 : Alignement et rectangle Moyen Dans le plan complexe, on considère les points A ( 1 + i ) A(1 + i) A ( 1 + i ) , B ( 3 + 2 i ) B(3 + 2i) B ( 3 + 2 i ) , C ( − 1 + 5 i ) C(-1 + 5i) C ( − 1 + 5 i ) et E ( 7 + 4 i ) E(7 + 4i) E ( 7 + 4 i ) .
Montre que les points A A A , B B B et E E E sont alignés. Calcule z C − z A z B − z A \frac{z_C - z_A}{z_B - z_A} z B − z A z C − z A et déduis-en la nature du triangle A B C ABC A B C . Détermine l'affixe du point D D D tel que A B D C ABDC A B D C soit un rectangle, puis l'aire de ce rectangle. Voir le corrigé1. z B − z A = 2 + i z_B - z_A = 2 + i z B − z A = 2 + i et z E − z A = 6 + 3 i = 3 ( 2 + i ) z_E - z_A = 6 + 3i = 3(2 + i) z E − z A = 6 + 3 i = 3 ( 2 + i ) . Donc z E − z A z B − z A = 3 \frac{z_E - z_A}{z_B - z_A} = 3 z B − z A z E − z A = 3 est un réel : A A A , B B B , E E E sont alignés (et même A E → = 3 A B → \overrightarrow{AE} = 3\overrightarrow{AB} A E = 3 A B ).
2. z C − z A = − 2 + 4 i z_C - z_A = -2 + 4i z C − z A = − 2 + 4 i , donc :
z C − z A z B − z A = − 2 + 4 i 2 + i = ( − 2 + 4 i ) ( 2 − i ) ( 2 + i ) ( 2 − i ) = − 4 + 2 i + 8 i − 4 i 2 5 = 10 i 5 = 2 i \frac{z_C - z_A}{z_B - z_A} = \frac{-2 + 4i}{2 + i} = \frac{(-2 + 4i)(2 - i)}{(2 + i)(2 - i)} = \frac{-4 + 2i + 8i - 4i^2}{5} = \frac{10i}{5} = 2i z B − z A z C − z A = 2 + i − 2 + 4 i = ( 2 + i ) ( 2 − i ) ( − 2 + 4 i ) ( 2 − i ) = 5 − 4 + 2 i + 8 i − 4 i 2 = 5 10 i = 2 i Ce quotient est imaginaire pur : ( A B ) ⊥ ( A C ) (AB) \perp (AC) ( A B ) ⊥ ( A C ) , le triangle A B C ABC A B C est rectangle en A A A . Son module vaut 2 2 2 , donc A C = 2 A B AC = 2AB A C = 2 A B : le triangle n'est pas isocèle.
3. A B D C ABDC A B D C est un rectangle si et seulement si c'est un parallélogramme (il a déjà un angle droit en A A A ). On veut A B → = C D → \overrightarrow{AB} = \overrightarrow{CD} A B = C D , soit z B − z A = z D − z C z_B - z_A = z_D - z_C z B − z A = z D − z C :
z D = z B + z C − z A = ( 3 + 2 i ) + ( − 1 + 5 i ) − ( 1 + i ) = 1 + 6 i z_D = z_B + z_C - z_A = (3 + 2i) + (-1 + 5i) - (1 + i) = 1 + 6i z D = z B + z C − z A = ( 3 + 2 i ) + ( − 1 + 5 i ) − ( 1 + i ) = 1 + 6 i Les côtés mesurent A B = ∣ 2 + i ∣ = 5 AB = |2 + i| = \sqrt{5} A B = ∣2 + i ∣ = 5 et A C = ∣ − 2 + 4 i ∣ = 20 = 2 5 AC = |-2 + 4i| = \sqrt{20} = 2\sqrt{5} A C = ∣ − 2 + 4 i ∣ = 20 = 2 5 . L'aire vaut 5 × 2 5 = 10 \sqrt{5} \times 2\sqrt{5} = 10 5 × 2 5 = 10 unités d'aire.
Bloqué ? Demande à l'IAExercice 5 : Ensembles de points Moyen Détermine l'ensemble des points M M M d'affixe z z z dans chacun des cas suivants.
∣ z − 2 + i ∣ = 3 |z - 2 + i| = 3 ∣ z − 2 + i ∣ = 3 .∣ z + 1 ∣ = ∣ z − 3 i ∣ |z + 1| = |z - 3i| ∣ z + 1∣ = ∣ z − 3 i ∣ .Z = z − i z − 2 Z = \frac{z - i}{z - 2} Z = z − 2 z − i est un nombre réel (avec z ≠ 2 z \neq 2 z = 2 ). Voir le corrigé1. ∣ z − 2 + i ∣ = ∣ z − ( 2 − i ) ∣ |z - 2 + i| = |z - (2 - i)| ∣ z − 2 + i ∣ = ∣ z − ( 2 − i ) ∣ . Si Ω \Omega Ω est le point d'affixe 2 − i 2 - i 2 − i , la condition s'écrit Ω M = 3 \Omega M = 3 Ω M = 3 : l'ensemble est le cercle de centre Ω ( 2 − i ) \Omega(2 - i) Ω ( 2 − i ) et de rayon 3 3 3 .
2. ∣ z − ( − 1 ) ∣ = ∣ z − 3 i ∣ |z - (-1)| = |z - 3i| ∣ z − ( − 1 ) ∣ = ∣ z − 3 i ∣ . Avec A ( − 1 ) A(-1) A ( − 1 ) et B ( 3 i ) B(3i) B ( 3 i ) , la condition s'écrit A M = B M AM = BM A M = B M : l'ensemble est la médiatrice de [ A B ] [AB] [ A B ] . Son équation, avec z = x + i y z = x + iy z = x + i y :
( x + 1 ) 2 + y 2 = x 2 + ( y − 3 ) 2 ⟺ 2 x + 1 = − 6 y + 9 ⟺ x + 3 y − 4 = 0 (x + 1)^2 + y^2 = x^2 + (y - 3)^2 \iff 2x + 1 = -6y + 9 \iff x + 3y - 4 = 0 ( x + 1 ) 2 + y 2 = x 2 + ( y − 3 ) 2 ⟺ 2 x + 1 = − 6 y + 9 ⟺ x + 3 y − 4 = 0 3. On pose z = x + i y z = x + iy z = x + i y avec ( x ; y ) ≠ ( 2 ; 0 ) (x ; y) \neq (2 ; 0) ( x ; y ) = ( 2 ; 0 ) . On multiplie par le conjugué du dénominateur :
Z = ( x + i ( y − 1 ) ) ( ( x − 2 ) − i y ) ( x − 2 ) 2 + y 2 Z = \frac{\left(x + i(y - 1)\right)\left((x - 2) - iy\right)}{(x - 2)^2 + y^2} Z = ( x − 2 ) 2 + y 2 ( x + i ( y − 1 ) ) ( ( x − 2 ) − i y ) La partie imaginaire du numérateur vaut ( y − 1 ) ( x − 2 ) − x y = − x − 2 y + 2 (y - 1)(x - 2) - xy = -x - 2y + 2 ( y − 1 ) ( x − 2 ) − x y = − x − 2 y + 2 . Donc :
Z ∈ R ⟺ − x − 2 y + 2 = 0 ⟺ x + 2 y − 2 = 0 Z \in \mathbb{R} \iff -x - 2y + 2 = 0 \iff x + 2y - 2 = 0 Z ∈ R ⟺ − x − 2 y + 2 = 0 ⟺ x + 2 y − 2 = 0 C'est une droite qui passe par A ( i ) A(i) A ( i ) et B ( 2 ) B(2) B ( 2 ) : on vérifie 0 + 2 − 2 = 0 0 + 2 - 2 = 0 0 + 2 − 2 = 0 et 2 + 0 − 2 = 0 2 + 0 - 2 = 0 2 + 0 − 2 = 0 . Comme z ≠ 2 z \neq 2 z = 2 , l'ensemble est la droite ( A B ) (AB) ( A B ) privée du point B B B .
Lecture géométrique : Z = z A − z M z B − z M Z = \frac{z_A - z_M}{z_B - z_M} Z = z B − z M z A − z M est réel si et seulement si M = A M = A M = A ou M M M , A A A , B B B sont alignés.
Bloqué ? Demande à l'IAExercice 6 : Un quotient imaginaire pur Difficile Soit z z z un nombre complexe tel que ∣ z ∣ = 1 |z| = 1 ∣ z ∣ = 1 et z ≠ 1 z \neq 1 z = 1 . On pose Z = 1 + z 1 − z Z = \frac{1 + z}{1 - z} Z = 1 − z 1 + z .
Montre que z ‾ = 1 z \overline{z} = \frac{1}{z} z = z 1 . Montre que Z Z Z est imaginaire pur. Vérifie ce résultat pour z = 3 5 + 4 5 i z = \frac{3}{5} + \frac{4}{5}i z = 5 3 + 5 4 i . Voir le corrigé1. z z ‾ = ∣ z ∣ 2 = 1 z\overline{z} = |z|^2 = 1 z z = ∣ z ∣ 2 = 1 et z ≠ 0 z \neq 0 z = 0 , donc z ‾ = 1 z \overline{z} = \frac{1}{z} z = z 1 .
2. On utilise les propriétés du conjugué, puis z ‾ = 1 z \overline{z} = \frac{1}{z} z = z 1 :
Z ‾ = 1 + z ‾ 1 − z ‾ = 1 + 1 z 1 − 1 z = z + 1 z − 1 = − 1 + z 1 − z = − Z \overline{Z} = \frac{1 + \overline{z}}{1 - \overline{z}} = \frac{1 + \frac{1}{z}}{1 - \frac{1}{z}} = \frac{z + 1}{z - 1} = -\frac{1 + z}{1 - z} = -Z Z = 1 − z 1 + z = 1 − z 1 1 + z 1 = z − 1 z + 1 = − 1 − z 1 + z = − Z (on a multiplié le numérateur et le dénominateur par z ≠ 0 z \neq 0 z = 0 ). Comme Z ‾ = − Z \overline{Z} = -Z Z = − Z , le nombre Z Z Z est imaginaire pur.
3. ∣ z ∣ = 9 25 + 16 25 = 1 |z| = \sqrt{\frac{9}{25} + \frac{16}{25}} = 1 ∣ z ∣ = 25 9 + 25 16 = 1 et z ≠ 1 z \neq 1 z = 1 . On calcule :
Z = 8 5 + 4 5 i 2 5 − 4 5 i = 8 + 4 i 2 − 4 i = ( 8 + 4 i ) ( 2 + 4 i ) 4 + 16 = 16 + 32 i + 8 i − 16 20 = 40 i 20 = 2 i Z = \frac{\frac{8}{5} + \frac{4}{5}i}{\frac{2}{5} - \frac{4}{5}i} = \frac{8 + 4i}{2 - 4i} = \frac{(8 + 4i)(2 + 4i)}{4 + 16} = \frac{16 + 32i + 8i - 16}{20} = \frac{40i}{20} = 2i Z = 5 2 − 5 4 i 5 8 + 5 4 i = 2 − 4 i 8 + 4 i = 4 + 16 ( 8 + 4 i ) ( 2 + 4 i ) = 20 16 + 32 i + 8 i − 16 = 20 40 i = 2 i On trouve bien un imaginaire pur.
Bloqué ? Demande à l'IAExercice 7 : Triangle, carré et angle π/12 Type Bac Le plan complexe est rapporté à un repère orthonormé direct ( O , u ⃗ , v ⃗ ) (O, \vec{u}, \vec{v}) ( O , u , v ) . On considère les points A A A et B B B d'affixes a = 1 + i 3 a = 1 + i\sqrt{3} a = 1 + i 3 et b = 3 − i b = \sqrt{3} - i b = 3 − i .
1. a) Écris a a a et b b b sous forme trigonométrique.
1. b) Montre que a = i b a = ib a = ib , puis déduis-en la nature du triangle O A B OAB O A B .
2. Soit C C C le point d'affixe c = a + b c = a + b c = a + b .
2. a) Montre que O A C B OACB O A C B est un carré.
2. b) Écris c c c sous forme algébrique.
2. c) Montre que c = ( 1 + i ) b c = (1 + i)b c = ( 1 + i ) b et déduis-en la forme trigonométrique de c c c .
2. d) Déduis-en les valeurs exactes de cos π 12 \cos\frac{\pi}{12} cos 12 π et sin π 12 \sin\frac{\pi}{12} sin 12 π .
3. Montre que c 12 c^{12} c 12 est un réel négatif et calcule-le.
4. Détermine l'ensemble des points M ( z ) M(z) M ( z ) tels que ∣ z − a ∣ = ∣ z − b ∣ |z - a| = |z - b| ∣ z − a ∣ = ∣ z − b ∣ .
Voir le corrigé1. a) ∣ a ∣ = 1 + 3 = 2 |a| = \sqrt{1 + 3} = 2 ∣ a ∣ = 1 + 3 = 2 et a = 2 ( 1 2 + i 3 2 ) a = 2\left(\frac{1}{2} + i\frac{\sqrt{3}}{2}\right) a = 2 ( 2 1 + i 2 3 ) , donc a = [ 2 , π 3 ] a = \left[2, \frac{\pi}{3}\right] a = [ 2 , 3 π ] .
∣ b ∣ = 3 + 1 = 2 |b| = \sqrt{3 + 1} = 2 ∣ b ∣ = 3 + 1 = 2 et b = 2 ( 3 2 − 1 2 i ) b = 2\left(\frac{\sqrt{3}}{2} - \frac{1}{2}i\right) b = 2 ( 2 3 − 2 1 i ) , donc b = [ 2 , − π 6 ] b = \left[2, -\frac{\pi}{6}\right] b = [ 2 , − 6 π ] .
1. b) i b = i 3 − i 2 = 1 + i 3 = a ib = i\sqrt{3} - i^2 = 1 + i\sqrt{3} = a ib = i 3 − i 2 = 1 + i 3 = a . Donc a b = i \frac{a}{b} = i b a = i , d'où :
∣ a − 0 b − 0 ∣ = O A O B = 1 et ( O B → , O A → ) ≡ arg ( i ) ≡ π 2 [ 2 π ] \left|\frac{a - 0}{b - 0}\right| = \frac{OA}{OB} = 1 \quad \text{et} \quad (\overrightarrow{OB}, \overrightarrow{OA}) \equiv \arg(i) \equiv \frac{\pi}{2} \ [2\pi] b − 0 a − 0 = O B O A = 1 et ( O B , O A ) ≡ arg ( i ) ≡ 2 π [ 2 π ] Le triangle O A B OAB O A B est rectangle isocèle en O O O . (Contrôle avec les formes trigonométriques : a b = [ 1 , π 3 + π 6 ] = [ 1 , π 2 ] = i \frac{a}{b} = \left[1, \frac{\pi}{3} + \frac{\pi}{6}\right] = \left[1, \frac{\pi}{2}\right] = i b a = [ 1 , 3 π + 6 π ] = [ 1 , 2 π ] = i .)
2. a) c − b = a c - b = a c − b = a , donc B C → = O A → \overrightarrow{BC} = \overrightarrow{OA} B C = O A : O A C B OACB O A C B est un parallélogramme. Il a un angle droit en O O O et deux côtés consécutifs égaux (O A = O B = 2 OA = OB = 2 O A = O B = 2 ) : c'est un carré.
2. b) c = ( 1 + i 3 ) + ( 3 − i ) = ( 1 + 3 ) + i ( 3 − 1 ) c = (1 + i\sqrt{3}) + (\sqrt{3} - i) = (1 + \sqrt{3}) + i(\sqrt{3} - 1) c = ( 1 + i 3 ) + ( 3 − i ) = ( 1 + 3 ) + i ( 3 − 1 ) .
2. c) c = a + b = i b + b = ( 1 + i ) b c = a + b = ib + b = (1 + i)b c = a + b = ib + b = ( 1 + i ) b . Comme 1 + i = [ 2 , π 4 ] 1 + i = \left[\sqrt{2}, \frac{\pi}{4}\right] 1 + i = [ 2 , 4 π ] :
c = [ 2 × 2 , π 4 − π 6 ] = [ 2 2 , π 12 ] c = \left[\sqrt{2} \times 2, \frac{\pi}{4} - \frac{\pi}{6}\right] = \left[2\sqrt{2}, \frac{\pi}{12}\right] c = [ 2 × 2 , 4 π − 6 π ] = [ 2 2 , 12 π ] Contrôle : O C OC O C est la diagonale d'un carré de côté 2 2 2 , donc O C = 2 2 OC = 2\sqrt{2} O C = 2 2 .
2. d) On identifie les deux écritures de c c c : 2 2 cos π 12 = 1 + 3 2\sqrt{2}\cos\frac{\pi}{12} = 1 + \sqrt{3} 2 2 cos 12 π = 1 + 3 et 2 2 sin π 12 = 3 − 1 2\sqrt{2}\sin\frac{\pi}{12} = \sqrt{3} - 1 2 2 sin 12 π = 3 − 1 . Donc :
cos π 12 = 1 + 3 2 2 = 6 + 2 4 et sin π 12 = 3 − 1 2 2 = 6 − 2 4 \cos\frac{\pi}{12} = \frac{1 + \sqrt{3}}{2\sqrt{2}} = \frac{\sqrt{6} + \sqrt{2}}{4} \quad \text{et} \quad \sin\frac{\pi}{12} = \frac{\sqrt{3} - 1}{2\sqrt{2}} = \frac{\sqrt{6} - \sqrt{2}}{4} cos 12 π = 2 2 1 + 3 = 4 6 + 2 et sin 12 π = 2 2 3 − 1 = 4 6 − 2 (valeurs approchées : 0,966 0{,}966 0 , 966 et 0,259 0{,}259 0 , 259 ).
3. c 12 = [ ( 2 2 ) 12 , 12 × π 12 ] = [ ( 2 2 ) 12 , π ] c^{12} = \left[(2\sqrt{2})^{12}, 12 \times \frac{\pi}{12}\right] = \left[(2\sqrt{2})^{12}, \pi\right] c 12 = [ ( 2 2 ) 12 , 12 × 12 π ] = [ ( 2 2 ) 12 , π ] . Un argument égal à π \pi π signifie que c 12 c^{12} c 12 est un réel strictement négatif. Comme ( 2 2 ) 2 = 8 (2\sqrt{2})^2 = 8 ( 2 2 ) 2 = 8 , on a ( 2 2 ) 12 = 8 6 = 262144 (2\sqrt{2})^{12} = 8^6 = 262144 ( 2 2 ) 12 = 8 6 = 262144 , donc c 12 = − 262144 c^{12} = -262144 c 12 = − 262144 .
4. ∣ z − a ∣ = ∣ z − b ∣ ⟺ A M = B M |z - a| = |z - b| \iff AM = BM ∣ z − a ∣ = ∣ z − b ∣ ⟺ A M = B M : l'ensemble est la médiatrice de [ A B ] [AB] [ A B ] . Or O A = O B OA = OB O A = O B et, dans le carré, C A = C B CA = CB C A = C B : les points O O O et C C C (distincts) sont sur cette médiatrice. L'ensemble cherché est donc la droite ( O C ) (OC) ( O C ) .
Bloqué ? Demande à l'IAExercice 8 : Ensembles de points et triangles rectangles Type Bac Le plan complexe est rapporté à un repère orthonormé direct ( O , u ⃗ , v ⃗ ) (O, \vec{u}, \vec{v}) ( O , u , v ) . On considère les points A ( 2 i ) A(2i) A ( 2 i ) et B ( 2 ) B(2) B ( 2 ) . Pour tout z ≠ 2 z \neq 2 z = 2 , on pose Z = z − 2 i z − 2 Z = \frac{z - 2i}{z - 2} Z = z − 2 z − 2 i et on note M M M le point d'affixe z z z .
1. Calcule Z Z Z lorsque M = O M = O M = O , puis interprète géométriquement le résultat.
2. On pose z = x + i y z = x + iy z = x + i y avec x x x et y y y réels. Montre que R e ( Z ) = x 2 + y 2 − 2 x − 2 y ( x − 2 ) 2 + y 2 \mathrm{Re}(Z) = \frac{x^2 + y^2 - 2x - 2y}{(x - 2)^2 + y^2} Re ( Z ) = ( x − 2 ) 2 + y 2 x 2 + y 2 − 2 x − 2 y et I m ( Z ) = 4 − 2 x − 2 y ( x − 2 ) 2 + y 2 \mathrm{Im}(Z) = \frac{4 - 2x - 2y}{(x - 2)^2 + y^2} Im ( Z ) = ( x − 2 ) 2 + y 2 4 − 2 x − 2 y .
3. a) Détermine l'ensemble ( E ) (E) ( E ) des points M M M tels que Z Z Z soit réel.
3. b) Détermine l'ensemble ( F ) (F) ( F ) des points M M M tels que Z Z Z soit imaginaire pur.
3. c) Détermine l'ensemble ( G ) (G) ( G ) des points M M M tels que ∣ Z ∣ = 1 |Z| = 1 ∣ Z ∣ = 1 .
4. Détermine les points communs à ( F ) (F) ( F ) et ( G ) (G) ( G ) , puis la nature du triangle M A B MAB M A B pour chacun d'eux.
Voir le corrigé1. Pour z = 0 z = 0 z = 0 : Z = − 2 i − 2 = i Z = \frac{-2i}{-2} = i Z = − 2 − 2 i = i . Comme Z = z A − z M z B − z M Z = \frac{z_A - z_M}{z_B - z_M} Z = z B − z M z A − z M , on a ∣ Z ∣ = M A M B |Z| = \frac{MA}{MB} ∣ Z ∣ = M B M A et arg ( Z ) ≡ ( M B → , M A → ) [ 2 π ] \arg(Z) \equiv (\overrightarrow{MB}, \overrightarrow{MA}) \ [2\pi] arg ( Z ) ≡ ( M B , M A ) [ 2 π ] . Ici ∣ i ∣ = 1 |i| = 1 ∣ i ∣ = 1 et arg ( i ) ≡ π 2 \arg(i) \equiv \frac{\pi}{2} arg ( i ) ≡ 2 π : O A = O B OA = OB O A = O B et ( O B → , O A → ) ≡ π 2 [ 2 π ] (\overrightarrow{OB}, \overrightarrow{OA}) \equiv \frac{\pi}{2} \ [2\pi] ( O B , O A ) ≡ 2 π [ 2 π ] . Le triangle O A B OAB O A B est rectangle isocèle en O O O .
2. Z = x + i ( y − 2 ) ( x − 2 ) + i y Z = \frac{x + i(y - 2)}{(x - 2) + iy} Z = ( x − 2 ) + i y x + i ( y − 2 ) . On multiplie par le conjugué ( x − 2 ) − i y (x - 2) - iy ( x − 2 ) − i y du dénominateur. Le numérateur devient :
( x + i ( y − 2 ) ) ( ( x − 2 ) − i y ) = x ( x − 2 ) + y ( y − 2 ) + i [ ( y − 2 ) ( x − 2 ) − x y ] \left(x + i(y - 2)\right)\left((x - 2) - iy\right) = x(x - 2) + y(y - 2) + i\left[(y - 2)(x - 2) - xy\right] ( x + i ( y − 2 ) ) ( ( x − 2 ) − i y ) = x ( x − 2 ) + y ( y − 2 ) + i [ ( y − 2 ) ( x − 2 ) − x y ] Or x ( x − 2 ) + y ( y − 2 ) = x 2 + y 2 − 2 x − 2 y x(x - 2) + y(y - 2) = x^2 + y^2 - 2x - 2y x ( x − 2 ) + y ( y − 2 ) = x 2 + y 2 − 2 x − 2 y et ( y − 2 ) ( x − 2 ) − x y = 4 − 2 x − 2 y (y - 2)(x - 2) - xy = 4 - 2x - 2y ( y − 2 ) ( x − 2 ) − x y = 4 − 2 x − 2 y . Le dénominateur vaut ( x − 2 ) 2 + y 2 (x - 2)^2 + y^2 ( x − 2 ) 2 + y 2 , ce qui donne les formules demandées.
3. a) Z Z Z réel ⟺ I m ( Z ) = 0 ⟺ 4 − 2 x − 2 y = 0 ⟺ x + y − 2 = 0 \iff \mathrm{Im}(Z) = 0 \iff 4 - 2x - 2y = 0 \iff x + y - 2 = 0 ⟺ Im ( Z ) = 0 ⟺ 4 − 2 x − 2 y = 0 ⟺ x + y − 2 = 0 . Cette droite passe par A ( 0 ; 2 ) A(0 ; 2) A ( 0 ; 2 ) et B ( 2 ; 0 ) B(2 ; 0) B ( 2 ; 0 ) . Comme z ≠ 2 z \neq 2 z = 2 : ( E ) (E) ( E ) est la droite ( A B ) (AB) ( A B ) privée de B B B .
3. b) Z Z Z imaginaire pur ⟺ R e ( Z ) = 0 ⟺ x 2 + y 2 − 2 x − 2 y = 0 \iff \mathrm{Re}(Z) = 0 \iff x^2 + y^2 - 2x - 2y = 0 ⟺ Re ( Z ) = 0 ⟺ x 2 + y 2 − 2 x − 2 y = 0 . On complète les carrés :
( x − 1 ) 2 + ( y − 1 ) 2 = 2 (x - 1)^2 + (y - 1)^2 = 2 ( x − 1 ) 2 + ( y − 1 ) 2 = 2 C'est le cercle de centre Ω ( 1 + i ) \Omega(1 + i) Ω ( 1 + i ) et de rayon 2 \sqrt{2} 2 . Le point B B B est sur ce cercle mais doit être exclu : ( F ) (F) ( F ) est le cercle de centre Ω ( 1 + i ) \Omega(1 + i) Ω ( 1 + i ) et de rayon 2 \sqrt{2} 2 privé de B B B . On remarque que Ω \Omega Ω est le milieu de [ A B ] [AB] [ A B ] : c'est le cercle de diamètre [ A B ] [AB] [ A B ] , ce qui est cohérent avec l'angle droit en M M M .
3. c) ∣ Z ∣ = 1 ⟺ ∣ z − 2 i ∣ = ∣ z − 2 ∣ ⟺ M A = M B |Z| = 1 \iff |z - 2i| = |z - 2| \iff MA = MB ∣ Z ∣ = 1 ⟺ ∣ z − 2 i ∣ = ∣ z − 2∣ ⟺ M A = M B : ( G ) (G) ( G ) est la médiatrice de [ A B ] [AB] [ A B ] , c'est-à-dire la droite d'équation y = x y = x y = x (elle ne contient pas B B B ).
4. On résout le système y = x y = x y = x et x 2 + y 2 − 2 x − 2 y = 0 x^2 + y^2 - 2x - 2y = 0 x 2 + y 2 − 2 x − 2 y = 0 : 2 x 2 − 4 x = 0 2x^2 - 4x = 0 2 x 2 − 4 x = 0 , soit 2 x ( x − 2 ) = 0 2x(x - 2) = 0 2 x ( x − 2 ) = 0 . On obtient O ( 0 ) O(0) O ( 0 ) et P ( 2 + 2 i ) P(2 + 2i) P ( 2 + 2 i ) .
Pour M = O M = O M = O , on a vu que Z = i Z = i Z = i . Pour M = P M = P M = P : Z = 2 + 2 i − 2 i 2 + 2 i − 2 = 2 2 i = − i Z = \frac{2 + 2i - 2i}{2 + 2i - 2} = \frac{2}{2i} = -i Z = 2 + 2 i − 2 2 + 2 i − 2 i = 2 i 2 = − i .
Dans les deux cas ∣ Z ∣ = 1 |Z| = 1 ∣ Z ∣ = 1 et Z Z Z est imaginaire pur : les triangles O A B OAB O A B et P A B PAB P A B sont rectangles isocèles (en O O O et en P P P ). On reconnaît les deux points qui complètent le carré O B P A OBPA O B P A .
Bloqué ? Demande à l'IA