State the identity to be proved
cos3x≡4cos3x−3cosx We work on one side until it matches the other.
Write cos3x=cos(2x+x)
=cos2xcosx−sin2xsinx Apply the cosine addition formula.
Substitute cos2x=2cos2x−1 and sin2x=2sinxcosx
=(2cos2x−1)cosx−2sin2xcosx Use both double-angle identities.
Replace sin2x with 1−cos2x
=(2cos2x−1)cosx−2(1−cos2x)cosx Eliminate sine to leave a cosine cubic.
Expand and collect terms
=4cos3x−3cosx Multiply out and simplify.
Confirm the two sides are now identical
cos3x≡4cos3x−3cosx The left-hand side has been transformed into the right-hand side.
Check the identity numerically at a first test angle
x=30∘: LHS=RHS=0 A numerical check gives confidence the manipulation is correct.
Check the identity numerically at a second test angle
x=60∘: LHS=RHS=−1 Agreement at another angle supports the algebraic proof.
State that the identity holds for all permissible x
true for all valid x Since the algebra used only standard identities, it holds generally.
Summarise the key manipulation used
cos3x→4cos3x−3cosx The double-angle identity was the essential step.
Note that only standard identities were used
double-angle and Pythagorean identities No unproven results are assumed anywhere in the argument.
Restate the expression we started from
This was the left-hand side before any manipulation.
Restate the expression we finished with
4cos3x−3cosx This is the target right-hand side.
Explain why no exceptional cases are missed
excluding points where a denominator is 0 The identity is valid wherever both sides are defined.
Describe what the completed proof shows
The triple-angle identity cos3x≡4cos3x−3cosx is established. The proof establishes the stated equivalence for all valid angles.