Explicație pas cu pas:
sin^2 pi /7 - 2sin pi/7* cos^2 a +cos^2 pi/7 -2 *cos pi/7 *sin a+ sin^2 a și avem 1 +1-2sin pi/7 * cos a- 2 cos pi/7*sin a=2
-2(sin pi/7 *cos a + cos pi/7 *sin a)=0
sin (pi/7 + a)=0
deci a =6pi \7
