Перевод: английский - русский - www.onlinedoctranslator.

com

«Геометрическая алгебра» Евклида.

Мариуш Водзицкий

Евклид рассматривает самолетфицифры(кв¨мата)которые являются определенными

подмножествами плоскости. Сюда входят всепрямолинейныйфицифры. Ниже я остановлю свое
внимание только на последних.

Рассмотрим следующие три отношения эквивалентности на множествеС

всех прямолинейных фигур. Цифрыσиσ'говорят:

• бытьконгруэнтный(«фи«привязаны» друг к другу, если использовать

буквальный перевод терминологии Евклида), если одно можно «поместить»
над другим с идеальным соответствием. Такое размещение всегда можно
осуществить за счет жесткого движения всей плоскости (обозначения:σ∼сσ',
класс конгруэнтностиσбудет обозначенσ̄);

• бытьэквивалент ножницесли обе фигуры можно разбить на конечное

число взаимно конгруэнтных фигур (обозначение:σ∼сσ', класс
эквивалентностиσбудет обозначаться [σ]);

• бытьэквивалент в смысле Евклидаесли наши фигуры получены

удалением конечного числа конгруэнтных фигур из двух равноценных
фигур (обозначение:σ∼еσ'; класс эквивалентностиσбудет обозначен|σ|).
В дальнейшем я часто буду ссылаться на такие цифры, как "равный".

Каждое последующее отношение априори слабее предыдущего:

σ∼сσ' ⇒ σ ∼сσ' ⇒ σ ∼еσ'. (1)

Каждый из них удовлетворяет условиям, изложенным в п.Общие понятияраздел книги I.

Однако только последнее отношение эквивалентности удовлетворяет дополнительному
требованию евклидовой геометрии, во-первыхнеявноупомянутое при доказательстве
основного предложения i.35:1

Если удалитьконгруэнтныйкусочки из двух

"равный"фицифры, то снова получается (2)
"равный"фицифры.

1(...)треугольникЕАБбудет равен треугольникуДЗГ. Пусть (треугольник)ДГЭбыли отняты у

обоих. Таким образом, оставшаяся трапецияАБХДявляется«равный"к оставшейся трапеции.

1
 Классы эквивалентностиконгруэнтныйфифигуры, естественно, представлены
«свободными» фигурами, т. е. фигурами, буквально «поднятыми в воздух» из своего
фактического положения на плоскости.

Добавление сегментов.Даны два отрезка прямой линии («отрезки»,

короче)АБиГД,мы можем присоединить одно к другому по прямой линии.
Полученные отрезки зависят от того, прикрепим ли мыГДкАБ,или
наоборот, и ставим ли мы точкугвБили вА.Однако полученные сегменты
конгруэнтны друг другу.
Более того, если заменить отрезкиАБиГД,по сегментамАБи ГД
соответствующийАБиГД,соответственно, то полученные отрезки по-прежнему
конгруэнтны. Таким образом, мы получаем корректно определенную операцию
сложения на множествеЭклассов конгруэнтности сегментов, которые можно
отождествить с множеством «свободных» сегментов:

+ :Э×Э−→Э. (3)

Оснащен бинарной операцией (3)множество свободных отрезков становится

коммутативной полугруппой.

Точно таким же образом можно определить сложение углов.

Добавление фигур.Если попытаться проделать то же самое с произвольными

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

SS/∼с (4)

обозначим множество классов ножничной эквивалентности прямолинейных фигур. Таким В-

образом, соединение фигур дает четко определенную бинарную операцию над множеством. С':

+ :С'×С'−→С' (5)
что делает ее коммутативной полугруппой, полностью аналогичной множеству
свободных отрезковЭ.
Эквивалентность Евклидасвязь∼есовместимо с этой операцией
сложения: даны два«равный"фицифры,σ∼еσ', прикрепив любой из них к

2
фигураτпроизводит«равный"фицифры. В частности, операция (5)индуцирует
операцию сложения также на множествеЭквивалентность Евклидаклассы:

SS/∼е, (6)
так что мы имеем следующую коммутативную диаграмму
+
С'×С' С'

(7)

+
С''×С'' С''
где вертикальные карты соответствуют каноническому отображениюС'−→С''который
отправляет любой класс эквивалентности, [σ], отношения∼ссоответствующему классу
эквивалентности,|σ|, отношения∼е.

Умножение сегментов.Даны два сегментаλиµ, можно построить

прямоугольник, имеющийλиµкак его стороны. Его класс конгруэнтности
зависит только от классов конгруэнтностиλиµ. Мы будем обозначать его λ
×µ.
Таким образом, мы получаем пару:

×:Э×Э−→С. (8)
Если мыфиИксодин из сегментов, скажемλ, то индуцированное отображение

Э−→С, µ7→ λ ×µ, (9)

является инъективным:прямоугольники, имеющие попарно равные стороны, равны.

Главное достижение Евклида в первой книгеЭлементыявляется

следующая теорема.
Предложение И.45Даны отрезок λ и фигура σ. Существует отрезок µтакой, что |σ|
"="|λ×ц|.Сегментµуникальна с точностью до конгруэнтности.

То же самое в современной математической идиоме:

для любого отрезка λ отображение

Э−→С'', µ7→ |λ ×ц|,

(10)
определяет изоморфизм между полугруппой,Э,
свободных сегментов и полугруппы,С'', из
Эквивалентность Евклидаклассы фигур.

3
 ДавайтефиИкскакой-то сегментη€Э.Обратная карта к (10)

мη:С''−→Э,|σ|7→уникальныйµ€Этакой, что|σ|"="|η×ц|, (11)

существование которого гарантируется приведенной выше теоремой Евклида, можно

использовать для определения умножения наЭ:

Э×Э−→Э, мкм'˜мη(µ×µ'). (12)

Важно помнить, что это умножение зависит от выбора отрезкаη

хотя наши обозначения этого не отражают.
Упражнения.
(а) Чтоηµравно?
(б) Покажите, что умножение (12)является дистрибутивным по отношению к аддитивному
ция сегментов.
(с) Чтозначениеизмкм'?
Ассоциативность и коммутативность умножения (12)Это вопрос,
связанный с априорной теорией объема трехмерных фигур. Однако
существует подход, позволяющий остаться в рамках плоской
геометрии. Он основан на теорииподобные цифрыкоторый развит в
книге VI, и на знаменитомТеорема Паппа, еще один великий
математик из Александрии, живший там некоторое время6столетия
спустя. Он был последним значительным математиком античности.
С помощью всей этой дополнительной нетривиальной работы можно
продемонстрировать, что множество свободных сегментовЭ,снабжено операциями
сложения, (5), и умножение (12)становитсяполуполе.2

Выбравединицасегментη, можно идентифицировать арифметику

Пифагора как арифметику отрезков особого вида, а именно
положительных целых кратныхη(Евклид сказал бы:сегментов, которые
измеренныйпо η).
Мне кажется, это ключ к пониманию методов Книги VII.Элементы. С
другой стороны, теория пропорций развивается в V книге по иным
направлениям. Современные комментаторы считают теорию
пропорций V книги творением Евдокса. В книге VI, упомянутой выше,
изучается отношение эквивалентностисходствофигур;

2ЕслиЭимел ноль и−λдля любогоλ€ЭзатемЭбыло быфиполе.

4
его можно рассматривать как применение теории пропорций к
плоской геометрии.

Координация евклидовой геометрии. Модель для Евклида

геометрия плоскости определяетсяФ2в любое времяФэтофиполеоснащен
следующими двумя свойствами:
(а)Фявляетсязаказал;3
(б) для любого√а€Ф,уравнениеИкс2= 1 +а2имеет решение вФ(мы
можно сказать, что 1 +а2€Ф).
Точки плоскости описываются парами (а,б)элементовФ(их
«координаты»).
Таким образомнастоящий самолетр2предоставляет знакомую модель
геометрии евклидовой плоскости, в то время каксложная плоскостьСне.
Возникает естественный вопрос, является лилюбоймодель евклидовой геометрии
плоскости должна быть обязательно такого рода. Ответда: икоординатное поле F
получается из полуполя отрезков,Э,путем официального добавлениянульсегмент
и символ−λдля каждого сегментаλ€Э.Обратите внимание, чтоЭтогда становится
набором всехпозитивныйэлементы вФ.
Этот прекрасный результат называется координатизационной теоремой
евклидовой геометрии, и в ее доказательстве значительную роль сыграл сам
Евклид.

Архимедовы плоскости.Будем говорить, что евклидова плоскость удовлетворяет так

называемомуАксиома Архимедаесли для любого сегментаλ,µ€Э,существует целое
положительное числонтакой, что

ц <nλ˜︸λ+·︷·︷·+λ︸ . (13)
нраз

Рассмотрим наименьшее полеКфункций, содержащих все реальныерациональный

функции одной переменной, скажемт,

п(т)
ж(т"=" (14)
д(т)
√
и который для любой функцииг€К, содержит также функцию 1 +г2.
Координированная плоскость.К2, над этим полем приведен примернет
Архимедова плоскость.

3Разумеется, предполагается, что упорядочение совместимо с операциями

сложения и умножения.

5
 Это элементарный факт, хотя он, кажется, впервые был зафиксирован
лишь в XIX веке, что

Два отношения:ножницы-эквивалентность,∼с, и из
эквивалентность в смысле Евклида,∼е, совпадаютесли и (15)
только еслиплоскость удовлетворяет аксиоме Архимеда.

Достаточность аксиомы Архимеда для того, чтобы эти два отношения были
одним и тем же отношением, обычно называют теоремой Бояи и Гервейна.
Необходимость можно установить следующим образом.
Пусть сегментλ€Эбыть данным. Мы скажем, что фигураσимеет диаметр
большийчем λ, еслисуществуютточкиАиБпринадлежащийσтакой, что
свободный сегмент|АБ|больше, чемλ:

|АБ| > λ. (16)

И наоборот, мы скажем, что цифраσимеет диаметрменьшечем λ, еслидля

каждого пара различных точекАиБпринадлежащийσ

|АБ| < λ. (17)

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

Прежде чем продолжить, заметим, что если диаметры двух

фигурσиτменьше, чемλиµсоответственно, то диаметр любой
фигуры, полученной присоединениемτкσимеет диаметр меньше λ+
µ.
Предположим, что наша плоскость неархимедова. Это означает, что там
существуют сегментыλиλ'такой, что

nλ < λ' (18)

для любогоположительные целые числан.

Теперь рассмотрим две цифрыσиσ'такой, что

σимеет диаметр меньшеλ (19)

и
σ'имеет диаметр больше, чемλ'. (20)

6
Такие цифрыне могубыть эквивалентом ножниц. Действительно, когда мы разрезаемσв
конечное число частей, скажем
σ1, . . . ,σн (21)
диаметр каждой детали также меньшеλ. Но потомлюбойфифигура
получается путем присоединения частей, соответствующих фигурам (21)будет, по
сделанному выше наблюдению, иметь диаметр меньше

︸λ+·︷·︷·+λ"="nλ < λ'. (22)

нраз

В частности, нельзя получить цифруσ'путем повторного присоединения частейσ

неважно как и на сколько частей мы его разрезаем!
Отсюда следует, что два треугольника с одинаковым основанием и
одинаковой высотой неножницы-эквивалентны, если диаметр одной из
них «бесконечно» больше диаметра другой. В то же время они
эквивалентны в смысле Евклида.