Dans tout ce qui suit, le plan est rapporté à un repère orthonormé direct (0;u,v)
I. Les formules d'addition
Pour tous réels a et b :
∘ cos(a−b)=cosacosb+sinasinb
∘ cos(a+b)=cosacosb−sinasinb
∘ sin(a−b)=sinacosb−cosasinb
∘ sin(a+b)=sinacosb+cosasinb
Démonstration de la première formule :
Soient w1 et w2 deux vecteurs de norme 1 tels que : w1=(cosa sina) w2=(cosb sinb) D’une part, w1⋅w2=cosacosb+sinasinb. D’autre part, w1⋅w2=∣w1∣×∣w2∣×cos(w1,w2). Comme les vecteurs sont de norme 1, on a : w1⋅w2=1×1×cos(b−a) =cos(a−b). Or, on sait que pour tout réel t, cost=cos(−t). Donc, cos(a−b)=cosacosb+sinasinb. | 
|
On en déduit :
Pour tous réels a et b :
∘ cos(2a)=cos2a−sin2a=1−2sin2a=2cos2a−1
∘ sin(2a)=2sinacosa
II. Lien entre forme algébrique et argument
Théorème :
Soit z un nombre complexe non nul tel que z=a+ib avec a et b deux réels.
Alors un argument de z est un réel θ tel que :
cosθ=∣z∣a et sinθ=∣z∣b
Théorème :
Deux nombres complexes non nuls sont égaux si, et seulement si, ils ont même module et même argument (modulo 2π).
III. Forme trigonométrique d'un complexe non nul
Définition :
Tout nombre complexe z non nul peut s’écrire sous la forme :
z=r(cosθ+isinθ) avec r=∣z∣ et θ=arg(z)[2π].
Cette écriture est appelée forme trigonométrique de z.