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

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

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

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

Добавлен: 18.10.2024

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

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

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

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

сами представляют обобщение задач ІІ22 и ІІ23 на случай больщего числа неизвестных.

Дальнейшие задачи книги III эквивалентны системам п урав­

нений с т неизвестными (п = 3, 4, . . 8; т =

5, 6, . .

12), каж­

дое из которых не превышает второй степени.

Как и в

книге II,

Диофант подбирает рациональные выражения для неизвестных через одно неизвестное и параметры так, чтобы все условия, кроме одного, были удовлетворены, а последнее условие позволило бы выразить неизвестное в виде рациональной функции параметров. Если это сделать не удается, то Диофант обращает в тождества все уравнения, кроме двух, так, чтобы эти последние условия своди­ лись к «двойному равенству», которое решается методами, изло­ женными в книге II.

Несколько

выпадает из общего стиля книги задача ІІЬ 8, ко­

торая сводится

к нахождению целого числа, которое можно пред­

ставить

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

собами.

Эта задача вскрывает большие познания Диофанта в тео­

рии чисел. Она послужила отправным пунктом для теоретико-чи­ словых изысканий Ферма (см. комментарии к задаче 1111в).

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

рует он при этом не с буквами, а с параметрами, выраженными конкретными числами. Решение задач IIІю и Ш и показывает, что Диофант действительно смотрпт на параметры как на произволь­ ные величины. В обеих задачах значение параметров случайно выб­ рано так, что решение существует. Диофант не удовлетворяется этим и ищет, каким общим условиям должны удовлетворять эти параметры для того, чтобы уравнения были разрешимы. Для нас ход его мыслей становится более понятным, если сразу же обозна­ чить произвольные параметры буквами, что мы и сделаем в наших комментариях.

Поскольку обычный метод порождения системы уравнений со­ стоит в том, что условие, записанное в первом уравнении, видо­ изменено в последующих! путем циклической перестановки неизве­

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

ХіХ2 +

Х 3 =

У®,

■Х2Х3 +

Х і =

Y\,

X3Xi +

ЙГ2 =

У®,

207


К О М М Е Н Т А Р И И

то мы будем ее записывать так:

 

X tXi+1 -j- Хі+2 = У |

(i = 1, 2, 3; i, i

1, i + 2 e Z3),

где Z3 — поле вычетов no mod 3, причем в качестве представителен

классов несравнимых между собой чисел выбраны

числа 1,

2, 3.

 

Помимо

тождеств,

применяемых

в

книге II,

Диофант поль­

зуется

здесь и следующим:

 

 

 

 

 

 

 

 

 

 

 

 

аҢа + I)2 +

а2 + (а +

I)2 =

(а2 +

а +

I)2.

 

 

 

1.

Задача ІІІі, эквивалентная

системе

 

 

 

 

 

 

 

(Хі +

Х2 +

Х 3) -

Х \

=

У?

 

( 1 = 1 , 2 , 3),

 

 

как бы дополняет задачи

ІІзі и

ІІ35. Эта

система также определяет

многообразие А 3 в пространстве Q°.

 

 

 

 

 

 

 

Поскольку

Х і +

Х2 +

Х 3 =

X2 +

Y \ =

Х \ +

Y|,

то

Дио­

фант

полагает

Хі +

Х2 +

Х 3 =

(а2 -f-

ß2)x2,

Xi =

ах,

Уі =

ßx,

X2 =

ßx,

У2 =

ах (а =

1,

ß =

2), и первые два условия удовлет­

ворены. Этим

он вводит дополнительное условие Хі = У2, которое

влечет за

собой

Х2 =

Уь После этого система определяет ужо не

А 3,

а А 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Чтобы обратить

и

третье

уравнение в

тождество,

Диофапт,

пользуясь методом задачи

ІІв, представляет а2 + ß2 в виде суммы

двух других

квадратов у2 + б2,

где

 

 

 

 

 

 

 

 

 

ѵ _

а/с2 + 2ß/c — а

 

я _

ß/c2 — 2ik — ß

 

 

 

 

 

 

Т

 

1 + А2

 

~

 

1 + Г-

 

 

 

Диофанта

к = 2,

поэтому у =

11/5 и б — 2/5).

Тогда, полагая

Х 3

=

ух,

У3

=

бх, он обращает и третье уравнение в тождество.

Остается

условие

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Хі +

Х2 +

Х 3 =

(а -f-

ß +

у)х = (а2 + ß2)x2,

 

 

откуда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X = a +

ß +

T

 

 

 

 

 

 

 

 

 

 

 

 

a2 + ß2

 

 

 

 

 

Нетрудно проверить, что все неизвестные выражаются рационально через отношение ß/a и к, т. е. являются функциями двух пара­

метров.

2. Задачи ІІІ2 и 1113 эквивалентны системам

(Хі + Х

2 + Х 3)2 ± Х і = У2

(і = 1,

2, 3),

каждая из которых

определяет А 3 в Q6.

Эти задачи

представляют

обобщение на случай шести неизвестных соответственно задач ІІ24

20 8


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

и ІІ26, которые приводились к аналогичным системам от четырех неизвестных. Диофант применяет здесь те же самые методы, пока'

зывая тем самым, что они пригодны для

аналогичных

систем п

уравнении от 2п неизвестных.

 

 

 

 

 

 

 

 

3.

Задача

11Т4 дополняет

две

предыдущие;

опа приводится к

системе

 

 

 

 

 

 

 

 

 

 

 

 

 

Л’і -

(X,

+

Х2 + Х яу- =

У?

 

 

(і =

1,

2, 3)

которая

определяет у\3 в Q0.

Подстановки

Диофанта

здесь сле­

дующие:

 

 

 

 

 

 

 

 

 

 

 

 

 

X i -f- Х2 -|- Х’з — X,

 

 

 

 

 

 

 

 

Х і

=

(а2

+ I)*2,

У1 =

а х

 

(а =

1),

 

 

Х2 =

(ß2

+ 1)х2,

У,

=

ßx

 

(ß =

2),

 

 

X , =

(YS

+ 1)*2,

у 3 =

ѵ*

 

(y = 3 ) .

 

Тогда все три уравнения обращаются в тождества, если выпол­

нено условие

 

 

 

 

 

 

 

 

 

 

 

откуда

X , + Х 2 + Х 3 = (а2 + ß2 + у2 + 3)У- = *,

 

 

 

X -

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а* +

Р*+Т* +

3 ‘

 

 

 

 

Таким образом, неизвестные выражаются как рациональные функ­

ции трех параметров.

 

 

 

 

 

 

 

 

 

4. Задача

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

 

 

 

 

 

Xi +

i 2-f X, =

г2,

 

 

 

 

 

 

 

 

{

Х і+і -

Хі+2 = У?

(і =

1 , 2 , 3 ;

і + 1 ,

 

i +

2 e z 3),

Хі +

 

которая определяет А 3 в Q7. Диофант дает сначала более частное

решение, при котором неизвестные выражаются как функции од­ ного х) параметра, а потом — чрезвычайно изящное общее реше­ ние. Оно основано, по-видимому, на следующем соображении: если сложить левые части трех последних уравнений, то получится ле­ вая часть первого; отсюда получается условие для правых частей

Поэтому Диофант выбирает такие три квадрата, сумма которых является квадратом:

ß2 +

+ 62 = е2

(ß = 2, V = 3, б = 6, е = 7).

») Впрочем, это решение легко обобщить так, чтобы неизвестные выража­ лись рациональными функциями от двух параметров.

209



К О М М Е Н Т А Р И И

Это он мог сделать методом задачи Пю, а именно найти два таких квадрата Z2 и У®, что

Z2 -

У | =

ß2 +

V2-

 

 

 

 

Q2 I

__. «2

Полагая, например, Z — У3 = а, У3 = х, получим х = р ~

1--------- ,

и при а = 1 будет Z = 7,

У3 = 6.

После этого он приравнивает

Хі +

Х2 -

Х 3 =

ß2,

 

X, + Х г -

Х і =

у2,

 

Х 3 +

Хі -

X, =

б2.

 

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

Окончательно получаем

 

 

и.

_ ß 2 + 62

г . - Т + Р *

г . - Т Ч - в *

Х

і -------, А *-------------- 2 ~ ,

А 3 ------- T - t

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

5. Задача

Шв сводится

к системе

 

( Х і +

Х2 +

Х 3 =

Z2,

 

\ Х { +

Х і+1 =

У?

£

(£ = 1, 2, 3; i, f + 1 6

Z3),

которая определяет А 3 в Q7. Можно предположить, что ход мыслей

Диофанта здесь тот же, что и в предыдущей задаче.

Если сложить

левые части трех послѳдвнх уравнений, то получим удвоенную ле­

вую часть первого,

поэтому

 

 

 

 

 

 

 

2Z2 =

У2 + Y \ + У2.

 

 

Полагая Уі =

х, У2 = х

— а, Z =

х +

ß (у Диофанта а = ß = 1),

получим

У3 =

(4ß +

2а) X +

2ß2 — а 2.

 

 

 

Пусть У3 = у

(у =

И ),

тогда

 

 

 

 

 

 

 

 

_

T*

_ 2 ß2 +

a 2

 

 

 

 

 

 

 

2а +

'

 

 

6. Задача ПЬ эквивалентна системе

 

 

(Х 2 —■Хі — Х 3 — Х2,

 

 

 

 

 

\Х* +

Х ш

У |

 

=

1,

2, 3; і,

і + 1 е

Za),

которая определяет

И 2

в

Qe.

Ход

решения таков: 1)

поскольку

Х 2 — Х і = Y \

—■У2, а

Х 3 — Х2 = У2 — Y \,

то Диофант ищет

сначала три квадрата,

имеющие одинаковые

разности

 

W 2 V 2 = V 2 — I P

210