daogiauvang писал(а):
Brukvalub писал(а):
Если такой точки нет, то всегда должно быть выполнено одно из двух неравенств:
![\[f(x) > x\] \[f(x) > x\]](https://dxdy-04.korotkov.co.uk/f/7/8/8/788f5a5d2f4a4be7b0ead4161a17fdfe82.png)
или
![\[f(x) < x\] \[f(x) < x\]](https://dxdy-04.korotkov.co.uk/f/3/1/f/31f08f2baa3d70c31272cea8a3715aaf82.png)
, причем, какое-то одно из них должно выполняться одновременно во всех точках. Далее Вы легко придете к противоречию с условием.
так просто
спасибо огромное brukvalub
Да, это оптимальный способ. И всё же для полноты картины предлагаю поразмыслить немного в другую сторону. Из тождества

легко следует монотонность функции

. А что тогда (с учётом этого же тождества) следует из монотонности?