Файл: Александрийский, Д. Арифметика и книга о многоугольных числах.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 18.10.2024
Просмотров: 130
Скачиваний: 1
КОММЕНТАРИИ К ШЕСТИ КНИГАМ «АРИФМЕТИКИ»
ДИОФАНТА АЛЕКСАНДРИЙСКОГО
КОММЕНТАРИИ К КНИГЕ 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 |
||||
|
|
|
|
|
||
|
|
aß |
М іу |
Д |
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