MathDB
Inequality with cos, tan and log

Source: Czech and Slovak Olympiad 1970, National Round, Problem 6

July 4, 2024
inequalitiestrigonometryalgebralogarithms

Problem Statement

Determine all real xx such that tan(x)1(logtan(x)(2+4cos2(x)2))0.\sqrt{\tan(x)-1}\,\Bigl(\log_{\tan(x)}\bigl(2+4\cos^2(x)-2\bigr)\Bigr)\ge0.