Explicit Trigonometry: Day 21–
Back to Day 11–20
This expression is not fully explicit: my apologies. For completeness, we record the following.
They 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.