Verifiser dobbeltvinkelformel med 30-60-90-trekant
Snorre har funnet formelen nedenfor i en matematikkbok

Bruk trekanten til høyre og vis at formelen gjelder når \(u = 30\degree\).
Begge sider er lik \(\dfrac{\sqrt{3}}{2}\), så formelen gjelder for \(u = 30\degree\).
Fra 30-60-90-trekanten leser vi av sidene: hypotenus \(= 2\), kateten motstående \(30\degree\) er \(1\), og kateten motstående \(60\degree\) er \(\sqrt{3}\).
Dette gir oss de trigonometriske verdiene vi trenger:
Vi beregner venstre side av formelen med \(u = 30\degree\):
Vi beregner høyre side av formelen med \(u = 30\degree\):
Siden venstre side \(=\) høyre side \(= \dfrac{\sqrt{3}}{2}\), er formelen \(2\sin(u)\cos(u) = \sin(2u)\) verifisert for \(u = 30\degree\).