Изменения
Нет описания правки
*для каждого <tex>k</tex> имеющее решение с <tex>a>b^k</tex>.
=== Вклад Ю.В. Матиясевича===
Такого рода уравнение удалось построить Ю.В. Матеясевичу в 1970 году. Обратившись к рассмотрению последовательности Фибоначчи, Матиясевич заметил, что если за <tex>a</tex> взять половину номера четного члена последовательности Фибоначчи, а за <tex>b</tex> — сам член, то неравенство <tex>a>b^b</tex> будет всегда неверно;
для любого <tex>k</tex> можно найти такой четный член последовательности, что неравенство <tex>a>b^k</tex> будет верно.
