Сомик писал(а):
Именно из-за отсутствия логики и ясных объяснений, непонятно откуда берется уравнение 11. Оно было написано, и, вроде как, следовало из предыдущих рассуждений. Вот я в него подставил и получилась чушь.
А что касается уравнений 12 и 13. Так это не уравнения, а тождества. В них можно подставить любое
, и они будут верны. Но про то как эти тождества связаны у Теоремой Ферма у вас ничего не сказано. В тексте ваших рассуждений они вобще больше не упоминаются. Поэтому вообще не понятно, зачем они написаны. С тем же успехом можно написать
Спасибо за замечание, что (12) и (13) являются тождествами.
При помощи общеизвестных уравнений (3)-(5) выявлена общеизвестная взаимозависимость между “a”,”b” и “с” от их местоположения в общеизвестных уравнениях (1) и (2), и определяется уравнениями (9) и (10).
«Любое нечетное число или четное, кратное «4-ем», равняется разности квадратов двух чисел»
«Любое четное число, полученное от возведения соответствующего четного числа в степень больше «1», кратно «4-ем», и равняется разности квадратов двух чисел».
«Любое число, полученное от возведения соответствующего числа в степень больше «1», равно разности квадратов двух чисел».(cⁿ = a² + b²) (11)
В тождестве (12) для сⁿ –нечетного числа: a = (cⁿ + 1)/2 (14); b = (сⁿ -1 )/2 (15).
В тождестве (13) для сⁿ- четного числа a = cⁿ/4 + 1 (16); b = cⁿ /4 -1. (17).
Примечание. Уравнения (1) –(5) из раздела «Дано» и все используются при доказательстве.
Уравнения (6) – (10) выявлены и нужны только в процессе доказательства.
Уравнение (11) и тождества (12) и (13) – результаты доказательства.
Есть радикальное средство уменьшить количество уравнений. Отправную точку доказательства взять не уравнения (1) – (5), а общеизвестную закономерность
1. «Любое нечетное число и четное, кратное «4-ем», равняется разности квадратов двух чисел».
2. Любое четное число, полученное от возведения соответствующего четного числа в степень больше единицы», кратно «4-ем».
3. «Любое число, полученное от возведения соответствующего числа в степень «п- больше единицы», равно разности квадратов двух чисел». cⁿ = a² - b² (1)
Для конкретизации значений «a» и «b», в уравнении (1), и на базе его вводятся два тождества (2) и (5).
cⁿ = [(cⁿ + 1)/2]² - [(cⁿ - 1)/2]² (2), где «сⁿ» - нечетное число, a = (cⁿ + 1)/2 (3), b = (cⁿ - 1)/2 (4).
сⁿ = (cⁿ/4 + 1)² - (cⁿ/4 – 1)² (5), где «сⁿ» - четное число, a = cⁿ/4 - 1 (6),
b = cⁿ/4 - 1 (7).
Но как связать это с теоремой Ферма без использования в доказательстве уравнений (1) – (10) и настолько ли это важно?