Ctg(x) = 1 / tg(x)
tg(25°) < 1/tg(25°)
tg(25°) - 1/tg(25°) < 0
(tg²(25°) - 1) / tg(25°) < 0
угол 25° --угол из первой четверти, tg(25°) > 0
можно умножить обе части неравенства на положительное число,
знак неравенства не изменится...
tg²(25°) - 1 < 0
(tg(25°) - 1)*(tg(25°)+1) < 0
во второй скобке число всегда положительное
(можно сократить=разделить)
осталось: tg(25°) - 1 < 0
tg(25°) < 1
tg(25°) < tg(45°) это верно
чем больше острый угол, тем больше тангенс...
(тангенс --функция монотонно возрастающая на всей области определения)))