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)
|