| 
											 ==Теорема, которая доказывает теорему Ферма==
 -n- -- обозначает степени n.
                  Для того, чтобы доказать теорему Ферма достаточно умножить обе части данного уравнения (при N > 2):  a-n- = c-n-  -- b-n-  = (b + y)-n- -- b-n-*  на 2 -(n – 1)- . Данное действие позволяет привести данное уравнение к уравнению с тремя неизвестными а, y, d = 2b + y (При N = 2 данная операция для выделения трех неизвестных а, y, d = 2b + y не требуется: см. ниже), что имеет принципиальное значение для доказательства теоремы Ферма:
 b = 2b/2 = (2b + y – y)/2 = (d – y)/2.
 c = b + y = (2b + 2y) =  (2b + y + y)/2 = (d + y)/2.
 Уравнение с тремя неизвестными а, y, d = 2b + y, помогает вычислить натуральные числа при  n = 2:
 a -2- = c -2-  -- - b -2-  = (b + y)-2- --  b-2- = 2* b * y + y-2- = y * (2b + y) = y * d. 
 a -2- = y * d = y * (y * k-2-) = y-2- * k-2-. a = y * k. 
 d = y * k-2-.  На основании изложенного следует:
 a -2- + ((d – y)/2)-2- = ((d + y)/2)-2-.
 y-2-* k -2- + y-2- * ((k-2- – 1)/2)-2- = y-2- * ((k-2- + 1)/2)-2- (при k -- нечетное).
 В силу изложенного, можем предположить,  что решение уравнений с тремя неизвестными а, y, d = 2b + y, поможет доказать или опровергнуть теорему Ферма. На основании Бинома Ньютона, треугольника Паскаля (пример)
                 -1     3     -3     (1)
              1      -4     6      -4     (1)
            -1     5     -10    10    -5      (1)
          1     -6   15     -20    15    -6        (1)
        -1   7    -21   35       -35    21     -7         (1)
 установим, что при четных и нечетных степенях можно выделить соответствующие уравнения с тремя неизвестными а, y, d = 2b + y,  а именно:
 4 * a-3- = 4 * (c-3-  - b-3- )= 4 * ((b + y)-3- -- b-3-) = y-3- + 3 * y *(2b + y)-2- = y-3- + 3* y* d -2-.
 8* a-4- = 8 * (c-4-  --  b-4- )= 8 * ((b + y) -4-  -- b-4- ) = 4 * y-3- * d + 4 * y *d-3-.  
 16* a-5- = 16 * (c-5-   --  b-5-)= 16* ((b + y)-5-   -- b-5- ) = y-5-   + 10 * y-3- * d-2- + 5 * y *d-4-.
 32* a-6- = 32 * (c-6-  -  b-6-)= 32* ((b + y)-6-   - b-6-) = 6 * y-5- * d + 20 * y-3- * d-3- + 6 * y *d-5-.
 64* a-7- = 64 * (c-7-  -  b-7-)= 64* ((b + y)-7-   - b-7-) = y-7- + 21 * y-5- * d-2- + 35 * y-3- * d-4- + 7* y *d-6-.
 Далее по аналогии…
 Подробная проверка при  n=3.
 a-3- = c-3-  - b-3-= (b + y)-3- -- b-3- = b-3- + 3 * b-2- * y + 3 * b * y-2-.
 4 * a-3- = y-3- + 3 * y *d-2- = y-3- + 3 * y *(2b + y)-2- = y-3- + 3 * y *(4 * b-2- + 4 * b * y + y-2- )= y-3- + 12* y * b-2- + 12* b * y-2- + 3 * y-3-= 4 *(y-3- + 3 * y-2- * b + 3 * y*b-2-=
 = 4 * ((b + y)-3- -- b-3-) = 4* (c-3-  -- b-3-).
 
 Данные уравнения решаемы при a = y = d, принадлежащих множеству натуральных чисел.
 Данный результат a = y = d приводит к отрицательному результату: a-n-  + 0  = a-n-. Теорема Ферма доказана. 
 Следует отметить.  что я сначала нашел иное доказательство Теоремы Ферма для четных степеней при N > 2, которое также приводят к результату: a-n-  + 0  = a-n-.
          На основании данных доказательств можем выдвинуть теорему в силу которой теорема Ферма доказана:
 Уравнение вида X * A-N- = X1 * B-Y1- * C-Z1- + X2 * B-Y2- * C-Z2- + … + Xk * B-Yk- * C-Zk- При натуральных: (X = X1 + X2 + … + Xk) и (N= Y1 + Z1 = Y2 + Z2 = … = Yk + Zk) имеет единственное решение  A = B = C, принадлежащее множеству натуральных чисел. Cледует отметить при X * A-N- = X1 * B-N- + X2 * B-(N – Y)- * C-Y- теорема верна, при: Y > 1. 
            В силу данной теоремы теорема Ферма доказана относительно просто. На основании изложенного, я доказал, что для доказательства Пьеру Ферма было достаточно использовать математический аппарат своего времени. 
                                           Хилков Дмитрий Александрович. 
					 					 |