Из того, что:
получаем :
Так же, если
, то
Подставив это в предыдущее уравнение получим:
И так как
не делится на
, то
должно делится на
для всех
.
Вернёмся к выражению:
Согласно доказанному выше,
делится на
, а значит и
делится на
, тоесть
делится на
для всех натуральных
.
Положив в исходное уравнение
получим
получим
получим
И тд, степени двоек образуют последовательность 0, 1, 3, 7, 15 ...
Ну и взяв
, a
-любое число из этой (бесконечной) последовательности, получим:
Учитывая то, что
делится на
, получаем, что
делится на
для всех
из нашей последовательности. А так как последовательность бесконечна, то это невозможно, и таких функций не существует.
Вот так вот=)