[math] \newcommand{\mathds}{\mathbb}[/math]

Work out the trigonometry formulae

[[math]] \sin(2t)=2\sin t\cos t\quad,\quad \cos(2t)=2\cos^2t-1 [[/math]]

by using elementary methods, coming from plane geometry.