Распечатать запись Распечатать запись

Степень, степень… и еще раз степень

Муравьи внутри гонятся за муравьями, которые вторгаются снаружи (работа М.К.Эшера)

Эту интересную задачу я узнала от одного знакомого замечательного девятиклассника. Собственно, это софизм. Вот такой.

Рассмотрим уравнение (будем искать положительные решения)

x^{x^{.^{.^{.^{x^{.^{.^{.}}}}}}}}=2 .

Здесь x записан бесконечное число раз. Теперь обозначим через a решение этого уравнения. Поскольку показатель степени, в которое возводится самый первый x, равен 2 (левая часть равна 2, а убрав один x из бесконечного их числа, мы все равно получим бесконечное число x), получаем такое уравнение:

a^2=2,

откуда a=\sqrt{2} .

Теперь рассмотрим еще одно похожее уравнение (и опять-таки будем искать его положительные решения)

x^{x^{.^{.^{.^{x^{.^{.^{.}}}}}}}}=4 .

Обозначим левую часть через b, и так же, как и в предыдущем случае, получим

b^4=4,

откуда b=\sqrt{2}.

В итоге, у нас получилось, что последовательность a_n=\sqrt{2}^{a_{n-1}} с a_0=\sqrt{2} имеет два предела, хотя теорема о единственности предела говорит нам, что такого быть не может! В чем подвох?

Сначала как всегда, убедительная просьба ко всем заинтересованным лицам ;) не читать пока решение, приведенное ниже, а подумать самостоятельно, что же тут за хитрость!

Объяснение. Все приведенные выше выкладки справедливы только в том случае, если уравнения  x^{x^{.^{.^{.^{x^{.^{.^{.}}}}}}}}=2 и  x^{x^{.^{.^{.^{x^{.^{.^{.}}}}}}}}=4 имеют решения. Однако, как я сейчас покажу, второе уравнение вещественных положительных решений не имеет.

Действительно, давайте рассмотрим последовательность a_n=\sqrt{2}^{a_{n-1}}, a_0=\sqrt{2}. Здесь доказательство того, что \sqrt{2}^{\sqrt{2}}< 2, которое привел в комментарии Стас, указав мне на допущенную ошибку.

\sqrt{2} ^{\sqrt{2}} < \sqrt{2}^2=2 .

Отсюда \sqrt{2}^{\sqrt{2}^{\sqrt{2}}}<\sqrt{2}^2=2 и т.д.

Таким образом, наша последовательность a_n ограничена сверху, и любой ее член не превосходит 2.

Теперь докажем, что эта последовательность монотонно возрастает, а именно, что каждый ее член больше предыдущего. В самом деле,

\sqrt{2}^{\sqrt{2}}>\sqrt{2},

поскольку и основание степени, и показатель больше 1. А значит,

\sqrt{2}^{\sqrt{2}^{\sqrt{2}}}>\sqrt{2}^{\sqrt{2}}

(сравниваем показатели, помня о том, что основание степени больше 1).

Следовательно, последовательность a_n имеет предел как возрастающая ограниченная сверху. Этот предел не может быть больше 2. Обозначим этот предел через l. Переходим к пределу в равенстве a_{n}=\sqrt{2}^{a_{n-1}}:

l=\sqrt{2}^l.

Это уравнение относительно l имеет два решения, так как производная функции

f(x)=x-\sqrt{2}^x

меняет знак с плюса на минус в точке x_0=2-2{\rm log}_2(\ln 2), а значение f(x) в этой точке положительно. Эти два решения легко угадываются: 2 и 4! Однако 4 не может быть пределом нашей последовательности, поскольку, по доказанному, он не превосходит 2.

Комментариев: 3

  1. 1 Стас:

    “Используя неравенство Бернулли…”
    Здесь у вас альфа равно корню из двух, а, значит, больше единицы. В этом случае неравенство Бернулли записывается в противоположную сторону.
    А то, что \sqrt{2}^{\sqrt{2}} < 2 – очевидно (\sqrt{2} ^{\sqrt{2}} < \sqrt{2}^2=2).

    [Ответить]

  2. 2 Елизавета Александровна Калинина:

    Спасибо большое, Вы совершенно правы. Исправила.

    [Ответить]

  3. 3 Стас:

    Очень приятно открыть для себя этот сайт, спасибо

    [Ответить]

Оставьте свой отзыв

Добавить изображение