Recently, I learned that cos(π/7) and sin(π/7) cannot be written in terms of algebraic numbers. This is pretty shocking.
The half-angle formulas
can be used to find expressions for fractions of π with powers of two as denominators.
You begin with
Using the half-angle formulas gives
The idea is to repeat this procedure to get other fractions.
Using the half-angle formulas gives
Using the half-angle formulas gives
Using the half-angle formulas gives
Using the half-angle formulas gives
You can already see the pattern. As the denominator grows, the cosine tends to 1, and the sine tends to 0.
Let Rk be the following unitary matrix
Note that
So after k=19, the matrix Rk can be approximated by the identity.