Formule de trigonométrie

[Iggy]

Bonjour à tous, je désire avoir quelques renseignements sur ces éventuelles formules de trigonométrie:

cos X + sin X = rac(2)*cos[X-(pi/4)]

cos X - sin X = rac(2)*cos[X+(pi/4)]

Celles ci m'ont l'air justes en comparant les résultats donnés par la calculatrice mais aucun moyen de prouver ces dernières ou encore d'en trouver une quelconque trace sur le Net!

J'en suis venu à cette hypothèse en bossant sur un DM qui m'oblige à exploiter cette pseudo-formule dont je ne connais rien pour pouvoir affirmer une égalité.

Merci d'avance, Iggy.

[Nightmare]

Bonjour



Je te laisse conclure :lol3:

Même chose pour l'autre


:happy3:
Jord

[Iggy]

Merci, c'est exactement ce qu'il me fallait, par contre attention, une petite erreur de signe s'est émissée dans ta formule :lol4: .

[Nightmare]

oui, au temps pour moi :euh: