Les fonctionscos et sin transforment la géométrie du cercle en analyse. Définies en enroulant la droite réelle autour du cercle trigonométrique, elles sont l’archétype des fonctions périodiques, et leurs dérivées en font des solutions de l’équation des oscillations y′′=−y.
24.1 Le cercle trigonométrique
Définition 24.1(Cosinus et sinus)
Soit C le cercle de rayon 1 centré à l’origine d’un repère orthonormal. À chaque réel t, associer le point M(t) obtenu en enroulant une longueur ∣t∣ le long de C depuis le point I(1,0), dans le sens trigonométrique si t≥0 et dans le sens horaire sinon. Alors cost et sint sont les coordonnées de M(t) :
M(t)=(cost,sint).
Comme le cercle a pour circonférence 2π, le point M(t) est inchangé lorsque t augmente de 2π ; et comme M(t) est sur le cercle unité :
Démonstration. La première identité est l’équation du cercle unité ; les autres expriment les symétries du cercle : M(−t) est le symétrique de M(t) par rapport à l’axe des x, M(π−t) par rapport à l’axe des y, et M(2π−t) par rapport à la droite y=x. ∎
En particulier cos2a=2cos2a−1=1−2sin2a et sin2a=2sinacosa.
Démonstration. Les vecteursu=(cosa,sina) et v=(cosb,sinb) sont des vecteurs unitaires faisant un angle a−b ; leur produit scalaire égale à la fois cosacosb+sinasinb (coordonnées) et uvcos(a−b)=cos(a−b) (géométrie), ce qui est la troisième formule. Remplacer b par −b donne la première ; les formules de sinus suivent en utilisant sinx=cos(2π−x). Les formules de duplication sont le cas b=a combiné avec cos2+sin2=1. ∎
24.2 Étude analytique
Lemme 24.4(Limite fondamentale)
t→0limtsint=1ett→0limtcost−1=0.
Démonstration. Pour 0<t<2π, comparer trois aires dans le cercle unité : le triangle OIM(t), le secteur circulaire OIM(t), et le triangle rectangle de base OI et de hauteur tant :
2sint≤2t≤2tant.
Les trois aires emboîtées : le triangle OIM (bleu, aire 2sint), le secteur circulaire (borné par l’arc rouge, aire 2t), et le triangle rectangle de hauteur tant (orange, aire 2tant).
La première inégalité donne tsint≤1 ; la seconde donne cost≤tsint. Lorsque t→0+, cost→1 (continuité), et le théorème des gendarmes donne tsint→1 ; la parité étend cela à t→0. Pour la seconde limite,
en utilisant le Lemme 24.4. Le calcul pour cos est identique, et la forme générale suit de la règle de la chaîne. ∎
Proposition 24.6(Variations)
Sur [0,π], cos décroît de 1 à −1. Sur [−2π,2π], sin croît de −1 à 1. Les deux fonctions sont 2π-périodiques et ont pour image[−1,1] ; cos est paire, sin est impaire.
Démonstration. Sur (0,π), (cos)′=−sin<0 car le point M(t) a une ordonnée positive là ; de même (sin)′=cos>0 sur (−2π,2π). La périodicité et la parité viennent de la Proposition 24.2. ∎
Les courbes de cos (bleu) et sin (rouge).
Méthode 24.7(Résoudre cosx=a et sinx=a)
Pour a∈[−1,1], trouver une solution particulière α (d’après le tableau de valeurs ou une calculatrice). Alors toutes les solutions sont :
cosx=cosα⟺x=α+2kπ ou x=−α+2kπ,k∈Z;
sinx=sinα⟺x=α+2kπ ou x=π−α+2kπ,k∈Z.
Pour les inégalités, localiser les arcs solutions sur le cercle trigonométrique et lire les intervalles sur une période.
Exemple 24.8
Résoudre cosx=21 dans (−π,π] : une solution particulière est 3π, donc les solutions sont x=3π et x=−3π. Dans tout R : x=±3π+2kπ, k∈Z.
24.3 Exercices
Exercice 24.1★
Calculer cos32π, sin65π, cos47π et sin(−3π) en utilisant les identités de la Proposition 24.2.
Solution
Solution de Exercice 24.1.
cos32π=cos(π−3π)=−cos3π=−21.
sin65π=sin(π−6π)=sin6π=21.
cos47π=cos(2π−4π)=cos(−4π)=22.
sin(−3π)=−sin3π=−23.
Exercice 24.2★
Dériver f(x)=sin2x, g(x)=cos(3x)+xsinx et h(x)=2+cosxsinx.
Solution
Solution de Exercice 24.2.
f′(x)=2sinxcosx=sin2x (règle de la chaîne).
g′(x)=−3sin(3x)+sinx+xcosx (règles de la chaîne et du produit).
Résoudre dans [0,2π] l’inéquation 2sin2x−sinx−1≥0. (Indication : factoriser le trinôme en sinx.)
Solution
Solution de Exercice 24.5.
Poser s=sinx : 2s2−s−1=(2s+1)(s−1)≥0 ssi s≤−21 ou s=1.
sinx=1 donne x=2π. sinx≤−21 : sur le cercle, l’arc sous la droite horizontale y=−21, qui dans [0,2π] est x∈[67π,611π]. D’où
S={2π}∪[67π,611π].
Exercice 24.6★★
Calculer les limites
x→0limxsin3x,x→0limx21−cosx,x→+∞limxsinx1.
Solution
Solution de Exercice 24.6.
xsin3x=33xsin3x→3⋅1=3 (composition avec u=3x→0).
En utilisant 1−cosx=1+cosxsin2x :
x21−cosx=(xsinx)21+cosx1x→01⋅21=21.
En substituant u=x1→0+ : xsinx1=usinu→1.
Exercice 24.7★★
Étudier la fonctionf(x)=x+cosx sur [0,2π] : variations et extrema. Montrer que f est croissante sur R bien que f′ s’annule en une infinité de points.
Solution
Solution de Exercice 24.7.
f′(x)=1−sinx≥0 pour tout x, avec égalité exactement lorsque sinx=1, c’est-à-direx=2π+2kπ. Sur [0,2π], f croît de f(0)=1 à f(2π)=2π+1 (le zéro de f′ en 2π est isolé, donc la croissance est même stricte) ; minimum1 en 0, maximum2π+1 en 2π. Sur R, f′≥0 partout avec seulement des zéros isolés, donc f est (strictement) croissante par le Théorème 22.7, bien que f′ s’annule en chaque 2π+2kπ.
Exercice 24.8★★★
Soit f(x)=Acosx+Bsinx avec (A,B)=(0,0).
Montrer que f peut s’écrire f(x)=Rcos(x−φ) avec R=A2+B2 et un φ convenable.
En déduire le maximum et le minimum de f, et résoudre cosx+sinx=1 dans (−π,π].
Solution
Solution de Exercice 24.8.
1. Soit R=A2+B2>0. Le point (RA,RB) est sur le cercle unité, donc il existe φ avec cosφ=RA et sinφ=RB. Alors
Rcos(x−φ)=R(cosxcosφ+sinxsinφ)=Acosx+Bsinx=f(x).
2. Comme cos a pour image[−1,1], f a pour maximumR et pour minimum−R. Pour cosx+sinx : A=B=1, R=2, φ=4π, donc l’équation devient 2cos(x−4π)=1, c’est-à-direcos(x−4π)=22, donnant x−4π=±4π+2kπ : dans (−π,π], x∈{0,2π}.
Exercice 24.9★★★
Montrer que sin et cos satisfont tous deux l’équation différentielle y′′=−y. Réciproquement, soit y une solution de y′′=−y avec y(0)=a et y′(0)=b ; montrer que y=acos+bsin. (Indication : considérer g=(y−acos−bsin) et « l’énergie » E=g2+(g′)2.)
Solution
Solution de Exercice 24.9.
(sin)′′=(cos)′=−sin et (cos)′′=(−sin)′=−cos : tous deux résolvent y′′=−y.
Soit g=y−acos−bsin. Alors g′′=−g (linéarité de la dérivation), g(0)=y(0)−a=0 et g′(0)=y′(0)−b=0. Poser E=g2+(g′)2. Alors
E′=2gg′+2g′g′′=2gg′−2g′g=0,
donc E est constante égale à E(0)=0. Une somme de deux carrés qui s’annule identiquement force g=0, d’où y=acos+bsin.