Problem

Source: IMO LongList 1967, Socialists Republic Of Czechoslovakia 1

Tags: geometry, parallelogram, trigonometry, geometric inequality, Trigonometric inequality, IMO, IMO 1967



The parallelogram $ABCD$ has $AB=a,AD=1,$ $\angle BAD=A$, and the triangle $ABD$ has all angles acute. Prove that circles radius $1$ and center $A,B,C,D$ cover the parallelogram if and only \[a\le\cos A+\sqrt3\sin A.\]