Сомик писал(а):
Именно из-за отсутствия логики и ясных объяснений, непонятно откуда берется уравнение 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) и настолько ли это важно?