Файл: Александрийский, Д. Арифметика и книга о многоугольных числах.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 18.10.2024
Просмотров: 95
Скачиваний: 1
|
КОММЕНТАРИИ |
|
|
Диалогично, дли У 3 |
последовательные |
приближения |
можно |
получить по формулам |
§„ = |
і]„ = 1)п_г + |
3£„_г |
(о том, что пифагорейцы действительно пользовались такими фор мулами для приближенного вычисления У 3, см. в статье М. Е. П а-
е в а |
«О приближенном вычислении квадратных корней в Древ |
||||
ней Греции», Историко-матем. последов., вын. XVI, М., Паука, |
|||||
1965, |
стр. 219 —234). |
Получим последовательность |
приближений |
||
|
1_ |
5_ |
1 4 ^ 2 . |
52 = ^ |
' |
|
1 ’ |
3 ’ |
8 ' 4 ’ |
11 ’ 3Ü 15 |
Диофант выбирает в обоих рядах четвертое приближение, только «подправляет» дробь 19/11, беря меньшее значение 19/12. Далее,
он полагает 9 — х2 — (3 — кх)2, где к — новое переменное, которому
Диофант, против обыкновения, |
ио придаст |
конкретного числового |
||||
значения. Тогда х |
6/с |
и Диофаит |
требует, чтобы |
|||
к2 + |
1 ’ |
|||||
|
|
|
|
|||
|
17 |
^ |
6/с |
^ 19 |
|
|
откуда |
12 ^ Г- + 1 |
'12 ’ |
|
|||
3,504 . . . < к < |
3,984 . . . |
|||||
|
||||||
и Дпофант выбирает к = 3,5 |
Ясно, что в качестве к можно выбрать |
и любое другое рациональное число из заданного интервала. Каж дому такому числу будет отвечать рациональное решение задачи.
Заметим, что в этой задаче Диофант не накладывает специаль ных условий на числа а и Ь, ио выбирает их так, чтобы
a + b + 1 = □,
а ему известно, что каждый квадрат можно разложить на сумму двух квадратов бесконечным числом способов.*
* Выбранное Диофапто.м значение к = 3,5 |
лежит вне полученного |
интервала; |
|
однако, если исходить из более точного условия |
V'z < — |
< Ѵз, то |
|
|
|
ft" -р i |
|
для к получим более широкиГі интервал |
возможных |
значений |
3,146.. . < |
<к < 3,992. . ., и выбранное Диофантом значение лежит внутри этого интер вала. Заметим, что к можно было бы взять и из другого интервала 0,2509. . .<
<к < 0,2853 . . . (или более широкого интервала 0,2504 . . . < к < 0,3178. . .,
если исходить из более точного условия), Диофаит обычно рассматривал лишь одни интервал.
266
|
АРИФМЕТИКА КНИГА V |
9. Задача Ѵп эквивалентна системе |
|
ГХг + Х 2 + |
Х 3 = і , |
1 х { + а = У * |
(і = 1 , 2 , 3 ) , |
из которой легко следует, что |
|
У 2 + у* + у» = За + 1.
Поскольку не каждое целое число N представимо в виде суммы трех
квадратов, целых или дробных, то Диофант накладывает ограниче
ние на число а: оно не должно иметь вид 8га + |
2, |
т. е. |
число N =j= |
||||||||
ф 2 А к + 7. |
Еще Ферма заметил, что это ограничение недостаточно, |
||||||||||
так как суммою трех |
квадратов |
непредставимы |
все |
числа |
вида |
||||||
4т (8к + 7). |
Весьма |
вероятно, |
что Диофант не рассмотрел |
чисел |
|||||||
этого последнего вида, так как |
предполагал, как и в случае задачи |
||||||||||
Ѵ0, что представляемые суммой трех квадратов |
числа уже свободны |
||||||||||
от квадратных делителей. Ход решения |
этой |
задачи тот же, |
что и |
||||||||
у Ѵо. Диофант полагает а = |
3, тогда За + |
1 = |
10 и задача сводится |
||||||||
к представлению числа 10 в |
виде суммы |
таких |
трех квадратов, |
||||||||
каждый из |
которых больше 3: |
У2 + У® + |
У2 = |
10, |
У? > |
3. |
|||||
Опять Диофант сначала |
отыскивает такую дробь |
И х2, чтобы |
|
|
|
|
|
|
|
3 ^ |
ж2 |
U ’ |
|
|
|
|
|
или, |
умножая все на 9, |
заменяя х на Зі/ и умножая на у2, |
|
|||||||||||
|
|
|
|
|
|
|
30у2 + |
1 = |
z2. |
|
|
|
|
|
Поскольку 30 = 25 + 5, |
т. е. имеет вид т2 + |
т, то уравнение ре |
||||||||||||
шается подстановкой (см. комментарий |
к V») |
z = |
5у + |
1, откуда |
||||||||||
у = |
2 |
и |
і/х 2 — 1/36, |
т. |
е. каждый из |
квадратов должен |
быть |
|||||||
|
|
121 |
10 |
1 |
|
а стороны их, т. е. Уу, близки к 11/6. |
||||||||
близок к — = — + |
—- , |
|||||||||||||
|
|
|
36 |
3 |
36 |
|
|
|
|
|
|
|
|
|
|
Затем Диофант выбирает некоторое представление числа 10 |
|||||||||||||
суммою трех |
квадратов: |
10 = 9 |
1 = 9 |
-|- 16 |
9 |
= р2 + 92 + га, |
||||||||
где р |
= 3, |
д = |
3/5, |
г = |
|
4/5. Нужно выбрать новые три квадрата, |
||||||||
стороны которых близки к 11/6. |
|
|
|
|
|
|
|
|||||||
|
В первом приближении Диофант полагает Y t = |
У2 = |
У3 = |
11/6, |
||||||||||
|
|
/11\2 |
363 |
|
1 |
|
|
|
|
|
|
|
||
но |
з-Іб-І |
= |
36 = |
10 ^2 > 10. |
Тогда, |
так же |
как |
и в задаче |
267
|
|
|
|
|
|
|
КОММЕНТАРИИ |
|
|
|
Ѵ9, Диофант |
находит |
|
|
|
|
|
|
|||
, |
о |
И |
7 _ 35 . |
3 |
И _ |
37 |
, _ 4 |
И _ |
31 |
|
1 |
д |
ТГ |
6 |
3 0 ’ 2 |
5 |
6 |
30 ’ |
3 5 |
6 |
30' |
Диофант умножает |
все на 30 и полагает |
|
|
|
||||||
|
|
|
|
|
Уі = |
3 — 35t, |
|
|
|
|
(*) |
|
|
|
|
У3 = |
Jt + |
37t, |
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
Уз = |
. | . + 31t, |
|
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
где t должно получиться близким к 1/30. Подставляя эти значения в равенство Y 2 — Ю, он находит t = 116/3555.
Для уяснения смысла подстановки (*) можно прибегнуть и к геометрической интерпретации. Уравнение
|
и2+ |
а2 + W- — 10 |
|
|
|
представляет |
сферу. Точка А |
(3; 3/5; 4/5) лежит на |
ней, |
а точка |
|
В (11/6; 11/6; |
11/6) — вне сферы, так как 3■ (11/6)2 = |
1 |
Прове |
||
lO-jrjr • |
|||||
дем прямую через точки А и В . |
Уравнение ее будет |
|
|
||
|
—35 |
37 |
31 |
|
|
или, в параметрической форме, |
|
|
|
||
и = 3 — 35t, v = |
— -\-'S7t, |
w — А -)- 31t. |
|
||
|
|
5 |
5 |
|
|
Точка пересечения этой прямой со сферой и даст новое рациональное решение, удовлетворяющее условиям задачи: соответствующая ра циональная точка будет лежать на сфере, и координаты ее будут близки к координатам точки В .
К |
этой |
задаче П. Ферма сделал |
следующее |
замечание |
||
(№ XXVII): |
|
|
|
|
|
|
|
«Условия, наложенные Баше J), |
недостаточны: |
более |
|||
|
того, он не провел свои исследования с нужной аккуратно |
|||||
|
стью, так, например, число 37 не исключается этими усло |
|||||
|
виями, но оно не может быть взято. |
|
|
|
|
|
>) Б аш е сформулировал следующие условия: данное число а |
не долж но быть |
|||||
вида |
32п + |
9. Он утверж дал, что проверил все числа до |
325 |
и не |
нашел |
|
ни |
одного |
исключения. |
|
|
|
|
268
|
|
|
|
|
|
АРИФМЕТИКА КНИГА V |
||
|
|
Вот каковы должны быть условия: |
|
|||||
|
|
Возьмем две геометрические прогрессии со знаменателем |
||||||
4 |
и имеющие первые члены 1 и 8 и напишем их одну под дру |
|||||||
гой следующим образом: |
|
|
|
|||||
|
1, |
4, |
16, |
64, |
256, |
1024, |
4096 |
и т. д., |
|
8, |
32, |
128, I |
512, |
2048, |
8192, |
32768 |
и т. д., |
и |
рассматриваем |
сначала первый член второй прогрессии, |
||||||
т. |
е. |
8; нужно, чтобы данное число не равнялось удвоенной |
единице, т. е. члену, стоящему над 8, и не превосходило па удвоенную единицу кратное от 8.
Затем рассматриваем второй член второй прогрессии, который равен 32, берем и удваиваем верхнее число, т. е. 4, что даст 8, и прибавляем к нему сумму всех предшествующих членов той же прогрессии (в данном случае эта сумма сводит ся к единице), что даст 9.
Возьмем число 32 и 9; тогда нужно, чтобы данное число пе равнялось 9 и не превосходило 9 на кратное от 32.
Теперь рассмотрим третий член второй прогрессии, т. е. 128, удвоим стоящее выше число, т. е. 16, получим 32; приба вим сумму предшествующих членов той же верхней прогрес сии, т. е. 1 и 4, получим 37. Итак, возьмем два числа 128 и 37; нужно, чтобы данное число не равнялось 37 и не пре восходило 37 на кратное от 128.
Рассмотрим теперь четвертый член второй прогрессии, тем же методом получим числа 512 и 149. Итак, нужно, чтобы данное число не равнялось 149 и не превосходило 149 на крат ное от 512.
Это и есть единообразный метод, который можно про должать до бесконечности. Он не был указан в общем виде Диофантом и не был известен самому Баше; исследования это го последнего были ошибочны не только для числа 37, как я это уже указал, но и для 149 и других, которые также по падают в границы исследованных им чисел».
10. Задача Ѵ12 эквивалентна системе
Zx + |
Z 2 + |
Z 3 = 1, |
Хг + |
а = |
У*, |
*2 + |
ъ= |
У* |
Z 3 + |
с = |
У* |
т. е. представляет распространение задачи Ѵю на случай трех не известных. Диофант принимает а — 2, і = 3, с = 4 и приходит к
269