trigonometry - Is this proof of $\cos(z)=\cos^2\left(\frac z2\right ...