Explicit Trigonometry: Day 21–
Back to Day 11–20
For completeness, we record the following.
These expressions should complement the description of cos(π/23) as each f (e^{2kπi/11}) is a ℤ-linear combination of cos(2kπ/11) and i sin(2kπ/11) = ± i √( 1 - cos(4kπ/11) )/√2.
Again, let me note the following.