L'ensemble ?, opérations, représentation géométrique, conjugué, module, argument, formes trigonométrique et exponentielle, transformations usuelles (translation, homothétie, rotation), formules de Moivre et d'Euler, équations du second degré dans ?.
L'ensemble ? et l'écriture algébrique, opérations, représentation géométrique, conjugué, module, argument, formes trigonométrique et exponentielle, transformations usuelles, formules de Moivre et d'Euler, équations du second degré dans ?, et rotation.
Théorème : il existe un ensemble noté $\mathbb{C}$, appelé ensemble des nombres complexes, qui contient $\mathbb{R}$ et vérifie :
Vocabulaire : $z=a+ib$ est l'écriture algébrique de $z$ ; $a=\text{Re}(z)$ est la partie réelle ; $b=\text{Im}(z)$ est la partie imaginaire ; si $a=0$, $z=ib$ est un imaginaire pur (ensemble noté $i\mathbb{R}$).
Égalité de deux complexes : $a+ib=a'+ib' \iff a=a'$ et $b=b'$. En particulier $a+ib=0 \iff a=0$ et $b=0$.
Opérations : pour $z=a+ib$, $z'=a'+ib'$ :
Remarque : $z\in\mathbb{R} \iff \text{Im}(z)=0$ et $z\in i\mathbb{R} \iff \text{Re}(z)=0$.
Le plan $(\mathcal{P})$ est muni d'un repère orthonormé direct $(O,\vec e_1,\vec e_2)$.
Propriété : pour $A(z_A)$, $B(z_B)$ : $z_{\vec{AB}}=z_B-z_A$, et l'affixe du milieu $I$ de $[AB]$ est $\dfrac{z_A+z_B}{2}$.
Colinéarité : $A,B,C$ sont alignés $\iff \dfrac{z_B-z_A}{z_C-z_A}\in\mathbb{R}$.
Cocyclicité : $A,B,C,D$ (non alignés, deux à deux distincts) sont cocycliques $\iff \dfrac{z_A-z_B}{z_C-z_B}\times\dfrac{z_C-z_D}{z_A-z_D}\in\mathbb{R}$.
Définition : pour $z=a+ib$, le conjugué est $\bar z=a-ib$.
Interprétation géométrique : $M(\bar z)$ est le symétrique de $M(z)$ par rapport à l'axe réel.
Propriétés : $\overline{z+z'}=\bar z+\bar z'$ ; $\overline{z\times z'}=\bar z\times\bar z'$ ; $\overline{\left(\frac{z}{z'}\right)}=\dfrac{\bar z}{\bar z'}$ ($z'\ne0$) ; $\overline{z^n}=(\bar z)^n$.
Propriété : $z+\bar z=2\text{Re}(z)$ ; $z-\bar z=2i\,\text{Im}(z)$ ; $z\in\mathbb{R}\iff\bar z=z$ ; $z\in i\mathbb{R}\iff\bar z=-z$.
Définition : pour $z=x+iy$, $|z|=\sqrt{z\bar z}=\sqrt{x^2+y^2}$.
Propriétés : $|z|=|-z|=|\bar z|$ ; $|zz'|=|z||z'|$ ; $|z+z'|\le|z|+|z'|$ ; $\left|\dfrac{z}{z'}\right|=\dfrac{|z|}{|z'|}$ ; $|z^n|=|z|^n$.
Interprétation géométrique : $OM=|z|$ ; pour $A(z_A),B(z_B)$ : $AB=|z_B-z_A|$.
Ensembles de points : $\{M(z):|z-z_A|=r\}$ est le cercle de centre $A$ et de rayon $r$ ; $\{M(z):|z-z_A|=|z-z_B|\}$ est la médiatrice de $[AB]$.
Définition : pour $M(z)\ne O$, l'argument de $z$, noté $\arg(z)$, est la mesure de l'angle orienté $(\vec e_1,\vec{OM})$ : $\arg(z)\equiv\theta[2\pi]$.
Propriété : $z\in\mathbb{R}_+^*\iff\arg(z)\equiv0[2\pi]$ ; $z\in\mathbb{R}_-^*\iff\arg(z)\equiv\pi[2\pi]$ ; $z\in i\mathbb{R}_+^*\iff\arg(z)\equiv\frac{\pi}2[2\pi]$ ; $z\in i\mathbb{R}_-^*\iff\arg(z)\equiv-\frac{\pi}2[2\pi]$.
Propriété : $\arg(\bar z)\equiv-\arg(z)[2\pi]$ ; $\arg(-z)\equiv\pi+\arg(z)[2\pi]$ ; $\arg(zz')\equiv\arg(z)+\arg(z')[2\pi]$ ; $\arg\left(\frac{z}{z'}\right)\equiv\arg(z)-\arg(z')[2\pi]$ ; $\arg\left(\frac1z\right)\equiv-\arg(z)[2\pi]$.
Pour $z=x+iy\ne0$ de module $r=|z|$ et d'argument $\theta$ : $x=r\cos\theta$, $y=r\sin\theta$, donc $z=r(\cos\theta+i\sin\theta)$, notée $[r,\theta]$.
Propriété : pour $z=[r,\theta]$, $z'=[r',\alpha]$ : $zz'=[rr',\theta+\alpha]$ ; $\dfrac1z=\left[\dfrac1r,-\theta\right]$ ; $\dfrac{z}{z'}=\left[\dfrac{r}{r'},\theta-\alpha\right]$ ; $z^n=[r^n,n\theta]$.
Pour $A(z_A),B(z_B),C(z_C),D(z_D)$ : $\left(\vec e_1,\vec{AB}\right)\equiv\arg(z_B-z_A)[2\pi]$ ; $\left(\vec{AB},\vec{AC}\right)\equiv\arg\left(\dfrac{z_C-z_A}{z_B-z_A}\right)[2\pi]$ ; $\left(\vec{AB},\vec{CD}\right)\equiv\arg\left(\dfrac{z_D-z_C}{z_B-z_A}\right)[2\pi]$.
$(AB)\parallel(CD)\iff\arg\left(\dfrac{z_B-z_A}{z_D-z_C}\right)=k\pi,\ k\in\mathbb{Z}$ ; $(AB)\perp(CD)\iff\arg\left(\dfrac{z_B-z_A}{z_D-z_C}\right)=\dfrac{\pi}2+k\pi,\ k\in\mathbb{Z}$.
Translation : pour $t_{\vec u}$ de vecteur $\vec u(z_{\vec u})$, l'image $M'(z_{M'})$ de $M(z_M)$ vérifie $z_{M'}=z_M+z_{\vec u}$.
Homothétie : pour $h$ de centre $\Omega(z_\Omega)$ et de rapport $k\in\mathbb{R}^*$, l'image $M'$ de $M$ vérifie $z_{M'}=kz_M+z_\Omega(1-k)$.
Définition : tout complexe $z$ de module $r$ et d'argument $\theta$ s'écrit $z=re^{i\theta}$ (forme exponentielle).
Exemples : $e^{i\pi}=-1$ ; $2e^{i\frac{3\pi}4}=-\sqrt2+i\sqrt2$.
Propriété : pour $z=re^{i\theta}$, $z'=r'e^{i\theta'}$ ($r,r'>0$) : $|e^{i\theta}|=1$ ; $\arg(e^{i\theta})\equiv\theta[2\pi]$ ; $\bar z=re^{-i\theta}$ ; $zz'=rr'e^{i(\theta+\theta')}$ ; $\dfrac1z=\dfrac1re^{-i\theta}$ ; $\dfrac{z}{z'}=\dfrac{r}{r'}e^{i(\theta-\theta')}$ ; $z^n=r^ne^{in\theta}$.
$(\forall n\in\mathbb{Z})(\forall\theta\in\mathbb{R})$ : $(\cos\theta+i\sin\theta)^n=\cos(n\theta)+i\sin(n\theta)$.
$(\forall\theta\in\mathbb{R})$ : $\cos\theta=\dfrac{e^{i\theta}+e^{-i\theta}}{2}$ et $\sin\theta=\dfrac{e^{i\theta}-e^{-i\theta}}{2i}$.
Applications : ces formules permettent de développer $(\cos\theta+i\sin\theta)^n$ (Moivre, pour exprimer $\cos(n\theta)$/$\sin(n\theta)$ en fonction de $\cos\theta,\sin\theta$) et de linéariser les puissances de $\cos\theta,\sin\theta$ (Euler, pour exprimer $\cos^n\theta$/$\sin^n\theta$ comme combinaison de $\cos(k\theta)$/$\sin(k\theta)$).
Pour $az^2+bz+c=0$ ($a,b,c\in\mathbb{R}$, $a\ne0$), $\Delta=b^2-4ac$ :
Pour $R$ de centre $\Omega(z_\Omega)$ et d'angle $\theta$, l'image $M'(z_{M'})$ de $M(z_M)$ vérifie : $z_{M'}=(z_M-z_\Omega)e^{i\theta}+z_\Omega$.
Méthode à retenir
Méthode — montrer un alignement/une cocyclicité/une orthogonalité : calculer le quotient complexe indiqué par la propriété (réel pour alignement, argument multiple de $\pi$ pour parallélisme, argument $\equiv\frac\pi2[\pi]$ pour orthogonalité) et conclure selon sa nature.
Méthode — passer entre les trois écritures d'un complexe :
Méthode — résoudre $az^2+bz+c=0$ dans $\mathbb{C}$ : calculer $\Delta=b^2-4ac$ et appliquer directement la formule correspondant au signe de $\Delta$ (y compris $\Delta<0$, qui donne des solutions complexes).
Connecte-toi pour laisser un commentaire.