Для нахождения решений в указанных формулах можно использовать и решения выражения (1) (с условием возведения в четные степени), т.е. минимальное решение можно подсчитать по формулам, используя минимальное решение для (1): , приняв .
Не следует относиться к формулам Коровьёва серьёзно. Они "выведены" путём подгонки под известные ему минимальные значения
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
и
![$y$ $y$](https://dxdy-02.korotkov.co.uk/f/d/e/c/deceeaf6940a8c7a5a02373728002b0f82.png)
.
Решения подобных уравнений зачастую связаны между собой, поэтому уравнения, приведенные
Коровьевым, очень даже хороши.
Суть моего же топика была показать, что для нахождения минимальных значений
![$x=649$ $x=649$](https://dxdy-02.korotkov.co.uk/f/1/0/3/103a99d5c1476dee9ebd03e783c639d682.png)
,
![$y=180$ $y=180$](https://dxdy-02.korotkov.co.uk/f/d/1/4/d140d5b7e0d012a08806a78ea047f69082.png)
можно использовать меньшие решения другого уравнения.
В данном случае получается следующее:
Ищем минимальные решения уравнения
![$ x^2-13y^2=1$ $ x^2-13y^2=1$](https://dxdy-04.korotkov.co.uk/f/7/5/e/75e9ad2d13b55b6f6aba331abe285c6f82.png)
![$ 13y^2=x^2-1=(x+1)(x-1)$ $ 13y^2=x^2-1=(x+1)(x-1)$](https://dxdy-03.korotkov.co.uk/f/e/4/4/e444de1753fab1ef07386769d5c58ada82.png)
,
из которого видно, что число
![$13y^2$ $13y^2$](https://dxdy-03.korotkov.co.uk/f/e/7/f/e7f76fb0698f0e908e6ac9d5a72cc97c82.png)
должно раскладываться на 2 множителя, отличные друг от друга на 2.
Рассматривая возможные варианты, можно убедиться в том, что такие, как:
![$ 13 - y^2=\pm 2$ $ 13 - y^2=\pm 2$](https://dxdy-03.korotkov.co.uk/f/e/7/6/e76e9df63dcfeaaf8b2e0a3bde56854182.png)
![$ 13y_1^2-y_2^2=\pm 2$ $ 13y_1^2-y_2^2=\pm 2$](https://dxdy-02.korotkov.co.uk/f/d/8/3/d83f2100104d3a44e5502ae6b13798cb82.png)
, где
![$y=y_1\cdot y_2$ $y=y_1\cdot y_2$](https://dxdy-04.korotkov.co.uk/f/3/6/b/36bde985131e48fd81cb9ba6d84ec56182.png)
,
не проходят (на основе анализа остатков по основанию 8).
Остается вариант
![$13y_3y_1^2-y_3y_2^2 = \pm 2$ $13y_3y_1^2-y_3y_2^2 = \pm 2$](https://dxdy-02.korotkov.co.uk/f/d/e/e/deec352341c0921b6b19964e1ed58b6382.png)
,
где
![$y=y_1\cdot y_2\cdot y_3 $ $y=y_1\cdot y_2\cdot y_3 $](https://dxdy-04.korotkov.co.uk/f/3/3/d/33d8ba608ad0c531c3fec068ee0e46b582.png)
.
![$ y_3(13y_1^2-y_2^2)=\pm 2$ $ y_3(13y_1^2-y_2^2)=\pm 2$](https://dxdy-03.korotkov.co.uk/f/a/d/a/ada33137fff367e87b4511732ac664cd82.png)
,
откуда видно, что возможно только
![$y_3=2$ $y_3=2$](https://dxdy-02.korotkov.co.uk/f/d/c/0/dc05715f8c3fe17c02eb5253823c47d282.png)
.
Сократив на 2, получаем
![$13y_1^2-y_2^2=\pm 1$ $13y_1^2-y_2^2=\pm 1$](https://dxdy-02.korotkov.co.uk/f/1/b/8/1b8ce7d7b1ce5e74b7765dfec022cd1382.png)
.
Уравнение
![$ 13y_1^2-y_2^2=-1$ $ 13y_1^2-y_2^2=-1$](https://dxdy-02.korotkov.co.uk/f/1/e/a/1ea095f5ad4dd9e961e65ace8f4b2f2482.png)
по структуре эквивалентно исходному, следовательно, минимальные значений
![$y_1$ $y_1$](https://dxdy-04.korotkov.co.uk/f/f/7/0/f7019b486d7fc8f840b0ce0bb0d4171482.png)
и
![$y_2$ $y_2$](https://dxdy-01.korotkov.co.uk/f/4/c/5/4c512beeb3e83909b7e19f3cabcfa39582.png)
мы там не найдем (т.к. ищем минимальные решения исходного).
Значит остается найти минимальные решения уравнения
![$13y_1^2-y_2^2=1$ $13y_1^2-y_2^2=1$](https://dxdy-01.korotkov.co.uk/f/c/1/3/c133d57851d1f8977406224722eb337582.png)
, которое эквивалентно уравнению
![$x^2-13y^2=-1$ $x^2-13y^2=-1$](https://dxdy-03.korotkov.co.uk/f/6/6/e/66e6b0d264bf4e3b92f1f7591680930982.png)
.
Из приведенных выкладок видно, что такие решения:
во-первых, существуют,
во-вторых, меньше искомых.