Trigonométrie Exemples

Resolva para x cos(7x-8x)=cos(7x)cos(8x)+sin(7x)sin(8x)
Je ne parviens pas à résoudre ce problème.