Académique Documents
Professionnel Documents
Culture Documents
Exposé
à propos de
Fonctions trigonométriques
Réalisé par:
AL-CHEIKH SOUMAYA
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Sommaire
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Définition
On définit la fonction sinus par la formules dites d’Euler :
e iz −e −iz
∀z ∈ C sin(z) = 2i
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Proposition 1
∀z, w ∈ C
Preuve :
e i(z+w ) − e −i(z+w )
sin(z + w ) =
2i
e i(z+w ) + e i(z−w ) − e i(w −z) − e −i(z+w )
=
4i
e i(z+w ) + e i(w −z) − e i(z−w ) − e −i(z+w )
+
4i
e iz − e iz e iw + e −iw e iw − e −iw e iz + e −ie
= × + ×
2 2i 2i 2
= sin(w )cos(z) + sin(z)cos(w )
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Proposition 2
∀z ∈ C
Preuve :
1 2 1
cos 2 (iz) + sin2 (iz) = ( ) × (e iz − e −iz )2 + ( )2 × (e iz + e −iz )2
2i 2
1 iz
= ((e + e ) ) − (e − e −iz )2 )
−iz 2 iz
4
1
= (e 2iz + 2 + e −2iz − e 2iz + 2 − e −2iz )
4
1
= × (4)
4
=1
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Remarque
sin(iy ) = −isinh(y ) avec y ϵR
Proposition 3
soit z = x + iy avec x , y ∈ R
Preuve :
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Proposition 4
∀z ∈ C
sin(z) = sin(z)
Proposition 5
∀z ∈ C
Preuve :
|sin(z)|2 = |sin(x + iy )|2 = (sin(x )cosh(y ))2 + (cos(x )sinh(y ))2 =
sin2 (x )(1 + sinh2 (y )) + (1 − sin2 (y ))sinh2 (y ) = sin2 (x ) + sinh2 (y )
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Propriétés
∀z ∈ C sin(−z) = −sin(z)
sin(z + 2kπ) = sin(z) avec k ∈ R
sin(z + kπ
2 ) = cos(z) avec k ∈ C
sin(z) = tan(z)cos(z)
sin(2z) = 1 − 2sin2 (z) = 2cos 2 (z) − 1
Preuve :
1
sin(−z) = ( )(e i(−z) − e −i(−z) )
2i
1
= (( )(e −iz − e iz )
2i
1
= −(( )(e iz − e −iz ) = −sin(z)
2i
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
1
sin(z + 2kπ) = ( )(e i(z+2kπ) − e −i(z+2kπ) )
2i
1
= (( )(e iz e i2kπ − e −iz e −i2kπ )
2i
1
= (( )(e iz − e −iz )
2i
= sin(z)
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Proposition 6
∀z ∈ C
∞
X (−1)n+1 z (2n+1)
sin(z) =
i=0
(2n + 1)!
Preuve :
sin(z) = Im(e iz )
∞
X (i)n z (n)
= Im( )
i=0
(n)!
∞
X (i)n z (n)
= Im( )
i=0
(n)!
∞
X (−1)n+1 z 2n+1
=
i=0
(2n + 1)!
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
La continuité
f : C → C
z 7 → f (z) = sin(z)
Df = C
iz −iz
On sait que ∀ z ∈ C sin(z) = e −e2i
z 7→ e iz est continue dans C
z 7→ e −iz est continue dans C
donc la soustraction est continue dans C
1
z 7→ est continue dansC
2i
d’où le produit est continue dans C
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
La dérivée
z 7→ e iz est dérivable dans C
z 7→ e −iz est dérivable dans C
donc la soustraction est dérivable dans C
1
z 7→ est dérivable dansC donc le produit est dérivable dans C
2i
∀z ∈C
′ ′
f (z) = sin (z) (1)
′
(e iz − e −iz )
= (2)
2i
ie + ie −iz
iz
= (3)
2i
e + e −iz
iz
= (4)
2
= cos(z) (5)
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Holomorphie
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Holomorphie
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
sin(z)
Exposé à propos de
Définition de sinus complexe
Quelques propositions et propriétés de sinus complexe
Courbe de sinus complexe
Exposé à propos de