Файл: Александрийский, Д. Арифметика и книга о многоугольных числах.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а + |
4ß |
' |
|
|
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