Файл: Александрийский, Д. Арифметика и книга о многоугольных числах.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 18.10.2024

Просмотров: 99

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

АРИФМЕТИКА КНИГА V

отрывка решения восстановил текст условия и, кроме того, вставил между этой восстановленной задачей и задачей еще две проме­ жуточные: Ѵ10і и Vjii,.

В задаче Ѵ9 испоріен текст диоризма, в котором должна была

быть сформулирована чрезвычайно важная теорема теории чисел; а именно условие, при котором целое число N может быть представ­

лено в виде суммы двух квадратов. Это ограничение было восстанов­ лено Пьером Ферма, который вновь открыл эту теорему. Фило­ логический анализ текста был впоследствии проведен К. Якоби и П. Таииери. В пашем переводе дан восстановленный текст, при­ веденный в издании П. Таииери.

Далее, в леммах, предшествующих задаче Ѵ7, показывается, как построить три прямоугольных треугольника, имеющих одина­ ковую площадь. А в задачах Ѵ22_23 без всякого объяснения выбн-

р потея два треугольника, площади которых имеют заданное отно­ шение. По-видимому, этим задачам также предшествовали леммы, в которых пояснялся способ построения таких треугольников.

Задачи Ѵ,,_]4 составляют замкнутый цикл. Они новы но своей постановке, в них требуется разложить данное целое число N в сум­

му двух, трех итн четырех квадратов, каждый из которых удовлет­ воряет некоторому неравенству.

Диофант находит рациональные числа, которым приближенно должны быть равны стороны этих квадратов, а затем и сами числа, удовлетворяющие условию задачи. Метод решения задач этого типа Диофапт называет особым термином «теарюот'^то? іушуі)», что мож­ но перевести словами «метод приближения», ß процессе решения этих задач дважды появляется уравнение Ферма

ax'- - f l = </2

для а — 26 и 30, формулируются ограничения, связанные с тем,

что не всякое целое можно представить суммою двух или трех це­ лых или рациональных квадратов. Эти ограничения, или дпоризмы, показывают, насколько глубоки были знания Дпофанта в теории чисел. Подробнее об этих задачах рассказано в соответствующих комментариях.

Взадачах Vi5_-s рассматриваются системы уравнений, которые

Диофант сводит к одному уравнению третьей или четвертой степени от трех или более неизвестных. О методах решения этих задач бу­ дет рассказано подробнее в комментариях к ним.

Впоследующих задачах этой книги применяются методы ре­ шения задач Ѵ9_м, а также привлекаются к рассмотрению пифа­ горейские треугольники (задачи Ѵ7, Ѵаі-зв).

251


КОММЕНТАРИИ

Условие последней задачи облечено в стихотворную форму. Кроме того, это единственная задача, в формулировке которой фигурируют конкретные числа. Это обстоятельство сближает ее с задачами и эпиграммами, встречающимися в греческой логистике. Однако при ее решении Диофант дважды рассматривает и решает квадратные неравенства, так что, по существу, эта задача гораздо сложнее тех, которые дошли до пас в различных сборниках и анто­ логиях.

1. Задачи Vj и Ѵ2 эквивалентны системам

j ХІ = Х,Х3,

і ЙГі “F а—УI (£=1,2,3).

В первой задаче (отвечающей системе с верхним знаком) Диофант берет а = 12, во второй он полагает а — 20. Сначала, в первом

случае, он находит такой квадрат <2, что

 

/2 а = [3 =

и2.

Положив и =

г — а, получим

 

 

а + а2

 

г = 2

При а — 12, а

= 1 Диофант получает t — 13/2. Затем он полагает

тогда

и первые два условия выполнены, а последние два дают «двойное равенство» того же типа, которое встречалось в ІІІі3:

Решая, его, найдем

(у Диофанта а: = 361/104).

Вторая задача решается аналогично, однако произвольно вы­ бранное значение квадрата г2 такого, что г2 + а = 0 , приводит

к отрицательному решению. Анализируя задачу, Диофант при­ ходит к условию і2 )> 4а, в связи с которым и видоизменяет

252

 

АРИФМЕТИКА КНИГА V

подстановку для і,

полагая t — b + х, где

 

 

 

(Ь _ 1)2 < 4 а <

Ь2.

 

 

2. Задачи Ѵ3 и Ѵ4 сводятся к системам

 

 

{

— 1, 2, 3;

і, і ~Ь 1 G Z3).

 

 

 

 

В первом случае Диофант полагает а =

5,

во втором — а = 6.

Решение задачи Ѵ3 основано на применении следующего порнз

ма: если + а =

р 2, 12 -(- а = + I)2, то tjt2 +

а = □ . Нетруд­

но посчитать, что этот последний квадрат будет =

[р (р + 1 ) — «]'■

Задача Ѵ4 решается аналогично.

 

 

 

К задаче Ѵ3 Ферма сделал замечание (№ XXII):

«Из этого предложения легко выводится решение сле­ дующего вопроса:

Найти четыре числа при условии, что произведение лю­ бых двух из них, сложенное с данным числом, дает квадрат.

Возьмем три числа, удовлетворяющих задаче, так что каждое из них, сложенное с данным числом, составит квад­ рат, как это и было предложено. Пусть четвертым искомым будет X + 1. Получим тройное равенство, решение которого

легко находится с помощью нашего метода. Смотри замеча­ ние к задаче ѴЫ [в настоящем издании к ѴІ22.— И . Б.].

Этим решается и вопрос, предложенный Баше к задаче

ІІІ12 [у нас Ш 10.— И. Б.], и помимо того, что метод более

общий, оп имеет еще то преимущество перед методом Баше, что при нашем решении три первых числа, сложенные с дан­ ным, составляют квадрат.

Однако мне до сих пор неизвестно, можно ли решить за­ дачу при условии, что и четвертое число, сложенное сданным,

составляет квадрат. Это надо будет еще исследовать».

3. Решение задачи Ѵ6, сводящейся к системе

основано на применении следующего поризма: числа р 2, + I)2 и

2 [р 2

+ + I)2] +

2

таковы,

что произведение любых двух из

них,

сложенное с

их

суммой

или с третьим числом, образует

квадрат.

253


КОММЕНТАРИИ

4. Задача Ѵ0эквивалентна системе

I

'/, і = і , 2, 3; і ф і ' \ і + 1 =f і 1

і , і -{- 1 GE Z3

Диофант решает ее с помощью тохю же иорнзма, что и предыдущую задачу, т. о. полагает

Хх =

х" -f 2,

Ха = (а: + I)2 + 2, Х 3 — 2

2 + (х + I)2] -И -

5.

Задача V- эквивалентна системе

 

 

 

{;=

1,2,3).

Диофант замечает, что для ее решения достаточно найти три прямо­ угольных треугольника в рацнональпых числах с одинаковой пло­ щадью. Тогда

с2 ± iS = Г,

где с — гипотенуза, а S — площадь треугольника.

Для нахождения трех прямоугольных треугольников с одина­ ковой площадью служат две леммы, с помощью которых решение получается чрезвычайно изящно,

В лемме 1 требуется найти такие два числа, чтобы

Решая это неопределенное уравнение обычным способом, Диофант принимает АД = х, Х2 = а (а = 1), У = х — ß (ß = 2) и получает

Он полагает

ß2 - а2 [=

 

Хх =

3],

Х2 =

а - f 2ß)

[ = 5].

В лемме 2 требуется построить такие три прямоугольных тре­ угольника, площадь которых одинакова. Показывается, что такими

свойствами

будут

обладать

треугольники, построенные на числах

Х г, Y; Х2,

Y

и У,

Ху + Х

2. (См. комментарий к Ш ]0.)]

Заметим,

что

от леммы 2 к лемме 1 Диофант мог прийти сле­

дующим образом. Пусть надо построить два прямоугольных тре­ угольника с одинаковой площадью. Будем строить их на числах X lt

У и Х2, У, т. е. предположим, что одно из образующих чисел у пих

254


 

 

 

 

 

АРИФМЕТИКА КНИГА

V

 

общее. Тогда нз равенства площадей получим

 

 

 

 

X j Y (Y'1 -

X ‘l)

=

X t Y

(У2 -

X®)

 

 

 

Н Л П

 

 

 

 

 

 

 

 

 

 

 

У2 =

X® +

X® +

Х гХ 2.

 

‘ ..

 

 

Если образовать третий

треугольник

из чисел У,

Х-і +

U , то

получим

 

 

 

 

 

 

 

 

 

 

Y X x (У2 -

ХІ)

=

(Хг +

U) У [(Хх +

U)2 -

У2]

 

 

или

 

 

 

 

 

 

 

 

 

 

У2 =

Х \

+

Х г и

+

U2, т. е. U = Х„.

 

 

 

Ферма сделал

следующее

замечание (№

XXIII)

к лемме

2:

«Но можно ли найти

четыре или даже большее число,

ра­

стущее до бесконечности, треугольников равной площади?

Ничто как будто не препятствует тому, чтобы эта задача была возможной; поэтому ее надо глубже исследовать.

Мы разрешили задачу, более того, если дана площадь произвольного треугольника, мы построим бесконечно много других, имеющих ту же площадь: пусть, например, дана площадь 6 треугольника 3, 4, 5, то другим треугольником той же площади будет

7/10, 120/7, 1201/70,

пли, если желательно иметь один и тот же знаменатель,

49/70, 1200/70, 1201/70.

Общий и всегда применимый метод таков. Пусть дан произвольный треугольник с гипотенузой Z, основанием В и высотой D. Из него можно вывести другой треугольник, не

подобный ему, но одной с ним площади; образуем его из

квадрата Z и удвоенного В на D и плоскоплоскостные стороны разделим на удвоенное Z на В квадрат удвоенное Z на D

квадрат1). Такой новый треугольник будет иметь площадь,

равную площади предыдущего.

Отправляясь от этого второго, таким же методом образу­ ем третий, из третьего четвертый, из четвертого пятый и по­ лучим бесконечно т о г о неподобных треугольников одина­ ковой площади.

>) То есть на числах Za и 2B-D. Полученные сторопы делятся на 2Z-B2 —.

— 2Z-D2.

255


КОММЕНТАРИИ

Чтобы не было сомнения в возможности построить более трех треугольников, к найденным Диофантом

40, 42, 58; 24, 70, 74; 15, 112, 113

прибавим четвертый, не подобный им и

имеющий ту же

площадь:

 

 

 

1412881

1412 880

1681

гипотенуза — jjgg—

, основание —

, высота - jj gg- .

Если привести эти числа к одному знаменателю, то по­ лучим четыре треугольника в целых числах, которые отве­ чают одной и той же площади:

Первый

47560,

49938,

68962,

Второй

28536,

83230,

87986,

Третий

17835,

133168,

134357,

Четвертый

1681,

1412880,

1412881.

Можно найти тем же методом бесконечно много треуголь­ ников одинаковой площади и тем самым распространить за­ дачу Диофанта за пределы, которые он наметил.

Вот еще треугольник, полученный другим методом, пло­ щадь которого составляет ушестеренный квадрат, как и у 3, 4, 5, а именно:

2896804, 7216803, 7776485».

Замечания Ферма к задаче Ѵ7 (№ XXIV):

«Из сказанного выше явствует, что мы можем решить

более

общую задачу:

 

 

 

 

 

 

Н айти сколько угодно чисел таких, чтобы квадрат каж­

дого из них,

увеличенный

или

уменьшенный

на

сумму

всех,

втих чисел, составлял бы квадрат.

 

 

 

Баше, вероятно, не

знал решения этой задачи; иначе

он обобщил

бы вопрос Диофанта, как он

это сделал

для

ІѴЗІ н

других».

 

 

 

 

 

 

 

6. Задача Ѵ3

эквивалентна системе

 

 

 

Х і Х і+1 +

і +

Х2 +

X,)

=

Yf,

 

 

 

 

XiXi+1 -

(X i +

X 2 +

Хз)

=

Z\

(i = 1, 2, 3;

i, i +

l £

Z3).

При ее решении Диофант применяет изящную лемму, в которой решение системы

Х іХ і+1 = с\ (і = 1, 2, 3; і, і + 1 е z 3)

256