4 Sine Pi over 10 by Cosine Pi over 5

Theorem

 * $4 \sin \dfrac \pi {10} \cos \dfrac \pi 5 = 1$

Proof 2
A proof that uses only simple trigonometry and algebra can be achieved, though it is longer.