Terminale > Les nombres complexes

L’ensemble $C$

Il existe un ensemble de nombres noté $C$ qui contient l’ensemble $R$ ainsi qu’un nombre $i \in C$ vérifiant $i^{2} = - 1$ .

Cet ensemble est appelé ensemble des nombres complexes et obéit aux mêmes règles de calcul que l’ensemble $R$ .

Schéma

Il peut être dur de se représenter l’ensemble des nombres complexes, voici un schéma représentant les ensembles de nombres déjà connus :

Comme on peut le voir ici, l’ensemble $C$ contient l’ensemble $R$ mais également des nombres qui ne sont pas réels ( $i$ , $1 + i$ , etc.).

Forme algébrique d’un nombre complexe

Forme algébrique

Tout nombre complexe $z$ peut s’écrire $z = x + i y$ où $x$ et $y$ sont deux réels. Cette écriture est appelée forme algébrique de $z$ . On dit que :

$x$ est la partie réelle de $z$ (notée $Re (z)$ ).
$y$ est la partie imaginaire de $z$ (notée $Im (z)$ ).

Le nombre $z$ est dit réel si $y = 0$ et il est dit imaginaire pur si $x = 0$ .

Égalité entre nombres complexes

Lien entre égalité et parties réelle et imaginaire

Deux nombres complexes $z$ et $z^{'}$ sont égaux si et seulement si $Re (z) = Re (z^{'})$ et $Im (z) = Im (z^{'})$ .

Ainsi, pour que deux nombres complexes soient égaux, leur partie réelle et leur partie imaginaire doivent toutes deux être égales.

Attention !

Il n’y pas de relation d’ordre dans l’ensemble $C$ . On ne pourra donc pas avoir de relation du type $z \leq z^{'}$ .

Conjugué

Définition

Tout nombre complexe $z = x + i y$ admet un nombre complexe conjugué noté $\overset{z}{ˉ}$ . Ce conjugué est le nombre complexe $\overset{z}{ˉ} = x - i y$ .

On donne également quelques formules permettant de calculer plus facilement des conjugués de nombres complexes.

Relations

Soient $z$ et $z^{'}$ deux nombres complexes.

$\overline{z + z^{'}} = \overset{z}{ˉ} + \overset{ˉ}{z^{'}}$
$\overline{(\frac{z}{z ^{'}})} = \frac{z ˉ}{z ^{'} ˉ}$ où $z^{'} \neq = 0$
$\overline{z^{n}} = (\overset{z}{ˉ})^{n}$ où $n \in N$
$\overline{z \times z^{'}} = \overset{z}{ˉ} \times \overset{ˉ}{z^{'}}$

Enfin, on a plusieurs propriétés intéressantes que l’on peut dégager.

Propriétés

Soit $z$ un nombre complexe.

$\overset{ˉ}{\overset{z}{ˉ}} = z$
$z + \overset{z}{ˉ} = 2 Re (z)$
$z - \overset{z}{ˉ} = 2 i Im (z)$
$z$ est un réel si et seulement si $z = \overset{z}{ˉ}$
$z$ est un imaginaire pur si et seulement si $z = - \overset{z}{ˉ}$

Module

Définition

On appelle module d’un nombre complexe $z = x + i y$ (noté $∣ z ∣$ ) le réel $∣ z ∣ = x^{2} + y^{2}$ .

Le module possède des propriétés intéressantes (à la manière de la valeur absolue pour les réels).

Formules

Soient $z$ et $z^{'}$ deux nombres complexes.

$∣ z ∣ \geq 0$
$∣ z ∣ = 0 ⟺ z = 0$
$∣ α z ∣ = α^{2} ∣ z ∣$ pour tout $α \in R$ (en particulier, $∣ - z ∣ = ∣ z ∣$ )
$z \overset{z}{ˉ} = ∣ z ∣^{2}$
$∣ z ∣ = ∣ \overset{z}{ˉ} ∣$
$∣ z z^{'} ∣ = ∣ z ∣ \times ∣ z^{'} ∣$
$\frac{z}{z ^{'}} = \frac{∣ z ∣}{∣ z ^{'} ∣}$ où $z^{'} \neq = 0$
$∣ z^{n} ∣ = ∣ z ∣^{n}$ où $n \in N$

Retrouver les formules

Ces propriétés peuvent sembler compliquées mais heureusement il est possible de les retrouver par le calcul. Par exemple, pour la quatrième propriété, en posant $z = x + i y$ (et donc $\overset{z}{ˉ} = x - i y$ ) :

$z \overset{z}{ˉ} = (x + i y) (x - i y) = x^{2} - i x y + i x y + y^{2} = x^{2} + y^{2} = (x^{2} + y^{2})^{2} = ∣ z ∣^{2}$ .

Généralités sur les polynômes

Définition

Soit $n$ un entier. On dit que $P$ est un polynôme de degré $n$ si $P$ est une expression formelle de la forme : $P (z) = a_{0} + a_{1} z + a_{2} z^{2} + \dots + a_{n} z^{n}$ .

En classe de Terminale, on peut remplacer expression formelle par fonction (un polynôme de degré $n$ sera donc la même chose qu’une fonction polynômiale de degré $n$ ). Dans ce chapitre, ce seront des fonctions à valeurs complexes.

Il peut être intéressant pour vous de faire le lien avec les fonctions polynômiales du second degré vues en Première.

Racine d’un polynôme

On dit qu’un nombre complexe $a$ est une racine d’un polynôme $P$ si on a $P (a) = 0$ .

On donne enfin la formule du binôme de Newton, qui peut s’avérer utile pour développer certaines expressions.

Formule du binôme de Newton

Soient $a$ et $b$ deux nombres complexes.

Alors pour tout $n \in N$ , $(a + b)^{n} = k = 0 \sum n (n k) a^{k} b^{n - k}$ .

Démonstration

Formule du binôme de Newton

Nous allons prouver cette propriété en utilisant le dénombrement, mais il est tout à fait possible de le faire par récurrence (c’est d’ailleurs un très bon exercice !)

Ainsi, on a $(a + b)^{n} = n fois (a + b) \times (a + b) \times \dots \times (a + b)$ .

En développant cette expression on peut obtenir une somme de termes de la forme $a^{k} b^{j}$ où :

$k$ représente le nombre de fois où l’on a choisi $a$ en développant.
$j$ représente le nombre de fois où l’on a choisi $b$ en développant.

Ainsi, forcément, $i = n - k$ (car si on ne choisit pas $a$ , alors on choisit $b$ ; choisir $k$ fois $a$ revient donc à choisir $n - k$ fois $b$ ).

De plus, il y a $(k n)$ manières de choisir $k$ fois $a$ parmi les $n$ expressions $(a + b)$ , alors l’expression $a^{k} b^{n - k}$ apparaît $(k n)$ lors du développement. Notre somme de termes devient donc :

$(a + b)^{n} = (0 n) termes (a^{0} b^{n - 0} + \dots + a^{0} b^{n - 0}) + \dots + (k n) termes (a^{k} b^{n - k} + \dots + a^{k} b^{n - k}) + \dots + (n n) termes (a^{n} b^{n - n} + \dots + a^{n} b^{n - n})$

C’est ce qu’il fallait démontrer.

Si $n = 2$ , on retrouve $(a + b)^{2} = (2 0) a^{2} b^{0} + (2 1) a^{1} b^{1} + (2 2) a^{0} b^{2} = a^{2} + 2 ab + b^{2}$ .

On admet de plus une propriété fondamentale de $C$ .

Théorème fondamental de l’algèbre

Tout polynôme non-nul de degré $n$ admet au plus $n$ racines complexes.

Résolution d’une équation du second degré

Il est possible d’étendre la résolution d’une équation du second degré du type $a x^{2} + b x + c = 0$ dans le cas ou le polynôme admet un discriminant est négatif. Nous allons voir ici une méthode de résolution.

Résolution d’une équation du second degré

On considère l’équation $(E) : a z^{2} + b z + c = 0$ (où $a$ , $b$ et $c$ sont trois réels et $a \neq = 0$ ). On pose $Δ = b^{2} - 4 a c$ , et alors les solutions de $(E)$ dépendent du signe de $Δ$ :

Si $Δ > 0$ , $(E)$ admet deux solutions réelles $z_{1} = \frac{- b - Δ}{2 a}$ et $z_{2} = \frac{- b + Δ}{2 a}$ .
Si $Δ = 0$ , $(E)$ admet une solution réelle $z_{0} = \frac{- b}{2 a}$ .
Si $Δ < 0$ , $(E)$ admet deux solutions complexes conjuguées $z_{1} = \frac{- b - i - Δ}{2 a}$ et $z_{2} = \frac{- b + i - Δ}{2 a} = \overset{z_{1}}{ˉ}$ .

Exemple

On souhaite résoudre l’équation $- 2 z^{2} + 4 z = 10$ dans $C$ .

1ère étape : On fait apparaître une équation du second degré : $- 2 z^{2} + 4 z - 10 = 0$ .

2ème étape : On calcule le discriminant : $Δ = b^{2} - 4 a c = 16 - 80 = - 64$ .

3ème étape : On transforme le discriminant négatif : $Δ = 64 i^{2} = (8 i)^{2}$ .

4ème étape : On trouve les solutions :

$z_{1} = \frac{- b - - Δ i}{2 a} = \frac{- 4 - 8 i}{2 \times- 2} = 1 + 2 i$ et $z_{2} = \frac{- b + - Δ i}{2 a} = \frac{- 4 + 8 i}{2 \times- 2} = 1 - 2 i = \overset{z_{1}}{ˉ}$

Relation avec les racines d’un polynôme

Résoudre une équation du type $a z^{2} + b z + c = 0$ (où $a$ , $b$ et $c$ sont trois réels et $a \neq = 0$ ) revient à chercher les racines complexes du polynôme $P$ défini pour tout $z \in C$ par $P (z) = a z^{2} + b z + c$ .

Factorisation par $z - a$

Factorisation par une racine

Soit $P$ un polynôme de degré $n$ et soit $a$ une racine de ce polynôme. Alors il existe un polynôme $Q$ de degré $n - 1$ tel que pour tout $z \in C$ , $P (z) = (z - a) Q (z)$ .

Exemple

Factorisons le polynôme $P$ défini pour tout $z \in C$ par $P (z) = z^{3} - z^{2} + z - 1$ .

On remarque déjà que $P (1) = 1 - 1 + 1 - 1 = 0$ . Donc $1$ est racine de $P$ , il existe donc un polynôme $Q$ de degré $2$ tel que pour tout $z \in C$ , $P (z) = (z - 1) Q (z)$ .

Essayons maintenant de déterminer $Q$ . Posons $Q (z) = a z^{2} + b z + c$ et déterminons les coefficients $a$ , $b$ et $c$ .

Pour tout $z \in C$ , $P (z) = (z - 1) Q (z) = (z - 1) (a z^{2} + b z + c) = a z^{3} + b z^{2} + cz - a z^{2} - b z - c = a z^{3} + (b - a) z^{2} + (c - b) z - c$ .

Il suffit maintenant d’identifier les coefficients (dans la première expression de $P$ ) : $⎩ ⎨ ⎧ a = 1 b - a = - 1 c - b = 1 - c = - 1$ En résolvant le système d’équations : $⎩ ⎨ ⎧ a = 1 b = 0 c = 1$ Finalement, on a pour tout $z \in C$ , $Q (z) = z^{2} + 1$ , donc $P (z) = (z - 1) (z^{2} + 1)$ .

Pour terminer la factorisation, il faut également factoriser $Q$ . Pour cela on calcule son discriminant qui est donc $Δ = - 4$ : on a deux racines complexes conjuguées qui sont $z_{1} = - i$ et $z_{2} = i$ .

Finalement, comme $Q$ est de degré $2$ (et qu’on a trouvé deux racines), la factorisation est terminée : on a pour tout $z \in C$ , $Q (z) = (z - i) (z + i)$ donc $P (z) = (z - 1) (z - i) (z + i)$ .

Une application possible de cette propriété est que tout polynôme $P$ de la forme $P (z) = z^{n} - a^{n}$ se factorise en $P (z) = (z - a) Q (z)$ (où $Q$ est un polynôme de degré $n - 1$ ) car $a$ est une racine de $P$ et que $P$ est un polynôme de degré $n$ .

Formes trigonométrique et exponentielle

Tout nombre complexe peut s’écrire sous trois formes la forme algébrique, la forme trigonométrique et la forme exponentielle.

Forme trigonométrique

Pour obtenir la forme trigonométrique d’un nombre complexe $z = x + i y$ , il faut tout d’abord obtenir son module. La forme trigonométrique de $z$ est ensuite donnée par : $z = ∣ z ∣ (cos (θ) + i sin (θ))$ .

Avec $θ$ l’argument de $z$ (noté $arg (z)$ ) qui doit vérifier :

$cos (θ) = \frac{x}{∣ z ∣}$
$sin (θ) = \frac{y}{∣ z ∣}$

Une fois la forme trigonométrique obtenue, on peut passer à la forme exponentielle.

Forme exponentielle / Formule d’Euler

Soit $z$ un nombre complexe écrit sous forme trigonométrique $z = ∣ z ∣ (cos (θ) + i sin (θ))$ . Alors $z = ∣ z ∣ e^{i θ}$ .

Exemple

On veut passer le nombre complexe $z = 1 + i$ sous forme exponentielle.

1ère étape : On calcule le module : $∣ z ∣ = 1^{2} + 1^{2} = 2$ .

2ème étape : On factorise par le module : $z = 2 \times (\frac{2}{2} + i \frac{2}{2})$ .

3ème étape : On calcule l’argument : $cos (θ) = \frac{2}{2}$ et $sin (θ) = \frac{2}{2}$ . On a donc $θ = \frac{π}{4}$ (car $cos (\frac{π}{4}) = sin (\frac{π}{4}) = \frac{2}{2}$ ).

4ème étape : On passe à la forme exponentielle : $z = 2 e^{i \frac{π}{4}}$ .

On peut étendre l’égalité entre nombres complexes donnée au début : deux nombres complexes sont égaux s’ils ont le même module et le même argument (modulo $2 π$ , nous détaillerons ce point-ci plus tard).

Formules de Première

Il est possible de retrouver les formules trigonométriques vues en Première à l’aide des nombres de complexes. La démonstration suivante n’est pas à apprendre mais peut être utile pour retrouver ces formules.

On a $e^{i \times (a + b)} = e^{i \times a} \times e^{i \times b}$ .

En passant à la forme trigonométrique, cela donne : $cos (a + b) + i sin (a + b) = (cos (a) + i sin (a)) \times (cos (b) + i sin (b))$ .

Puis en développant : $cos (a + b) + i sin (a + b) = cos (a) cos (b) + i cos (a) sin (b) + i cos (b) sin (a) - sin (a) sin (b)$ .

Il reste à travailler un petit peu l’expression : $cos (a + b) + i sin (a + b) = cos (a) cos (b) - sin (a) sin (b) + i (cos (a) sin (b) + cos (b) sin (a))$ .

Or deux nombres complexes sont égaux si et seulement si la partie réelle et la partie imaginaire de ces deux nombres sont égales, cela donne :

${cos (a + b) = cos (a) cos (b) - sin (a) sin (b) sin (a + b) = cos (a) sin (b) + cos (b) sin (a)$

Les formules vues en Première ont donc bien été retrouvées.

Propriétés de l’argument

Propriétés

Soit $z$ un nombre complexe.

$z$ est un réel si et seulement si $arg (z) = k \times π$ où $k \in Z$
$z$ est un imaginaire pur si et seulement si $arg (z) = k \times \frac{π}{2}$ où $k \in Z$

Pour conclure cette partie, nous allons donner quelques formules permettant de calculer des arguments.

Formules

Soient $z$ et $z^{'}$ deux nombres complexes.

$arg (\overset{z}{ˉ}) = - arg (z) mod 2 π$
$arg (- z) = - arg (z) + π mod 2 π$
$arg (z \times z^{'}) = arg (z) + arg (z^{'}) mod 2 π$
$arg (\frac{1}{z}) = - arg (z) mod 2 π$
$arg (\frac{z}{z ^{'}}) = arg (z) - arg (z^{'}) mod 2 π$
$arg (z^{n}) = n \times arg (z) mod 2 π$ pour tout $n \in N$

Le $mod 2 π$ signifie simplement que l’on se place modulo $2 π$ . Dans cette configuration, on a $- π = π mod 2 π$ , mais aussi $- \frac{π}{2} = \frac{3 π}{2} mod 2 π$ , ou encore $π = 3 π mod 2 π$ .

Affixe et représentation

Dans tout ce qui suit, le plan sera muni d’un repère $(O; i; j)$ .

Affixe d’un point

Un nombre complexe $z = x + i y$ peut être représenté dans le plan par un point $M$ de coordonnées $(x; y)$ . $z$ est alors appelé affixe du point $M$ (et réciproquement le point $M$ est l’image de $z$ ).

Un nombre complexe $z^{'} = ∣ z^{'} ∣ e^{θ}$ peut être représenté dans le plan par un point $M^{'}$ situé sur le cercle d’origine $O$ et de rayon $∣ z^{'} ∣$ . Le point $M^{'}$ est alors situé à l’angle de $θ$ radians sur ce cercle. Le module est donc une distance et l’argument est un angle.

Exemple

On souhaite représenter le point $M$ d’affixe $z = 1 + i$ dans le plan. On a les coordonnées de $M$ qui sont $x = 1$ et $y = 1$ :

Exemple

On souhaite représenter le point $M^{'}$ d’affixe $z^{'} = 2 e^{i \frac{π}{4}}$ dans le plan. On a le module de $z^{'}$ : $∣ z^{'} ∣ = 2$ , et un argument de $z^{'}$ : $θ = \frac{π}{4}$ . On va donc tracer le cercle de centre $O$ et de rayon $2$ ainsi qu’un segment passant par $O$ et intersectant le cercle en faisant un angle de $\frac{π}{4}$ radians avec l’axe des abscisses. Leur intersection sera le point $M^{'}$ :

On voit à l’aide de ces deux représentations que $z = z^{'}$ (où $z$ est le nombre complexe de l’exemple précédent), comme cela a été démontré dans l’exemple de la première partie.

Lien Géométrie - Nombres complexes

Une propriété remarquable des nombres complexes est qu’il est possible de les utiliser pour faire de la géométrie ! Cela peut sembler surprenant, mais cela repose sur le fait que tout nombre complexe $z$ s’écrit $x + i y$ (avec $x$ la partie réelle de $z$ et $y$ sa partie imaginaire), et que, comme dit dans la partie précédente, on peut y associer le point de coordonnées $(x; y)$ .

Voici, de manière plus formelle, quelques propriétés de géométrie reposant sur l’utilisation des nombres complexes. On rappelle que l’on se place dans un repère $(O; i; j)$ .

Affixe d’un vecteur

Soient $A$ et $B$ deux points d’affixes respectives $z_{A}$ et $z_{B}$ . Alors on associe au vecteur $A B$ son affixe qui est le complexe $z_{B} - z_{A}$ .

Lien avec l’affixe d’un point

En fait, pour faire le lien avec la partie précédente, l’affixe d’un point $A$ est tout simplement l’affixe du vecteur $O A$ .

Propriétés

Soient $A$ , $B$ , $C$ et $D$ des points d’affixes respectives $z_{A}$ , $z_{B}$ , $z_{C}$ et $z_{D}$ .

La longueur $A B$ est : le module du complexe $z_{B} - z_{A}$ (i.e. $∣ z_{B} - z_{A} ∣$ ). Il s’agit également de la norme du vecteur $A B$ .
Le milieu du segment $[A B]$ est : le point $M$ d’affixe $z_{M} = \frac{z _{A} + z _{B}}{2}$ .
L’angle $(i; A B)$ est : l’argument du complexe $z_{B} - z_{A}$ (i.e. $arg (z_{B} - z_{A})$ , modulo $2 π$ ).
L’angle $(A B; C D)$ est : l’argument du complexe $(\frac{z _{C} - z _{D}}{z _{B} - z _{A}})$ (i.e. $arg (\frac{z _{C} - z _{D}}{z _{B} - z _{A}})$ , modulo $2 π$ ).

L’ensemble $U$ et les racines $n$ -ièmes de l’unité

L’ensemble $U$

On note par $U$ l’ensemble des nombres complexes de module $1$ .

Stabilité de $U$

Soient $z$ , $z^{'} \in U$ . Alors $z \times z^{'} \in U$ et $\frac{1}{z} \in U$ .

En fait, l’ensemble $U$ permet de décrire tous les points du cercle trigonométrique.

Passons maintenant à l’étude de certains sous-ensembles de $U$ .

Racines $n$ -ièmes de l’unité

Soit $z$ un nombre complexe. On dit que $z$ est une racine $n$ -ième de l’unité si $z^{n} = 1$ .

De plus, en notant par $U_{n}$ l’ensemble des racines $n$ -ièmes de l’unité, on a $U_{n} = {e^{\frac{2 iπ \times 0}{n}}, e^{\frac{2 iπ \times 1}{n}}, e^{\frac{2 iπ \times 2}{n}}, \dots, e^{\frac{2 iπ \times ( n - 1 )}{n}}}$ .

Démonstration

Racines $n$ -ièmes de l’unité

Soit $z \in U_{n}$ . On a $z^{n} = 1$ , donc $∣ z^{n} ∣ = ∣ z ∣^{n} = 1$ . Ainsi, on a $∣ z ∣ = 1$ . En écrivant $z$ sous forme exponentielle, il existe $θ \in [0; 2 π [$ tel que $z = e^{i θ}$ .

Ainsi, $z^{n} = 1 ⟺ e^{in θ} = 1 = e^{i 0}$ . Or, deux nombres complexes sont égaux si et seulement s’ils ont le même module et le même argument. On doit donc avoir $k \in Z$ tel que $n θ = 0 + 2 kπ$ i.e. $θ = \frac{2 kπ}{n}$ .

Et comme par le théorème fondamental de l’algèbre, l’équation $z^{n} - 1 = 0$ admet au plus $n$ solutions, on a donc trouvé toutes les solutions.

L’ensemble $U_{n}$ décrit exactement le polynôme régulier à $n$ côtés inscrit dans le cercle trigonométrique ayant pour sommet $1$ .

Par exemple, $U_{3}$ est l’ensemble des sommets du triangle équilatéral inscrit dans le cercle trigonométrique (dont un sommet est $1$ ).

L’ensemble des nombres complexes C

L’ensemble C

L’ensemble C

Schéma

Forme algébrique d’un nombre complexe

Forme algébrique

Égalité entre nombres complexes

Lien entre égalité et parties réelle et imaginaire

Attention !

Conjugué

Définition

Relations

Propriétés

Module

Définition

Formules

Retrouver les formules

Polynômes dans C

Généralités sur les polynômes

Définition

Racine d’un polynôme

Formule du binôme de Newton

Formule du binôme de Newton

Théorème fondamental de l’algèbre

Résolution d’une équation du second degré

Résolution d’une équation du second degré

Exemple

Relation avec les racines d’un polynôme

Factorisation par z−a

Factorisation par une racine

Exemple

Géométrie avec les nombres complexes

Formes trigonométrique et exponentielle

Forme trigonométrique

Forme exponentielle / Formule d’Euler

Exemple

Formules de Première

Propriétés de l’argument

Propriétés

Formules

Affixe et représentation

Affixe d’un point

Exemple

Exemple

Lien Géométrie - Nombres complexes

Affixe d’un vecteur

Lien avec l’affixe d’un point

Propriétés

L’ensemble U et les racines n-ièmes de l’unité

L’ensemble U

Stabilité de U

Racines n-ièmes de l’unité

Racines n-ièmes de l’unité

Vous avez aimé ce cours ?

samy

etonomo

Captain164

Skyost Modérateur

olence

Anonyme

w

Skyost Modérateur

SergeGakpé

Anonyme

Skyost Modérateur

Anonyme

L’ensemble des nombres complexes $C$

L’ensemble $C$

L’ensemble $C$

Polynômes dans $C$

Factorisation par $z - a$

L’ensemble $U$ et les racines $n$ -ièmes de l’unité

L’ensemble $U$

Stabilité de $U$

Racines $n$ -ièmes de l’unité

Racines $n$ -ièmes de l’unité