Артамонов Ю.Н. писал(а):
Виктор, не утруждайте себя раздумьями. Запись в издании сочинений Диофанта П.Ферма сделал уж конечно не по-поводу линейных диофантовых уравнений, которые элементарно решаются по алгоритму Евклида, а напротив задачи №8 – заданный квадрат разложить на два квадрата. Зря Вы так примитивно думаете о Диофанте – почитайте его –
http://ilib.mccme.ru/djvu/klassik/diofant.htm – это классика, а ее нужно знать.
Спасибо за информацию, и тем не менее...
+++++++++++++++++++++++++++++++++++
ВТФ и линейные диофантовы уравнения (анатомия анализа, продолжение)
Вполне вероятный вывод, полученный прошлый раз, таков: П.Ферма использовал-таки теория диофантовых уравнений, причем на последнем этапе доказательства. А теперь припомним еще один момент в записи Ферма: «…но места на полях недостаточно, чтобы привести его (доказательство) здесь». Это значит, что объем текста доказательства вполне сопоставим с площадью полей, ну раз в пять, от силы в десять больше площади полей, то есть порядка полустраницы. Следовательно, если после применения линейного диофантового уравнения два-три предложения должно быть потрачено на интерпретацию диофантового уравнения, то получается, что диофантово уравнение было составлено в самом начале доказательства. А если и в конце, и в начале, то линейное диофантово уравнение содержится в… самом равенстве Ферма! И приглядевшись повнимательней, мы легко его обнаруживаем. Вот оно:
Перепишем равенство
![$a^n+b^n=c^n$ $a^n+b^n=c^n$](https://dxdy-01.korotkov.co.uk/f/4/5/9/459b40d5928bd9ca56b6bd7505fdf73a82.png)
в виде:
![$pP+qQ=c^n$ $pP+qQ=c^n$](https://dxdy-01.korotkov.co.uk/f/4/3/2/4325af969f9bb1b326e199cc8f8df9a782.png)
, где
![$p=c-b$ $p=c-b$](https://dxdy-01.korotkov.co.uk/f/8/b/d/8bd47b10c58601cf83507786a742c11f82.png)
,
![$P=(c^n-b^n)/(c-b)$ $P=(c^n-b^n)/(c-b)$](https://dxdy-01.korotkov.co.uk/f/8/9/e/89e87a750f32ef6a2e31eccbe34a26ec82.png)
,
![$q=c-a$ $q=c-a$](https://dxdy-01.korotkov.co.uk/f/8/e/f/8efffb30e36f99f31f06314f28b3ad8a82.png)
,
![$Q=(c^n-a^n)/(c-a)$ $Q=(c^n-a^n)/(c-a)$](https://dxdy-01.korotkov.co.uk/f/c/5/5/c55582adab15acc66b9ff94ad3e92abc82.png)
, числа
![$p$ [$=p'^n$] $ $p$ [$=p'^n$] $](https://dxdy-03.korotkov.co.uk/f/a/a/a/aaa556892e076f28a661990ae6bcb97682.png)
,
![$q$ [$=q'^n$] $ $q$ [$=q'^n$] $](https://dxdy-03.korotkov.co.uk/f/2/8/5/2856b544857c5ec7294b409053b1b31982.png)
,
![$P$ [$=P'^n$] $ $P$ [$=P'^n$] $](https://dxdy-03.korotkov.co.uk/f/2/d/0/2d096a0d32bb1afdb30ee68382feb46382.png)
,
![Q$ [$=Q'^n$] $ Q$ [$=Q'^n$] $](https://dxdy-02.korotkov.co.uk/f/1/0/b/10bd242af8c0c25d496d057df5e3d6a882.png)
взаимопростые и не кратны
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
.
И теперь при параметрах
![$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=P$ $x=P$](https://dxdy-04.korotkov.co.uk/f/f/7/5/f75537ddb93c898a887181b2bcb1315782.png)
,
![$y=Q$ $y=Q$](https://dxdy-03.korotkov.co.uk/f/6/7/e/67e04b87f707678d11025a2f79c9da5e82.png)
) и общее (
![$x=P+tq$ $x=P+tq$](https://dxdy-03.korotkov.co.uk/f/6/f/a/6faafc4cb4185029c535bd56c11e055982.png)
,
![$y=Q-tp$ $y=Q-tp$](https://dxdy-03.korotkov.co.uk/f/e/2/b/e2b178ac18c991c878398e9943b4bb7982.png)
) решения ЛИНЕЙНОГО ДИОФАНТОВОГО УРАВНЕНИЯ
![$px+qy=c^n$ $px+qy=c^n$](https://dxdy-01.korotkov.co.uk/f/0/0/a/00a0ac861af5cd72856519c0e93eaf7a82.png)
.
И теперь осталось совсем «немного»: понять, какое решение этого уравнения П.Ферма счел (и почему) противоречивым.
Легко указать такое
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
, при котором
![$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)
) также будет являться степенью. А теперь
ВОПРОС 1: Существует ли такое
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
, при котором будут степенями и
![$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)
одновременно?
ВОПРОС 2 и ОЧЕНЬ ИНТЕРЕСНЫЙ: Существует ли такое
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
, при котором число
![$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)
) будет равно 1?