Reduce the angles modulo 2π: 1127π→115π, and cos1181π=cos1115π=cos117π. So
α=k∈{1,3,5,7,9}∏(1−2cos11kπ).
Identity. sin23θ=sin2θ(1+2cosθ). With 1−2cosθ=1+2cos(π−θ) and π−11kπ=11mπ, m=10,8,6,4,2:
α=j=1∏5sin(jπ/11)sin(3jπ/11).
Numerator. For j=1,…,5, 3jπ/11 gives sin113π, sin116π=sin115π, sin119π=sin112π, sin1112π=−sin11π, sin1115π=−sin114π. The two signs cancel, so the numerator equals the denominator and α=1.
So 5−α2=4.