Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Александрийский, Д. Арифметика и книга о многоугольных числах

.pdf
Скачиваний:
23
Добавлен:
22.10.2023
Размер:
10.53 Mб
Скачать

ДИОФАНТ

значит, остаток ЛГ является произведением 2 на 2ВѲ и ЛГ = 4ВѲ, так что ВѲ является четвертой частью от ЛГ. Но единица АѲ является четвертью ЕГ, т. е. четырех. Значит, и целое AB есть четвертая часть ЕЛ. Но было доказано, что ѲВ является четвертой частью ЛГ; значит,

АВ-ВѲ = ^Е Л -Л Г

lb

и

ЕЛ-ЛГ = 16АВ-ВѲ.

Но было доказано также, что

ЕЛ-ЛГ = разности MZ2 и ZII2;

значит,

16АВ-ВѲ = разности MZ2 и ZH2,

т. е.

МН2 и 2ZII-HM.

Значит,

16АВ-ВѲ = НМ2 и 2ZH-IIM.

Следовательно, НМ четно. Разделим его пополам в N ...]1)

») На этом текст обрывается. Весь отрывок, взятый нами в скобки, П. Танке' рн считает позднейшей вставкой. (Прим, ред.)

КОММЕНТАРИИ К ШЕСТИ

КНИГАМ

АРИФМЕТИКИ

И

К КНИГЕ

О

МНОГОУГОЛЬНЫХ

ЧИСЛАХ

С ПРИЛОЖЕНИЕМ ЗАМЕЧАНИЙ ПЬЕРА ФЕРМА

' I ■

*.• '

-

i

: i

\J

■>>

 

Fv,

! \

- . w

 

 

Л \ ! ? - » Т П Л ЛфК<+?-

 

. ,' V . ч ;

•.. * і Ч * > ’•* *г

J r t * » S n W K * і * - » Ж> К

 

і \ :

 

 

>Ш »то* »««w <

= Н і \ і Н Х X

па с1«;;.» . &*«

 

о

 

 

•''dHdAO’fVO .* .; г-' І

х а а С Г ч1:-'

МНЫНЗЖО/пЧЯП

ічг-і! ;а р л \ ; а 8

АМЯЗФ Ж е іЛ

КОММЕНТАРИИ К ШЕСТИ КНИГАМ «АРИФМЕТИКИ»

ДИОФАНТА АЛЕКСАНДРИЙСКОГО

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

Книга I распадается на две части:

1)введение, в котором строится числовая область, даются ос­ новные определения и вводятся буквенные символы;

2)и задачи с решениями (их 39).

В некоторых списках (например, в одном из списков Эскуриала) первая книга разделена на две, и, таким образом, «Арифметика» оказывается составленной из семи книг.

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

1.Диофант приводит традиционное определение (I) числа как множества единиц. Однако впоследствии числом (âpröfiö?) он на­ зывает любое положительное рациональное число, как целое, так и дробное.

2.В определении (II) вводятся символы для шести первых степеней неизвестного. Для обозначения неизвестного Диофант применяет символ с, происхождение которого Не вполне ясно. По-видимому, это — концевая «сигма», которая ие имела числового значения (обычная «сигма» а обозначала число 200). Этот символ употреблялся и до Диофанта. Так, его вариации встречаются в «Геометрике» Герона (I век. н. э.) (см. Добавление II), а также в Мичиганском папирусе 620 (II век н. э.).

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

ципа, так, пятая степень обозначается

как «квадрато-куб», шес­

тая — «кубо-куб».

.

К О М М Е Н Т А Р И Й

Почти одновременно с Диофантом во «Введения в арифметику» Анатолия Александрийского (III век и. э.) появились обозначения степеней неизвестного по мультипликативному принципу: «квад- рато-куб» обозначал в этой системе шестую степень, а «кубо-куб» — девятую. Зато пятая степень не могла быть образована из пре­ дыдущих; она называлась «первой невыразимой» (äXo-foc npmxoQ),

седьмая степень — «второй невыразимой» (аХо-рэ? Веитвро?) и т. д. К сожалению, этот неудобный способ обозначения был воспринят математиками Индии и частью ученых Средневекового Востока и Европы. В частности, по такому принципу образовывали степени неизвестного коссисты.

В Европе аддитивный принцип образования степеней был впер­

вые применен

Леонардом Пизанским (XIII век).

 

 

В

этом же

определении (II) Диофант вводит символ для

еди-

 

О

 

знак

перед

кон­

ницы М. В дальнейшем он всегда пишет этот

стантами.

 

 

 

 

В наших комментариях мы будем обозначать искомые числа

буквами X, У, Z с соответствующими индексами,

а неизвестное Дио­

фанта

s через X или <, степени же его через г2,

х3, . . .,

г2, г3, . . .

Таким образом,

запись Х2 = х означает, что второе искомое число

задачи принято за основное неизвестное х.

 

 

 

3 .

' Отрицательные степени неизвестного (определение (III)) вво-

дятся как величины, обратные положительным: х

_ _ _ 1

(п = 1 , . . .

-----л

 

 

 

X

 

 

. . ., 6). Для их обозначения Диофант применяет косой крест Л, который ставится справа сверху вслед за нпдексом. Например, і 2 обозначался как Аг , а х~2 — как А1-* .

4. Особенно интересны определения (V) и (VI). После поясне­ ния умножения положительных степеней неизвестного Диофант формулирует два общих утверждения относительно видов (ві’Ѣое), т. ѳ. отеценей неизвестного, взятых с некоторым числовым коэф­ фициентом:

1) любое число, умноженное на одноименную с ним дробь (т. е. на обратный элемент), дает единицу:

г * і_1 = 1;

2) любой вид при умножении на единицу остается неиз­ менным:

ахп•1 = ахп .

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

184

 

 

 

 

А РИ Ф М ЕТИ К А

К Н И ГА

I

удивляться

глубине

его

проникновения в алгебраическую

суть

вопроса.

 

 

 

 

 

 

5.

В определении (IX) вводятся отрицательные числа. Каждое

такое

число Диофант называет «ХвТ<|лс». Это

слово является спе­

циальным термином, в обычных словарях оно

отсутствует.

Поэто­

му перевод его вызывает большие трудности. Само слово произве­

дено

от глагола «АеТпю»,

одним из значений которого является «не­

доставать»,

«но хватать», поэтому в настоящем

издании

слово

«АвТфі?» переведено

как

«недостаток», что согласуется и с

назва­

нием

отрицательных чисел в математической

литературе средних

веков. В соответствии с этим производные слова от этого глагола, например характеризующие группы отрицательных членов, пере­ ведены как «недостаточные члены», «недостающие» и т. д.

Положительное число во «Введении» называется словом «ияар|і?» (далее это слово нигде не встречается), которое обозна­ чает «существование», «бытие», а во множественном числе — «иму­ щество». Здесь оно переведено как «наличие».

Для сравнения приведем переводы соответствующих терминов на латинский язык в классическом издании «Арифметики» Диофанта

Поля Таннери: АвГфі?

— minus, ияар£і? — plus.

 

Вводятся отрицательные числа, по существу,

аксиоматически',

Диофант формулирует

для них «правило знаков»:

 

 

(_ ).(_ )= (+ ),

 

 

(-)•(+) = (-)•

 

При этом, однако,

правила знаков при сложении и вычитании

(которое обозначается

с помощью слов, производных от глагола

«асаірЁш» — отнимать)

не дается. По-видимому,

Диофант считал,

что они уже хорошо известны.

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

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

На протяжении всех шести книг Диофант широко пользуется отрицательными числами, применяя их в промежуточных выклад­ ках и в качестве промежуточных результатов. Так, например, в за­ дачах 11]2, ІІ13, ІІ20> 1123, І І 28, I І2В И П 32 СТОрОНЫ КВЭДрЭТОВ, КОТО­ РЫМ должны быть равны левые части уравнений, при выбранных числовых параметрах получаются отрицательными. Это не сму­

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

185

К О М М Е Н Т А РИ И

Итак, Диофант расширяет область чисел до поля рациональ­ ных чисел Q — минимального бесконечного поля, над которым можно развивать обычную алгебру.

Однако он еще не рассматривает отрицательные числа как рав­ ноправные положительным. Решения обязательно должны быть положительными. Эту точку зрения восприняли Виет, Ферма и другие математики XVI — XVII веков.

6. Для обозначения операций сложения и умножения у Дио­

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

ловой коэффициент.

Свободный

член (т. ѳ. я0) характеризуется

символом

О

первые две

буквы

слова «ц-оміс» — единица.

М — это

Например,

многочлен

 

 

 

 

записывается так:

202z2 +

13—10z

 

 

 

 

 

 

 

М іу

Д

gi".

Здесьсф — 202, іу = 1 3 ,

і =

10.

 

Кроме перечисленных символов Диофант применяет еще знак [П

для неопределенного квадрата и

знак

"о (первые буквы слова

«Іоо?» — равно) для

знака равенства.

 

Отсутствие символов для

второго пензвестного и его степепей,

а также для произвольного постоянного (параметра) создает боль­ шие трудности, и приходится только изумляться виртуозной изобретательности Диофанта, который выбирает неизвестное так, что все искомые величины удобно и просто через пего выражаются. Правда, ему иногда приходится на протяжении решения одной задачи обозначать символом g последовательно два или три иско­ мых числа.

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

фиксирован.

Например,

если подстановка должна иметь вид

у = кх — 3,

то Диофант

пишет,

что

в качестве

искомого числа

«возьмем несколько х

минус

3;

пусть 2z — 3». Яспо, что

здесь число 3 фиксировано, а число 2 является

одним из возможт

486

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

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

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

произвольного выбора параметра.

Заметим еще, что если параметрам, входящим в условие задачи или в подстановку, надо придать числовые значения, причем ника­ ких дополнительных специальных условий на них не накладывает­ ся, то Диофант, как правило, выбирает последовательные натураль­ ные числа, например 2, 3, 4, что при греческой нумерации выглядит как ß, у, Ö, т. е. параметры обозначаются последовательными бук­ вами алфавита, что подчеркивает их произвольность (об этом см. подробнее в статье Е. И. Славутина «Об арифметике Диофапта», Проблемы истории математики, МГУ, 1972).

В наших комментариях мы будем обозначать параметры бук­ вами, выражающими в алфавитной нумерации те числовые значе­ ния, которые дает им Диофант. Мы будем отступать .от этого пра­ вила только в тех случаях, когда это может привести к недоразу­ мениям (например, если двум различным параметрам Диофант придает значение ß = 2, то один из параметров мы будем обозна­

чать ß, а другой — какой-нибудь другой буквой греческого ал­ фавита) .

7. В определении (XI) приведены правила действий с много­ членами и уравнениями. В частности, формулируется правило при­ ведения подобных

ахп + Ьхп — (а -(- Ь)хп

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

В «Арифметике» слово «тсАуА-сх;» играет ту же роль, что и наше слово «коэффициент». В переводе, однако, применяется слово «ко­ личество», поэтому оборот «Iibvj р.т] біАол/Ѵ^ІНі» в определении (XI), т. е. «виды с различными коэффициентами», переведен как «виды, взятые в неодинаковых количествах».

8. О задачах книги Г.

В книге I собраны задачи, эквивалентные одному линейному уравнению от одного неизвестного или системам т уравнений от п неизвестных, т ^ п (п = 2, 3, 4), каждое из которых не выше

второй степени.

187

КО М М Е Н Т А РИ И

Только пять задач, а именно Іы, І22. І2з, І24 ]І Т2ьт являются

по своей постановке неопределенными, однако в ходе решения Дио­ фант доопределяет их всякий раз так, чтобы задачи стали опреде­

ленными. Например, условно

задачи

Ін эквивалентно уравнению

X Y =

к (X +

У).

Диофант замечает, что одно из чисел можно задать произвольно, лишь бы только оно было больше значения к. После этого он берет к = 3, X — 12, тогда второе искомое число получается из линей­

ного уравнения. Интересно отметить, что ту же задачу Диофант решает в ІІ3, но там он фиксирует только к, а оба искомых числа

выражает через неизвестное:

 

 

X = t ,

y = ß i

( ß = 2 ) ,

 

в результате чего оба искомых числа

выражаются как рациональ­

ные

функции от ß.

 

 

 

 

 

Аналогично этому в задаче І22, которая сводится к двум линей­

ным

уравнениям от трех

неизвестных, Диофант фиксирует одно

из неизвестных, положив его равным 4.

 

 

Задачи

І і І 26 и Ізв

эквивалентны системам линейных урав­

нений (см. Добавление I);

Диофант приводит в некоторых из них

ограничения

на заданные

постоянные для того, чтобы решения

были положительными.

 

 

 

 

 

Задачи Ьв — Ізв сводятся к системам, эквивалентным квадрат­

ному уравнению. При этом задачи

Іи и Ьі — Ізв приводятся к квад­

ратным уравнениям типа

 

 

 

 

 

 

 

А х 1 =

Вх,

 

 

 

 

 

 

 

■Z + У =

а,

 

 

 

 

 

Х2+У 2 = Ь;

 

 

 

 

 

' X — У =

а,

 

 

 

 

 

Х У = Ь.

 

Для того чтобы решения были рациональны,

Диофант приводит

к задачам Ід, Ьв и І30 следующие ограничительные условия:

к Ьв : 2Ь2 - а2 = □ ,

 

 

 

 

к

І30 :

Ab- + а =

 

 

 

 

188

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

КОММЕНТАРИИ К КНИГЕ II

1.' Начиная с книги II, Диофант ставит и решает задачи, экви­ валентные неопределенным уравнениям и системам таких уравне­ ний, причем в книге II рассматриваются неопределенные уравнения

второй степени и системы

неопределенных уравнений от п неиз­

вестных (ге =

2, 3, 4, 5, 6),

каждое из которых имеет степень ^ 2.

Исключение

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

задачи ІЬв, ІІ 2 9 , в которых, однако,

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

 

Все многообразия, определяемые в задачах этой книги, явля­

ются рациональными. Так,

в переводе на язык геометрии, в зада­

чах

II

рассматриваются

рациональные кривые второго поряд­

ка,

в задачах 1111_13, Им и IІ2в—27 — рациональные пространствен­

ные кривые, в задачах

ІЫ ,

Нм,

П19_25 и ІІ28_31 — рациональные

поверхности, наконец,

в задачах,

П 32,

П 33 и ІІ34, П 36 — рацио­

нальные

многообразия

размерности 3

в 6-мерном пространстве.

Задачи ІІі7 и Им сводятся к системам

линейных уравнений, пер­

вая — к двум уравнениям с тремя неизвестными, вторая — к трем уравнениям с тремя неизвестными, так что она не является неопре­ деленной. Эти задачи аналогичны задачам І22 и І23 и, по мнению большинства исследователей, представляют позднейшую вставку. Во всяком случае, в книге II они являютсячужеродным телом.

2.

Для решения неопределенного уравнения второй степени с

двумя неизвестными

( 1)

F2 (X, Y) = О,

где F2 (X, У) — неприводимый над полем Q рациональных чисел

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

М е т о д А. Пусть уравнение (1) имеет рациональное решение ЙТ0, У„. Тогда, чтобы найти новое рациональное решение, Диофант делает подстановку

(2)

189

Соседние файлы в папке книги из ГПНТБ