On utilise l'égalité remarquable : (a² - b²)=(a - b)(a + b)
⇔ cos⁴ x - sin⁴ x = (cos² x)² - (sin² x)² = (cos² x - sin² x)(cos² x + sin² x)
= cos 2x {car cos 2a = cos² a - sin² a et cos² a + sin² a = 1}