shwedka писал(а):
В.СорокинЦитата:
Сегодня я нашел простейший способ
Простейший- не значит правильный. Начинается гениальное триста девятнадцатое окончательное доказательство.
А Вы, оказывается, хорошо умеете считать до тысячи!..
===========================================
Обозначения
![$p$ $p$](https://dxdy-03.korotkov.co.uk/f/2/e/c/2ec6e630f199f589a2402fdf3e0289d582.png)
– натуральное число,
![$q$ $q$](https://dxdy-02.korotkov.co.uk/f/d/5/c/d5c18a8ca1894fd3a7d25f242cbe889082.png)
– нечетное число
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
– множество нечетных чисел типа
![$x=2q+1$ $x=2q+1$](https://dxdy-02.korotkov.co.uk/f/9/a/e/9ae650b43efeedf91eff899c3ec8797d82.png)
,
![$Y$ $Y$](https://dxdy-02.korotkov.co.uk/f/9/1/a/91aac9730317276af725abd8cef04ca982.png)
– множество нечетных чисел типа
![$y=4p+1$ $y=4p+1$](https://dxdy-04.korotkov.co.uk/f/f/4/5/f45dd954b4f43796118364c99eca2f0382.png)
,
Два числа одного типа назовем однотипными, разного вида – разнотипными.
Очевидны следующие утверждения:
(1°) Если нечетные числа
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
и
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
однотипны, то числа
![$a+2q$ $a+2q$](https://dxdy-01.korotkov.co.uk/f/4/0/6/4061bddcf9333ae860294f7b0d60a1a782.png)
и
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
разнотипны.
(2°) Числа
![$2p+q$ $2p+q$](https://dxdy-04.korotkov.co.uk/f/f/f/f/fffb2769fd06c7097369ff9b0f81530182.png)
и
![$2p-q$ $2p-q$](https://dxdy-02.korotkov.co.uk/f/d/f/6/df6d7542948d696777ec385cbe28a96682.png)
разнотипны.
Доказательство ВТФ для нечетного
![$n>2$ $n>2$](https://dxdy-03.korotkov.co.uk/f/2/a/9/2a9dfa29692859379213db21d3f8a1f482.png)
.
Допустим,
(3°)
![$a^n+b^n=c^n$ $a^n+b^n=c^n$](https://dxdy-01.korotkov.co.uk/f/4/5/9/459b40d5928bd9ca56b6bd7505fdf73a82.png)
, или
(4°)
![$ (c-b)P+(c-a)Q=(a+b)R$ $ (c-b)P+(c-a)Q=(a+b)R$](https://dxdy-01.korotkov.co.uk/f/4/e/3/4e3b9e7a905c6854585979ed3250c98782.png)
,
где два из чисел
![$a, b, c$ $a, b, c$](https://dxdy-01.korotkov.co.uk/f/c/7/5/c7511ce56cd9c8457f7a29917f39df8d82.png)
и из чисел
![$c-b, c-a, a+b$ $c-b, c-a, a+b$](https://dxdy-02.korotkov.co.uk/f/1/a/d/1ad1ce2a48f2a3762ce84f5ffe97dd5b82.png)
нечетны и
(5°)
![$ c>a>b>0$ $ c>a>b>0$](https://dxdy-04.korotkov.co.uk/f/7/f/b/7fb9b0c97ef90987c517026941ba031b82.png)
.
Случай 1. Число c четно.
Выберем пару чисел
![$a+b=e$ $a+b=e$](https://dxdy-02.korotkov.co.uk/f/9/7/3/973b3f8065e48b29a69b63fd6f75ebd182.png)
(четное) и
![$c-a=d$ $c-a=d$](https://dxdy-03.korotkov.co.uk/f/a/c/c/acc988c5ae4f75dfa7768a54b54a26f582.png)
(нечетное)
и рассмотрим пары чисел
![$d+e$ $d+e$](https://dxdy-03.korotkov.co.uk/f/2/3/1/231c8d97204e5860e0df8bdc40a0784882.png)
и
![$d-e$ $d-e$](https://dxdy-01.korotkov.co.uk/f/c/c/8/cc8ac9f7d47fd3541960fdf4e2cf891e82.png)
, являющиеся, очевидно, РАЗНОТИПНЫМИ (см. 2°).
С другой стороны, числа
![$d+e$ $d+e$](https://dxdy-03.korotkov.co.uk/f/2/3/1/231c8d97204e5860e0df8bdc40a0784882.png)
(
![$=c+b$ $=c+b$](https://dxdy-02.korotkov.co.uk/f/1/1/e/11ee1fc5c45e69e7e7dfefb733f11f7082.png)
) и
![$d-e$ $d-e$](https://dxdy-01.korotkov.co.uk/f/c/c/8/cc8ac9f7d47fd3541960fdf4e2cf891e82.png)
(
![$=c-b-2a$ $=c-b-2a$](https://dxdy-02.korotkov.co.uk/f/d/0/2/d021fc1dd3ef1bc20b0c7145702f927c82.png)
) являются ОДНОТИПНЫМИ, поскольку числа
![$c+b$ $c+b$](https://dxdy-02.korotkov.co.uk/f/1/2/9/1299b5d75bb4db6b65bdd575056e463982.png)
и
![$c-b$ $c-b$](https://dxdy-02.korotkov.co.uk/f/5/2/0/5209a90f94b4f28de1c9354a1e297eb482.png)
являются разнотипными, числа
![$c-b$ $c-b$](https://dxdy-02.korotkov.co.uk/f/5/2/0/5209a90f94b4f28de1c9354a1e297eb482.png)
и
![$c-b-2a$ $c-b-2a$](https://dxdy-03.korotkov.co.uk/f/a/4/9/a49367a57a1d439f884f13b8f3a3b9e682.png)
– тоже разнотипными, следовательно, числа
![$c+b$ $c+b$](https://dxdy-02.korotkov.co.uk/f/1/2/9/1299b5d75bb4db6b65bdd575056e463982.png)
и
![$c-b-2a$ $c-b-2a$](https://dxdy-03.korotkov.co.uk/f/a/4/9/a49367a57a1d439f884f13b8f3a3b9e682.png)
– однотипными.
И мы имеем к противоречие: числа в двух тождественных парах чисел являются разнотипными и в то же время однотипными.
Случай 2. Число
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
/
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
/ четно.
После простейшей подстановки этот случай полностьюсводится к предыдущему.
(Доказательство будет представлено позже.)
***
Конечно, согласно основному постулату официальной науки – «Этого не может быть, потому что этого не может быть никогда!» – мое доказательство неверно.