AD писал(а):
Ссылочку на соответствующий результат не дадите ли? Занятно просто, как это можно даже сформулировать.
Зачем же ссылочку? А сами подумать не хотите? Не верю, что Вы такой лентяй что не согласитесь!
Будем идти от противного. Допустим, что такое доказательство возможно. Учитывая, что данное доказательство будет включать лишь операции "больше" и "меньше". Тогда данное доказательство охватит лишь ту часть случаев, которые будут содержать лишь две данные математические операции. (из всего множества)
Таким образом, должен будет существовать некий универсальный метод, относительно которого все решения уравнения Ферма должны будут быть либо больше, либо меньше некоего условия. Т.е. необходимо признать наличие некоего условия, которое будет больше либо меньше любой тройки Ферма.
Но учитывая, что все тройки Ферма расположены хаотично и не могут быть больше, либо меньше какого-то заданного условия, то такое невозможно.
С другой стороны, это подтверждается тем, что данное доказательство будет учитывать две операции: либо больше, либо меньше. Таким образом, оно будет опускать все несходимости вида: делимости, остатки и проч.
Но учитывая, что класс общих видов доказательств включает доказательства вида больше/меньше как подкласс, то и доказательство с помощью больше/меньше становится возможным лишь при существовании доказательства более общего типа включающего многие другие методы. Но такого доказательства нет.
Это говорит о том, что и больше/меньше также нет.
Это начало рассуждения, если интересно дальше продолжите сами