Метод бесконечного спуска при решении уравнений в целых числах, разработанный Пьером Ферма, заключается в построении бесконечной последовательности убывающих целых положительных чисел. dzen.ru lib.brsu.by
Общая схема метода: dzen.ru
- Предполагают существование некоего решения или справедливость утверждения. dzen.ru
- Показывают, что из первоначальных условий можно вывести следующее, тем или иным образом связанное с убывающими натуральными числами (например, занумерованное). dzen.ru
- Доказывают, что этот процесс можно продолжать бесконечно, что приводит в противоречие с вполне упорядоченностью множества натуральных чисел. dzen.ru
- Исходное утверждение оказывается неверным или не существует. dzen.ru
Метод бесконечного спуска лучше всего используется для доказательства отсутствия решения. dzen.ru