Продолжение поста «Теорема Ферма для четвертой степени»⁠⁠1

Я недавно просмотрел видео, где один преподаватель математики доказывал теорему Ферма для четвертой степени: уравнение A^4 + B^4 = C^4 не имеет решений на множестве натуральных чисел, больших 0. И буквально в самом начале он привел там уравнение A^4 +- B^4 = C^2, для которого доказано еще хрен знает когда (кажется Эйлером), что оно тоже не имеет решений в том же множестве чисел. Признаться, я тогда подумал, что на этом доказательство завершено. Просто всмотритесь внимательнее - вполне очевидно, что формула Ферма является частным случаем формулы Эйлера. Ведь, если нет решения для C^2, то тем более не может его существовать для C^4. Однако лектор затянул доказательство еще часа на 2, использую разные формулы и умозаключения. И уже буквально в середине лекции ему не хватало латинских букв для обозначения разных переменных.

Лично я знаю Эйлера, как выдающегося математика, и на этом фоне очень даже странно, что он сам не заметил, что этой формулой он доказал теорему Ферма для четвертой степени. Ну что-ж, как говорится: и на старуху бывает проруха.

Добавлю только напоследок, что этим Эйлером была доказана теорема Ферма не только для четвертой степени, но также и для всех степеней свыше, кратных 4.