IMO 1988 LL VIE91

A regular 14-gon with side length a is inscribed in a circle of

IMO 1988 LL VIE91

Origin: VIE

Problem

A regular 14-gon with side length a is inscribed in a circle of radius one. Prove that 2 −a 2a

 3 cos \pi 7 .