MathDB
Another trig ineq

Source: Indian RMO 1995 Problem 7

October 26, 2005
trigonometryOld RMOalgebra

Problem Statement

Show that for any real number xx: x2sinx+xcosx+x2+12>0. x^2 \sin{x} + x \cos{x} + x^2 + \frac{1}{2} > 0 .