sin x + cos x = a
sin² x + cos² x + 2sin x cos x = a²
∴ sin x cos x = (a² - 1)½
sin³ x + 3sin² x cos x + 3sin x cos² x + cos³ x = a³
∴ sin³ x + cos³ x = a³ - 3sin x cos x (sin x + cos x)
= a³ - 3/2*(a² - 1)*a
= a/2 * (3 - a² ) QED