Ta có a.cos⁴ x + b.cos³ x - 2c.cos x = 2a.sin³ x.

Xét hàm số f (x) = a.cos⁴ x + b.cos³ x - 2c.cos x - 2a.sin³ x.

+) Với a = 0 Þ f (x) = b.cos³ x - 2c.cos x = cos x.( b.cos² x - 2c) = 0

Nên luôn cho nghiệm cos x = 0 (*)

+) Với a ¹ 0 Þ f (x) = a.cos⁴ x + b.cos³ x - 2c.cos x - 2a.sin³ x

f (x) liên tục trên ℝ nên liên tục trên đoạn  (1)

Ta có:f−π2=2afπ2=−2a

⇒f−π2.fπ2=2a.−2a=−4a2<0(2)

Từ (1) và (2) nên suy ra phương trình f (x) = 0 có ít nhất một nghiệm thuộc khoảng −π2;π2  (**)

Từ (*) và (**), vậy suy ra phương trình a.cos⁴ x + b.cos³ x - 2c.cos x = 2a.sin³ x luôn có nghiệm với mọi tham số a, b, c.