Евклид. Геометрия (Carrera) - страница 22

22. Из четырехсторонних фигур квадрат есть та, которая и равносторонняя, и прямоугольная, прямоугольник же — разносторонняя и прямоугольная, ромб — равносторонняя, но не прямоугольная, ромбоид (параллелограмм) — имеющая противоположные стороны и углы, равные между собой, но не являющаяся ни равносторонней, ни прямоугольной.
23. Параллельные прямые — это прямые, которые, находясь в одной плоскости и будучи продолжены в обе стороны неограниченно, ни с одной стороны друг с другом не встречаются.

ДЕДУКТИВНЫЙ МЕТОД В «НАЧАЛАХ»

Мы увидели, что определения не подразумевают факт существования определяемого объекта,— его надо установить. Для этого необходимо решить задачу вида «существует ли такой предмет, как...». В сочинении Евклида для построения геометрических объектов используются только прямые и окружности, других инструментов не дается. Следовательно, единственные существующие точки — те, которые возникают в местах пересечения этих линий.

После того как объект построен и задача решена, нужно убедиться, что он именно такой, как нужно, то есть построение соответствует характеристикам, данным в определении. Необходимо сформулировать теорему. Теоремы «устанавливают существование как данное»; они говорят «вот объект» и констатируют, что между различными утверждениями есть логическая связь.

Для решения задач необходим анализ, то есть знание некоторых базовых сведений, которые позволяют построить объект. Например, если дана сторона АВ, нужно подумать, какие инструменты потребуются для построения равностороннего треугольника. Для этого можно представить его уже построенным и рассмотреть, что связывает все его части (см. построение пятиугольника в главе 4). В теоремах же главное — синтез от постулатов к требуемому результату. Первое предложение первой книги, несмотря на всю его простоту, позволяет нам проследить разницу между анализом и синтезом.

Книга I, предложение 1.

На данной ограниченной прямой можно построить равносторонний треугольник (см. рисунок).


Части теоремы
Protasis (утверждение)Построить равносторонний треугольник на заданной прямой.
Ekthesis (изложение)Дана прямая АВ.
Diorismos (ограничение)Необходимо построить равносторонний треугольник на АВ. 
Kataskeue (построение)
Проведем окружность АВ с центром А и радиусом АВ (постулат 3). 
Проведем окружность ВА с центром В и радиусом ВА (постулат 3). 
Проведем прямые СА и СВ из точки С, в которой пересекаются две окружности (постулат 1).
Apodeixis (доказательство)Поскольку точка А — центр окружности АВ, СА равен АВ (определение 15). Аналогично, если В — центр окружности ВА, ВС равен ВА (определение 15). Но два объекта, равные одному и тому же объекту, равны между собой (общее понятие 1). Таким образом, СА также равен СВ. Следовательно, прямые АВ, СВ и СА равны.