История прямого угла

С древнейших времён прямой угол использовался при строительстве и разметке участков^[1]. Древние памятники, свидетельствующие об использовании прямого угла, сохранились в сооружениях древних цивилизаций. В строительстве жилищ люди перешли от круглой формы к прямоугольной примерно в это же время.

Древний Египет — одна из первых цивилизаций, где прямой угол нашёл широкое практическое применение. Египтяне выработали точные и надёжные способы построения прямого угла, необходимые для решения повседневных задач: строительства монументальных сооружений, разметки земельных участков и планирования оросительных каналов. Каждый год Нил разливался и заливал прибрежные поля. Когда вода отступала, границы земельных участков оказывались смыты, и их приходилось размечать заново. Для этого требовалось уметь проводить ровные линии и строить прямые углы. Именно эта практическая потребность, по мнению древнегреческого историка Геродота (V в. до н. э.), и послужила толчком к развитию геометрии в Египте^[2] (Геродот, История, II.109).

Великие пирамиды в Гизе, храмы в Луксоре и Карнаке, гробницы в Долине царей — все эти сооружения требовали точнейшей геометрической разметки. Основания пирамид представляют собой почти идеальные квадраты, а значит, строители должны были уметь выстраивать углы, близкие к 90°. Исследования показали, что отклонение углов основания Великой пирамиды Хеопса от прямого угла составляет лишь около 3 угловых минут — менее 0,06°^[3]. Для построения прямого угла на местности использовался так называемый «египетский треугольник» — прямоугольный треугольник с соотношением сторон 3:4:5. С помощью верёвки, разделённой узлами на 12 равных частей, «натягиватели верёвок» (гарпедонапты) могли построить прямой угол. Прямой угол в египетской культуре также ассоциировался с богиней истины и справедливости Маат^[1].

Согласно Й. Хёйрупу вавилоняне знали о прямом угле всё с практической точки зрения, но у них не было теоретической необходимости выделять его в отдельное математическое понятие, так как их математика была алгеброй, воплощённой в геометрических формах, а не геометрией линий и углов^[4]. Как замечает Э. Робсон, вавилонская математика представляла собой «математику задач и процедур», а не «математику теорем и доказательств»^[5].

Геометрические знания вавилонян относились большей частью к измерению простейших фигур, встречающихся при межевании земель, возведении стен и насыпей, строительстве плотин и каналов и т. п. Сохранилось немало планов земельных угодий, разделённых на прямоугольники, трапеции и треугольники, а также планов различных строений, свидетельствующих, что вавилонский землемер или архитектор должен был хорошо чертить и проводить геометрические расчёты^[6][7].

Наиболее известным вавилонским математическим документом, связанным с прямым углом, является глиняная табличка Plimpton 322. Она была приобретена в 1922 году нью-йоркским издателем и коллекционером Дж. Плимптоном и ныне хранится в библиотеке Колумбийского университета (Нью-Йорк). Табличка датируется приблизительно 1800—1750 гг. до н. э. и содержит таблицу из 15 строк и 4 столбцов. Каждая строка содержит набор чисел, которые, как установили исследователи, представляют собой стороны прямоугольных треугольников. Говоря современным языком, это пифагоровы тройки — наборы целых чисел (a, b, c), удовлетворяющих теореме Пифагора^[8], то есть, как показывают исследования, правило, известное в европейской традиции как теорема Пифагора, было известно вавилонским учёным уже во II тыс. до н. э.^[9][10]

В математике Древнего Китая прямой угол играл важную роль, но не получил строгого словесного определения. Китайские учёные понимали его, прежде всего, практически — как угол, который задаётся угольником цзюй и используется при измерениях, строительстве и вычислениях^[11]. В трактате «Чжоу-би суань-цзин» прямой угол связывается с квадратом и выступает как основа геометрических построений; там же приводится пример прямоугольного треугольника со сторонами 3, 4 и 5, выражающий правило, эквивалентное теореме Пифагора^[12]. В классическом труде «Цзю-чжан суань-шу» заключительная глава «Гоу-гу» посвящена задачам на прямоугольные треугольники: вычислению высоты, глубины и расстояний до недоступных объектов. При этом прямой угол в тексте не определяется отдельно, а подразумевается через взаимное расположение катетов — гоу и гу^[13]. Таким образом, в китайской традиции прямой угол был не столько абстрактным понятием, сколько инструментально и вычислительно освоенной формой, лежавшей в основе геометрии и прикладной математики^[14].

В Древней Индии наиболее ранние сведения о прямом угле содержатся в шульба-сутрах — древнеиндийских текстах по геометрии, связанных с построением жертвенных алтарей. Эти тексты, в частности «Баудхаяна-шульба-сутра» и «Апастамба-шульба-сутра», датируются приблизительно VIII—IV вв. до н. э.^[15],^[16]. Для точного сооружения алтарей требовалось строить квадраты, прямоугольники и перпендикуляры, поэтому прямой угол стал одним из основных объектов древнеиндийской геометрической практики. В «Баудхаяна-шульба-сутре» содержится формулировка, эквивалентная теореме Пифагора: диагональ прямоугольника производит ту же площадь, что и его длина и ширина вместе, что показывает глубокое понимание свойств прямоугольного треугольника^[17][18]. Для построения прямого угла индийские геометры использовали верёвки и колышки, в том числе треугольники со сторонами 3:4:5 и другие пифагоровы тройки^[19]. Древнеиндийская традиция, подобно китайской и вавилонской, обычно не давала абстрактного определения прямого угла, а рассматривала его как результат правильного построения и как необходимое условие точной разметки священного пространства^[20]. Таким образом, в индийской математике прямой угол выступал одновременно как геометрический объект, элемент ритуальной архитектуры и основа правил для прямоугольного треугольника.

Древняя Греция занимает особое место в истории понятия прямого угла. Именно здесь, в период с VII по III в. до н. э., прямой угол впервые превратился из практического инструмента строителей и землемеров в строго определённое математическое понятие. Если египтяне и вавилоняне прекрасно умели строить и использовать прямые углы, то греческие математики первыми задались вопросами: что такое прямой угол? почему он обладает именно такими свойствами? и как это доказать? Первое строгое логическое определение прямого угла даётся в «Началах» Евклида (около 300 года до н. э.). В 10-м определении I книги утверждается: «Когда прямая, поставленная на другой прямой, делает смежные углы взаимно равными, то каждый из равных углов есть прямой; а поставленная прямая называется перпендикулярною или отвесною к той, на которую она поставлена»^[21]. Это определение важно потому, что прямой угол определяется без ссылки на градусы или числа — только через равенство смежных углов, вводится понятие перпендикулярности и определение не зависит от конкретной фигуры: оно применимо к любой паре прямых на плоскости.

В аксиоматике Евклида также постулируется, что все прямые углы равны между собой (4-й постулат). Это утверждение является одним из фундаментальных свойств евклидовой геометрии и отличает её от неевклидовых геометрий^[21].

В Древней Греции прямой угол был неотъемлемой частью философских и математических представлений о гармонии и порядке мироздания. Платон приписывал Творцу создание мира из прямоугольных треугольников^[1]. Для Платона прямой угол — это буквально структурная основа материи. Физический мир существует благодаря тому, что в его невидимом фундаменте заложен идеальный прямой угол, соединяющий катеты космических треугольников^[22]. Аристотель использовал свойства прямого угла как пример необходимой истины. В «Метафизике» он писал, что «сумма углов треугольника равна двум прямым» — это не случайный факт, а свойство, вытекающее из самой природы треугольника. Прямой угол для Аристотеля — это мера, эталон, относительно которого определяются все остальные углы^[23].

Фалес Милетский (ок. 640 — ок. 546 до н. э.) — один из семи мудрецов Древней Греции, основоположник греческой философии и науки. Ему приписывается доказательство того, что вписанный угол, опирающийся на диаметр окружности, является прямым. Полуокружность над гипотенузой прямоугольного треугольника стала называться «окружностью Фалеса». Фалес также занимался практической геометрией; ему приписывается первое применение циркуля и угломера^[1].

Пифагор (ок. 570 — ок. 495 до н. э.) — древнегреческий философ и математик, основатель пифагорейской школы. Ему приписывается первое строгое доказательство теоремы Пифагора — фундаментального соотношения между сторонами прямоугольного треугольника: квадрат длины гипотенузы равен сумме квадратов длин катетов. Хотя само соотношение было известно и в более древних цивилизациях (например, в Древнем Вавилоне), именно Пифагор или его школа, по преданию, дали ему логическое доказательство^[21].

Евклид (ок. 325 — ок. 265 до н. э.) — древнегреческий математик, автор «Начал», в которых систематизированы основные сведения античной геометрии. В «Началах» он даёт классическое определение прямого угла и приводит доказательство теоремы Пифагора (Предложение 47 I книги). Доказательство Евклида опирается на построение квадратов на сторонах прямоугольного треугольника и равенство их площадей^[21].

Клавдий Птолемей (ок. 100—170 гг. н. э.) использовал прямой угол как основу тригонометрических вычислений. В «Альмагесте» он построил таблицу хорд, вычисления в которой целиком основаны на прямоугольных треугольниках, вписанных в окружность: хорда, радиус и перпендикуляр из центра на хорду всегда образуют прямоугольный треугольник^[24]. Доказательство ключевой теоремы Птолемея о вписанном четырёхугольнике также опирается на свойства прямых углов, вписанных в окружность^[25]. Введённая Птолемеем система небесных координат с двумя взаимно перпендикулярными осями сделала прямой угол основой астрономического описания. Именно через Птолемея закрепилось деление окружности на 360°, при котором прямой угол равен 90°^[26].

Сабит ибн Курра (836—901) — математик, астроном и переводчик, работавший в Багдаде в эпоху расцвета Аббасидского халифата. Главный вклад Сабита в историю прямого угла связан с так называемым V постулатом Евклида — утверждением о параллельных прямых. В его рассуждениях прямой угол играл роль эталона: параллельность двух прямых устанавливалась через то, что углы, образованные секущей с этими прямыми, равны друг другу. В ключевом случае эти углы оказывались прямыми — то есть секущая была перпендикулярна к обеим прямым одновременно. Если удавалось показать, что такой перпендикуляр существует и что он сохраняет свои свойства при продолжении, то параллельность считалась доказанной^[27]. Он показал, что классическая теорема Пифагора является частным случаем этого более общего соотношения — тем случаем, когда угол равен прямому. Тем самым Сабит подчеркнул уникальность прямого угла: именно при нём формула приобретает свой самый простой и красивый вид^[28].

Абу Али аль-Хасан ибн аль-Хайсам (ок. 965 — ок. 1040), известный в Европе под именем Альхазен, — один из величайших учёных Средневековья. Родился в Басре (современный Ирак), значительную часть жизни провёл в Каире и оставил труды по математике, оптике, астрономии и философии. Его главное сочинение — «Книга оптики» (Китаб аль-маназир), оказывало влияние на европейскую науку вплоть до Кеплера^[29]. Он установил что для того, чтобы описать, как отражается или преломляется свет, нужно сначала провести перпендикуляр к поверхности в точке падения луча, а затем измерить углы между этим перпендикуляром и лучами (падающим и отражённым). Фактически ввёл прямой угол в физику как базовую константу. Все остальные углы в его оптике измеряются как «отклонения» от этого идеального прямого угла (перпендикуляра). Ибн аль-Хайсам рассмотрел четырёхугольник, в котором три угла прямые, и пытался доказать, что четвёртый угол также обязан быть прямым. Эта фигура позже стала известна в европейской математике как четырёхугольник Ламберта, а подход Ибн аль-Хайсама фактически заложил основы исследований, приведших к созданию неевклидовой геометрии. Прямой угол здесь используется как опорная мера для анализа параллельности^[30].

Омар Хайям (1048—1131) в «Комментариях к трудностям во введениях книги Евклида» использовал конструкцию Ибн аль-Хайсама (четырёхугольник с двумя прямыми углами при основании и равными боковыми сторонами) для доказательства V постулата Евклида. Хайям считал, что необходимо использовать «философские принципы» Аристотеля и доказал, что верхние углы четырёхугольника равны и чётко формулирует три логически возможные гипотезы об их величине: прямого угла, тупого угла и острого угла. При гипотезе острого угла боковые стороны удаляются друг от друга по обе стороны от основания (расходятся). При гипотезе тупого угла боковые стороны приближаются друг к другу по обе стороны (сходятся). Оба случая прямо противоречат принципу, согласно которому перпендикуляры к одной прямой не могут одновременно и сходиться, и расходиться, а должны находиться на постоянном расстоянии. Следовательно, гипотезы острого и тупого углов отпадают, и остаётся верной только гипотеза прямого угла. Тем самым доказывается существование прямоугольника. Из существования прямоугольника Хайям последовательно выводит свойства параллельных прямых и в конечном итоге логически выводит V постулат Евклида. Хайям впервые фактически доказал первые теоремы, которые позже легли в основу неевклидовых геометрий (гипотеза острого угла — геометрия Лобачевского, гипотеза тупого угла — геометрия Римана)^[31][32].

Насир ад-Дин ат-Туси (1201—1274) осуществил редакцию «Начал» Евклида («Тахрир Уклидис», 1248). Это был не просто перевод, а тщательная переработка: ат-Туси проверял каждое доказательство, исправлял ошибки предшественников, добавлял собственные комментарии и альтернативные доказательства. В разделе, посвящённом V постулату, ат-Туси использовал ту же конструкцию четырёхугольника с прямыми углами, что и его предшественники, но подошёл к ней с более строгой логической дисциплиной. Он стремился чётко разграничить, что можно доказать без V постулата (то есть только на основе остальных аксиом Евклида) и что невозможно доказать без привлечения дополнительных допущений^[33]. Насир ад-Дин ат-Туси фактически показал, что прямой угол ведёт себя «предсказуемо» во многих ситуациях, но вопрос о том, сохраняется ли прямой угол при определённых геометрических построениях (например, при восстановлении перпендикуляра к перпендикуляру), зависит от принятия V постулата^[34][35].

Кампан Новарский (ок. 1220—1296) — итальянский математик и астроном XIII века, работавший при папском дворе. Его главный труд — латинская редакция «Начал» Евклида, составленная примерно в 1255—1259 годах. Он обратил внимание на четвёртый постулат «Начал», который гласит: «Все прямые углы равны между собой». Этот постулат кажется очевидным — но Кампан задал принципиальный вопрос: нужно ли принимать это утверждение без доказательства, или его можно доказать? Кампан склонялся к тому, что равенство всех прямых углов можно и нужно доказывать. Его рассуждение строилось так: развёрнутый угол (то есть угол, равный двум прямым) одинаков для всех прямых линий. Если мы разделим развёрнутый угол пополам, то получим прямой угол, и поскольку половины равных величин равны, все прямые углы равны между собой^[36].

Рене Декарт (1596—1650) в своём главном математическом труде «Геометрия» (1637)^[37] использовал прямой угол не как абстрактную идею, а как удобный практический инструмент. Он не рисовал систему координат с двумя осями (X и Y), пересекающимися под прямым углом. Вместо этого Декарт, как правило, брал одну базовую линию и опускал на неё перпендикуляры из разных точек. Именно эти отрезки, падающие под прямым углом, позволяли Декарту точно измерять расстояния и переводить геометрические чертежи на язык алгебраических уравнений^[38]. Тем не менее, прямой угол занимал в методе Декарта центральное место. Философия Декарта требовала опираться только на самые ясные и очевидные идеи. В геометрии такой «ясной идеей» стала перпендикулярность. Прямой угол помогал навести порядок на чертеже: с его помощью любую сложную фигуру или кривую можно было разбить на простые и понятные прямоугольные треугольники. Таким образом, для Декарта прямой угол стал не просто видом угла, а главным инструментом, с помощью которого разум может точно измерить и описать пространство^[39].

Джироламо Саккери (1667—1733) в своём труде «Евклид, очищенный от всех пятен» (1733) сделал прямой угол главным критерием проверки истинности всей геометрии. Для этого он сконструировал четырёхугольник (ныне называемый «четырёхугольником Саккери»), у которого два нижних угла — прямые, а боковые стороны равны. Саккери пытался доказать знаменитый V постулат Евклида методом от противного. Он поочерёдно рассматривал три гипотезы о верхних углах своей фигуры: что они тупые, острые или прямые. Саккери надеялся доказать, что только «гипотеза прямого угла» логически возможна, в то время как остальные ведут к противоречию^[40]. Математик фактически первым детально описал свойства мира, в котором сумма углов четырёхугольника меньше четырёх прямых углов. Его работа показала, что прямой угол является уникальной границей: малейшее отклонение от него превращает привычную плоскую геометрию в совершенно иные, неевклидовы миры^[41].

Иоганн Генрих Ламберт (1728—1777) в своей работе «Теория параллельных линий» (1786) продвинулся дальше своих предшественников в изучении природы прямого угла. Он использовал особую фигуру, которую сегодня называют «четырёхугольником Ламберта». В отличие от Саккери, Ламберт построил четырёхугольник, у которого три угла изначально приняты за прямые. Весь вопрос заключался в свойствах четвёртого угла: если он прямой — перед нами обычная плоскость Евклида, если тупой — геометрия на сфере. Ламберт первым осознал, что величина четвёртого угла напрямую связана с кривизной поверхности и площадью фигуры^[42]. Ламберт фактически предсказал появление неевклидовой геометрии Лобачевского, показав, что в таком странном мире прямой угол перестаёт быть универсальной мерой для всех четырёхугольников. Учёный обнаружил математическую зависимость: чем больше площадь фигуры, тем сильнее её углы отклоняются от прямых. Таким образом, в трудах Ламберта прямой угол стал своего рода «точкой отсчёта» для определения типа пространства, в котором мы находимся^[43].

Николай Иванович Лобачевский (1792—1856) — русский математик, создатель неевклидовой геометрии в своём революционном труде «О началах геометрии» (1829—1830) радикально переосмыслил связь прямого угла с понятием параллельности. В его «воображаемой геометрии» через точку, не лежащую на данной прямой, проходит бесконечное множество прямых, не пересекающих исходную. При этом прямой угол перестаёт быть универсальной характеристикой параллельных направлений: он сохраняется только в предельном случае, когда расстояние между точкой и прямой стремится к нулю^[44].

Учёный ввёл ключевое понятие — угол параллельности Π(p). Если из точки опустить перпендикуляр на прямую, то две граничные непересекающиеся прямые будут наклонены к этому перпендикуляру под острым углом, величина которого зависит от расстояния p: чем дальше точка, тем сильнее угол параллельности отклоняется от прямого в сторону уменьшения^[45].

Другим фундаментальным отличием стало свойство суммы углов в треугольнике. Лобачевский математически доказал, что в его геометрии сумма углов любого треугольника всегда меньше двух прямых (180°). Чем больше треугольник, тем меньше сумма его углов и тем сильнее они «сжимаются» относительно прямого угла. Таким образом, в работах Лобачевского прямой угол потерял статус абсолютного эталона для суммы углов многоугольников, став предельным значением, к которому стремятся углы бесконечно малых фигур, где пространство Лобачевского локально совпадает с евклидовым^[46].

Давид Гильберт (1862—1943) в своей фундаментальной работе «Основания геометрии» (1899)^[47] радикально пересмотрел классический подход Евклида к определению базовых понятий. Если у Евклида прямой угол определялся через смежные углы (когда они равны между собой), то Гильберт рассматривал угол как объект, обладающий свойством конгруэнтности. Для Гильберта прямой угол — это не просто «90 градусов», а геометрическая фигура, которая при определённых условиях совмещается сама с собой или со своим дополнением. Суть конгруэнтности в подходе Гильберта является ключом к пониманию всей его системы. В отличие от школьного понятия «равенства», которое часто ассоциируется с числами, конгруэнтность — это первичное отношение между фигурами (отрезками или углами). Гильберт не измеряет углы транспортиром; вместо этого он вводит аксиомы, которые описывают правила «перекладывания» углов. Две фигуры называются конгруэнтными, если одну можно наложить на другую так, чтобы они полностью совпали. Таким образом, конгруэнтность — это геометрический эквивалент равенства, который сохраняет форму и размер объекта при его перемещении в пространстве.

Применительно к прямому углу подход Гильберта выглядит следующим образом: он доказывает существование такого угла, который конгруэнтен своему смежному углу. Если при пересечении двух прямых образуются четыре угла, и все они конгруэнтны друг другу, то такие углы называются прямыми. Важно, что Гильберт доказывает: все прямые углы конгруэнтны между собой. Это утверждение, которое у Евклида было постулатом, у Гильберта становится логически выведенной теоремой. Такой метод позволяет освободить геометрию от опоры на наглядные чертежи и превратить её в строгую логическую структуру, где свойства прямого угла диктуются не интуицией, а аксиомами конгруэнтности.