Ну, то что Вы прокомментировали, очевидно и доказательства не требует
Подставляем
, получаем
. Справа константа, слева константа только если
(мы выяснили уже, что
не есть константа), значит, так оно и есть. Одновременно получаем
. Подставляя
, получаем
. Пусть теперь
для какого-то
. Тогда слева имеем переменную функцию (от
), справа — константа. Значит,
— единственный корень, функция положительна для положительных аргументов и наоборот. Пусть теперь
— положительный корень уравнения
. Тогда
,
, то есть
— корень того же уравнения. А поскольку два корня этого уравнения (
) имеют разные знаки, не может быть
, иначе на отрезке
в силу непрерывности был бы корень уравнения
, что невозможно, как мы показали. Аналогично для второго (отрицательного) корня уравнения.
В принципе таких уравнений много можно написать. Но я надеюсь, что только из процитированной Вами формулы можно будет построить всюду плотное множество на
.