Рождение алгебры: систематическая революция Аль-Хорезми

Слово алгебра восходит непосредственно к арабскому термину al-jabr, который появляется в названии новаторской рукописи 9-го века: Аль-Китаб аль-Мухтасар фи Хисаб аль-Джабр валь-Мукабала Его автор, персидский математик и астроном Мухаммад ибн Муса аль-Хорезми, работал в Багдадском Доме Мудрости под патронажем халифа аль-Мамуна.Этот трактат был не просто компиляцией практических проблем; это было первое систематическое изложение алгебры как независимой ветви математики, отделенной от геометрических рамок, которые ограничивали более ранние греческие работы.

Аль-Хорезми подходил к уравнениям общим, процедурным образом, который кажется удивительно современным. Он определил шесть канонических форм линейных и квадратичных уравнений — смешивание квадратов (неизвестный квадрат), корней (неизвестный) и простых чисел — и продемонстрировал, как любой квадратик может быть сведен к одному из этих стандартных типов с помощью двух фундаментальных операций. Аль-джабр (завершение) включал добавление равных величин к обеим сторонам для устранения отрицательных терминов, в то время как аль-мукабала (балансировка) требовал вычитания равных положительных величин с обеих сторон для упрощения уравнения. Хотя в его презентации не использовалось символическое обозначение — все было выражено риторически — сам метод был поразительно продвинут.2xx = 39, он описал завершение квадрата: возьмите половину 10

Компенсационная книга быстро стала основным математическим пособием по исламскому миру, оказав влияние на таких ученых, как Абу Камиль Шуджа, который расширил методы аль-Хорезми до иррациональных чисел и заложил основу для алгебраических манипуляций с радикалами. Её влияние распространялось вовне на протяжении веков: переведено на латынь в 12 веке Робертом Честером, а затем Джерардом Кремонским, она дала европейской математике слово «алгебра» и ввела новый, основанный на правилах подход к решению уравнений. Подробный взгляд на жизнь и контекст аль-Хорезми доступен в Биография Мактутора, а структура работы изложена в Компенсационная книга запись .

От названия к понятию: создание «алгоритма»

Еще более распространенным, чем «алгебра», является слово алгоритм, которое следует аналогичному этимологическому пути.Алгоритми, его трактат по арифметике с индуистскими цифрами, написанный около 825 года н.э. и теперь утраченный в своем первоначальном арабском языке, стал известен как Алгоритми де нумеро Индорум.В нём он объяснил десятичную позиционную систему, использование нуля в качестве заполнителя и точные, пошаговые процедуры сложения, вычитания, умножения, деления, вдвоего сокращения, удвоения и извлечения квадратных и кубических корней.Эти механически исполняемые рецепты были первыми алгоритмами, которые широко циркулировали на латинском Западе, и название текста породило слово.

Алгоритмический дух, однако, простирался далеко за пределы арифметики. Исламские ученые рассматривали решение проблем как тщательно продуманную последовательность логических шагов. Аль-Кинди , «Философ арабов», разработал методы частотного анализа, чтобы разбить моноалфавитные шифры — криптографический алгоритм, описанный в его Манускрипте о расшифровке криптографических сообщений . Братья Бану Муса '' ''Книга гениальных устройств '' Книга гениальных устройств, которая воплощала алгоритмические потоки управления. Аль-Бируни , работая в 11 веке, построил итеративные алгоритмы для вычисления направления Мекки из любой точки Земли с использованием сферической тригонометрии, часто требуя множественных приближений до тех пор, пока результат

Развитие алгоритмов в средневековой исламской науке было не изолированным явлением, а естественным развитием цивилизации, ценившей систематические знания. Ученые в таких разнообразных областях, как медицина, астрономия и юриспруденция, разработали процедурные методы диагностики, прогнозирования и юридического рассуждения. Математический алгоритм, однако, стал самым устойчивым наследием, обеспечивая шаблон для логических вычислений, которые в конечном итоге будут лежать в основе информатики. Пошаговые рецепты аль-Хорезми и его преемников являются прямыми предками каждого цикла, состояния и функции в современных языках программирования.

Десятичная система и ноль: основа современной арифметики

В то время как десятичная позиционная нотация возникла в Индии, ее принятие и уточнение в рамках исламской науки сделали ее практическим инструментом как для ученых, так и для торговцев. Арифметическая книга Аль-Хорезми дала системе ее первое всеобъемлющее арабское изложение, и математики, такие как al-Uqlidisi , впоследствии ввели десятичные фракции, рассматривая их с той же позиционной логикой как целые числа. Цифра ноль, первоначально точка или маленький круг, использовалась плавно как заполнитель, а затем как число в своем собственном праве - концептуальный скачок, который освободил арифметику от абакуса и позволил письменные методы расчета, которые лежат в основе современной математики.

Практические преимущества десятичной системы были огромны. Торговцы могли выполнять сложные вычисления на бумаге, а не полагаться на физические счетчики. Астрономы могли строить более точные таблицы без ошибок, вносимых сексагезимальной арифметикой. Инженеры и архитекторы могли вычислять размеры и соотношения с беспрецедентной точностью. Система быстро распространялась по исламскому миру, от Испании до Персии и в конечном итоге до Европы через движение перевода и работу таких фигур, как Фибоначчи. Комбинация десятичной системы обозначения базы-10, нулевого заполнителя и позиционного значения создала единую структуру арифметики, которая остается основой всех современных вычислений.

Введение Аль-Уклидиси десятичных дробей ознаменовало особенно важный прогресс. Расширяя позиционный принцип на дроби — написав, например, 3.1416 вместо 3+1/10+4/100+1/1000+6/10000 — он делал вычисления с дробными величинами так же просто, как и с целыми числами. Это нововведение на столетия опережало своё время и не стало стандартом в Европе до 16 века. Десятичная система и ноль были не просто пассивными усыновлениями, но активными преобразованиями, которые превратили перспективную индийскую технику в глобальный вычислительный стандарт.

За пределами квадратики: кубические уравнения и мост геометрии-алгебры

Аль-Хорезми полностью систематизировал линейные и квадратичные уравнения, но кубические уравнения (с участием FLT:0]x]3) оставались проблемой, которая не была полностью решена алгебраически до 16-го века в Италии.

Геометрическое решение Омара Хайяма

Персидский полимат Омар Хайям, наиболее известный на Западе своей поэзией, был также блестящим математиком.В своём Трактате о демонстрации проблем алгебры (c. 1070) он продемонстрировал, что кубические уравнения могут быть решены путём пересечения конических секций — гипербола с кругом, парабола с кругом и т. д. Он признал, что чисто алгебраическое решение ещё не возможно, учитывая имеющиеся инструменты, и вместо этого предоставил строгий общий геометрический метод, который фактически создал мост между алгеброй и геометрией. Хайям классифицировал кубические уравнения на 14 типов и предоставил геометрические конструкции для каждого, используя пересечение кривых для поиска положительных корней. Его работа показала, что кубические уравнения имеют реальные решения, которые можно визуализировать и вычислить, даже если они не могут быть выражены в закрытой алгебраической форме.

Шараф аль-Дин аль-Туси Численный подход

В следующем столетии, Шараф аль-Дин аль-Туси , стал еще ближе к вычислительному решению. Вместо того, чтобы полагаться исключительно на конические уравнения, он рассматривал кубические уравнения как функции и исследовал их максимумы и минимумы для определения числа положительных корней. Используя численную процедуру, схожую с методом Хорнера — примерно за 600 лет до Хорнера — он приближал корни кубических уравнений к высокой точности. Подход Аль-Туси был удивительно сложным: он проанализировал производную кубической функции (в сущности, хотя и не в терминах формального исчисления) для поиска поворотных точек, а затем использовал итеративные методы для уточнения оценок. Его работа предвещала методы дифференциального исчисления и численного анализа, показывая, что средневековая исламская математика была чем-то кроме статического. Аль-Туси продемонстрировал, что практические вычисления и теоретическое понимание могут работать вместе для решения проблем, которые сопротивлялись чисто алгебраическим методам.

Алгебра, освобожденная от геометрии: Аль-Караджи и рост символического мышления

В то время как более ранняя алгебра была в значительной степени геометрической, Аль-Караджи, работая в Багдаде около 1000 г. н.э., совершил тихую революцию. Он намеренно отделил алгебру от ее геометрических основ, определяя алгебраические операции на мономиалах и полиномах без ссылки на формы. Он разработал арифметику сил, сформулировал правила добавления, вычитания и умножения выражений и даже использовал форму математической индукции. Наиболее поразительно, что он описал биномиальные коэффициенты и расположение, которое позже стало известно как треугольник Паскаля - примерно за шесть веков до Паскаля. Трактат Аль-Караджи представляет алгебраические правила как абстрактные отношения между величинами, а не как геометрические величины.

Его преемник al-Samaw’al продолжил эту работу и прямо писал об оперировании отрицательными числами как сущностями, обеспечивая правила для знаков, которые мы всё ещё используем сегодня.al-Bahir (The Brilliant) трактат по алгебре трактует отрицательные числа с полной формальностью, включая правила умножения и деления, идентичные современным конвенциям. Он также расширил работу аль-Караджи по биномиальной теореме и разработал методы вычисления сумм сил целых чисел. Эта традиция символического рассуждения, хотя и выраженная в словах, а не в символах, создала концептуальную структуру, которая в конечном итоге позволила бы алгебре стать полностью абстрактной дисциплиной.Отделение алгебры от геометрии было необходимым предварительным условием для развития современной символической алгебры в 16 и 17 веках.

Тригонометрические инновации: точность для астрономии и навигации

Изучение треугольников было еще одной областью, где исламские математики открыли новые горизонты, опираясь на индийские и греческие основы. Аль-Баттани (Альбатень) составил таблицы синусов и ввел использование синусовых, косинусных, касательной и котангенсных функций, уточнив более раннее знание в систематическую науку.Китаб аль-Зий (Книга астрономических таблиц) включал тригонометрические методы решения сферических треугольников, которые были необходимы для астрономических вычислений и для определения времени молитвы и направления Мекки.

Абул-Вафа аль-Бузджани продвинулся ещё дальше в сферической тригонометрии, доказав закон синусов для сферических треугольников и построив точные тригонометрические таблицы, ставшие стандартными справочными работами для астрономии и навигации. Он ввёл секантные и косекантные функции и разработал новые методы для вычисления синусовых таблиц с высокой точностью. Его таблицы были настолько точны, что оставались в использовании на протяжении веков, а его методы были переданы в Европу, где они напрямую позволили возраст исследования. Навигаторы полагались на тригонометрические таблицы для небесной навигации, используя положения звёзд и солнца для определения широты и долготы в море.

Исламский вклад в тригонометрию был не просто практическим, но теоретическим. Математики, такие как Насир аль-Дин аль-Туси (не имеет отношения к Шарафу аль-Дину) написали всеобъемлющие трактаты, в которых тригонометрия рассматривалась как отдельная дисциплина, отличная от астрономии.Китаб аль-Шакль аль-Китта (Книга о Полном четырехугольнике) представил сферическую тригонометрию как целостную систему, включая закон синусов, закон косинусов и методы решения всех типов сферических треугольников. Эта работа была переведена на латынь и стала основополагающим текстом для европейской тригонометрии. Без этих достижений точная навигация, которая характеризовала европейские исследования в 15-м и 16-м веках, была бы невозможна.

Трансляция в Европу: переводческое движение 12-го века

Каналом, через который это огромное математическое богатство достигло Европы, было движение перевода 12-го века, сосредоточенное в таких местах, как Толедо, где сотрудничали христианские, еврейские и мусульманские ученые. Переводчики, такие как Джерард из Кремоны , Роберт из Честера и Адельард из Бата , переводили арабские тексты на латынь, часто добавляя свои собственные комментарии. Жерар из Кремоны один перевел более 70 работ, включая алгебру и арифметику Аль-Хорезми, Альмагеста Птолемея , и работы аль-Фараби, аль-Кинди и Ибн Сины. Эти переводы были не механическими переводами слов, а интеллектуальными адаптациями, которые сделали материал доступным для европейских читателей.

Леонардо Пизанский (Фибоначчи) учился у арабских учителей в Северной Африке и опубликовал в 1202 году свою Либер Абачи, которая ввела индуистско-арабскую систему цифр и алгебраические методы для европейской аудитории.Работа Фибоначчи опиралась непосредственно на трактаты аль-Хорезми и Абу Камила, закрепив их влияние на математику эпохи Возрождения.Либер Абачи включала проблемы, которые явно были выведены из арабских источников, в том числе знаменитую последовательность Фибоначчи, которая ранее появилась в индийской математике, но была передана через арабские работы.Книга Фибоначчи была настолько влиятельной, что она стала стандартным математическим текстом в европейских университетах на протяжении веков.

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

Наследие: встроенное в ткань современной жизни

Интеллектуальное наследие средневековой исламской математики встроено в саму ткань современной жизни. Слово «алгебра» — это не просто ярлык для школьного предмета; оно обозначает систематическое изучение уравнений и структур, лежащих в основе всего, от квантовой механики до финансового моделирования. Слово «алгоритм» еще более повсеместно, образуя ядро информатики. Каждый цикл, условие и процедура в компьютерной программе повторяет пошаговые рецепты, изложенные аль-Хорезми и его преемниками. Без десятичной позиционной системы и смелого обращения с нулевыми и отрицательными числами научная революция 17-го века была бы невообразимой — флюксии Исаака Ньютона и исчисление Лейбница опираются на алгебраические манипуляции, которые были впервые усовершенствованы в Багдаде и Кордове.

Признание этой линии неуклонно росло в современной науке. Систематический подход к решению проблем, готовность сливать идеи из разных культур и институциональная поддержка домов мудрости стали моделью для более поздних университетов и исследовательских академий. Когда алгоритмы управляют поиском в Интернете, машинным обучением и криптографией, они стоят на фундаменте, заложенном учеными, которые рассматривали математику как универсальный язык рассуждений. Для всестороннего обзора философского и исторического измерения, Стэнфордская Энциклопедия Философии запись на арабской / исламской математике[FLT: 1] обеспечивает глубокий контекстный анализ.

История алгебры и алгоритмов в конечном счете является историей связи: между греческой геометрией и индийскими цифрами, между персидской поэзией и аналитической изобретательностью, между древним миром и цифровой эпохой. Средневековые исламские математики не просто перекинули одну эпоху в другую - они построили целую основу для логической мысли, которую мир продолжает совершенствовать, но не может обойтись без. Их работа напоминает нам, что научный прогресс - это не линейный марш, а сеть обменов между культурами и веками. Алгоритмы, которые управляют нашим цифровым миром и алгеброй, которая описывает нашу физическую вселенную, несут отпечаток цивилизации, которая ценила знания, разум и систематическое стремление к истине.