Show that \( 2\sin(\frac12\theta)=\sin \theta\) if and only if \(\sin(\frac12\theta)=0\,\).
Solve the equation \(2\tan (\frac12\theta) = \tan\theta\,\).
Show that \(2\cos(\frac12\theta)=\cos \theta\) if and only if \(\theta=(4n+2)\pi\pm 2\phi\) where \(\phi\) is
defined by \(\cos \phi=\frac12(\sqrt 3-1)\;\), \(0\le \phi\le \frac{1}{2}\pi\), and \(n\) is any integer.