Question: DeMoivre's formula

Consider the identity 4*cos(theta)^3-3*cos(theta) = cos(3*theta). Does maple know about it, or how to prove the identity, which is true by deMoivre's formula, with maple? The trig option for simplify seems not enough. Thanks.

Please Wait...