Using the above formula to substitute for `(cos alpha)/2`, we get:

`"LHS"=2 cos^2(x/2)-cos x`

`=2(sqrt((1+cos x)/2))^2-cos x`

`=2((1+cos x)/2)-cos x`

`=1+cos x-cos x`

`=1`

`="RHS"`

Get the Daily Math Tweet!
IntMath on Twitter