\cot x=\frac{\cos x}{\sin x}
The Double-Angle formula can be used to find the \sin22.5\degree
Analytic Trigonometry