Construction of the angle produces an isosceles right triangle. Since the sides are equal,
(1)
|
so solving for immediately gives
(2)
|
Filling in the rest of the trigonometric functions then gives
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
|