You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
I re C, D – math I – <strong>Les</strong> <strong>nombres</strong> <strong>complexes</strong><br />
( ')<br />
= cis ϕ − ϕ<br />
⎛ z ⎞<br />
∀z, z' ∈ arg z ⋅ z ' = arg(z) + arg(z ') et arg ⎜ ⎟ = arg(z) − arg(z ')<br />
⎝ z ' ⎠<br />
• C ( )<br />
En effet soient z<br />
= rcisϕ et z ' = r 'cis ϕ ' deux <strong>complexes</strong> sous leur forme<br />
trigonométrique, alors z⋅ z ' = rcisϕ⋅ r 'cis ϕ ' = rr 'cis( ϕ + ϕ ') d’après la<br />
propriété précédente donc arg(zz ') = ϕ + ϕ ' = arg(z) + arg(z ') .<br />
De même :<br />
z rcisϕ<br />
r<br />
= = cis( ϕ − ϕ ') , donc<br />
z ' r 'cis ϕ' r '<br />
⎛ z ⎞<br />
arg ⎜ ⎟ = ϕ − ϕ ' = arg(z) − arg(z ') .<br />
⎝ z ' ⎠<br />
• Formule de MOIVRE (1667-1754)<br />
( ) n<br />
∀n ∈Z ∀ϕ∈ R cos ϕ + isin ϕ = cos(n ϕ ) + isin(n ϕ)<br />
Démonstration :<br />
Montrons d’abord par récurrence que la formule est vraie pour n ∈ N :<br />
* n 0<br />
= : ( ) 0<br />
cos ϕ + isin ϕ = 1 et cos0 + i ⋅ sin0 = 1+ i⋅ 0 = 1, donc<br />
( cos ϕ + isin ϕ ) 0<br />
= cos 0 + isin 0<br />
* Supposons que la formule est vraie pour n ∈ N , alors :<br />
n+<br />
1<br />
( ) ( )<br />
cis ϕ = cisϕ cis ϕ<br />
n<br />
= cis(n ϕ) ⋅cisϕ (hypothèse de récurrence)<br />
= cis( nϕ + ϕ ) (voir page 18)<br />
!<br />
= cis ( n + 1 ) ϕ<br />
La formule est donc vraie pour n ∈ N , d’où :<br />
- 20 -