max |1 - a \cos x| >= \tan^2 (t/2) when |x|<= t, a>0, 0<t< \pi/2
Source: 1971 Swedish Mathematical Competition p5
March 26, 2021
algebratrigonometryinequalitiesmax
Problem Statement
Show that
for positive and .
Source: 1971 Swedish Mathematical Competition p5