Китаб аль-джебр ва-ль-мукабала
«Краткая книга о восполнении и противопоставлении» (араб. كِتَابُ ٱلْمُخْتَصَرِ فِي حِسَابِ ٱلْجَبْرِ وَٱلْمُقَابَلَةِ) [kitaːbu‿l.muxtasˤari fiː ħisaːbi‿l.d͡ʒabri wa.l.muqaːbalati][1] — математический трактат Мухаммеда ибн Мусы аль-Хорезми (IX век), от названия которого произошёл термин алгебра. Также благодаря этой книге появился термин алгоритм.
| Китаб аль-джебр ва-ль-мукабала | |
|---|---|
| араб. كتاب المختصر في حساب الجبر والمقابلة | |
 Первая страница книги | |
| Автор | Аль-Хорезми |
| Язык оригинала | арабский |
| Оригинал издан | 820 |
Историческое значение
правитьТрактат аль-Хорезми — важная веха развития арифметики и классической алгебры, науки о решении уравнений. Он на столетия определил характер алгебры как практической науки без аксиоматической основы. В трактате аль-Хорезми систематизировал и изложил арифметику в позиционной десятичной системе счисления и решение квадратного уравнения. В Европу трактат аль-Хорезми пришел с переводом на латинский язык в XII веке. Начало развития современной европейской математики связывают с этой книгой и именем аль-Хорезми.
Математик, философ и историк науки Рошди Рашед[англ.] видит в книге аль-Хорезми глубину рассуждений и выдающуюся новизну. Он пишет[2]:
Концепцию алгебры Аль-Хорезми теперь можно понять более точно: она касается теории линейных и квадратных уравнений с одним неизвестным, а также элементарной арифметики относительных двучленов и трёхчленов. Решение должно быть общего и вычисляемого характера одновременно, а также должно быть математически обоснованным, то есть основанным на геометрии. Ограничение степени, а также числа простых членов, объясняется сразу. С самого своего возникновения алгебра рассматривается как теория уравнений, решаемых с помощью радикалов, и алгебраических вычислений на связанных выражениях.
Содержание
правитьТрактат делится на три части:
- уравнения первой и второй степени с упражнениями;
- практическая тригонометрия;
- решения задач по распределению наследства.
Собственно к алгебре в современном понимании относилась лишь первая часть книги[3].
В своей книге аль-Хорезми описывает натуральные числа следующим образом[4]:
Когда я рассмотрел, чего обычно хотят люди при расчетах, я обнаружил, что это всегда число. Я также заметил, что каждое число состоит из единиц и что любое число можно разделить на единицы. Более того, я обнаружил, что каждое число, которое может быть выражено от одного до десяти, превосходит предыдущее на одну единицу: после этого число десять удваивается или утраивается так же, как раньше это делали единицы: таким образом возникают двадцать, тридцать и т. д. до ста: затем сотня удваивается и утраивается так же, как единицы и десятки, вплоть до тысячи; ... и так далее до крайнего предела нумерации.
В теоретической части своего трактата аль-Хорезми даёт классификацию уравнений 1-й и 2-й степени и выделяет шесть видов квадратного уравнения :
- «квадрат» равен «корню» ;
- «квадрат» равен свободному члену ;
- «корень» равен свободному члену ;
- «квадрат» и «корень» равны свободному члену ;
- «квадрат» и свободный член равны «корню» ;
- «корень» и свободный член равны «квадрату» .
Такая сложная классификация объясняется требованием, чтобы в обеих частях уравнения стояли положительные коэффициенты, и при этом аль-Хорезми искал только положительные корни.
Охарактеризовав каждый вид уравнений он показывает на примерах правила их решения. Например, для уравнения он пишет следующее решение:
...квадрат и 10 корней равны 39 единицам. Таким образом, вопрос в этом типе уравнений заключается в следующем: каков квадрат, который в сочетании с десятью своими корнями даст общую сумму 39? Способ решения этого типа уравнений заключается в извлечении половины корней. Корни в задаче, стоящей перед нами, равны 10. Следовательно берем 5, что, умножив само на себя, даст 25, сумму, которую вы прибавите к 39, получив 64. Взяв затем квадратный корень из этого числа, равный 8, вычтите из него половину корней, то есть 5, получая 3. Таким образом, число три представляет собой один корень из этого квадрата, который сам по себе, конечно, равен 9. Таким образом, девять дает квадрат.
.png)
Для трёх последних видов, когда решение не сводится к простому извлечению корня, аль-Хорезми даёт геометрическое доказательство этих правил.
Для приведения квадратно канонических видов аль-Хорезми вводит два действия. Первое из них, аль-джабр, состоит в перенесении отрицательного члена из одной части в другую для получения в обеих частях положительных членов. Второе действие — аль-мукабала — состоит в приведении подобных членов в обеих частях уравнения. Кроме того, аль-Хорезми вводит правило умножения многочленов. Применение всех этих действий и введённых выше правил он показывает на примере 40 задач.
Данные шесть типов уравнений на протяжении веков были «ядром» алгебры. Только в 1544 году Михаэлем Штифелем были допущены отрицательные коэффициенты, что позволило снизить количество типов уравнений.
- Геометрическая часть
Геометрическая часть посвящена, в основном, измерению площадей и объёмов геометрических фигур. Также упоминаются приближения числа π, представленные тремя способами: , и . Последнее приближение, равное , ранее появлялось в индийском труде Āryabhaṭīya в 499 г.[5].
- Практическая часть
В практической части автор приводит примеры применения алгебраических методов в решении хозяйственно-бытовых задач, при измерении земель, строительстве каналов. В «главе о сделках» рассматривается правило для нахождения неизвестного члена пропорции по трём известным членам, а в «главе об измерении» — правила для вычисления площади различных многоугольников, приближённая формула для площади круга и формула объёма усечённой пирамиды. К нему присоединена также «Книга о завещаниях», посвящённая математическим задачам, возникающим при разделе наследства в соответствии с мусульманским каноническим правом.
Термин «алгоритм»
правитьЛатинский перевод книги начинается словами «Dixit Algorizmi» (сказал Алгоризми). Так как сочинение об арифметике было очень популярно в Европе, то латинизированное имя автора (Algorizmi или Algorizmus) стало нарицательным и средневековые математики так называли арифметику, основанную на десятичной позиционной системе счисления. Позднее европейские математики стали называть так всякое вычисление по строго определённым правилам. В настоящее время термин алгоритм означает набор инструкций, описывающих порядок действий исполнителя для достижения результата решения задачи за конечное число действий.
Переводы
правитьКнига сохранилась в арабской копии и нескольких переводах на латынь.
См. также
правитьПримечания
править- ↑ Название на арабском языке иногда сокращается до حِسَابُ ٱلْجَبْرِ وَٱلْمُقَابَلَةِ [ħisaːbu‿l.d͡ʒabri wa.l.muqaːbalati] или كِتَابُ ٱلْجَبْرِ وَٱلْمُقَابَلَةِ [kitaːbu‿l.d͡ʒabri wa.l.muqaːbalati].
- ↑ Roshdi Rashed. The Development of Arabic Mathematics: Between Arithmetic and Algebra // Boston Studies in the Philosophy of Science. — 1994. — ISSN 0068-0346. — doi:10.1007/978-94-017-3274-1.
- ↑ Al-Khwarizmi - Biography (англ.). Maths History. — «only the first part of the book is a discussion of what we would today recognise as algebra». Дата обращения: 2 июля 2024.
- ↑ Al-Khwarizmi - Biography (англ.). Maths History. — «When I consider what people generally want in calculating, I found that it always is a number. I also observed that every number is composed of units, and that any number may be divided into units. Moreover, I found that every number which may be expressed from one to ten, surpasses the preceding by one unit: afterwards the ten is doubled or tripled just as before the units were: thus arise twenty, thirty, etc. until a hundred: then the hundred is doubled and tripled in the same manner as the units and the tens, up to a thousand; ... so forth to the utmost limit of numeration.» Дата обращения: 2 июля 2024.
- ↑ B.L. van der Waerden, A History of Algebra: From al-Khwārizmī to Emmy Noether; Berlin: Springer-Verlag, 1985. ISBN 3-540-13610-X
Литература
править- Muhammad ibn Musa Al-Khuwarazmi, Louis Charles Karpinski (Hrsg.): Robert of Chester’s Latin translation of the Algebra of al-Khowarizmi. With an introduction, critical notes and an English version. Macmillan, New York/London 1915 (University of Michigan Studies, Humanistic Series, XI.1)
- Статья: Термины, созданные нашими предками (автор: Искандер аль-Сергали) на сайте «Информационно-коммуникационные технологии Узбекистана» Архивная копия от 8 марта 2016 на Wayback Machine