📐 Formule — Pour x∈/2π+πZ, tan(x)=cos(x)sin(x) ; pour x∈/πZ, \cotan(x)=sin(x)cos(x) ; pour x∈/2πZ, \cotan(x)=tan(x)1.
📐 Formule — Pour tout réel x, cos2x+sin2x=1.
📐 Formule — Pour x∈/2π+πZ, 1+tan2x=cos2x1, et pour x∈/πZ, 1+\cotan2x=sin2x1.
📐 Formule — Les relations de parité sont cos(−x)=cosx, sin(−x)=−sinx, tan(−x)=−tanx et \cotan(−x)=−\cotanx.
Tour complet : même valeur ; demi-tour : signe ou périodicité.
📐 Formule — Les formules d’addition sont cos(a+b)=cosacosb−sinasinb, sin(a+b)=sinacosb+sinbcosa et tan(a+b)=1−tanatanbtana+tanb.
📐 Formule — Les formules de différence sont cos(a−b)=cosacosb+sinasinb, sin(a−b)=sinacosb−sinbcosa et tan(a−b)=1+tanatanbtana−tanb.
📐 Formule — Les formules de duplication sont cos(2a)=cos2a−sin2a=2cos2a−1=1−2sin2a, sin(2a)=2sinacosa et tan(2a)=1−tan2a2tana.
Additionner, puis doubler l’angle.
📐 Formule — Les produits se linéarisent selon cosacosb=2cos(a−b)+cos(a+b), sinasinb=2cos(a−b)−cos(a+b) et sinacosb=2sin(a+b)+sin(a−b).
📐 Formule — Les sommes et différences se factorisent selon cosp+cosq=2cos2p+qcos2p−q, cosp−cosq=−2sin2p+qsin2p−q, sinp+sinq=2sin2p+qcos2p−q et sinp−sinq=2sin2p−qcos2p+q.
📐 Formule — Les carrés se linéarisent selon cos2a=21+cos(2a) et sin2a=21−cos(2a).
Linéariser transforme un produit en somme ; factoriser transforme une somme en produit.
📐 Formule — Avec t=tan(2x), on a cosx=1+t21−t2, sinx=1+t22t et tanx=1−t22t.
📐 Formule — Les formules d’angle moitié sont 1+cosx=2cos22x et 1−cosx=2sin22x.
📐 Formule — Les formules d’angle triple sont cos(3x)=4cos3x−3cosx et sin(3x)=3sinx−4sin3x.
📐 Formule — L’équation cosx=cosa équivaut à x=a+2kπ ou x=−a+2kπ avec k∈Z.
Cosinus : deux familles ; sinus : deux familles ; tangente : une période.
📐 Formule — Pour tout réel x, eix=cosx+isinx.
📐 Formule — Pour tout réel x, ∣eix∣=1, et pour tous réels x et y, eixeiy=ei(x+y), eiyeix=ei(x−y) et eix1=e−ix=eix.
📐 Formule — Les formules d’Euler sont cosx=2eix+e−ix et sinx=2ieix−e−ix.
📐 Formule — La formule de Moivre donne, pour tout réel x et tout entier n, (eix)n=einx.
L’exponentielle complexe encode cosinus et sinus, donc ses produits additionnent les angles.