Вы находитесь на странице: 1из 288

ПЕРВЫЕ ШЕСТЬ КНИГ

НАЧАЛ ЕВКЛИДА
В КОТОРЫХ ИСПОЛЬЗУЮТСЯ ЦВЕТНЫЕ СХЕМЫ И ЗНАКИ
ВМЕСТО БУКВ ДЛЯ БОЛЬШЕГО УДОБСТВА ОБУЧАЮЩИХСЯ

ОЛИВЕРА БИРНА

github.com/jemmybutton
2017 изд. 0.1

cba
Эта редакция и перевод книги Оливера Бирна «The first six books of the Elements of Euclid»
подготовлены Сергеем Слюсаревым и распространяются под лицензией CC-BY-SA 4.0
Введение
скусства и науки получили такое раз-
витие, что упростить их усвоение не
менее важно, чем расширить их гра-
ницы. Иллюстрации если и не уменьшают време-
ни обучения, то по крайней мере делают его бо-
лее приятным. Цели этой работы, однако, шире,
чем просто иллюстрация; мы не вводим цвета
лишь ради развлечения или услаждения взгля-
да определенными сочетаниями окраски и формы,
но чтобы помочь разуму в его поисках истины,
облегчить знакомство с материалом и распро-
странить постоянные знания. Пожелай мы услы-
шать мнение великих о важности и полезности
геометрии, мы могли бы вспомнить любого фи-
лософа со времен Платона. У греков, как и в шко-
ле Песталоцци и прочих в наши дни, геометрия
преподавалась как лучшее упражнение для ума.
В действительности, Начала Евклида стали, по
общему мнению, основой математической на-
уки во всем цивилизованном мире. Но это не
удивительно, учитывая тот факт, что эта величе-
ственная наука не только больше прочих пригод-
на к тому, чтобы пробудить дух исследования,
4

возывсить разум и усилить способности к рас-


суждению, но и составляет лучшее введение в
наиболее полезные и важные для человека про-
фессии. Арифметика, топография, гидростатика,
пневматика, оптика, физическая астрономия и
т. д. все полагаются на предложения геометрии.
Многое, однако, зависит от того, как наука
преподнесена учащемуся, хотя лучшие и самые
простые методы применяются редко. О пред-
ложениях, которые предоставляются ученику,
пусть и обладающему достаточным понимани-
ем, говорится столь же мало, сколь неблагопри-
ятное предубеждение он получает относительно
будущего изучения этого занимательного пред-
мета. Другими словами, «формальности и тех-
нические подробности настолько выставляются
напоказ, что почти скрывают за собой действи-
тельность. Бесконечные озадачивающие повто-
рения, не добавляющие ясности суждениям, де-
лают демонстрации запутанными и туманными
и скрывают от ученика последовательность дока-
зательства». В результате у учащегося возникает
отвращение, и предмет, предназначенный улуч-
шить мыслительные способности и привить при-
вычку к вдумчивости, через сухое и черствое из-
ложение опускается до уровня скучного упраж-
нения для памяти. Целью учителя должно быть
возбуждение любопытства и пробуждение бес-
численных спящих сил молодых умов, но там,
где больше всего требуются образцы совершен-
5

ства, попытки достичь его немногочисленны,


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

Segnius irritant animos demissa per aurem


Quam quae sunt oculis subjecta fidelibus
Что к нам доходит чрез слух, то
слабее в нас трогает сердце,
Нежели то, что само
представляется верному глазу.

Язык целиком состоит из знаков, и те зна-


ки лучшие, какие выполняют свое назначение
с наибольшей точностью и быстротой. Так, для
всех обычных целей применяются слышимые
знаки, называемые словами, которые считаются
слышимыми, доносятся ли они непосредствен-
но через уши или опосредованно через глаза в
виде слов. Геометрические построения — это
не знаки, но принадлежности геометрической
науки, задача которых — показать относитель-
6

ные размеры своих частей, с помощью процесса


рассуждения, называемого демонстрацией. Та-
кое рассуждение чаще всего доносилось в виде
слов, букв и черных, нераскрашенных диаграмм,
но поскольку испольpование цветных символов,
знаков и диаграмм в искусствах и науках дела-
ет ход рассуждения более точным, а усвоение
более скорым, в данном случае они были соот-
ветствующим образом внедрены.
Скорость этого весьма заманчивого способа
донесения знаний такова, что «Начала» Евклида
могут быть усвоены менее чем за треть от вре-
мени, какое обычно требуется, а сохранение в
памяти, напротив, намного более длительное.
Эти факты были установлены во множестве экс-
периментов, проведенных как автором, так и
другими, внедрившими его задумку. Рецепт же
короток и очевиден: буквы, присвоенные точкам,
линиям или другим частям построения, в дей-
ствительности всего лишь произвольные имена
и представляют те в демонстрации, вместо этого
части, получающие различные цвета, называют
сами себя, так как их формы и соответствующие
цвета представляют их в демонстрации.
B Чтобы дать лучшее представление об этой си-
стеме и преимуществах, получаемых от ее внед-
рения, возьмем прямоугольный треугольник и
A C выразим некоторые его свойства как цветами,
так и общепринятым способом.
7

Некоторые свойства прямоугольного треугольника


ABC, выраженные общепринятым способом:
1. Угол BAC вместе с углами BCA и ABC равны
двум прямым углам или дважды углу ABC.
2. Угол CAB вместе с углом ACB равны углу ABC.
3. Угол ABC больше как BAC, так и BCA.
4. Угол BCA, как и угол CAB, меньше угла ABC.
5. Если из угла ABC вычесть угол BAC, остаток
будет равен углу ACB.
6. Квадрат стороны AC равен сумме квадратов
сторон AB и BC.
Те же свойства, выраженные
раскрашиванием различных частей:
1. + + =2 = .
То есть, красный угол, вместе с желтым уг-
лом, вместе с синим углом равны дважды
желтому углу, равны двум прямым углам.
2. + = .
Или, словами, красный угол, добавленный к
синему углу, равен желтому углу.
3. > или > .
Желтый угол больше красного или синего.
4. или < .
И красный, и синий углы меньше желтого.
5. − = .
Иначе говоря, желтый угол за вычетом сине-
го угла равен красному углу.
2 2 2
6. = + .
То есть квадрат желтой линии равен сумме
квадратов синей и красной.
8

Цвета в устных демонстрациях дают нам то


важное преимущество, что позволяет обратить-
ся к глазам и ушам одновременно, так что для
обучения геометрии и другим наукам в аудито-
рии эта система является лучшей из когда-либо
предложенных, что очевидно из приведенных
примеров.
Отсюда очевидно, что отсылки в тексте к по-
строению считываются быстрее и надежнее, ес-
ли приводить формы и цвета их частей или на-
зывать части по их цветам, чем если называть
части и буквы на построении. Помимо превосхо-
дящей легкости, система также выделяется тем,
что обеспечивает сосредоточение и полностью
исключает вредоносную, хотя и распространен-
ную практику передоверять всю демонстрацию
памяти так, что рассуждение, факты и доказа-
тельства создают лишь впечатление понимания.
Опять же если мы, говоря о свойствах фигур
перед аудиторией, упомянем цвет части или ча-
стей, о которых идет речь, как то: красный угол,
синяя линия или линии и т. п., так обозначен-
ные часть или часть будут сразу же видны всем;
совсем не то что сказать про угол ABC, треуголь-
ник PFQ, фигуру EGKt и так далее, поскольку бук-
вы приходится разыскивать по одной, прежде
чем ученики составят в уме ту конкретную ве-
личину, о которой идет речь, что часто может
привести к путанице и ошибкам, а также к поте-
ре времени. Кроме того, если части, принятые
9

равными, окрашены в один цвет на построении,


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

Ведь жаждет знаний человек, и истины лучи


Охотней тронут пониманья глаз,
Чем уши звуков лесть,
Чем всякий вкус язык...

Это, возможно, единственное улучшение, ко-


торое получила геометрия на плоскости со вре-
10

мен Евклида, а если до того и были значимые


геометры, то успех Евклида затмил их в памяти
до такой степени, что многие достижения в этой
области приписываются ему, подобно Эзопу сре-
ди баснописцев. Также нелишним будет отме-
тить, что как осязаемые построения представля-
ют единственный способ донесения геометрии
до слепых, так и зримая система не менее при-
способлена к нуждам глухих и немых.
Следует уделить внимание, объяснению то-
го, что цвета не имеют иного отношения к ли-
ниям, углам, величинам, кроме как обозначить
их. Математическая линия, представляющая со-
бой длину без ширины, не может иметь цвета,
но место соприкосновения двух цветов на од-
ной плоскости дает хорошее представление о
том, что такое линия в математике. Запомним,
что, строго говоря, мы имеем в виду такое сопри-
косновение, а не цвет, когда говорим о черной
линии, красной линии или линиях и т. п.
Цвета и раскрашенные построения могут, на
первый взгляд, показаться неуклюжим спосо-
бом донесения правильных представлений о
свойствах и частях математических фигур и ве-
личин, однако, как мы увидим, они являются
средством более изящным и емким, чем любые
предложенные ранее.
Теперь мы дадим определение точке, линии
и поверхности и продемонстрируем предложе-
ние, чтобы показать верность этого суждения.
11

Точкой называют то, у чего есть положение,


но нет величины, или точка — это одно лишь по-
ложение, лишенное длины, ширины и толщины.
Следующее описание, возможно, более пригод-
но для объяснения сущности математической
точки тем, кто еще не освоил идею, имеющую
приведенное выше пространное определение.
Пусть три цвета встречаются и покрывают
участок бумаги. В месте, где они встречаются,
цвет не будет ни синим, ни желтым, ни красным,
так как оно не занимает пространства на бумаге,
а если бы занимало, то относилось бы к синей,
красной или желтой части. Но все же оно суще-
ствует и имеет положение без величины, так что
без особенных сложностей можно заметить, что
место встречи трех цветов на плоскости дает хо-
рошее представление о математической точке.
Линия суть длина без ширины. С помощью
цветов почти так же, как и выше, понятие линии
можно донести следующим образом:
Пусть два цвета встречаются и покрывают
участок бумаги. Где они встречаются, цвет не
будет ни красным, ни синим. Следовательно, со-
единение не занимает никакой части плоскости,
и значит, не имеет ширины, а только длину. От-
сюда легко получить представление о том, что
понимается под математической линией. Для
иллюстрации было бы достаточно одного цве-
та, отличного от цвета бумаги или другой по-
верхности, на которую нанесен рисунок. Итак, в
12

дальнейшем, когда мы говорим о красной ли-


нии, синей линии или линиях и т. п., в виду
будет иметься место соприкосновения с плос-
костью, на которой они нарисованы.
Поверхность — это то, у чего есть длина и
P ширина, но нет толщины.
S Рассматривая объемное тело (PQ), мы сра-
зу понимаем, что у него есть три измерения, а
R
именно: длина, ширина и толщина. Теперь пред-
Q положим, что одна часть тела (PS) красная, а дру-
гая (QR) желтая, и эти цвета раздельны и не сме-
шиваются. Синяя поверхность (RS), разделяющая
эти части, или, иначе говоря, разделяющая те-
ло без потери материала, должна быть без тол-
щины и иметь только длину и ширину. Это, оче-
видно из рассуждений, подобных примененным
выше для определения, а точнее для описания
точки или линии.
Для того чтобы прояснить, как именно при-
меняются эти принципы, мы выбрали предло-
жение из первой книги.
A В равнобедренном треугольнике ABC внут-
ренние углы при основании ABC и ACB равны, а
если продлить стороны AB и AC, внешние углы
при основании BCE, CBD, также будут равны.
C B
A B A C
Продлим и ,
B D C E
сделаем = ,
E D проведем B E
и C D
.
13

A A

В B и C

E D

A D A E
получим = ,
A
A B A C
общий и = :
C B
A A

B E C D
∴ C = B , =
D E
C B
B C
и = (пр. 1.4).
E D
C B
B C

Теперь в и
E D
C B
B D C E B C
= , =
E D

B E C D
и = ;
C B
B C C B C B
∴ = и D = E (пр. 1.4).
E D
A A
A A

Но C = B ,∴ B
= C
.
C B
D E

ч. т. д.

Заменив буквами диаграммы


Продлим равные стороны AB и AC через кон-
цы третьей стороны BC. На любой из продленных
частей BD возьмем любую точку D и от другой
отсечем AE, равную AD (пр. 1.3). Теперь взятые
таким образом на продленных сторонах точки
E и D соединим прямыми линиями DC и BE с
противолежащими концами третьей стороны
треугольника.
В треугольниках DAC и EAB стороны DA и AC
соответственно равны EA и AB, а прилежащий
14

угол A общий. Следовательно (пр. 1.4), линия DC


равна BE, угол ADC равен AEB, а угол ACD — углу
ABE. Если из равных линий AD и AE вычесть рав-
ные AB и AC, остатки BD и CE также будут равны.
А значит, в треугольниках BDC и CEB стороны BD
и DC соответственно равны CE и EB и углы D и
E, заключенные между этими сторонами, также
равны. А значит (пр. 1.4), углы DBC и ECB, заклю-
ченные между третьей стороной BC и продол-
жениями сторон AB и AC, также равны. Кроме
того, углы DCB и EBC равны, если равные углы
вычитаются из углов DCA и EBA, равенство кото-
рых было показано выше, а значит остатки, то
есть углы ABC и ACB, противолежащие равным
сторонам, будут равны.
Следовательно, в равностороннем треугольни-
ке… и т. д.
ч. т. д.

Поскольку здесь нашей целью было предста-


вить систему, а не объяснить какой-либо набор
предложений, мы взяли то, что выше, из самого
курса. В школах и других общественных учеб-
ных заведениях с подобными построениями по-
могут цветные мелки, для индивидуального ис-
пользования очень удобны цветные карандаши.
Мы очень рады, что начала математики те-
перь составляют часть любого достойного обра-
зования для женщин, поэтому мы призываем
обратить внимание на этот привлекательный
15

метод донесения знания и дальнейшую работу


по его развитию тех, кто заинтересован или во-
влечен в образование для дам.
В заключение отметим, что поскольку мож-
но так же надежно и быстро обратиться к чув-
ствам зрения и слуха тысячи, как и одного, мил-
лион можно обучить геометрии и другим отрас-
лям математики с большой легкостью; это про-
двинуло бы успехи образования больше, чем что-
либо, что можно назвать, поскольку это научило
бы людей как думать, а не, что характерно для
образования, что думать, в чем и заключается
его большая ошибка.
16

Определения

1
Точка есть то, что не имеет частей

2
Линия — это длина без ширины.

3
Концы линии — точки.

4
Прямая линия есть та, которая равно расположе-
на по отношению к точкам на ней.

5
Поверхность есть то, что имеет только длину и
ширину.

6
Концы поверхности — линии.

7
Плоская поверхность есть та, которая равно рас-
положена по отношеню к прямым на ней.

8
Плоский угол есть наклонение друг к другу двух
линий, в плоскости встречающихся друг с дру-
гом, но не расположенных по одной прямой.
17

9
Прямолинейный угол есть наклонение друг к
другу двух пересекающихся и не совпадающих
прямых линий.

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

11
Тупым называется угол больше прямого.

12
Острым называется угол меньше прямого.

13
Граница есть то, что является оконечностью чего-
либо.

14
Фигура есть то, что содержится внутри какой-
нибудь или каких-нибудь границ.

15
Круг есть плоская фигура, содержащаяся внут-
ри одной линии, называемой окружностью, в
которой есть точка, все прямые падающие на
окружность из которой равны.
18

16
Точка в круге, все прямые к окружности из кото-
рой равны называется центром.

17
Диаметр круга есть прямая линия, проходя-
щая через центр и ограниченная с обеих сторон
окружностью.

18
Полукруг есть фигура, содержащаяся между диа-
метром и отсекаемой им частью окружность.

19
Сегментом круга называется фигура, содержаща-
яся между прямой линией и частью окружности,
ей отсекаемой.

20
Прямолинейной фигурой называется фигура, содер-
жащаяся между прямыми линиями.

21
Треугольником называется прямолинейная фигу-
ра с тремя сторонами.

22
B
Четырехсторонняя фигура та, у которой четыре
A
A D C B
стороны. Прямые линии и , со-
единяющие вершины противоположных углов
D

C
четырехсторонней фигуры называются диагона-
лями.
19

23
Многоугольник есть прямоугольная фигура с бо-
лее чем четырьмя сторонами.

24
Равносторонним называется треугольник, все
стороны которого равны.

25
Треугольник у которого равны две стороны на-
зывается равнобедренным.

26
Разносторонним называется треугольник со все-
ми неравными сторонами.

27
Треугольник у которого есть прямой угол назы-
вается прямоугольным.

28
Тупоугольным называется треугольник, у которо-
го есть тупой угол.

29
Остроугольным называется треугольник, все уг-
лы которого острые.

30
Из четырехсторонних фигур, квадратом называ-
ется та, все стороны которой равны между собой,
и все углы прямые.
20

31
Ромбом называется четырехсторонняя фигура,
все стороны которой равны, но углы не прямые.
32
Прямоугольник есть четырехугольник, все углы
которого прямые, но не все стороны равны.
33
Параллелограмм есть фигура, протвоположные
стороны которой равны, но ни все стороны рав-
ны, ни все углы прямые.
34
Все прочие прямоугольники называются непра-
вильными.
35
Параллельными называются такие прямые ли-
нии, которые находясь в одной плоскости и бу-
дучи продолженными в обе стороны неограни-
ченно не встречаются.

Постулаты
I
Будем считать, что прямую линию можно про-
вести от любой точки до любой другой точки.
II
Будем считать, что ограниченную прямую ли-
нию можно непрерывно продолжить по прямой.
21

III
Будем считать, что из всякого центра и на любом
расстоянии от центра можно построить круг.

Аксиомы

I
Равные одному и тому же величины равны меж-
ду собой.

II
Если к равным величинам прибавляются равные,
то и суммы будут равны.

III
Если из равных величин вычитаются равные, то
и остатки будут равны.

IV
Если к неравным величинам прибавляются рав-
ные, то суммы будут неравными.

V
Если из неравных величин вычитаются нерав-
ные, остатки будут неравными.

VI
Удвоенные одной и той же или равных величин
равны.
22

VII
Половины одной и той же или равных величин
равны.

VIII
Совпадающие, или занимающие в точности рав-
ное пространство величины равны.

IX
Целое больше его части.

X
Две прямых линии не содержат пространства.

XI
Все прямые углы равны между собой.

XII
E A B

C H D
Если две прямые ( C D
) встречаются с тре-
E F
тьей так, что два внутренних угла по
H E
D

одну сторону и меньше двух пря-


B
A B
F G
G мых углов, эти две линии пересекутся, если их
F
продлить по ту сторону, с которой углы меньшу
двух прямых углов.
23

Пояснения
Двенадцатую аксиому можно сформулиро-
вать любым из следующих способов:
1. Две расходящиеся прямых линии не могут
быть параллельны одной и той же прямой
линии.
2. Если прямая линия пересекает одну из двух
параллельных прямых линий, то она пересе-
кает и вторую.
3. Через данную точку может быть проведена
лишь одна прямая параллельная данной.
Основными предметами геометрии являют-
ся изложение и объяснение свойств фигур, а фи-
гура определяется как отношение, существую-
щее между границами пространства. Простран-
ство же или величина бывает трех видов, линей-
ного, поверхностного, и телесного.
Углы справедливо называть четвертым видом A
величин. Угловые величины очевидно состоят из
частей и, следовательно, их нужно признать раз-
новижностью количеств. Ученик не должен счи-
тать, что величина угла зависит от длин прямых
линий, заключающих его, и мерой взаимного рас-
хождения которых угол является мерой. Верши-
ной угла называется точка в которой встречаются
стороны угла, как, например, A.
Угол часто обозначается одной буквой, ко-
гда в вершине сходятся только его стороны. Так,
24

красная и синяя линия образуют желтый угол,


D который инача назывался бы углом A. Но если
F
более двух линий встречаются в одной точке,
H C B
с использованием старых методов во избежа-
E ние путаницы было бы необходимо использо-
G
вать три буквы, чтобы обозначить угол при этой
точке, так что буква, обозначающая вершину все-
гда помещалась бы посередине. Так, черная и
красная линия, встречающиеся в точке C, обра-
зуют синий угол, и обычным способом он бы
обозначался как угол FCD или DCF. Линии FC и
CD стороны угла, а точка C — его вершина. Та-
ким же образом черный угол обозначался бы
DCB или BCD. Красный и синий углы вместе, или
угол HCD вместе с FCD, составляли бы угол HCD,
и так далее для других углов.
Когда стороны угла продлеваются далее вер-
шины, углы, образованные или по обе стороны
вершины называются вертикально противополож-
ными друг другу: так красный угол и желтый
угол вертикально противоположны.
Совмещением называют действие, когда одну
величину можно представить помещенной по-
верх другой так, что она точно покрывает ее, или
так, что все их части в точности совпадают.
Линию называют продленной, когда она вы-
тягивается, продолжается или увеличивается в
длине, а увеличение в длине, которое получа-
ет линия называется продленной частью или ее
продолжением.
25

Полная длина линии или линий, заключа-


ющих фигуру называется ее периметром. Пер-
вые шесть книг Евклида касаются только плос-
ких фигур. Линия, проведенная из центра кру-
га к окружности называется радиусом. Сторона
прямоугольного треугольника противолежащая
прямому углу называется гипотенузой. Все ли-
нии, рассматриваемые в первых шести книгах
считаются лежащими в одной плоскости.
В евклидовой геометрии разрешается поль-
зоваться только линейкой и циркулем. Постулаты
призваны донести это ограничение.
Аксиомы геометрии — это некоторые общие
предложения, истинность которых принимает-
ся как самоочевидная, и которую нельзя пока-
зать с помощью демонстрации.
Предложения это результаты в геометрии, по-
лученные через процесс рассуждения. В геомет-
рии есть два типа предложений, задачи и теоре-
мы.
Задача это предложение, в котором предла-
гается что-дибо сделать, например провести ли-
нию, соответствующую данным условиям, опи-
сать круг, построить фигуру и т. п.
Решение задачи состоит в том, чтобы показать
как можно сделать требуемое с помощью линей-
ки и циркуля.
Демонстрация состоит в доказательстве того,
что действия, представленные в решении позво-
ляют достичь требуемого.
26

Теорема это предложение, в котором требу-


ется доказать истинность некоего утверждения.
Это утверждение должно быть выведено из ак-
сиом и определений или ранее и независимо
установленных истин. Это и является целью де-
монстрации.
Задача подобна постулату.
Теорема напоминает аксиому.
Постулат это задача, решение которой пред-
определено.
Аксиома это теорема, истинность которой
принимается как данность, без демонстрации.
Следствие это умозаключение, выводимое
непосредственно из предложения.
Примечание это заметка или наблюдение, ка-
сающееся предложение, не содержащее умоза-
ключений достаточной важности, чтобы назы-
ваться следствием.
Лемма это предложение, введенное исключи-
тельно с целью доказательства более важного
предложения.
27

Обозначения
∴ обозначает слово следовательно.
∵ обозначает слово поскольку.
= обозначает слово равно. Знак равенства мож-
но читать как равно, или равны, но род и число
не влияют на геометрическую строгость.
≠ обозначает то же, как если бы было написа-
но на равно.
> обозначает больше чем.
< обозначает меньше чем.
≯ обозначает не больше чем.
≮ обозначает не меньше чем.
+ читается как плюс и обозначает сложение;
будучи помещенным между двумя и более вели-
чинами обозначает их сумму.
− читается как минус и обозначает вычитание;
будучи расположенным между двумя количе-
ствами, указывает на то, что последнее вычита-
ется из первого.
× этот символ обозначает произедение двух
или более чисел, будучи помещенным между ни-
ми в арифметике или алгебре. Но в геометрии
он обычно используется для обозначения пря-
моугольника, когда помещен между «двумя пря-
мыми линиями, содержащими один его прямых
углов». Прямоугольник может также обозначать-
ся точкой между двумя смежными сторонами.
: :: : обозначает аналогию или пропорцию. Так
28

если A, B, C и D представляют четыре величины


и A имеет к B такое же отношение, как C к D,
то пропорция кратко записывается следующим
образом:
𝐴 𝐶
𝐴 : 𝐵 :: 𝐶 : 𝐷, 𝐴 : 𝐵 = 𝐶 : 𝐷, или = .
𝐵 𝐷
Это равенство или одинаковость отношений
читается:
как A к B, так и C к D;
или A к B, как C к D.
∥ обозначает параллельно к.
⊥ обозначает перпендикулярно к.
обозначает угол.
обозначает прямой угол.
обозначает два прямых угла.
или кратко обозначает точку.
Квадрат, построенный на линии, кратко за-
2
писывается так: .
Таким же образом дважды квадрат обознача-
2
ется так: 2 ⋅ .
опр. обозначает определение.
пост. обозначает постулат.
акс. обозначает аксиому.
гип. обозначает гипотезу. Здесь важно отме-
тить, что гипотеза — это условие, которое прини-
мается как данное. Так, гипотеза предложения
данного во введении в том, что треугольник рав-
нобедренный, или что две его стороны равны.
постр. обозначает построение. Построения —
это изменения, сделанные в исходном изображе-
29

нии добавлением линий, углов, кругов и т. п. с


целью приспособления его к демонстрации или
решению задачи. Условия, при которых сделаны
эти изменения также бесспорны, как и содержа-
щиеся в гипотезе. Например, если мы делаем
угол равным данному углу, то эти два угла рав-
ны по построению.
ч. т. д. обозначает что и требовалось доказать.
30
Книга I

Предл. I. Задача
A B
а данной ограниченной прямой C

построить равносторонний треуголь-


ник.
A B

Опишем A B
и A B
(пост. III);

C A B C
проведем и (пост. I).
C

Тогда A B равносторонний.

A B C A
Поскольку = (опр. 15);
A B B C
и = (опр. 15);
C A B C
∴ = (акс. I);
C

и значит A B и есть искомый треугольник.

ч. т. д.
32 КНИГА I ПРЕДЛ. II. ЗАДАЧА

A
т данной точки отложить прямую,
B C
равную данной прямой .

D
A

A B
C
F Проведем (пост. I),
D
B

построим B A(пр. 1.1),


B D
E продлим (пост. II),
C
опишем B (пост. III),

D
и (пост. III);
E

D A
продлим (пост. II),
A F
тогда искомая прямая это .

E D D F
Поскольку = (опр. 15),
B D D A
и = (постр.),
B E A F
∴ = (акс. III),
B C B E A F
но (опр. 15) = = ;

A F
∴ проведенная из данной точки
D F B C
( ) равна данной прямой .

ч. т. д.
КНИГА I ПРЕДЛ. III. ЗАДАЧА 33

A C
т большей из двух данных пря-
мых, отнять прямую, равную меньшей D

E F
.
B
A C
E

A D E F
Проведем = (пр. 1.2);
D

опишем A (пост. III), F

E F A B
тогда =

A D A B
Поскольку = (опр. 15),
E F A D
и = (постр.);

E F A B
∴ = (акс. I);

ч. т. д.
34 КНИГА I ПРЕДЛ. IV. ТЕОРЕМА

A
сли два треугольника имеют по две сто-
A B
роны, равные каждая каждой, ( =
C A
D
и = E
) и по равно- F D

A D

му углу ( B
= E
) содержащемуся между равны-
C F

C ми прямыми, то они будут иметь и основание равное


B C
основанию ( = ), и один треугольник E F

B
D
будет равен другому, и остальные углы, стягивае-
мые равными сторонами, будут равны каждый каж-
A D
A D

дому ( C = F и = F
).
B E C
B E

Представим, что два треугольника располо-


F жены таким образом, что вершина одного из
A D

двух равных углов B


или E
, совпадает с вер-
E C F
A B D E
шиной другого, и совпадает , то-
C A F D
гда при наложении совпадет с .
B C E F
Следовательно совпает с , или же
две прямые будут содержать пространство, что
B C
невозможно (акс. X), следовательно =
A D
A D
E F
, C = F и = F
, и по-
B E C
B E
A D

скольку треугольники и сов-


C F

B E
падают при наложении, они равны во всех отно-
шениях.
ч. т. д.
КНИГА I ПРЕДЛ. V. ТЕОРЕМА 35

A
любого равнобедренного треугольника
A

углы при основании равны между


C B

собой и по продолжении равных сторон углы под ос-


C B

нованием будут равны между собой.

A B A C
Продлим и (пост. II),
E D
B D C E
возьмем = (пр. 1.3);
B E C D
проведем и .
A A

Тогда в B и C

E D

A D A E
получим = (конст.),
A

общий обоим,
C B

A B A C
и = (гип.)
A A

B E C D
∴ C
= B
, =
D E
C B
B C
и = (пр. 1.4).
E D

C B
B C

Так же у и
E D
B D C E
получим = ,
C B
B C B E C D
= и = ,
E D
C B
B C C B
B C
∴ = и D
= E
(пр. 1.4)
E D
A A
A A

но C
= B
,∴ B
= C
.
C B
D E

ч. т. д.
36 КНИГА I ПРЕДЛ. VI. ТЕОРЕМА
D

D
сли у любого треугольника A B два
D D

C
угла B
и A
равны между собой,
A B
A D B D
то и стороны и , стяги-
вающие равные углы, будут равны.

Предположим, что стороны не равны и одна


A B
A D B D
из них больше чем другая , тогда
C A B D
отрежем от нее = (пр. 1.3) и про-
B C
ведем .
D
C

Тогда в A B и A , B

C A B D
= (постр.),
D D

B
= A
(гип.)
A B

A B
и общая обоим,
∴ эти треугольники равны (пр. 1.4)
часть равна целому, что невозможно;
A D
∴ ни одна из сторон
B D
или не больше другой,
∴ они равны.

ч. т. д.
КНИГА I ПРЕДЛ. VII. ТЕОРЕМА 37

C D
о одну сторону одной и той же прямой
A B
нельзя построить два разных
треугольника с равными друг другу смеж-
C A D A B C
ными сторонами = и =
B D
.
A B
Если два треугольника построены на одном
основании и по одну сторону от него, то вершина
одного может находиться вовне другого, внутри
или на одной из его сторон. D

Если такое возможно, то построим два тре-


C A B C
=
угольника таких, что { }, за-
D A B D
=
C D
тем проведем , тогда C

C
D C D

= A
(пр. 1.5)
A

C D C D

∴ B
< A
и

D
C D C

∴ B
< }
}
B
что невозможно,
C C
D ⎬
но (пр. 1.5)
D
= }
}
B
B ⎭
следовательно, смежные стороны таких двух
треугольников не могут быть равны.
ч. т. д.
38 КНИГА I ПРЕДЛ. VIII. ТЕОРЕМА

A
сли у двух треугольников по две попар-
C A
но равных стороны ( = F D

A B
и = D
), а также равные E

C
B C
основания ( = E F
), то углы A
B
и
F
D
E
, заключенные между равными сторонами, рав-
C ны.
B C
Если совместить равные основания
B
D E F
и так, чтобы треугольники находились
A B
по одну сторону, а их равные стороны и
D E C A F D
, и были смежными, вер-
шина одного будет совпадать с вершиной друго-
го (пр. 1.7).
A B C A
Следовательно, стороны и ,
F A

будут совпадать с D E
и F D
,∴ =
B C

E D

.
E F

ч. т. д.
КНИГА I ПРЕДЛ. IX. ЗАДАЧА 39

A
A
ассечь данный прямолинейный угол
B C

пополам.

B C

A B C A
Возьмем = (пр. 1.3)

B C
проведем , на которой
B C
D

построим (пр. 1.1),


D
A D
проведем .

A B C A
Поскольку = (постр.),
A D
общая обоим треугольникам
C D D B
и = (постр.),
A A

∴ = (пр. 1.8).
B C
D D

ч. т. д.
40 КНИГА I ПРЕДЛ. X. ЗАДАЧА

A
ассечь данную ограниченную прямую ли-
B C
нию .

B D C

Построим B C (пр. 1.1),


A A

A D
проведем , делая = (пр. 1.9),
B C
D D

D B C D
Тогда = (пр. 1.4),

A B C A
поскольку = (постр.)
A A

=
B C
D D
A D
и общая обоим треугольникам.

Следовательно, данная
линия рассечена пополам.

ч. т. д.
КНИГА I ПРЕДЛ. XI. ЗАДАЧА 41

A
D
з данной точки на данной прямой
B C
построить перпендикуляр.

C
Возьмем любую точку на данной прямой,
D B C D
отсечем = (пр. 1.3), B D C

построим (пр. 1.1), B C

A D
проведем и она будет
перпендикуляром к данной прямой.

A B C A
Поскольку (постр.) =
C D D B
= (пост.)
A D
и общая обоим треугольникам.
A A

∴ B
= C
(пр. 1.8)
D D

A D B C
∴ ⊥ (опр. 10)

ч. т. д.
42 КНИГА I ПРЕДЛ. XII. ЗАДАЧА

A
ровести перпендикуляр к данной неогра-
B C
ниченной прямой из данной, не
A

находящейся на ней точки .

B D C
Взяв данную точку в качестве центра
по одну сторону прямой, и любое
расстояние, позволяющее достигнуть
B C
другой стороны, построим .

D B C D
Возьмем = (пр. 1.10),
A B C A A D
проведем , и .

A D B C
Тогда ⊥ .

Поскольку (пр. 1.8), раз


D B C D
= (постр.),
A D
общая обоим треугольникам,
A B C A
и = (опр. 15),
A A

∴ B
= C
,
D D

A D B C
и∴ ⊥ (опр. 10)

ч. т. д.
КНИГА I ПРЕДЛ. XIII. ТЕОРЕМА 43

A
E D
сли прямая линия восставлен-
B C
ная на другой прямой линии об- E

разует с ней углы, то это будут либо два


прямых угла, либо их сумма будет равна двум пря-
мым углам.
B D C

E D B C
Если ⊥к тогда,
E E

B
и C
= (опр. 10),
D D

E D B C
но если будет не ⊥ к ,
A D B C
проведем ⊥ ; (пр. 1.11)
A A

B
+ C
= (постр.),
D D
A A A
E E

B
= C
= + C
D D D
D

A A A A
E E

∴ B
+ C
= B
+ + C
(акс. II)
D D D D
D

E E

= B
+ C
= .
D D

ч. т. д.
44 КНИГА I ПРЕДЛ. XIV. ТЕОРЕМА

A
B D C D
сли две прямые и обра-
A D
зуют с третьей смежные углы,
находясь по разные стороны от нее, и эти
A A

углы B
и C
равны двум прямым углам, то
D D

B D эти прямые будут лежать на одной прямой.

E D
E Действительно, пусть , а не
C D B D
, будет продолжением ,
A
A

тогда B
+ D =
D
E

A A

но, согласно гипотезе B


+ C
=
D D

A
A

∴ D = C
, (акс. III);
D
E

что не имеет смысла (акс. IX).

E D B D
∴ не является продолжением ,и
то же можно показать для любой другой
C D
прямой линии, за исключением ,
C D B D
∴ является продложением .

ч. т. д.
КНИГА I ПРЕДЛ. XV. ТЕОРЕМА 45

C A
A B C D
сли две прямых линии и
C

пересекаются, вертикальные углы E

B E
A
C A E

и E
, и B D
будут равны между собой.
E
D

B D
C
C A
E + =
E
B

A
C A
E
+ =
E
D

C A

∴ E = E
.
B D

Таким же образом можно показать, что


C A E

= B D
E

ч. т. д.
46 КНИГА I ПРЕДЛ. XVI. ТЕОРЕМА

B D
ри продолжении стороны треугольника
B

E внешний угол
A будет боль-
C C
F

ше любого из противолежащих ему внутренних уг-


B B

лов или C
.
A C A

A C F

B E E C
Сделаем = (пр. 1.10);
G
A E
проведем и продлим
E D A E
до = ;
B D

C D E
проведем .В E и ;
A C
B D

B E E C E
= , E =
A C

A E E D
(пр. 1.15) и = (постр.),
B E D

∴ = (пр. 1.4),
A C C
E
E D

∴ C
F
> .
C

Так же можно показать, что при


C B
A
A F
продлении , > C
G A

и, следовательно C
F
который
C B
A

= будет > C
.
G A

ч. т. д.
КНИГА I ПРЕДЛ. XVII. ТЕОРЕМА 47
B

B
о всяком треугольнике любые два A C

угла взятые вместе меньше двух прямых


углов.

A C
Продлим , тогда A C D

B B

A
+ D
=
C C

B B

Но D
> C
(пр. 1.16)
C A

B B

∴ A
+ C
< ,
C A

и таким же образом можно показать, что любые


два других угла вместе будут меньше двух пря-
мых углов.
ч. т. д.
48 КНИГА I ПРЕДЛ. XVIII. ТЕОРЕМА
C

C
о всяком треугольнике B
, если од-
D
D C B C
на сторона больше другой ,
то противолежащий большей стороне
A
угол будет больше противолежащего меньшей сто-
C
B A

роне угла, т. е. B
> B
D
D

D
A C B C
Сделаем = (пр. 1.3),
A B
проведем ,
C C

Тогда A
= A (пр. 1.5);
B B

C A

но A > B
(пр. 1.16)
B D

C A

∴ A > B

B D

C
A

и тем более B
> B
.
D
D

ч. т. д.
КНИГА I ПРЕДЛ. XIX. ТЕОРЕМА 49
C

C
о всяком треугольнике A B если
C C

один угол B
больше другого A B
, то
A
B C
сторона противолежащая боль-
C A
шему углу, больше стороны противолежа-
щей меньшему.
A B

B C C A
Если не больше тогда
B C C A
= или < .

B C C A
Если = тогда
C C

= (пр. 1.5),B A B
A
что противоречит гипотезе.

B C C A
также не меньше ;
поскольку, если это так, то
C C

< (пр. 1.18)


B A B
A
что противоречит гипотезе:

B C C A
∴ > .

ч. т. д.
50 КНИГА I ПРЕДЛ. XX. ТЕОРЕМА

C
D A B D
юбые две стороны и вся-
D

кого треугольника взятые A B

A B
вместе больше третьей стороны .
D

D A
Продлим ,
C D B D
A B
и сделаем = (пр. 1.3);
B C
проведем .

C D B D
Тогда, поскольку = (постр.),
C C
D
= A
(пр. 1.5)
B B

C C

∴ A
> A
(акс. IX)
B B

D A C D A B
∴ + > (пр. 1.19)

D A B D A B
и∴ + >

ч. т. д.
КНИГА I ПРЕДЛ. XXI. ТЕОРЕМА 51

D
C
сли из любой точки внутри тре-
C

E
угольника провести прямые ли-
A B
D
A B
нии к концам стороны , эти прямые вместе
меньше двух других сторон треугольника, и будут
заключать больший угол.

A B
A D
Продлим ,
C A E C A E
+ > (пр. 1.20),
B E
добавим к каждой ,
C A C B A E B E
+ > + (акс. IV)

Таким же образом можно показать, что


A E B E A D B D
+ > + ,
C A C B A D B D
∴ + > + ,
что и требовалось доказать.
E C

Далее D
> A
(пр. 1.16),
B B

D E

и также A
> D
(пр. 1.16),
B B

D C

∴ A
> A
.
B B

ч. т. д.
52 КНИГА I ПРЕДЛ. XXII. ЗАДАЧА

L’

C з трех прямых линий { L’’


таких,
L’’’
E

что любые две вместе длиннее третьей,


A
B составить треугольник.

A B L’
D L’
Предположим = (пр. 1.3).
L’’

A D L’’’
L’’’
Проведем =
} (пр. 1.2).
B E L’’
и =

A D B E
Взяв и как радиусы,
E
A
опишем и B (пост. III);
D

C A B C
проведем и ,
C

тогда A B будет искомым треугольником.

Поскольку A B
= L’
, ⎫
}
B C
= B E
= L’’
(постр.)

C A A D L’’’ }
и = = ⎭
ч. т. д.
КНИГА I ПРЕДЛ. XXIII. ЗАДАЧА 53

E
ри данной точке на данной прямой
F C
F J
, построить угол равный данному
C

прямолинейному углу B
.
A

B C
Проведем между любыми двумя точ-
A
ками сторонами данного угла. B D

Построим F G (пр. 1.22)


F G H F
такой, что = A B
, = C A

G H
и = B
. C
F
G J

C H

Тогда B
= G
(пр. 1.8).
A F

ч. т. д.
54 КНИГА I ПРЕДЛ. XXIV. ТЕОРЕМА

A
сли у двух треугольников по две сто-
роны соотверственно равны друг дру-
A B A D
гу ( = и = E F

G E
), и угол заключенный ними в одном D
B

D B E

B D
больше, чем в другом , то сторона про- G F

C
E тиволежащая большему углу больше стороны, про-
F G
тиволежащей меньшему .

A E

Сделаем = C B G F(пр. 1.23),


C A
F и = G E
(пр. 1.3),
C D B C
проведем и .
G

C A A D
Поскольку = (акс. I. гип. постр.)
A A A
D B
D D
∴ D = (пр. 1.5) но C
< ,
C C C

D B D
B
и∴ C
< ,
C

B D B C
∴ > (пр. 1.19)

B C
но = F G
(пр. 1.4)

B D
∴ > F G
.

ч. т. д.
КНИГА I ПРЕДЛ. XXV. ТЕОРЕМА 55

A
сли у двух треугольников две стороны
A B C A
и соответственно рав-
D E F D
ны двум сторонам и дру-
гого, но основания неравны, то угол над большим ос-
B C
нованием одного треугольника меньше угла
E F
под меньшим другого.
B

A D
C
= , > или < D
C B F E

A D

не равен
C B F E
A D

поскольку если = то
C B F E

B C
= (пр. 1.4) E F
E

что противоречит гипотезе;


F
A D

не меньше
C B F E
A D

поскольку если <


C B F E

B C
то < (пр. 1.24), E F

что противоречит гипотезе:


A D

∴ > .
C B F E

ч. т. д.
56 КНИГА I ПРЕДЛ. XXVI. ТЕОРЕМА

сли у двух треугольников два угла соот-


ветственно равны двум углам другого
C F C F

( B
= E
и A
= D
), и
A D B E

одна сторона равна одного равна так же располо-


женной стороне другого, то и остальные стороны и
углы соответственно равны друг другу.

C
Случай I.
A B D E
Пусть и , лежащие
между равными углами равны,
C A
тогда = . D F

D F
Поскольку, если больше,
A B C A
сделаем = G D
, проведем E G
.
F C
G

В A B и D E получим
C A
= G
, D

C F
A B
B
= E
, = D E
;
A D
C G
D E
∴ A
= D
(pr. 4.)
B E

C F

но A
= D
(гип.)
B E

G F

и следовательно D
= D
, что не
E E
C A
имеет смысла, а значит ни ни
D
не больше другой, и ∴ они равны;
F

C F

B C
∴ = E F
,и = (пр. 1.4).
A B D E
КНИГА I ПРЕДЛ. XXVI. ТЕОРЕМА 57

C
Случай II.
C A
Теперь пусть = F D
, лежат
C F

против равных углов и . A D


B E

Если такое возможно, пусть


A B
>
D E
, тогда возьмем
A B
D
= G
, проведем . F G
A B

C F F

Тогда в A B и D G

C A
получим = F D
,
C F
A B
= D G
и B
= E
,
A D

D G E
C F

∴ A
= D
(пр. 1.4)
B G
C F

но A
= D
(гип.)
B E

F F

∴ D
= D
что не имеет смысла (пр. 1.16)
G E

A B D E
Следовательно, ни ни не
больше другой, а значит они равны.
Следовательно (согласно пр. 1.4)
треугольники равны во всех отношениях.

ч. т. д.
58 КНИГА I ПРЕДЛ. XXVII. ТЕОРЕМА

G
G H
сли прямая , пересекая две дру-
C D A B
A E B гие прямые и , образует
E E B

накрестлежащие углы C
, и
F F
E E
A

C D
иD
равные между собой, то две пере-
F F
F
секаемые прямые параллельны.
H
C D A B
Если не параллельна , то они
сойдутся по продолжении.
Если это возможно, пусть они не будут па-
раллельны, но сойдутся, если их продолжить;
E B E

тогда внешний угол будет больше C


F F

(пр. 1.16), но они равны (гип.), что невозможно.


Таким же образом можно показать, что они не
сойдутся с другой стороны; ∴ они параллельны.
ч. т. д.
КНИГА I ПРЕДЛ. XXVIII. ТЕОРЕМА 59

G
G H
сли прямая , падающая на две
A B C D
прямые и образует внеш-
A E B
ний угол, равный внутреннему противо-
G E

лежащему с той же стороны A


= C
или
E F
C D
G E
F

B
= D
, или внутренние углы с одной сторо- H
E F
E E E E
B A

ны D
и или C
и вместе равны
F F F F

двум прямым углам, то прямые параллельны.

G E

Во-первых, если A
= C
,
E F
G E B

то A
= (пр. 1.15),
E F
E E B
A B C D
∴ C
= ∴ ∥ (пр. 1.27).
F F

E E
A

Во-вторых, если C
+ = ,
F F
E E
A B

то + = (пр. 1.13),
F F

E E E E
A A B

∴ C
+ = + (акс. III)
F F F F

E E B

∴ C
=
F F

A B C D
∴ ∥

ч. т. д.
60 КНИГА I ПРЕДЛ. XXIX. ТЕОРЕМА

G
G H
рямая , падающая на две парал-
A B C D
J лельные прямые и , обра-
A E B зует накрестлежащие углы, равные меж-
ду собой, внешний и противолежащий с той же сто-
I

роны внутренний углы, равные между собой, а так-


же внутренние односторонние углы, равные двум
C D
F прямым углам.
H E E
A

Если накрестлежащие углы и D


не
F F
E
I E I
равны, проведем , так, чтобы =
F
E

D
(пр. 1.23).
F
I J C D
Следовательно ∥ (пр. 1.27) и,
следовательно, две пересекающихся прямых па-
раллельны одной и той же прямой, что невоз-
можно (акс. XII).
E E
A

А значит и D
не являются неравны-
F F
E G
A

ми, то есть, они равны = B


(пр. 1.15);
F E
G E

∴ B
= D
, внешний угол равен внутрен-
E F

нему, противолежащему с той же стороны: ес-


E E E
B B

ли к обоим добавить , то D
+ =
F F F
G

E
= (пр. 1.13). Другими словами, два
F

внутренних угла по одну сторону пересекающей


прямой равны двум прямым углам.
ч. т. д.
КНИГА I ПРЕДЛ. XXX. ТЕОРЕМА 61

A B E F J
рямые и параллельные
C D
одной и той же прямой , парал- A B
G
лельны между собой
C D
I

A B
E F
J K
Пусть пересекает { C D
}; H
E F
K

J J J

Тогда B
= D
= F
(пр. 1.29),
G I H

J J

∴ B
= F
G H

A B E F
∴ ∥ (пр. 1.27).

ч. т. д.
62 КНИГА I ПРЕДЛ. XXXI. ЗАДАЧА

E
A E B
ровести через данную точку пря-
C D
мую, параллельную данной прямой .

E
E F
Проведем из точки к
C F D

C D
любой точке F
на ,

A E E

сделаем = D
(пр. 1.23),
F F

A B C D
тогда ∥ (пр. 1.27).

ч. т. д.
КНИГА I ПРЕДЛ. XXXII. ТЕОРЕМА 63

D
о продлении любой стороны треугольни-
D

A B A
ка , the внешний угол A
равен E

C
A

сумме двух внутренних и противолежащих C


и
B
A

B
, а три внутренних угла треугольника вместе
C

равны двум прямым углам.


B C

Через точку проведем


A E B C
∥ (пр. 1.31).
D A
⎧ ⎫
{ E
= C
}
A B
Тогда (пр. 1.29),
⎨ A E A ⎬
{ = }
⎩ C B C ⎭
D
A A

∴ C
+ B
= A
(акс. II),
B C
C

и следовательно
D
A A A
A

C
+ + B
= =
B B C C
B

(пр. 1.13)

ч. т. д.
64 КНИГА I ПРЕДЛ. XXXIII. ТЕОРЕМА

A B A C B D
рямые и , соединяющие
с одной и той же стороны равные и парал-
A B C D
лельные прямые и , сами
равны и параллельны.

A D
C D
Проведем диагональ .

A B C D
= (гип.)
A B A

= C
(пр. 1.29)
D D
A D
и общая обоим треугольникам;

A B A

A C B D
∴ = ,и = (пр. 1.4);
D C D

A C B D
и∴ ∥ (пр. 1.27).

ч. т. д.
КНИГА I ПРЕДЛ. XXXIV. ТЕОРЕМА 65

A B
ротивоположные стороны и углы па-
A D
раллелограмма равны, а диагональ
делит его на две равные части.

A A
⎧ ⎫ B

{
{ = }
} C
D D C D
Поскольку (пр. 1.29)
⎨ ⎬ A A B

{
{ = }
}
⎩ ⎭ C D D
A D
и общая обоим треугольникам.

⎧ A B
= C D

{ }
{ A C
= B D }
∴⎨ ⎬ (пр. 1.26)
B A
{ A
}
{ = }
⎩ D C
D ⎭
A B
B

и = C
(акс. II):
C D

Следовательно, противоположные стороныи


углы параллелограмма равны. И, поскольку тре-
A A B

угольники и равны во всех от-


C D D

ношениях (пр. 1.4), диагональ делит параллело-


грамм на две равные части.
ч. т. д.
66 КНИГА I ПРЕДЛ. XXXV. ТЕОРЕМА

A B E F
араллелограммы , находящиеся на од-
ном и том же основании и между одними
и теми же параллельными прямыми, рав-
ны по площади между собой.

C D
Из параллельности прямых следует,
A B
⎫ B E

= ; } (пр. 1.29)
} C D
}
A E A F
(пр. 1.29)
= ; ⎬
} C D
} (пр. 1.34)
и = A } C B D

A E B F

Но = (пр. 1.8)
C D

A F B F A B

∴ − = ,
C D D C D

A B A E E F

и − = ;
C D C C D

A B E F

∴ = .
C D C D

ч. т. д.
КНИГА I ПРЕДЛ. XXXVI. ТЕОРЕМА 67
A B E F

A B E F
араллелограммы и на рав- C D G H

ных основаниях и между одними парал-


лельными прямыми равны по площади.

C E D F
Проведем и
C D G H E F D G
= = (пр. 1.34, и гип.); C H

C D E F
∴ = и ∥ ;

C E D F
∴ = и ∥ (пр. 1.35)
E F

И следовательно C D параллелограмм,

A B E F E F

но C D = C D = G H (пр. 1.35)
A B E F

∴ C D = G H (акс. I).

ч. т. д.
68 КНИГА I ПРЕДЛ. XXXVII. ТЕОРЕМА
B E

H A B E F I
реугольники и на одном C D C D

C D
основании и между теми же па-
раллельными равны.

A C B D
C D Проведем ∥
} (пр. 1.31)
F D E C

H I
Проведем .
A B E F

и являются
C D C D

параллелограммами на одном основании и


между одними параллельными прямыми и,
следовательно, равными между собой. (пр. 1.35)
A B B
⎧ ⎫
{ }
{ }
{ C D = дважды C D }
∴⎨ E E ⎬ (пр. 1.34)
F
{ }
{ }
{ }
⎩ C D = дважды C D ⎭
B E

∴ C D = C D .

ч. т. д.
КНИГА I ПРЕДЛ. XXXVIII. ТЕОРЕМА 69
B E

A B E F
реугольники и на равных C D G H

основаниях и между теми же параллель-


ными прмыми равны.

A C B D
Проведем ∥ C D G H

} (пр. 1.31)
F H E G
и ∥
A B E F

C D = G H (пр. 1.36);
A B B

но C D = дважды C D (пр. 1.34),


E F E

и G H = дважды G H (пр. 1.34),


B E

∴ C D = G H (акс. VII).

ч. т. д.
70 КНИГА I ПРЕДЛ. XXXIX. ТЕОРЕМА
A B

G
авные треугольники и C
D
C D ,
F
C D
находящиеся на одном основании
A B
и с одной и той же стороны, находятся
между теми же параллельными прямыми.

A B
Если , соединяющая вершины
C D
треугольников, не ∥ ,
C D
A F C D
проведем ∥
C G
(пр. 1.31), касающуюся .

D F
Проведем .

A F C D
Поскольку ∥ (постр.)
F
A

C
D = C D (пр. 1.37);
A B

но C
D = C D (гип.);
F
B

∴ C = D , часть равна
C D

целому, что не имеет смысла.

A F C D
∴ ∦ ; и таким же образом можно
показать, что никакая другая линия, кроме
A B C D A B C D
не ∥ ;∴ ∥ .

ч. т. д.
КНИГА I ПРЕДЛ. XL. ТЕОРЕМА 71
A B

H
авные треугольники и C D E F
G

находящиеся на равных основаниях и с од-


A B

ной и той же стороны, находятся между


теми же параллельными.

A B
Если соединяющая вершины
C D E F
C F
треугольников не ∥ ,
A G C F
проведем ∥
E H
(пр. 1.31), касающуюся .
F G
Проведем .

A G C F
Поскольку ∥ (постр.)
G
A A B

C D = E F но C D = E F

G
B

∴ E = , часть равна
F E F

целому, что не имеет смысла.

A G C F
∴ ∦ : и таким
же образом можно показать, что
A B
никакая другая линия, кроме
C F A B C F
не ∥ :∴ ∥ .

ч. т. д.
72 КНИГА I ПРЕДЛ. XL. ТЕОРЕМА
A B

A B C
сли параллелограмм D E и треуголь-
C

ник стоят на одном основании


D E

D E
и между теми же параллельными прямыми
A C D E
и , то параллелограмм вдвое больше
D E
треугольника.

A E
Проведем диагональ ;
A C

тогда D E = D E (пр. 1.37)


A B A

D E = дважды D E (пр. 1.34)

A B C

∴ D E = дважды D E .

ч. т. д.
КНИГА I ПРЕДЛ. XLII. ЗАДАЧА 73

остроить параллелограмм, равный дан-


C
A B C

ному треугольнику D G и с данным


I
углом I
.

D E E G
Сделаем = (пр. 1.10)
C E D G
Проведем . E

Сделаем D
= I
(пр. 1.23)
E

A D B E

Проведем { } (пр. 1.31)
A C D E

A B C

D E = дважды D E (пр. 1.41)


C C

но D E = E G (пр. 1.38)

A B C

∴ D E = D G .

ч. т. д.
74 КНИГА I ПРЕДЛ. XLIII. ТЕОРЕМА
F E
H B

A H B
ополнения и параллело-E G C I

граммов на одной диагонали параллело-


E
F
G грамма, равны между собой.

A A B

C I D

C D = D (пр. 1.34)
A A H

E G
F E

и I D = D (пр. 1.34)
F E
H B

∴ C I = E G (акс. III)

ч. т. д.
КНИГА I ПРЕДЛ. XLIV. ЗАДАЧА 75

E G
данной прямой линии прило-
жить параллелограмм, равный данному K J

K J

треугольнику L , и с углом, равным данному


N

прямолинейному углу N
.
L

A H B

A H K J

Сделаем F E = L
A
E
с E
= N
(пр. 1.42) F
G
F
F E
и со стороной смежной и
E G
являющейся продолжением . C I D

A H B G H E
Продлим до ∥
B E
проведем , продлим
A F
ее, до продолжения ;
C D F G
проведем ∥ до
B G H E
продолжения и продлим .
A H
E G

F E = I D (пр. 1.43)
A H K J

но F E = L (постр.)
K J
E G

∴ I D = L ;
A F E E

и E
= = D
= N
F I I

(пр. 1.29 и постр.)

ч. т. д.
76 КНИГА I ПРЕДЛ. XLV. ЗАДАЧА

B
остроить параллелограмм равный дан-
B

C
C
ной прямолинейной фигуре A в уг-
E
D
A

ле, равном данному прямолинейному углу .


O

A D A C
D Проведем и , делящие
F G J L
прямолинейную фигуру на треугольники.
F G A

Построим = E
H I D
G

H I K M O с H
= (пр. 1.42)
I O

C
G J
G I A
к приложим =
I K
D
J

с I
= (пр. 1.44)
K O

B
J L
J K
к приложим = C

K M
A
L

с K
= (пр. 1.44)
M O

F L C

∴ = A

H M
E
D
F L

и является параллелограммом.
H M

(пр. 1.29, пр. 1.14, пр. 1.30)


L

с K
= .
M O

ч. т. д.
КНИГА I ПРЕДЛ. XLVI. ЗАДАЧА 77

A B
D C
а данной прямой построить
квадрат.

C A D C
Проведем ⊥ и =
(пр. 1.11, пр. 1.3)
C D

A B D C
Проведем ∥ , и касающуюся
B D C A
проведенную ∥ .
A B

C A D C
В C D = (постр.)
A

D
= right angle (постр.)
C

B A

∴ C
= D
= прямому углу
D C

(пр. 1.29), и оставшиеся стороны и


углы должны быть равны, (пр. 1.34)
A B

И∴ C D является квадратом. (опр. 27)

ч. т. д.
78 КНИГА I ПРЕДЛ. XLVII. ТЕОРЕМА
A

G
прямоугольном треугольнике B C

B C
квадрат гипотенузы равен сум-
D C A A B
F
ме квадратов катетов и .
A

E
B C C A A B
J
На , ,
B C
построим квадраты, (пр. 1.46)

A K C I
Проведем ∥ (пр. 1.31)
B F A I
также проведем и .
C F
B
A
H K I = ,
I C

A
F
A C
К каждому добавим B C
∴ = B
,
C
I
B C C I C A C F
= и = ;
A

F
C

∴ = .
B
C

A B C F
Теперь, поскольку ∥
G

A
= дважды ,
B
C

C
A

J C
C

и = дважды ;
K I

I
КНИГА I ПРЕДЛ. XLVII. ТЕОРЕМА 79

G
J C

F
∴ A
= .
K I
C

B J
D

A
Так же можно показать, что E = ;
B
H K

G
B C

D
F
а значит A
= .
E

H I
B C

ч. т. д.
80 КНИГА I ПРЕДЛ. XLVIII. ТЕОРЕМА

B
сли в треугольнике квадрат одной сторо-
B C
ны равен сумме квадратов двух
A B A C
других сторон и , то угол
B

D
, заключенный между этими двумя сторонами
A

прямой.
D A C

A D A B
Проведем ⊥
A C
и= (пр. 1.11, пр. 1.3)
B D
также проведем .

A D A C
Поскольку = (постр.)
A D
2 A C
2
= ;

A D
2 A B
2 A C
2 A B
2
∴ + = +

A D
2 A B
2 B D
2
но + = (пр. 1.47),
A C
2 A B
2 B C
2
и + = (гип.)

B D
2 B C
2
∴ = ,

B D B C
∴ = ;
B B

и∴ D
= C
(пр. 1.8),
A A

следовательно C
прямой угол.
A

ч. т. д.
Книга 2

Определение I
всяком прямоугольнике или прямоуголь- C D

ном параллелограмме говорят, что он за-


ключается между любыми двумя своими
смежными сторонами.

Таким образом, про прямоугольный парал-


C D

A B

лелограмм можно сказать, что он за-


A B
A B A C
ключен между сторонами и , что
A B A C
можно записать короче в виде ⋅ .
A B
Если смежные стороны равны, т. е. =
A C A B A C
, то ⋅ , обозначает пря-
A B
моугольник, заключенный между и
A C
, являющийся квадратом
A B A C A C
2
⋅ или
и равный { 2
A B A C A C
⋅ или
82 КНИГА 2 ОПРЕДЕЛЕНИЕ II

Определение II
C F D о всяком параллелограмме фигура, обра-
зованная одним из параллелограммов на
I
G H на его диаметре вместе с двумя дополне-
ниями, называется гномоном.
C F C D

I H
G I
Так, и являются гномонами.
A E B
A B E B
КНИГА 2 ПРЕДЛ. I. ТЕОРЕМА 83

B D E C
рямоугольник, заключенный между дву-
мя прямыми линиями, одна из которых
рассечена на сколько угодно отрезков, ра-
вен сумме прямоугольников, заключенных между
нерассеченной прямой и каждым из этих отрезков.
⎧ ⋅ A G K

{ G K L H
G H A
⋅ = ⎨+ ⋅ A K L
A

{ A L H
⎩+ ⋅

G B G H A
Проведем ⊥ и = (пр. 1.2,
пр. 1.3); достроим параллелограммы, то есть

⎧ B C
∥ G H

{ }
проведем ⎨ K D
⎬ (пр. 1.31)
G B
{
L E
∥ }
⎩ H C

B C B D D E E C

= + +
G H G K K L L H

B C

G H G B
= ⋅
G H

B D D E

G K G B K L G B
= ⋅ , = ⋅ ,
G K K L

E C

L H G B
= ⋅
L H

G H A
∴ ⋅ =
G K A K L A L H A
⋅ + ⋅ + ⋅ .

ч. т. д.
84 КНИГА 2 ПРЕДЛ. II. ТЕОРЕМА

A C B
сли прямая линия как-либо рассечена
A B
, квадрат всей линии равен сумме
прямоугольников, заключенных между це-
лой линией и каждой из ее частей.
A B A C
A B
2 ⋅
={
A B C B
+ ⋅
D F E

A B

Опишем D E (пр. 1.46)

C F
Проведем
A D
параллельную (пр. 1.31)
A B

A B
2
D E =
A C

C F A C A B A C
= ⋅ = ⋅
D F

C B

C F C B A B C B
= ⋅ = ⋅
F E

A B

A C C B

D E = +
D F F E

A B
2 A B A C A B C B
∴ = ⋅ + ⋅ .

ч. т. д.
КНИГА 2 ПРЕДЛ. III. ТЕОРЕМА 85

B C A
сли прямая линия как-либо рассечена
E F
, то прямоугольник, заключен-
ный между всей прямой и ее частью, ра-
вен квадрату этой части, вместе с прямоугольни-
ком, заключенным между частями.
E F D E D E
2 D E D F
⋅ = + ⋅ , или E D F

E F D F D F
2 D E D F
⋅ = + ⋅ .

B C

Опишем (пр. 1.46)


E D

C A

Опишем (пр. 1.31)


D F

B A B C C A

Тогда = + , но
E F E D D F

B A

E F D E
= ⋅ и
E F

B C C A

D E
2 D E D F
= , = ⋅ ,
E D D F

E F D E D E
2 D E D F
∴ ⋅ = + ⋅ :

Таким же образом можно показать, что


E
2 F D F D F D E D F
⋅ = + ⋅ .

ч. т. д.
86 КНИГА 2 ПРЕДЛ. IV. ТЕОРЕМА

A C B D E
сли прямая как-либо рассечена ,
квадрат всей прямой равен квадратам
H
G
K
частей, с дважды взятым прямоугольни-
ком, заключенным между частями.
D E
2 D F
2 F E
2 D F F E
= + + дважды ⋅

A B

D F E

Опишем D E (пр. 1.46)


B D
проведем (пост. I)
F C E B

и{ } (пр. 1.31)
H K D E

B
G

G
= D F
(пр. 1.5),
K
B G

G
= D
(пр. 1.29),
K F
G
G

∴ D F
= D
F

∴ согласно (пр. 1.6, пр. 1.29, пр. 1.34)


H G

D F
2
является квадратом = .
D F

C B
G K
2
Аналогично является квадратом = ,
G K
G K
A C
D F G K

H G
= = ⋅ (пр. 1.43)
F E
A B
H G G K
A C C B

Но = + H G
+ + ,
G K
D F F E
D E

D E
2 D F
2 F E
2 D F F E
∴ = + + дважды ⋅

ч. т. д.
КНИГА 2 ПРЕДЛ. V. ТЕОРЕМА 87

B M F
B A
сли прямая рассечена на рав-
B C C A B D D A
ные и неравные
H
отрезки, прямоугольник, заключенный D G

между неравными частями, вместе с квадратом от-


резка между сечениями, равен квадрату половины
всей прямой. C
L E
B D D A D C
2 C A
2 B C
2
⋅ + = = .

B F

E B
Опишем (пр. 1.46), проведем
C E

⎧ D G
∥ C E

{ } A K

и⎨ M K
∥ B A
⎬ (пр. 1.31)
{ A K C E
}
⎩ ∥ ⎭
C L B M

= (пр. 1.36)
A K C L

M D H
F

H G
= (пр. 1.43)
C L

B F
H K
B D D A
∴ (акс. II) H G = D A
= ⋅
C L

H G
D C
2
но = (пр. 2.4)
L E
B F

B C
2
и = (постр.)
C E

B F G E

∴ (акс. II) = L K

C E D A

B D D A D C
2 C A
2 B C
2
∴ ⋅ + = =

ч. т. д.
88 КНИГА 2 ПРЕДЛ. VI. ТЕОРЕМА

K A
D A
сли прямая рассечена пополам
B A
и продлена до любой точки ,
прямоугольник, заключенный между всей
E L
прямой и продленной частью, вместе с квадратом
C

половины исходной линии, равен квадрату линии, со-


ставленной из половины исходной линии и продлен-
ной части.
H
B A B D D C
2 B C
2
G D ⋅ + =

E C
F M B
E B
Опишем (пр. 1.46), проведем
F B

⎧ G D
∥ E C

{ }
и⎨ M K
∥ B A
⎬ (пр. 1.31)
{ A K C E
}
⎩ ∥ ⎭
L C K A
G H

F M
= = (пр. 1.36, пр. 1.43)
H D L C
K A
L C

B D B A
∴ G H
= = ⋅ ;
F B
M B
E L
D C
2
но = (пр. 2.4)
G H

K A
E C
E L
G D
2
∴ = = (постр., акс. II)
F B G H
M B

B A B D D C
2 B C
2
∴ ⋅ + =

ч. т. д.
КНИГА 2 ПРЕДЛ. VII. ТЕОРЕМА 89

A C B
D E
сли прямая как-либо рассечена ,
то вместе квадрат всей прямой и одной
из ее частей равны дважды взятому пря- G
H F

моугольнику, заключенному между всей прямой и


этой ее частью, вместе с квадратом другой части.
D E
2 N E
2 D E N E D N
2
+ =2 ⋅ +
D N E
A B

Опишем . (пр. 1.46),


D E

B D
проведем (пост. I),
N C E B

и{ }
H F D E

G F
A C

= (пр. 1.43),
H G
N E
C B
N E
2
добавим F
= к обоим (пр. 2.4)
G

C B
A B
D E N E

F
= = ⋅
H
N E

H G

D N
2
= (пр. 2.4)
D N
C B
H G
A B

F
+ + =
H
D N
N E
A B
C B
D E N E D N
2
2 ⋅ + = + F
;
G
D E

D E
2 N E
2 D E N E D N
2
+ =2 ⋅ +

ч. т. д.
90 КНИГА 2 ПРЕДЛ. VIII. ТЕОРЕМА

E L
сли прямая как-либо рассечена ,
A C B D квадрат всей прямой вместе с любой ее
частью равен четырежды прямоугольни-
M N ку, заключенному между всей прямой и этой ее ча-
стью, вместе с квадратом другой части.
O P
E F
2 E L H L E H
2
=4⋅ ⋅ +

E L L F H L
Продлим и сделаем =
A D

E H L F

Построим (пр. 1.46);

E F
D E
проведем ,
C H
}∥ F D ⎫
B L }
(пр. 1.31)
O P ⎬
}∥ E F
}
M N

E F
2 L F
2 E L
2 E L L F
= + +2⋅ ⋅
(пр. 2.4)
H L
2 E L
2 E L H L E H
2
но + = 2⋅ ⋅ +
(пр. 2.7)

E F
2 E L H L E H
2
∴ = 4⋅ ⋅ +

ч. т. д.
КНИГА 2 ПРЕДЛ. IX. ТЕОРЕМА 91

E
A C
сли прямая рассечена на равные
C B A D D B
и неравные части, F
G
квадраты неравных частей вместе вдвое
больше квадрата на половине, вместе с квадратом
отрезка между сечениями. A
C D
B

A D
2 D B
2 A C
2 C D
2
+ =2⋅ +2⋅

C E A C C B
Сделаем ⊥ и = или ,
A E E B
Проведем и ,
F D C E G F C B A F
∥ , ∥ и проведем .
E
E
1
A B
= A
(пр. 1.5) = 2 (пр. 1.32)
C
F
E
1
A B
= B
(пр. 1.5) = 2 (пр. 1.32)
D
E

∴ = .
A B

E F
E E

A B
= B
= G F
= B
(пр. 1.5, пр. 1.29).
C D
F D D B
Значит, = ,
G E G F C D
= = (пр. 1.6, пр. 1.34)

A F
2
=
2 2 2
⎧ + A D F D
, или + D B

{
{ 2 2
⎧ = A E
+ E F

⎨ ={ (пр. 1.47)
{
{ ⎨ 2 2
⎩ {
⎩ =2⋅
A C
+2⋅ C D

A D
2 D B
2 A C
2 C D
2
∴ + = 2⋅ +2⋅

ч. т. д.
92 КНИГА 2 ПРЕДЛ. X. ТЕОРЕМА

E F A B
сли прямая линия рассечена попо-
A D
лам и продлена до любой точки ,
квадрат всей линии вместе с квадратом
A
C B
D продленной части равны дважды квадрату полови-
ны исходной линии вместе с квадратом половины
G
вместе с продленной частью.
A D
2 B D
2 C B
2 C D
2
+ =2⋅ +2⋅

C E A C C B
Сделаем ⊥ и = или ,

A E E G
проведем и ,

F G C E

и{ } (пр. 1.31)
E F C D

A G
также проведем .
E
E
1
A C
= A
(пр. 1.5) = 2 (пр. 1.32)
C
E
E
1
C B
= B
(пр. 1.5) = 2 (пр. 1.32)
C
E

∴ = .
A B

E D
E E E F B
1
A C
= C B
= B
= B
= = 2
C G

(пр. 1.5, 1.32, 1.29, 1.34),

B D D G C D E F F G
и = , = = ,
(пр. 1.6, 1.34).
КНИГА 2 ПРЕДЛ. X. ТЕОРЕМА 93

Тогда, согласно (пр. 1.47)


2 2 2
⎧ A
+ или D D G B D

{
{
2 2 2
A G
=⎨⎧ {+ =2⋅ A E A C

{
{⎨ 2 2
⎩{
E G E F
⎩+ =2⋅

A D
2 B D
2 C B
2 C D
2
∴ + = 2⋅ +2⋅

ч. т. д.
94 КНИГА 2 ПРЕДЛ. XI. ЗАДАЧА

C K D A B
анную прямую рассечь так,
чтобы прямоугольник, заключенный меж-
ду всей прямой и одной из ее частей был
E равен квадрату другой части.
A B H B A H
2
⋅ =

C D
A
H B

Опишем (пр. 1.46),


A B

E A C E
сделаем = (пр. 1.10),
B E
F G проведем ,
E F B E
возьмем = (пр. 1.3),
A H

A F
на опишем (пр. 1.46),
F G
K G
Продлим (пост. II).

C F A F E A
2
Тогда (пр. 2.6) ⋅ + =
E
2 F B E
2 A B
2 2 E A
= = + ∴
C F A F A B
2
⋅ = , или
C K

C D K D
A H

= ∴ =
F G
A B H B

F G

A B H B A H
2
∴ ⋅ =

ч. т. д.
КНИГА 2 ПРЕДЛ. XII. ТЕОРЕМА 95

B
о всяком тупоугольном треугольнике
квадрат на стороне, стягивающей тупой
угол, больше суммы квадратов на сторо-
нах, содержащих тупой угол, на дважды прямоуголь-
ник, заключенный между какой-либо из этих сторон
и продолжением этой стороны от тупого угла до
C D
A
перпендикуляра, падающего от противоположного
острого угла.
B C
2 C A
2 B A
2 C A A D
> + на 2 ⋅ ⋅

Согласно пр. 2.4


C D
2 C A
2 A D
2 C A A D
2
= + +2⋅ ⋅ :

D B
2
добавим к обоим
C D
2 D B
2 B C
2
+ = (пр. 1.47)
A D
2
C A A D C A
2
= 2⋅ ⋅ + +{ 2
} или
D B

B A
2
+ (пр. 1.47).

B C
2 C A A D C A
2 B A
2
∴ =2⋅ ⋅ + + :
B C
2 C A
2 B A
2
значит, > +
C A A D
2
на 2 ⋅ ⋅

ч. т. д.
96 КНИГА 2 ПРЕДЛ. XIII. ТЕОРЕМА

Первый случай о всяком треугольнике квадрат стороны,


A
стягивающей острый угол, меньше сум-
мы квадратов сторон, содержащих этот
угол, на дважды прямоугольник, заключенный между
любой из этих сторон и отрезком, отсекаемым пер-
пендикуляром из противоположного угла от этого
B C
отрезка или от продленного отрезка.
D

Первый случай.
2 2 2
Второй случай E
C A
< B C
+ A B
на 2 ⋅ B C

B D
.
Второй случай.
E G
2 E F
2 F G
2 F G F H
< + на 2 ⋅ ⋅ .

Предположим, перпендикуляр падает


F H
G
внутри треугольника, тогда (пр. 2.7)
B C
2 B D
2 B C B D D C
2
+ =2⋅ ⋅ + ,
A D
2
к каждой добавим , тогда
B C
2 B D
2 A D
2
+ + =
B C B D D C
2 A D
2
2⋅ ⋅ + +
∴ (пр. 1.47)
B C
2 A B
2 B C B D C A
2
+ = 2⋅ ⋅ + ,
C A
2 B C
2 A B
2
и∴ < +
B C D C
на 2 ⋅ ⋅

Теперь предположим, что перпендикуляр


падает вовне треугольника, тогда (пр. 2.7)
F H
2 F G
2 F H F G G H
2
+ =2⋅ ⋅ + ,
H E
2
к каждой добавим , тогда
F H
2 F G
2 H E
2
+ + =
КНИГА 2 ПРЕДЛ. XIII. ТЕОРЕМА 97

F H F G G H
2 H E
2
2⋅ ⋅ + +
∴ (пр. 1.47)
E F F G
2 F H F G
2 E G
2
+ = 2⋅ ⋅ + ,
E G
2 E F
2 F G
2
∴ < +
F H F G
на 2 ⋅ ⋅ .

ч. т. д.
98 КНИГА 2 ПРЕДЛ. XIV. ЗАДАЧА

остроить квадрат, равный данной пря-


молинейной фигуре.

H E H E
2
Провести такую, что =
H

E B

Сделаем = (пр. 1.45),


D C
G
B
F
E
E B F E E D
Продлим до = ;
F G G B
Возьмем = (пр. 1.10),
D C

Опишем (пост. III)


F B
E D H G
и продлим до нее : проведем .
2 H G
2 F E E B E G
2
H F
или = ⋅ +
(пр. 2.5),
H G
2 H E
2 E G
2
но = + (пр. 1.47);

H E
2 E G
2 F E E B E G
2
∴ + = ⋅ +

H E
2 F E E B
∴ = ⋅ ,
E B
H E
2
и∴ = =
D C

ч. т. д.
Книга III

Определения

1
Равными кругами называют те, у которых равны
диаметры.

2
Про прямую говорят, что она касается круга, ес-
ли она встречает круг, но при продолжении не
пересекает его.

3
Про круги говорят, что они касаются друг друга,
если они встречаясь, не пересекают друг друга.

4
Про прямые говорят, что они равноотстоят от
центра круга, если перпендикуляры проведен-
ные к ним из центра круга равны.

5
Про прямую, перпендикуляр к которой длиннее,
говорят, что она отстоит дальше от центра круга.
100 КНИГА III

6
Сегментом круга называется фигура, заключа-
ющаяся между прямой и частью кругя, отсекае-
мой этой прямой.

7
Углом сегмента называется угол между основа-
нием сегмента и перпендикуляром к отрезку,
соединяющему центр круга с одним из концов
основания сегмента.

8
Углом в сегменте называют угол, заключающий-
ся между прямыми, проведенными из какой-
либо точки на окружности сегмента к концам
основания сегмента.

9
Про угол говорят, что он опирается на дугу, если
заключающие его прямые отсекают эту дугу.

10
Сектором круга называют фигуру, заключающу-
юся между двумя радиусами и дугой между ни-
ми.

11
Подобными сегментами называют сегменты, уг-
лы в которых равны.

12
Круги, имеющие один центр называют концен-
трическими.
КНИГА III ПРЕДЛ. I. ЗАДАЧА 101

айти центр данного круга F


.
C

A B
Проведем внутри круга любую прямую , D G
A D D B
сделаем = , проведем E
E C A B
⊥ ; рассечем пополам
E C
, точка рассечения и есть центр. B

Действительно, пусть это не так, тогда


пусть другая точка будет центром, и
A G D G B G
проведем от нее , и .
A D G

Поскольку в и
G B
D

A G B G
= (гип. и опр. 15),
A D D B
= (постр.)
D G
и общая обоим,
A D G

G
= (пр. 1.8), и, сдедовательно,
D B

являются прямыми углами;


F F
D G
D D
но = (постр.), = (акс. XI)
B
B B
что невозможно;

значит, выбранная точка не центр круга, и так


эе можно показать, что никакая другая точка, не
E C
на не является центром, значит, центр
E C
находится на , и, следовательно, точка,
E C
где рассекается пополам и есть центр.
ч. т. д.
102 КНИГА III ПРЕДЛ. II. ТЕОРЕМА

A B
рямая , соединяющая две точки

на окружности круга D
, целиком

D
находится внутри круга.
A

E
Найдем центр D
(пр. 3.1);
D E
F
B
из центра проведем к любой точке
A B
, пересекающую окружность;
A D B D
проведем и .
D
A D
A
Тогда B
= (пр. 1.5)
B
D D
A D
A A
но > B
или > (пр. 1.16)
E B

A D D E
∴ > (пр. 1.19)
A D D F
но = ,

D F D E
∴ > ;

D E D F
∴ < ;

A B
∴ любая точка на
находится внутри круга.

ч. т. д.
КНИГА III ПРЕДЛ. III. ТЕОРЕМА 103

E F
сли некоторая прямая , проходя-
щая через центр круга E
, рассекает
A B
пополам хорду , не проходящую че-
рез центр, то эта прямая ей перпендикулярна; а если E

перпендикулярна, то рассекает хорду пополам.


A B
F

A E E B
Проведем и к центру круга.
E E

В A F и F B

A E E B E F
= , общая,
E E
A F F B
и = ,∴ A
= B
(пр. 1.8)
F F
E F A B
и∴ ⊥ (пр. 1.10)

E F A B
Теперь, пусть ⊥
E E

Тогда в A F и F B

E E

A F = F B
(пр. 1.5)
E E

A
= B
(гип.)
F F
A E E B
и =

A F F B
∴ = (пр. 1.26)

E F A B
и∴ рассекает пополам.

ч. т. д.
104 КНИГА III ПРЕДЛ. IV. ТЕОРЕМА

сли в круге две прямые, не проходящие


через центр, пересекаются, они не делят
друг друга пополам.
F

A Если одна из прямых проходит через центр,


D

очевидно, она ее не может рассекать пополам


E
другая прямая, не проходящая через центр.
B
A C
C Но если ни одна из прямых или
B D
не проходит через центр, проведем
E F
из центра к точке их пересечения.

A C
Если делится
E F
пополам, ⊥ ей (пр. 3.3)
F

∴ E
=
C
B D
и если делится пополам,
E F B D
⊥ (пр. 3.3)
F

∴ D = ;
E

F F

и∴ D = E
;
E C
часть равна целому, что невозможно.

A C B D
∴ и не делят
друг друга пополам.

ч. т. д.
КНИГА III ПРЕДЛ. V. ТЕОРЕМА 105

C
сли два круга секут друг друга

их центры не совпадают. G
F

E
Допустим это возможно, и два пересекаю-
щихся круга имеют общий центр. Из предполо-
C E
гаемого центра проведем к точке пере-
E G
сечения и пересекающую окружности.

C E E F
Тогда = (пр. 1.15)
C E E G
и = (пр. 1.15)

E F E G
∴ =
часть равна целому, что невозможно.

∴ круги, пересекающиеся в любой


точке не могут иметь общего центра.

ч. т. д.
106 КНИГА III ПРЕДЛ. VI. ТЕОРЕМА

C
сли два круга касаются друг

друга, то у них не один и тот же центр.

F
Действительно, пусть это возможно, и у кру-
гов будет один центр. Из предпологаемого цен-
F B C F
E
тра проведем и к точке касания.

C F F E
B
Тогда = (пр. 1.15)
C F F B
и = (пр. 1.15)

F E F B
∴ = ;

часть равна целому, что невозможно. Следова-


тельно, выбранная точка не является центром
обоих кругов и таким же образом можно пока-
зать, что так же и никакая другая.
ч. т. д.
КНИГА III ПРЕДЛ. VII. ТЕОРЕМА 107

A
сли из точки в круге , не яв-
F

ляющейся центром к окружности прове- G B


F A F B
дены прямые линии { , наибольшая
F C F D
, E
C
F A
из них та , что проходит через центр, а мень-
шая — та, что является оставшейся частью диа-
F D F
метра .
F B
Из остальных, та , что ближе к проходящей D

F C
через центр больше той , что проходит даль-
ше.
F G F B
Линии и под равными углами к ли-
нии, проходящей через центр и по разные стороны
от нее равны между собой и из той же точки нельзя
провести третью линию той же длины к окружно-
сти.

A
Часть I
E B E C
Из центра круга проведем и ,
A E E B F A
тогда = (пр. 1.15) = B

E F E B F B
+ > (пр. 1.20). Таким E
F A C
же образом можно показать, что больше
F C
, или любой другой линии, проведенной
F
из той же точки к окружности.
E F F C
Теперь, согласно (пр. 1.20) + > D

E C F D E F E F
= + , вычтем из
F C F D
обеих; ∴ > (акс.), и так же мож-
F D
но показать, что меньше любой другой
линии, проведенной из той же точки к окружно-
сти.
108 КНИГА III ПРЕДЛ. VII. ТЕОРЕМА

B
E
E C
E F
Теперь, в и , общая,
F
F
B E
E C
E B E C F B
> ,и > ∴ >
F F

F C
(пр. 1.24) и так же можно показать, что
F B
больше любой другой линии, проведен-
ной из той же точки к окружности и проходящей
F A
дальше .

Часть II
E E
G B
F G F B
G B
Если = , то = ,
F F

E
Если нет, возьмем
F M F B E H
H M = , проведем ,
B
E
M E
E F
F тогда в и , общая,
F
F
E E
G B
F B F M
= и =
F F

E B E M
∴ = (пр. 1.4)
E B E H E M
∴ = =
часть равна целому, что невозможно:
F B F G
∴ = ; и никакая другая линия
F B
равная , проведенная из той же точки к
окружности, поскольку, будь она ближе к прохо-
дящей через центр, она была бы больше, а даль-
ше — меньше.
ч. т. д.
КНИГА III ПРЕДЛ. VIII. ТЕОРЕМА 109

редложение разделено на три части.

I.
D
Tсли из точки вне круга провести прямые ли-
D A D E D F
нии , и к окружности, из
тех, что падают на вогнутую часть окружности,
D A
наибольшей будет та , что проходит че-
D E
рез центр, а та, что ближе к ней будет
M
D F
длиннее той, что дальше . F

M F M E
Проведем и к центру. E

D A
Тогда проходящая
A

через центр будет наибольшей,


M A M E
поскольку, раз = , если к обеим
D M D A D M M E
добавить , = + ;
D E
но > (пр. 1.20)
D A
∴ больше любой другой
линии, проведенной из той же
точки к вогнутой части окржности.
D
D

Теперь в и ,
M
F M
E

M F M E D M
= ,и общая,
D
D

D E D F
но M
> ,∴ > (пр. 1.24);
F M
E
D E
Так же можно показать, что > любой
D A
другой линии, более далекой от .
110 КНИГА III ПРЕДЛ. VIII. ТЕОРЕМА

II.
D
Из линий, падающий на выпуклую часть окруж-
D G
ности наименьшей является та, которая
при продолжении проходит через центр, а ли-
G
ния, ближняя к наименьшей будет меньше даль-
K
H
ней.

Действительно, поскольку
M K M D K D M
+ > (пр. 1.20)
K M G M
и = ,
D K D G
∴ > (акс. V)

Значит, поскольку
H M D H K M D K
+ > + (пр. 1.21),
H M K M
и = ,

D K D H
∴ < . Так же и для прочих.

III.
D
Кроме того, линии, образующие равные углы
с проходящей через центр равны между собой,
O падают ли они на вогнутую или выпуклую часть
B
окружности, и нельзя провести третьей линии
H N из той же точки той же длины к окружности.

Действительно, пусть
M D D

D N D H
> , взяв = ;
H M M N

D O D H M O
сделаем = , и проведем .
КНИГА III ПРЕДЛ. VIII. ТЕОРЕМА 111

D D

O
D O D H
Тогда в и H
получим =
M M

D D

D M
и общую , а также = ,
M N H M

M O H M
∴ = (пр. 1.4)

H M B M
Но = ;

B M M O
∴ = , что невозможно.

D H D O
∴ не = , ни какой либо
D N D N D H
часть ,∴ не > .

D H D N
Так же и не > ,
они ∴= друг другу.

Так же и любая другая линия, проведенная


из той же точки к окружности, должна будет ле-
жать по одну сторону с одной из этих линий и
быть ближе или дальше, чем они от линии, про-
ходящей через центр и не может, следовательно,
быть равной им.
ч. т. д.
112 КНИГА III ПРЕДЛ. IX. ТЕОРЕМА

L
сли внутри круга D
взята точка,

F из которой к окружности может быть


A
D проведено больше двух равных прямых ли-
D A D B D C
нии , , , эта точка является
центром круга.
H C

B
Действительно, если рассматриваемая точка
D

, в которой встречается больше двух равных


прямых линий, не центр, то какая- то другая
F
должна быть центром, проведем между
D F
этими двумя точками и продлим в обе
стороны до окружности.
Теперь, поскольку более чем две равных пря-
мых линии проведено к окружности из точки,
не являющейся центром, две из них должны ле-
H L
жать по одну сторону диаметра , и, по-
D

скольку из точки , не являющейся центром


проямые линии проведены к окружности, наи-
D L
большая из них , та, что проходит че-
D C D L
рез центр, а , которая ближе к ,
D B
> расположенной дальше (пр. 3.8), но
D C D B
= (гип.), что невозможно.
То же можно показать для любой другой точ-
D

ки, кроме , которая, таким образом, должна


быть центром круга.
ч. т. д.
КНИГА III ПРЕДЛ. X. ТЕОРЕМА 113

H
руг не сечет круга более чем
в двух точках.

P B

Действительно, будь такое возможно, пусть


они пересекаются в трех точках, из центра P

P G P B P H
проведем , и к точкам пе- G

ресечения.
P G P B P H
∴ = = (опр. 15), но,
поскольку круги пересекаются, у них не один
центр (пр. 3.5):
∴ рассматриваемая точка не центр , и ∴,
B H
P G P B P H
поскольку , и проведены G

не из центра, они не равны (пр. 3.7, 3.8), но выше


было показано, что они равны, что невозможно, P

круги, стало быть, не пересекаются в трех точ-


ках.
ч. т. д.
114 КНИГА III ПРЕДЛ. XI. ТЕОРЕМА

A
A A
сли два круга G
и F
касаются
между собой изнутри, прямая, соединяю-
H
D
щая их центры, при продлении проходит
G через точку касания.
F

Действительно, если такое возможно,


соединим центры с помощью
G F
и продлим в обе стороны.
из точки касания проведем
A
A G
к сентру G
,
из той же точки касания
A
A F
проведем к центру F
.

Поскольку в
G F A G A F
+ > (пр. 1.20),
A
A F H F
и = , как радиусы F
,
G F A G H F
но + > ;
G F
вычтем общую обеим,
A G H G
и > ;
A
A G D G
но = , как радиусы G
,
D G H G
и∴ > часть
больше целого, что невозможно.

Центры, следовательно, расположены так,


что линия, соединяющая их не может проходить
через какую-либо точку, кроме точки касания.
ч. т. д.
КНИГА III ПРЕДЛ. XII. ТЕОРЕМА 115

сли два круга F


A
и G
касаются
F G
друг друг извне, прямая соединя-
F
ющая их центры проходит через точку
касания.
C A
Действительно, если такое возможно, соеди- D
F G
ним центры с помощью , не проходящей
через точку касания, из точки касания проведем
A F A G
и к центрам.
G

A F A G F G
Поскольку + > (пр. 1.20)
F C A F
и = (пр. 1.15),
D G A G
и = (пр. 1.15),

F C D G F G
∴ + > , часть
больше целого, что невозможно.

Центры, следовательно, расположены так,


что линия, соединяющая их не может проходить
через какую-либо точку, кроме точки касания.
ч. т. д.
116 КНИГА III ПРЕДЛ. XIII. ТЕОРЕМА

руг не касается круга более чем в одной


точке, как внутри, так и снаружи.

Случай I.
B
Действительно, если это возможно, пусть H

G
и G
касаются друг друга внутри в двух точ-
G H
H ках, проведем соединяющую их центры,
и продлим до одной из точек касания (пр. 3.11);

D H D G
проведем и ,

B G D G
Но = (опр. 15),
G H
∴ если добавить к каждой ,
H B G H D G
= + ;

H B D H
но = (опр. 15),
G H D G D H
и∴ + = ;

G H D G D H
но ∴ + > (пр. 1.20),
что невозможно.
КНИГА III ПРЕДЛ. XIII. ТЕОРЕМА 117

Случай II.
Если точки касания на концах прямой линии, со-
единяющей центры, такая прямая должна быть
рассечена пополам в двух разных точках, соот-
ветствующих центрам, поскольку она является
диаметром обоих кругов, что невозможно.

Случай III.

Теперь, если такое возможно, пусть круги H

и G
касаются друг друга снаружи в двух точ-
H G
ках. Проведем , соединяющую центры, и A
C
проходящую через одну из точек касания, про-
C H C G
ведем также и .

C H H A
= (опр. 15);
H
A G C G
и = (опр. 15);

C G C H H G
∴ + = ;

C G C H H G
но + >
(пр. 1.20), что невозможно.

Следовательно, ни в каком случае круги не


касаются друг друга в двух точках.
ч. т. д.
118 КНИГА III ПРЕДЛ. XIV. ТЕОРЕМА

C A A B
авные прямые ( ) в круге рав- C D

ноотстоят от центра и равноотстоя-


щие от центра прямые равны.
G F

E F A B
Из центра E
проведем ⊥ to
D B
E G C D E A E C
и ⊥ , соединим и .

C G 1 C D
Тогда = 2 (пр. 3.3)
A F 1 A B
и = 2 (пр. 3.3)

C D A B
поскольку = (гип.)
C G A F
∴ = ,
E A E C
и = (опр. 15)
E A
2 E C
2
∴ = ;
A

но поскольку прямой
F
E

E A
2 E F
2 A F
2
= + (пр. 1.47)
E C
2 E G
2 C G
2
и = + по той же причине,
E F
2 A F
2 E G
2 C G
2
∴ + = +

E F
2 E G
2
∴ =

E F E G
∴ =
A B C D
Также, если прямые и рав-
ноудалены от центра, то еcть перпендикуляры
E F E G A B C D
и равны, = .
КНИГА III ПРЕДЛ. XIV. ТЕОРЕМА 119

Поскольку, как и в предыдущем случае,


E G
2 C G
2 A F
2 E F
2
+ = +
E G
2 E F
2
но =

C G A F
∴ = , и удвоенные
A B C D
= тоже равны.

ч. т. д.
120 КНИГА III ПРЕДЛ. XV. ТЕОРЕМА

круге наибольшая прямая — диаметр, а


из других более близкая к центру больше
более удаленной.

Случай I.
G F D A M N
Диаметр > любой прямой .
N M E N E M
Действительно, проведем и .
E M E A
D A
Тогда =
E
E N D E
и = ,
E N E M D A
∴ + =
E N E M M N
но + > (пр. 1.20)
D A M N
∴ > .

Теперь покажем, что та прямая что ближе


больше той, что дальше.
M N F G
Пусть это будут и , располо-
женные по одну сторону от центра и не пересе-
кающиеся.
E N E M E G E F
Проведем , , и .
G F
N M

В и ,
E
E

E N E M E G E F
и = и ;
G F
N M
но > ,
E E

M N E F
∴ > (пр. 1.24)
КНИГА III ПРЕДЛ. XV. ТЕОРЕМА 121

Случай II.
B C F G G K F
Теперь возьмем и расоложенные
по разные стороны от центра или пересекаю- N L M
E K E H
щиеся. Проведем из центра и ⊥
F G B C
и , E
D A

E H E L
сделаем = ,
M N E K
и проведем ⊥ . B H C

B C M N
Поскольку и равноудалены от
B C M N
центра, = (пр. 3.14);
M N F G
но > (пр. 3.15),

B C F G
∴ > .

ч. т. д.
122 КНИГА III ПРЕДЛ. XVI. ТЕОРЕМА

B
E K
рямая , проведенная под прямым
B A
углом к диаметру круга прохо-
дит вне круга.
A G
D
И если любая прямая линия проведена из
C точки по ту же сторону от перпендикуляра к точ-
H

G ке касания, она сечет круг.

K A E Часть I.
A C
Если это возможно, пусть , пересекающая
D A
окружность в еще одном месте будет ⊥ ,
D C
и проведем .

D A D C
Тогда, поскольку = ,
D
C D
C
= A
(пр. 1.5),
A

и ∴ оба угла острые (пр. 1.17)


D
C
но = (гип.), что невозможно,
A

A C D A
следовательно проведенная ⊥
не пересекает окружность в другом месте.

Часть II.
E K D A A G
Пусть ⊥ и пусть прове-
G E K
дена из точки между и кругом, и,
если возможно, не сечет круг.
D

Поскольку E
= ,
A
D

∴ G
острый угол;
A
КНИГА III ПРЕДЛ. XVI. ТЕОРЕМА 123

D G A G
допустим ⊥ , проведенной
из центра круга, должна падать
D

G
на сторону острого угла .
A

D
G
∴ A
, который должен
D

быть прямым > G


,
A

D A D G
∴ > ;

D H D A
но = ,
D H D G
и∴ > , часть больше цело-
го, что невозможно. Следовательно, точка не на-
ходится вовне круга и, следовательно, прямая
A G
сечет круг.
ч. т. д.
124 КНИГА III ПРЕДЛ. XVII. ЗАДАЧА

ровести касательную к данному кругу


A

D
E
из данной точки.

E
B
F
Если данная точка расположена на окруж-
A B B E
ности , ясно, что прямая
B

радиусу и будет искомой касательной (пр. 3.16).
A

Но если точка расположена вовне,

A E
проведем из нее к центру, секущую
F D D E
E
, и проведем ⊥ ,

опишем E
концентрический
A E
с E
с радиусом = ,
E F
проведем к центру из точки, где
F D
падает на окружность E
,
A B E F
проведем ⊥
из точки, где та сечет E
,
A B
Тогда и будет искомой касательной.
A
D

Поскольку в E F и E B
A
A E F E
= , E F
общий,
D E B E
и = ,
A D

∴ (пр. 1.4) E
= F
= ,
B E

F D
∴ касательная к E
.

ч. т. д.
КНИГА III ПРЕДЛ. XVIII. ТЕОРЕМА 125

D
C D
сли прямая касается круга, пря-
G
F C
мая , проведенная из центра к
B

точке касания перпендикулярна ей.

F C

Действительно, если возможно,


F G C D
пусть будем ⊥ ,
G

тогда, поскольку F
= ,
C
G

F
острый (пр. 1.17)
C

F C F G
∴ > (пр. 1.19);

F C F B
но , =
F B F G
и∴ > , часть
больше целого, что невозможно.

F G C D
∴ не ⊥ ;

и так же можно показать, что никакая дру-


F C
гая прямая, кроме не перпендикулярна
C D
.
ч. т. д.
126 КНИГА III ПРЕДЛ. XIX. ТЕОРЕМА

E
C E
сли прямая касается круга, пря-
A C
мая , перпендикулярная ей, прове-
F денная из точки касания, проходит через
центр круга.
A C

Действительно, если центр не находится на


A C C F
, проведем к редполагаемому цен-
тру из точки касания.

C F C E
Поскольку ⊥ (пр. 3.18)
E

∴ F = , прямому углу;
C
E

но A
= (гип.),
C

E E

и∴ =F , часть равна A
C C
целому, что невозможно.

Следовательно, предполагаемая точка не


центр, и то же можно показать для любой другой
A C
точки, не лежащей на .
ч. т. д.
КНИГА III ПРЕДЛ. XX. ТЕОРЕМА 127

гол, при центре круга вдвое больше угла


при окружности, когда их основание ле-
жит на одной дуге.

A
Случай I.
F A
Пусть центр круга будет на
A

стороне . E
F C

E C E A
Поскольку = , C

A A
E
= (пр. 1.5). F
F C C

E A A
E
Но C = + ,
F F C C

E A

или C = дважды (пр. 1.32).


F F C

A
Случай II.
A

Пусть центр будет в B


, углу на окружности;
C

B
A F
проведем из угла через центр круга;
A A A
A C
E
тогда B
E = B
,и = ,
F C F C

вследствие равенства сторон (пр. 1.5). F

Значит
A A A A
A
E
B
+ B
E + + = дважды B
.
F F C C C
128 КНИГА III ПРЕДЛ. XX. ТЕОРЕМА

E A
B A

Но = B
+ B
E ,
F F
E A A
E
и C = + ,
F F C C

E A
B
∴ C
= дважды B
.
C

Случай III.
D
D

Пусть центр будет вовне F


C
E
D G
проведем диаметр .
D
G C E

Поскольку G C
= дважды G ;
C
F E D

и G = дважды G (случай I.);


F F

E D

∴ C = дважды F
.
F C

ч. т. д.
КНИГА III ПРЕДЛ. XXI. ТЕОРЕМА 129

круге углы в одном сегменте равны меж-


ду собой.

A
Случай I. E

Пусть сегмент будет больше половины круга,


D F B F
проведем и к центру.
F

E A E

B
= дважды D
или дважды = B
D B D

(пр. 3.20); B D

A E

∴ D
= B
B D

A
Случай II. E

Пусть сегмент будет меньше половины кру-


G A
га, проведем диаметр , также проведем
G E B D
.
A E A E

= B
и D = (случай I.)
B G G G D
G

G
A E

∴ D = B .
B D

ч. т. д.
130 КНИГА III ПРЕДЛ. XXII. ТЕОРЕМА

A D
B
A
ротивоположные углы D и
B C

A A
D
D
или и B
четырехугольника впи-
B
C C

санного в круг, вместе равны двум прямым углам.

A C B D
Проведем диагонали и ,
C
поскольку углы в одной дуге равны
D A
B
= B
,
C C
A
D B
и D = ;
C
C

D
B
добавим к каждому .
C

A D
B

D + =
B C
D D D
B B
B
+ + = (пр. 1.32).
C C C

Так же можно показать, что


A A
D
+ B
= .
C C

ч. т. д.
КНИГА III ПРЕДЛ. XXIII. ТЕОРЕМА 131

D
а одной прямой и по одну ее сторону нель-
зя построить два подобных и неравных
C
сегмента круга.

Действительно, если это возможно,


построим два подобных сегмента
B A

B A и B A ,

A D
проведем прямую , секущую оба,

B C B D
проведем и .

Поскольку сегменты подобны,


C D

B = (пр. 3.10),
A B A

C D

но B > (пр. 3.16), что невозможно.


A B A

Следовательно, никакая точка одного


сегмента не расположена вовне другого
сегмента и значит сегменты совпадают.

ч. т. д.
132 КНИГА III ПРЕДЛ. XXIV. ТЕОРЕМА

одобные сегменты A B и C D

A B C D
A B
кругов на равных прямых и
равны между собой.

C D

Поскольку, если C Dналожить на A B ,


C D A B
так, что совпадет с ,
C D A B
концы будут на концах
и A
по одну сторону с
B C D
;
C D A B
поскольку = ,
C D A B
будет полностью совпадать с ;

равные сегменты на одной прямой и по одну ее


сторону также совпадают (пр. 3.23), и, следова-
тельно, равны.
ч. т. д.
КНИГА III ПРЕДЛ. XXV. ЗАДАЧА 133

B
данному сегменту круга пристроить
круг, сегментом которого он является. E

C
F

A
Из любой точки сегмента
B C A B
проведем и ,
рассечем обе пополам и из точек рассечения
E F B C
проведем ⊥
D F A B
и ⊥
где они пересекаются, там
и находится центр круга..
B C
Поскольку кончающаяся на окружно-
E F
сти рассекается перпендикуляром , ко-
торый проходит через центр (пр. 3.1), так же и
D F
проходит через центр, следовательно, их
пересечение и есть центр.
ч. т. д.
134 КНИГА III ПРЕДЛ. XXVI. ТЕОРЕМА

A B C
равных кругах G
и H
дуги
E F
и , на которые опираются равные,
G
что при центре, что при окружности, уг-
лы, равны.

G H
B C
Поскольку, пусть = при центре,
B C E F

B C E F
проведем и .
D

Тогда, поскольку G
= H
,
G H

H
у B Cи E F

B G C G E H F H
= = = ,
G H

и = ,
B C E F
E F
B C E F
∴ = (пр. 1.4).
A D

Но = (пр. 3.20);
B F
C E

∴ и подобны (опр. 3.11);


B C E F

и равны (пр. 3.24).


А если равные сегменты вычесть из равных
кругов, оставшиеся сегменты будут равны,
B C E F
то есть = (акс. III);
B C E F
и∴ = .

И если равные углы будут при окружности,


очевидно, что углы в центре, будучи вдвое боль-
ше углов при окружности, также равны, и, следо-
вательно, дуги, на которые они опираются, тоже
равны.
ч. т. д.
КНИГА III ПРЕДЛ. XXVII. ТЕОРЕМА 135

A
равных кругах G
и H
, уг-
A D

лы и , опирающиеся на равные ду- G


B E
K F

ги, равны между собой, будь они при центрах или при
окружностях.
B C

Поскольку, если такое


D
возможно, пусть один из них
D A

будет больше другого ,


E B
F K
A D H

сделаем =
B E
C F

B C E
E
∴ = F (пр. 3.26)
F

B E
но K = F (гип.)
B B C
∴ = часть K

равны целому, что невозможно;

∴ ни один из углов не больше другого,

и ∴ они равны.

ч. т. д.
136 КНИГА III ПРЕДЛ. XXVIII. ТЕОРЕМА

равных кругах K
и L
рав-
A B D E
ные хорды и отсекают
K
равные дуги.

A B
Из центров равных кругов,
A K B K D L E L
проведем , и , .

Поскольку K
= L

A K B K D L E L
L , = , ,
A B D E
а также = (гип.)
K L

D E ∴ =
A B D E

A B D E
∴ = (пр. 3.26)

и∴ A B = D E (акс. III)

ч. т. д.
КНИГА III ПРЕДЛ. XXIX. ТЕОРЕМА 137

равных кругах K
и L
, хор-
A B D E
ды и , стягивающие рав-
K
ные дуги, равны.

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

предложение очевидно, а если нет,

A K B K D L
пусть , и ,
E L
проведены из центров;
A B D E
поскольку = (гип.) L

K L

и = (пр. 3.27);
A B D E

D E
A K B K D L E L
но и = и

A B D E
∴ = (пр. 3.27),

а это и есть хорды, стягивающие равные дуги.

ч. т. д.
138 КНИГА III ПРЕДЛ. XXX. ЗАДАЧА

D
ассечь данную дугу пополам.
A B

A B
Проведем ;
A C C B
A C B
сделаем = ,
D C A B
проведем ⊥ ,
она и будет рассекать дугу.

D A D B
Проведем и .

A C C B
= (постр.)
D C
общая,
D D

и A
= B
(постр.)
C C

D A D B
∴ = (пр. 1.4)

A
= D
(пр. 3.27), D B

и значит данная дуга рассечена.

ч. т. д.
КНИГА III ПРЕДЛ. XXXI. ТЕОРЕМА 139

круге угол заключенный в полукруге пря-


мой, в сегменте больше полукруга ост-
рый, в сегменте меньше полукруга тупой.

A
Случай I.
A

Угол C
в полукруге прямой.
B

B C
E
A E B C
Проведем и
A A A
A

C
= и B C
= C (пр. 1.5)
B B E E

A A
A

B C
+ C
= C
=
B B

половина = (пр. 1.32)

A
Случай II.
A
C
Угол D
в сегменте
B

больше полукруга острый.

B C A C
Проведем диаметр и B D

∴ C
= прямому углу
B
A

∴ D
острый.
B
140 КНИГА III ПРЕДЛ. XXXI. ТЕОРЕМА

D
Случай III.
A D

Угол в сегменте
A
C

C
меньше полукруга тупой.

Возьмем на противоположной
стороне окружности любую точку, к
B C A B
B которой проведем и .
A D
C
Поскольку + A = (пр. 3.22)
B C

A
C
но < (случай II.),
B
D

∴ A тупой.
C

ч. т. д.
КНИГА III ПРЕДЛ. XXXII. ТЕОРЕМА 141

A
E F
сли прямая касается круга, и
D B
из точки касания проведена прямая ,
D
D
секущая круг, угол F
между этой пря-
B
A

мой и касательной равен углу D в накрестлежа-


B
щем сегменте круга.
C

Если хорда проходит через центр, то очевид-


но, что углы равны, поскольку и тот и тот пря- E F
B
мые. (пр. 3.16, пр. 3.19)
A B E F
Если же нет, проведем ⊥ из
точки касания, которая будет проходить через
центр (пр. 3.19)
A A
D
∴ = E
(пр. 3.31)
B B

A A D A A

D + = E
= F
(пр. 1.32)
B B B B

A D

∴ D = F
(акс.).
B B

D
A

Теперь E F = = D + C
B
B
B

(пр. 3.22)
D
D

∴ E
= C
, (акс.), который и будет
B
B
углом в накрестлежащем сегменте.

ч. т. д.
142 КНИГА III ПРЕДЛ. XXXIII. ЗАДАЧА

A B
а данной прямой описать сег-
мент круга, вмещающий угол, равный дан-
B ному , , .
G

Если данный угол прямой, то рассечем отре-


зок и опишем на нем полукруг, который, очевид-
K D
A
но, будет содержать прямой угол (пр. 3.31).
Если же данный угол острый или тупой, сде-
лаем с данной прямой на одном из ее концов,
B

A D
= ,

A G K D
проведем ⊥
E
B B
G
и сделаем = ,
A
A

G B A G G B
опишем с или в
качестве радиуса, ведь они равны.

K D G B
касается (пр. 3.16)

A B
∴ делит круг на два сегмента,
B B

вмещающие углы равные K


и A D
,
A

соответственно равные и (пр. 3.32)

ч. т. д.
КНИГА III ПРЕДЛ. XXXIV. ЗАДАЧА 143

т данного круга O
отсечь сегмент, A

вмещабщий данный прямолинейный угол


.

E F
Проведем (пр. 3.17),
касательную к кругу в любой точке; F B E

в точке касания сделаем


A

F
= , данному углу;
B

тогда содержит угол = данному углу.


B

E F
Поскольку касательная,
A B
и сечет ее,
A
A

угол в = F
(пр. 3.32),
B
B

но F
= (постр.)
B

ч. т. д.
144 КНИГА III ПРЕДЛ. XXXV. ТЕОРЕМА

A C
сли в круге две хорды { } секут D B

друг друга, прямоугольник, заключенный


между частями одного равен прямоуголь-
нику, заключенному между частями другого.

A Случай I.
Если данные прямые проходят через центр, они
E секут друг друга посередине, следовательно пря-
моугольники заключенные между их частями
C
являются квадратами, и значит, равны.
D

Случай II.
A
C A
Пусть проходит через центр,
B
E
B D E B D E
а нет, проведем и .
H
B H H D E B
2 E H
2
C Тогда × = − (пр. 2.6),
D B H H D C E
2 E H
2
или × = − .
B H H D H A A E
∴ × = × (пр. 2.5).

K
Случай III.
Пусть ни одна из прямых не проходит через
B

E
A центр, проведем через точку их пересечения диа-
K L
C
метр ,
D
L
K E E L B E E D
и × = × (случай II.),
K E E L A E E C
а также × = × (случай II.);
B E E D A E E C
∴ × = × .

ч. т. д.
КНИГА III ПРЕДЛ. XXXVI. ТЕОРЕМА 145

сли из точки вне круга к кругу проведе-


D B
ны две прямых, одна из которых
A D
касается круга, а другая се-
чет его; прямоугольник, заключенный между всей
A D D C
секущей и внешней частью равен
D B
квадрату касательной .

D
Случай I.
A D
Пусть проходит через центр, B
C

B F
проведем из центра к точке касания;

D B
2 F D
2 B F
2
= − (пр. 1.47), F

D B
2 F D
2 C F
2
или = − ,
A
D B
2 A D D C
∴ = × (пр. 2.6).

D
Случай II.
A D
Если не проходит через центр, B
C

E A E C
проведем и .

A D C A D E
2 E C
2 A
Тогда × = − E

(пр. 2.6),

A D C A D E
2 E B
2
то есть, × = − ,

A D C A D B
2
∴ × = (пр. 3.18).

ч. т. д.
146 КНИГА III ПРЕДЛ. XXXVII. ТЕОРЕМА

D
сли из точки вне круга проведены две пря-
A D
B
C
мых линии, одна из которых
D B
сечет круг, а другая лишь падает
на него, и если прямоугольник заключенный между
A D
всей секущей линией и ее внешней ча-
F D C
A стью равен квадрату линии падающей на круг,
E
D B
та является касательной к кругу.

Проведем из данной точки


D E
касательную к кругу ,
D F B F E F
и проведем из центра , ,и ,
D E
2 A D D C
= × (пр. 3.36)
D B
2 A D D C
но = × (гип.),
D B
2 D E
2
∴ = ,
D B D E
и∴ = ;
D
D
B

Тогда в и
F
F
E

B F D B E F D E
и = и ,
D F
и общая обоим,
B D D

∴ = F (пр. 1.8);
F E
D

но F = , прямому углу (пр. 3.18),


E

B D

∴ = , прямому углу
F
D B
и∴ касается круга (пр. 3.16).

ч. т. д.
Книга 4

Определения

1
Говорят, что прямолинейная фигуга вписыватся
в другую прямолинейную фигуру, если каждый
из углов вписываемой фигуры касается всех сто-
рон той, в которую она вписывается.

2
Про фигуру говорят, что она описывается около
фигуры, если каждая сторона описываемой фи-
гуры касается угла той, около которой она опи-
сывается.

3
Про прямолинейную фигуру говорят, что она
вписывается в круг, когда каждый угол вписыва-
емой фигуры касается окржности.

4
Про фигуру говорят, что она описывается около
круга, если каждая из ее сторон касается окруж-
ности.
148 КНИГА 4

5
Про круг говорят, что он вписывается в фигуру,
когда его окружность касается каждой из сторон
фигуры.

6
Про круг говорят, что он описывается около пря-
молинейной фигуры, если его окружность про-
ходит через все углы фигуры.

7
Говорят что прямая вписывается в круг, когда ее
концы находятся на окружности.

Четвертая книга посвещена решению за-


дач, преимущественно касающихся вписыванию
и описыванию правильных многоугольников.
Правильным называют такой многоуголь-
ник стороны и углы которого равны.
КНИГА 4 ПРЕДЛ. I. ЗАДАЧА 149

данный круг O
вписать прямую, A

G H
равную данной , не большей диа-
метра круга. C
E
B

C B
Проведем диаметр круга O
;
H G
C B G H
и если = , задача решена.

C B G H
Если же не равна ,
C B G H
> (гип.);

E C G H
сделаем = (пр. 1.3)
E C
взяв за радиус, построим

C E
, секущий O
,
A C
и проведем , которая
и будет искомой прямой.

A C E C G H
Поскольку = =
(опр. 1.15, постр.)

ч. т. д.
150 КНИГА 4 ПРЕДЛ. II. ЗАДАЧА

B
данный круг O
вписать треуголь-

C ник, равноугольный данному.

G H
Проведем касательную ,
к любой точке круга (пр. 3.17);
G A H

в точке касания сделаем


F E
C
F

H
= (пр. 1.23).
A D

B E
F

D
Так же сделаем G
= ,
A D

B C
и проведем .

C E
F
Поскольку H
= (постр.)
A D

C B
C
и H
= (пр. 3.32)
A A
B E
C F
∴ = ;
A D
B E
C F
также и = по той же причине.
A D

B C E
F

∴ = (пр. 1.32),
A D

и следовательно вписанный в круг треугольник


равноуголен данному.
ч. т. д.
КНИГА 4 ПРЕДЛ. III. ЗАДАЧА 151

D
коло данного круга K
описать тре-
угольник, равноугольный данному.
H F E G

M
G H
Продлим одну из сторон ,
данного треугольника в обе стороны.

A
Из центра данного круга
B
K C
проведем радиус . K

A
D
K
Сделаем = H
(пр. 1.23)
F N L
C
C
B D
K

и = G
.
C E

N L
Через концы радиусов проведем ,
L M M N
и , касательные к кругу. (пр. 3.17)
A

Четыре угла , взятые вместе C L

равны четырем прямым углам. (пр. 1.32)


K A

но L
и K
прямые (постр.)
C L

A
M
K
∴ N L
+ = , двум прямым углам,
C
152 КНИГА 4 ПРЕДЛ. III. ЗАДАЧА

но H E = (пр. 1.13)
F
A
D M D
K
и = H
(постр.) и ∴ N L
= F E
.
F
C

Таким же образом можно показать, что


M D

L
= F
;
N E

M D

∴ L
= F
(пр. 1.32)
N E

и значит, описанный около круга


треугольник равноуголен данному.

ч. т. д.
КНИГА 4 ПРЕДЛ. IV. ЗАДАЧА 153
A

A
данный треугольник B C впи-
сать круг.
G

E G

Рассечем пополам F
и F C
(пр. 1.9) с
B
B D C D
помощью и ; B F C

Из точки, где они встречаются, проведем


F D E D G D
, и соотвтетственно пер-
B C A B C A
пендикулярные , и .
E
D

В и
B F
B

E D E
D
D B D
B F = , B
= D и общая,
B F B
E D F D
∴ = (пр. 1.4, пр. 1.26).

G D F D
Так же можно показать, что = ,

F D E D G D
∴ = = ;

так, взяв любую из этих линий за радиус, опи-


G

шем D
и его окружность будет проходить
через концы других двух, а стороны данного тре-
угольника, перпендикулярные к трем радиусам
и проходящие через их концы, касаются круга
(пр. 3.16), который, таким образом, вписан в дан-
ный треугольник.
ч. т. д.
154 КНИГА 4 ПРЕДЛ. V. ЗАДАЧА

A
коло данного треугольника описать круг.

D
E

F
A D D B C E
B
Сделаем = и =
C E A
(пр. 1.10)
D F
Из точек рассечения проведем и
E F A D C E
A
⊥ и соответственно (пр. 1.11),
B F
D и из точки из пересечения проведем ,
A F C F
B E и и опишем круг с любой из них
в качестве радиуса, это и будет искомый круг.
F

C A

В F и
D
A
B

F
D E
D B A D
= (постр.),
D F
B C
общая,
F A
D

F = D (постр.),
B
F

A F B F
∴ = (пр. 1.4).

A F
Так же можно показать и что C F
= .
A F B F
∴ = = ; и, следова- C F

тельно, круг с центром в точке их пересечения


и с любой из них в качестве радиуса опишет дан-
ный треугольник.
ч. т. д.
КНИГА 4 ПРЕДЛ. VI. ЗАДАЧА 155

A
данный круг E
вписать квадрат.

B D
E
Проведем два диаметра круга ⊥ друг другу,
B C A B D A C D
и проведем , , и .
A

C
B D
квадрат.
C

A
A

Поскольку и D
каждый в полукруге,
B D
C

оба являются прямыми (пр. 3.31),


C D A B
∴ ∥ (пр. 1.28):
D A B C
так же и ∥ .
A A

И, поскольку B
= D
(постр.),
E E

B E A E D E
и = = (пр. 1.15).
A B D A
∴ = (пр. 1.4).

И поскольку смежные углы и стороны парал-


A

лелограмма B D
равны, все его стороны и
C
A

углы равны (пр. 1.34); и ∴ B D


, вписанный в
C

данный круг является квадратом.


ч. т. д.
156 КНИГА 4 ПРЕДЛ. VII. ЗАДАЧА

G A F
коло данного круга E
описать квад-
рат.

E
B D

Проведем два перпендикулярных друг другу


диаметра данного круга и через их концы прове-
H K G H F G K F
дем , , и касатель-
H C K

ные к кругу.
G F

Тогда будет квадратом.


H K
E

H
= прямому углу, (пр. 3.18)
C
E
B

так же и = (постр.),
C

H K B D
∴ ∥ .
Таким же образом можно показать
F G B D
что ∥ , а также
G H K F A C
что и ∥ .
G F

∴ параллелограмм,
H K
и поскольку
E G F F G
F G

H
= = = H
= K
,
C H K K H

все они прямые (пр. 1.34).


H K G H
Также очевидно, что , ,
F G K F
и равны между собой.
G F

∴ квадрат.
H K

ч. т. д.
КНИГА 4 ПРЕДЛ. VIII. ЗАДАЧА 157

A E D
данный квадрат вписать круг.

G
F K

E D A E
Сделаем = ,
K C D K
и = ,
F K A D B H C
проведем = ,
E H D C
и =
(пр. 1.31)
E D

∴ параллелограмм,
G K

A D D C
и поскольку = (гип.)
E D D K
=
E D

∴ равносторонний (пр. 1.34)


G K

таким же образом можно


G K F G

показать, что =
H C B H
равносторонние параллелограммы;

A E G K G H F G
∴ = = = .

и значит если построить круг с центром в


точке схождения этих линий с любой их них
в качестве радиуса, он будет вписан в квадрат
(пр. 3.16).
ч. т. д.
158 КНИГА 4 ПРЕДЛ. IX. ЗАДАЧА
A D

A D
коло данного квадрата описать
B C
круг.

Проведем пересекающие друг друга диагона-


A C B D
B C
ли и .
A D A

Тогда, поскольку стороны у и


C B C

A C
равны, а основание общее,
A
A D

E
= E
(пр. 1.8),
B
A
D

то есть рассечена пополам.


B

Так же можно показать и что


A

C
рассечена пополам.
B

A A
D

Но = C
,
B B

A A
E
значит и их половины E
= .
B B

B E A E
∴ = (пр. 1.6);

Так же можно показать что


A E B E E C E D
= = = .

И если в точке схождения этих линий с лю-


бой из них в качестве радиуса построить круг,
он опишет данный квадрат.
ч. т. д.
КНИГА 4 ПРЕДЛ. X. ЗАДАЧА 159

остроить равнобедренный треугольник,


в котором угол при основании вдвое боль-
ше угла в вершине.
D

A B
Возьмем любую прямую C
B
и разделим ее так, что A

A
2 B C B A C
× = (пр. 2.11)

A B
С в качестве радиуса опигем

A B
и впишем в него от конца
B D A C
радиуса = (пр. 4.1);
A D
проведем .
D

Тогда и есть искомый треугольник.


A B

C D
Действительно, проведем и
D

D
опишем A C
около (пр. 4.5)
A
C

A B C B A C
2 B D
2
Поскольку × = = ,
B D D
∴ касается A C
(пр. 3.37)
D
D
∴ = A B
(пр. 3.32),
C B
D

добавим A к каждому,
C
D D D
D
∴ + A = A B
+ A ;
C B C C
160 КНИГА 4 ПРЕДЛ. X. ЗАДАЧА

D D D D

но + A или A = C
(пр. 1.5):
C B C B B

A D A B
поскольку = (пр. 1.6)
следовательно
D D D
D

C
= A B
+ A = B
(пр. 1.32)
B C C

C D B D
∴ = (пр. 1.6)
B D A C C D
∴ = = (постр.)
D
D
∴ A B
= A (пр. 1.5)
C

D D D

∴ C
= A = B
=
B B C

D
D D

A B
+ A = дважды A B
;
C

и, следовательно, каждый из углов при


основании вдвое больше угла в вершине.

ч. т. д.
КНИГА 4 ПРЕДЛ. XI. ЗАДАЧА 161

A
данный круг O
вписать равносто-
ронний и равноугольный пятиугольник.

B E

Построим равносторонний треугольник, в


котором каждый из углов при основании вдвое
больше угла в вершине, и впишем в данный круг
A

равноугольный ему треугольник (пр. 4.2); C D

C D

A A

Рассечем D
и C
пополам (пр. 1.9).
C D

B C A B E A D E
Проведем , , и .
A A
E B
E
Поскольку углы , C D , , C D
и
C C D
A
B
равны между собой, дуги, на которых они
D
C D B C
стоят, тоже равны (пр. 3.26), и ∴ , ,
A B E A D E
, и стягивающие эти ду-
ги также равны между собой (пр. 3.19) и ∴ пя-
тиугольник является равносторонним, а также
равноугольным, поскольку все его углы стоят на
равных дугах (пр. 3.27).
ч. т. д.
162 КНИГА 4 ПРЕДЛ. XII. ЗАДАЧА

коло данного круга F


описать рав-
ностороний и равноугольный пятиуголь-
H
ник.

F
Проведем пять касательных через вершины
B D
любого правильного пятиугольника вписанного

в круг F
(пр. 3.17).

K C L Эти пять касательных и будут образовывать


искомый пятиугольник.
F B

{ F K

Проведем F C
.
⎨ F L
{
⎩ F D

F F
B

В и
K K C

B K K C
=
F C F B F K
= ,и общая.
B F
F F F

∴ = C
и∴ B
= K
(пр. 1.8)
K K
K C
B F

∴ C
= дважды C
,
K K

F F
B
и = дважды K
.
C C

Таким же образом можно показать, что


D F

C
= дважды C
,
L L

F F

D
и = дважды L
.
C C
КНИГА 4 ПРЕДЛ. XII. ЗАДАЧА 163

F F
B D
Но = (пр. 3.27),
C C
F F

∴ и их половины K
= L
,
C C
F F

а также K
= L
,
C C
F C
и общая.
F F
K C C L
∴ C
= C
и = ,
K L
K L K C
∴ = дважды ;

Таким же образом можно показать,


K H B K
что = дважды ,
B K K C
но =
K H K L
∴ = ;

Так же можно показать, что остальные сторо-


ны равны и, следовательно, пятиугольник равно-
сторонний, так же он и равноугольный, посколь-
ку
D F

C
= дважды C
L L

B F

и C
= дважды C
,
K K

F F

и сделовательно C
= C
,
K L
D B

∴ C
= C
.
L K

Так же можно показать, что и другие углы


описанного пятиугольника равны.
ч. т. д.
164 КНИГА 4 ПРЕДЛ. XIII. ЗАДАЧА

A
данный равноугольный и равносторон-
ний пятиугольник вписать круг.

B E

F
B E

Пусть будет данным равноуголь-


C D

ным и равносторонним пятиугольником, в ко-


C K D
торый требуется вписать круг.
H F E
F F F

Сделаем = K
,и = K
(пр. 1.9)
C C D D

F D F C
Проведем , ,
F B F E
, , и т. д.
H F
F
D C C B
Поскольку = , = K

C C

F C
общая обоим треугольникам
B
F
F

и ;
C D
C

B F
F B F D F
∴ = и = K
(пр. 1.4)
H D

H E F

И поскольку K
= K
= дважды K
C D D

B H
F
∴ дважды , а значит K
H C
F B
рассечен пополам.
КНИГА 4 ПРЕДЛ. XIII. ЗАДАЧА 165

E
Так же можно показать, что рассекается
D
F E
пополам , и оставшийся угол
многоугольника рассекается таким же образом.

F K F H
Проведем , , и т. д.
перпендикулярные к сторонам пятиугольника.
F F

Тогда в треугольниках и
C C K
H F
F
F C
получим = K
(постр.), общая,
C C

F F
H

и = C
= прямому углу ;
C K

F K F H
∴ = (пр. 1.26)

Так же можно показать, что пять перпендику-


ляров к сторонам пятиугольника равны между
собой.
Опишем H F с одним из перпендикуляров
в качестве радиуса, это и будет искомый вписан-
ный круг. Поскольку, если он не касается сторон
пятиугольника, но сечет их, то прямая, прове-
денная через конец диаметра под прямым углом
будет проходить внутри круга, что, как было по-
казано (пр. 3.16), невозможно.
ч. т. д.
166 КНИГА 4 ПРЕДЛ. XIV. ЗАДАЧА

A
коло данного равностороннего и равно-
угольного пятиугольника описать круг.

B E

B E

Рассечем пополам D
и C
с помощью
C D
F C F D
и , и из точки их пересечения
F E F A F B

C D
проведем , и .
B E

D
= C
,
C D
F F

D
= C
,
C D

F D F C
∴ = (пр. 1.6).
B
F
F

И поскольку в и ,
C D
C

B C C D F C
= ,и общая,
B F
F

также и = D
.
C C

F B F D
∴ = (пр. 1.4).

Так же можно показать, что


F A F E F B
= = .
F A F B
И следовательно = =
F C F D F E
= = .

Таким образом, круг с центром в месте пе-


ресечения этих пяти линий с любой из них в
качестве радиуса будет описывать данный пяти-
угольник.
ч. т. д.
КНИГА 4 ПРЕДЛ. XV. ЗАДАЧА 167

A
данный круг G
вписать равно-

сторонний и равноугольный шестиуголь- B F

ник.
G
G

На любой точке окружности опишем D

проходящий через центр и проведем диамет- C E

A D C F B E C D
ры , и ; проведем ,
D E E F
, , и т. д., так и получим искомый D

шестиугольник вписанный в круг.


G D
Поскольку проходит через центры
G G

кругов C
и E
равносторонние тре-
D D
G G
1
угольники, так как C = E =
D D 3
F
G
(пр. 1.32), но C
= (пр. 1.13);
G G F
1
∴ C = E = G
=
D 3 D E

(пр. 1.32), и вертикальные углы равны между со-


бой (пр. 1.15), и стоят на равных дугах (пр. 3.26),
которые стагивают равные хорды (пр. 3.19).
И поскольку каждый из углов шестиугольни-
ка вдвое больше угла равностороннего треуголь-
ника, этот шестиугольник также равносторон-
ний.
ч. т. д.
168 КНИГА 4 ПРЕДЛ. XVI. ЗАДАЧА

A
данный круг вписать равносторонний
и равноугольный пятнадцатиугольник.

A B B F
Пусть и будут сторонами пра-
вильного пятиугольника, вписанного в данный
A C
C
круг, а стороной вписанного правильно-
го треугольника.
F

дуга, стагиваемая 2 6 всей


}= = {
A B
и B
5 15 окружности
F

дуга, стягиваемая 1 5 всей


}= = {
A C
3 15 окружности

1
Их разность =
15
1 C F
∴ дуга стягиваемая = всей окруж-
15
ности.
C F
А значит, если прямые, равные , впи-
сать в круг (пр. 4.1), получим равносторонний
и равноугольный пятнадцатиугольник вписан-
ный в круг.
ч. т. д.
Книга V

Определения
1
Меньшая величина называется аликвотой боль-
шей, если меньшая измеряет большую, то есть
вмещается в нее целое чило раз.

2
Большая величина называется кратной мень-
шей, если большая измеряется меньшей, то есть
содержит в себе меньшую целое число раз.

3
Отношением называют зависимость однород-
ных величин по количеству.

4
Про две величины говорят, что они имеют от-
ношение между собой, когда они однородны и
меньшая из них может, взятая кратно, превзой-
ти другую.
Прочие определения будут даны по ходу изложения
там, где в них возникнет необходимость.
170 КНИГА V

Аксиомы
I
Равнократные или равных величин равны меж-
ду собой.
Если 𝐴 = 𝐵, то
дважды 𝐴 = дважды 𝐵,
то есть, 2𝐴 = 2𝐵;
3𝐴 = 3𝐵;
4𝐴 = 4𝐵;
и т. д. и т. д.
1 1
и 𝐴 = 𝐵;
2 2
1 1
𝐴 = 𝐵;
3 3
1 1
𝐴 = 𝐵;
4 4
и т. д. и т. д.

II
Кратное большей величины больше такого же
кратного меньшей.
Пусть 𝐴 > 𝐵,
Тогда 2𝐴 > 2𝐵;
3𝐴 > 3𝐵;
4𝐴 > 4𝐵;
и т. д. и т. д.
КНИГА V 171

III
Величина, кратное которой больше такого же
кратного другой величины, сама больше другой
величины.
Пусть 2𝐴 > 2𝐵,
тогда 𝐴 > 𝐵;
или пусть 3𝐴 > 3𝐵,
тогда 𝐴 > 𝐵;
или пусть 𝑚𝐴 > 𝑚𝐵,
тогда 𝐴 > 𝐵.
172 КНИГА V ПРЕДЛ. I. ТЕОРЕМА

сли будет несколько величин равнократ-


ных каждая каждой такому же количе-
ству других величин, то сколько раз одна
из первых будет кратна одной из вторых, столько
же раз все первые будут кратны всем вторым.

Пусть будет столько же раз


кратна , сколько и кратна ,
сколько и кратна .

Тогда очевидно, что

столько же раз кратна

сколько и кратна ;

так как в =

столько же величин,
сколько в = .

То же верно для любого числа величин, что


было показано для трех.
∴ Если будет несколько величин… и т. д.
КНИГА V ПРЕДЛ. II. ТЕОРЕМА 173

сли первая величина столько же раз


кратна второй, сколько третья четвер-
той, а пятая столько же раз кратна вто-
рой, сколько шестая четвертой, то первая вместе с
пятой будут столько же раз кратны третьей, сколь-
ко третья вместе с шестой — четвертой.

Пусть первая величина будет столь-


ко же раз кратна второй , сколько третья
четвертой .
И пусть пятая будет столько же
раз кратна второй , сколько шестая
четвертой .
Тогда очевидно что первая и пятая вместе
, столько же раз кратны второй ,

сколько третья и шестая вместе ,

кратны четвертой , поскольку в =

столько же величин, сколько в =

.
∴ Если первая величина… и т. д.
174 КНИГА V ПРЕДЛ. III. ТЕОРЕМА

сли первая величина имеет такое же от-


ношение ко второй, какое третья имеет
к четвертой, то и равнократные к пер-
вой и третьей к равнократным второй и четвертой,
взятые в соответствующем порядке будут иметь
то же отношение.

Пусть у будет то же отношение к ,

что и у к .

Возьмем

столько же раз кратную ,

сколько кратную .

Тогда очевидно, что

столько же раз кратна ,

сколько кратна ;
КНИГА V ПРЕДЛ. III. ТЕОРЕМА 175

∵ содержит содержит

столько же раз, сколько

содержит содержит .

Те же соображения
применимы во всех случаях.

∴ Если первая величина… и т. д.


176 КНИГА V ОПРЕДЕЛЕНИЕ V.

Определение V.

Четыре величины, , , , , называют-


ся пропорциональными, если любые равнократ-
ные первой и третьей, а также любые равнократ-
ные второй и четвертой в виде

первой третьей

и т. д. и т. д.

второй четвертой

и т. д. и т. д.

Тогда, взяв любую пару равнократных пер-


вой и третьей и любую пару равнократных вто-
рой и четвертой,

⎧ >, = или <


{
{ >, = или <
если ⎨ >, = или <
{ >, = или <
{
⎩ >, = или <
КНИГА V ОПРЕДЕЛЕНИЕ V. 177

⎧ >, = или <


{
{ >, = или <
то >, = или <

{ >, = или <
{
⎩ >, = или <
Другими словами, если дважды первая вели-
чина больше, равна или меньше дважды второй,
то дважды третья будет больше равна или мень-
ше дважды четвертой. Или, если дважды первая
будет больше равна или меньше трижды второй,
дважды третья будет больше, равна или меньше
трижды четвертой и так далее, как обозначено
выше.

⎧ >, = или <


{
{ >, = или <
Если >, = или <

{ >, = или <
{
⎩ >, = или <

⎧ >, = или <


{
{ >, = или <
то >, = или <

{ >, = или <
{
⎩ >, = или <
Или же если трижды первая больше, равна
или меньше дважды второй, то трижды третья
больше, равна или меньше дважды четвертой.
Или если трижды первая больше, равна или
меньше трижды второй трижды второй, то три-
жды третья будет больше, равна или меньше три-
жды четвертой. Или если трижды первая больше,
178 КНИГА V ОПРЕДЕЛЕНИЕ V.

равна или меньше четырежды второй, то три-


жды третья будет больше, равна или меньше че-
тырежды четвертой и так далее. Также

Если
⎧ >, = или <
{
{ >, = или <
⎨ >, = или <
{ >, = или <
{
⎩ >, = или <

⎧ >, = или <


{
{ >, = или <
то >, = или <

{ >, = или <
{
⎩ >, = или <
И так далее, для любых равнократных четы-
рех величин взятых таким образом.
Евклид излагает это определение следую-
щим образом:
Говорят, что величины находятся в том же от-
ношении: первая ко второй и третья к четвёртой,
если рав нократные первой и третьей одновре-
менно больше, или одновременно равны, или
одновременно меньше равнократных второй и
четвёртой каждая каждой при какой бы то ни бы-
ло кратности, если взять их в соответственном
порядке.
В дальнейшем будем выражать это определе-
ние в общем виде так:
КНИГА V ОПРЕДЕЛЕНИЕ V. 179

Если 𝑀 >, = или < 𝑚 ,


когда 𝑀 >, = или < 𝑚 ,

То мы заключаем, что первая величина ,


так же относится ко второй , как третья к
четвертой . Что будет далее записываться так:

: :: : ;
или так: : = : ;

или так: = :

и читается как,
« относится к , как к .»

И если : :: :
мы можем заключить, что
если 𝑀 >, = или < 𝑚 ,
то 𝑀 >, = или < 𝑚 .

То есть, если первая относится ко второй, как


третья к четвертой, то если 𝑀 раз первая боль-
ше, равна или меньше 𝑚 раз второй, то 𝑀 раз
третья будет больше, равна или меньше 𝑚 раз
четвертой, где 𝑀 и 𝑚 не представляют каких
либо конкретных величин, но любую пару вели-
чин, также как обозначения, наподобие , ,
, и т. п. не более чем представления геометри-
ческих величин.
Учащийся должен крепко понять это опреде-
ление, прежде чем двигаться далее.
180 КНИГА V ПРЕДЛ. IV. ТЕОРЕМА

сли первая величина имеет такое же от-


ношение ко второй, какое третья имеет
к четвертой, то и равнократные первой
и третьей будут иметь то же отношение к равно-
кратным второй и четвертой.

Пусть : :: : ,
тогда 3 :2 :: 3 :2 ,
всякое равнократное 3 и 3
будет равнократным и ,
и всякое равнократное 2 и 2
будет равнократным и (пр. 5.3)

То есть, 𝑀 раз 3 и 𝑀 раз 3


равнократны и ,
и 𝑚 раз 2 и 𝑚 раз 2
равнократны 2 и 2 .

Но : :: : (гип.)
∴ если 𝑀 3 <, =, или > 𝑚2 ,
то 𝑀 3 <, =, или > 𝑚2 (опр. 5.5)
и значит 3 :2 :: 3 : 2 (опр. 5.5)

Те же соображения работают для любых рав-


нократных первой и третьей величин и любых
равнократных второй и четвертой.
∴ Если первая величина… и т. д.
КНИГА V ПРЕДЛ. V. ТЕОРЕМА 181

сли одна величина столько же раз крат-


на другой, сколько и величина отнимае-
мая от первой кратна к величине отни-
маемой от второй, то остаток будет столько же
раз кратен остатку, как целое целому.

Пусть = 𝑀′

и = 𝑀′ ,

∴ − = 𝑀′ − 𝑀′ ,

∴ = 𝑀 ′( − ),

и∴ = 𝑀′ .

∴ Если одна величина… и т. д.


182 КНИГА V ПРЕДЛ. VI. ТЕОРЕМА

сли две величины равнократны двум дру-


гим, и если равнократные последним от-
няты от первых двух, то остатки будут
либо равны вторым, либо будут им равнократны.

Пусть = 𝑀′ ; и = 𝑀′

тогда − 𝑚′ = 𝑀′ − 𝑚′ = (𝑀′ − 𝑚′)

и − 𝑚′ = 𝑀′ − 𝑚′ = (𝑀′ − 𝑚′) .

Значит, (𝑀′ − 𝑚′) и (𝑀′ − 𝑚′) равнократны


и и равны и , когда 𝑀′ − 𝑚 ′ = 1.

∴ Если две величины… и т. д.


КНИГА V ПРЕДЛ. A. ТЕОРЕМА 183

сли первая величина относится ко вто-


рой так же, как третья к четвертой, то
если первая больше второй, то третья
также больше четвертой, если равна, равна, а если
меньше, то меньше.

Пусть : :: : ; следовательно
(опр. 5.5), если > , то > ;

но если > , то
> и > ,
и∴ > .

Точно так же, если =, или < ,


то =, или < .

∴ Если первая величина… и т. д.

Определение XIV
В геометрии используется понятие «переверну-
тое отношение», когда есть четыре пропорцио-
нальных величины, утверждается, что вторая к
первой относится так же, как четвертая к тре-
тьей.
Пусть 𝐴 : 𝐵 :: 𝐶 : 𝐷, тогда, «перевернув»
отношение можно заключить, что 𝐵 : 𝐴 :: 𝐷 : 𝐶
184 КНИГА V ПРЕДЛ. B. ТЕОРЕМА

сли четыре величины пропорциональны,


они будут пропорциональны и если их пе-
ревернуть.

Пусть : :: : ,
тогда, перевернув, получим : :: : .

Если 𝑀 <𝑚 , то 𝑀 <𝑚 (опр. 5.5).

Пусть 𝑀 <𝑚 , то есть, 𝑚 >𝑀 ,


∴𝑀 <𝑚 , или, 𝑚 >𝑀 ;

∴ если 𝑚 >𝑀 , то 𝑚 >𝑀 .

Так же можно показать, что,


если 𝑚 = или < 𝑀 ,
то 𝑚 =, или < 𝑀 ;

и, следовательно (опр. 5.5), мы заключаем,


что : :: : .

∴ Если четыре величины


пропорциональны… и т. д.
КНИГА V ПРЕДЛ. C. ТЕОРЕМА 185

сли первая величина столько же раз


кратна второй, или составляет такую
же ее часть, как и третья — четвертой,
то первая относится ко второй, как третья к чет-
вертой.

Пусть первая величина будет


столько же раз кратна второй ,

сколько третья четвертой .

Тогда : :: : .

Возьмем 𝑀 ,𝑚 ,𝑀 ,𝑚 .

Поскольку столько же раз кратна

сколько кратна (гип.),

и𝑀 столько же раз кратна

столько 𝑀 кратна ,

∴ (предл.),

𝑀 столько же раз кратна

сколько 𝑀 кратна .
186 КНИГА V ПРЕДЛ. C. ТЕОРЕМА

Следовательно, если 𝑀
больше раз кратна , чем 𝑚 ,

то 𝑀 больше раз кратна , чем 𝑚 .

То есть, если 𝑀 больше

𝑚 , то 𝑀 больше 𝑚 .

Так же можно показать, что если 𝑀

равна 𝑚 , то 𝑀 равна 𝑚 .

И, в общем виде, если


𝑀 >, = или < 𝑚

то и 𝑀 >, = или < 𝑚 .

∴ (опр. 5.5),

: :: : .

Теперь, пусть будет такой же частью от

какая от .

В этом случай так же : :: : .

Поскольку такая же часть


от что и от ,
КНИГА V ПРЕДЛ. C. ТЕОРЕМА 187

следовательно столько же раз кратна ,

сколько кратна .

Следовательно, как и в предыдущем случае,

: :: : ;

и∴ : :: : (пр. 5.B)

∴ Если первая величина… и т. д.


188 КНИГА V ПРЕДЛ. D. ТЕОРЕМА

сли первая величина относится ко вто-


рой так, как третья к четвертой, и если
первая кратна второй или составляет
ее часть, то и третья к четвертой столько же раз
кратна или составляет такую же ее часть.

Пусть : :: : ,

и если будет кратна ,

то будет столько же раз кратна .

первая вторая третья четвертая

Возьмем = .

Сколько раз кратна

возьмем столько же раз кратную ,

тогда, поскольку : :: :
и мы взяли равнократные второй и четвертой,

и , следовательно (пр. 5.4)

: :: : , но (постр.),
КНИГА V ПРЕДЛ. D. ТЕОРЕМА 189

= ∴ (пр. 5.A) =

и столько же раз кратна

сколько кратна .

Теперь, пусть : :: : ,

а также составляет часть ;


тогда будет составлять
такую же часть .

Если перевернуть, получим


: :: : ,

но составляет часть ;

то есть, кратна ;
∴ как было показано в пердыдущем случае,
столько же раз кратна , то есть,

составляет такую же часть от

какую от .

∴ Если первая величина


относится ко второй… и т. д.
190 КНИГА V ПРЕДЛ. VII. ТЕОРЕМА

авные величины имеют одно отношение


к какой-либо величине, и эта величина
имеет такое же отношение к равным ве-
личинам.

Пусть =
и будет какой-либо другой величиной.
Тогда : = : и : = : .

Поскольку = ,
∴ 𝑀 = 𝑀 ;

∴ Если 𝑀 >, = или < 𝑚 ,


то 𝑀 >, = или < 𝑚 ,
и∴ : = : (опр. 5.5).

Из вышеизложенного очевидно, что


если 𝑚 >, = или < 𝑀 ,
то 𝑚 >, = или < 𝑀
∴ : = : (опр. 5.5).

∴ Равные величины… и т. д.
КНИГА V ОПРЕДЕЛЕНИЕ VII. 191

Определение VII.

Когда из равнократных четырех величин


(взятых как в пятом определении), кратное пер-
вой больше кратного второй, а кратное третьей
не больше кратного четвертой, то говорят, что
первая имеет большее отношение ко второй, чем
третья к четвертой, и наоборот, говорят что тре-
тья имеет к четвертой меньшее отношение, чем
первая ко второй.
Если из равнократных четырех величин, на-
подобие тех, что сравнивались в пятом опре-
делении, мы найдем, что >
, но = или > ,
или же мы найдем, некоторая определенная
кратность 𝑀 ′ первой и третьей, и другая крат-
ность 𝑚 ′ второй и четвертой, такие, что 𝑀 ′ раз
первая величина > 𝑚 ′ раз вторая, но 𝑀 ′ раз тре-
тья не > 𝑚 ′ раз четвертой, т. е. = или < 𝑚 ′ раз
четвертой, то про первую говоря, что ее отноше-
ние к третьей больше, чем у третьей к четвертой,
или что третья к четвертой в таких обстоятель-
ствах имеет меньшее отношение, чем первая ко
второй, однако некоторые другие равнократные
могут показать, что четыре величины пропорци-
ональны.
В дальнейшем это определение будет иметь
следующий вид:

Если 𝑀′ > 𝑚′ , но 𝑀′ = или < 𝑚′ ,


192 КНИГА V ОПРЕДЕЛЕНИЕ VII.

то : > : .

В приведенном выражении 𝑀 ′ и 𝑚 ′ пред-


ставляют собой определенные кратности, в от-
личие от 𝑀 и 𝑚 в пятом определении, которые
могут быть любыми кратностями. Также нужно
иметь в виду, что , , , и подобные обо-
значения, всего лишь представляют геометриче-
ские величины.
Арифметически это можно представить так:
Возьмем четыре числа 8, 7, 10, и 9.
первое второе третье четвертое
8 7 10 9
16 14 20 18
24 21 30 27
32 28 40 36
40 35 50 45
48 42 60 54
56 49 70 63
64 56 80 72
72 63 90 81
80 70 100 90
88 77 110 99
96 84 120 108
104 91 130 117
112 98 140 126
и т. д. и т. д. и т. д. и т. д.

Среди приведенных кратностей мы найдем


что 16 > 14 и 20 > 18. То есть дважды первое
больше дважды второго и дважды третье боль-
ше дважды четвертого. И 16 < 21 и 20 < 27.
КНИГА V ОПРЕДЕЛЕНИЕ VII. 193

То есть дважды первое меньше трижды второ-


го и дважды третье меньше трижды четверто-
го. И среди тех же кратностей мы найдем что
72 > 56 и 90 > 72. То есть 9 раз первое больше 8
раз второго и 9 раз третье больше 8 раз четвер-
того. Можно выбрать много других равнократ-
ных, которые будут показывать, что 8, 7, 10, и 9
пропорциональны, тогда как они таковыми не
являются, поскольку мы можем найти кратное
первого > кратного второго, но столько же раз
кратное, сколько первого, третьего не > столь-
ко же раз кратного, сколько второго, четвертого.
Например, 9 раз первое > 10 раз второго, но 9 раз
третье не > 10 раз четвертого, то есть 72 > 70,
но 90 не > 90, или 8 раз первое > 9 раз второ-
го, но 8 раз третье не > 9 раз четвертого, то есть
64 > 63, но 80 не > 81. Когда можно найти та-
кие кратные, говорят, что первое (8) имеет ко
второму (7) большее отношение, чем третье (10)
к четвертому (9), и наоборот, третье (10) имеет к
четвертому (9) меньшее отношение, чем первое
(8) ко второму (7).
194 КНИГА V ПРЕДЛ. VIII. ТЕОРЕМА

з неравных величин к одной и той же вели-


чине большая имеет большее отношение,
чем меньшая, и эта величина имеет боль-
шее отношение к меньшей, чем к большей.

Возьмем две неравных величины и ,


и какую-либо другую .

Докажем, что , большая из двух неравных


величин, имеет большее отношение к , чем

меньшая , то есть, : > : .

Возьмем 𝑀 ′ , 𝑚′ , 𝑀 ′ , 𝑚′ ;
такие, что 𝑀 ′ и 𝑀 ′ обе > ;
также возьмем 𝑚′ наименьшее кратное ,
при котором 𝑚′ > 𝑀′ = 𝑀′ ;

∴ 𝑀′ не > 𝑚′ ,

но 𝑀 ′ > 𝑚′ ,
поскольку 𝑚′ , первое кратное,
которое > 𝑀′ , в то время как
(𝑚′ − 1) или 𝑚′ − не > 𝑀′ ,

∴ 𝑚′ − + должна быть < 𝑀′ + 𝑀′ ;

то есть, 𝑚′ должна быть < 𝑀′ ;

∴ 𝑀′ > 𝑚′ , но, как было показано выше,

𝑀′ не > 𝑚′ , следовательно (опр. 5.7)


КНИГА V ПРЕДЛ. VIII. ТЕОРЕМА 195

имеет к большее отношение, чем : .

Теперь докажем, что у большее отношение к

меньшей величине , чем к большей ,

или, : > : .

Возьмем 𝑚′ , 𝑀 ′ , 𝑚′ и 𝑀 ′ ,
как и в первом случае такие, что
𝑀′ и 𝑀′ будут обе > , и 𝑚′ будет
наименьшим кратным , которое
становится больше 𝑀′ = 𝑀′ .

∴ 𝑚′ − не > 𝑀 ′ ,
и не > 𝑀′ , следовательно
𝑚′ − + < 𝑀′ + 𝑀′ ;

∴ 𝑚′ < 𝑀′ , и ∴ (опр. 5.7), имеет к

большее отношение, чем к .

∴ Из неравных величин… и т. д.

Инструмент, использованный в этом предло-


жении для нахождения среди кратностей вели-
чин, взятых как в пятом определении, таких, при
которых певая больше кратной второй, но такая
же кратная третьей, как была взята первой, не
больше такой же кратной четвертой, какая была
взята второй, может быть проиллюстрирована
численно так:
196 КНИГА V ПРЕДЛ. VIII. ТЕОРЕМА

Число 9 имеет большее отношение к 7, чем 8


к 7, то есть 9 : 7 > 8 : 7, или 8 + 1 : 7 > 8 : 7.
Кратное 1, которое первым становится боль-
ше 7 это 8 раз, следовательно, мы можем умно-
жить первое и третье на 8, 9, 10 или любое другое
число, в данном случае умножим первое и тре-
тье на 8 и получим 64 + 8 и 64, теперь первое
кратное 7, которое больше 64 это 10 раз, теперь,
умножая второе и четвертое на 10 получим 70 и
70, теперь, расположив эти кратные получим
8 раз 10 раз 8 раз 10 раз
первое второе третье четвертое
64 + 8 70 64 70

Следовательно 64 + 8, или 72 больше чем


70, но 64 не больше чем 70, ∴ (опр. 5.7) 9 имеет
большее отношение к 7, чем 8 к 7.
Приведенное выше — всего лишь иллюстра-
ция к дальнейшей демонстрации, так как это
свойство можно легко показать как для этих,
так и для других чисел следующим образом: по-
скольку, если предыдущее содержит последую-
щее большее число раз, чем другое предыдущее
содержит свое последующее, или составленная
дробь с предыдущим в качестве числителя и по-
следующим в качестве знаменателя больше дру-
гой дроби, составленной из другого предыдуще-
го в качестве числителя и его последующего в ка-
честве знаменателя, отношение первого предыд-
щего к его последующему больше, чем отноше-
ние второго предыдущего к его последующему.
КНИГА V ПРЕДЛ. VIII. ТЕОРЕМА 197

Так, отношение числа 9 к числу 7 больше от-


ношения числа 8 к числу 7, поскольку 79 больше
чем 78 .
Теперь, 17 : 19 большее отношение, чем 13 :
15, поскольку 17 17×15 255 13 13×19
19 = 19×15 = 185 , и 15 = 15×19 =
247 255 247
185 , отсюда очевидно, что 185 больше чем 185 , ∴
17 13
19 больше чем 15 , и, согласно показанному выше,
17 имеет к 19 большее отношение, чем 13 к 15.
В общем виде это можно выразить так:
𝐴 𝐶
Если 𝐵 больше 𝐷 , говорят, что 𝐴 имеет к 𝐵
𝐴 𝐶
большее отношение, чем 𝐶 к 𝐷. Если 𝐵 равно 𝐷 ,
то 𝐴 имеет к 𝐵 такое же отношение, как 𝐶 к 𝐷.
𝐴 𝐶
И если 𝐵 меньше чем 𝐷 , говорят, что 𝐴 имеет к
𝐵 меньшее отношение, чем 𝐶 к 𝐷.
Учащийся должен в совершенстве освоить
все, до этого предложения, прежде чем двигать-
ся дальше, чтобы хорошо понять последующие
предложения этой книги. Так что мы советуем
учащемуся медленно перечитать все снова, тща-
тельно осмыслить каждый шаг в процессе, и осо-
бо предостерегаем от порочной практики пола-
гаться исключительно на память. Следуя этим
указаниям, он найдет части, обычно представля-
ющие значительные трудности, совсем неслож-
ными, продолжая изучение этой книги.
198 КНИГА V ПРЕДЛ. IX. ТЕОРЕМА

еличины, имеющие одинаковое отноше-


ние к одному и тому же, равны между со-
бой, и те, к которым одно и то же имеет
равные отношения, также равны.

Пусть : :: : , тогда = .

Поскольку, если нет, пусть > ,


тогда : > : (пр. 5.8), что
невозможно, поскольку противоречит гипотезе.
∴ не > .

Таким же образом можно показать, что


не > ,
∴ = .

Теперь, пусть : :: : ,
тогда = .

Поскольку (перевернув) : :: : ,
следовательно, как и впервом случае, = .
∴ Величины, имеющие
одинаковое отношение... и т. д.

Иначе это можно показать так:


Пусть 𝐴 : 𝐵 = 𝐴 : 𝐶 , тогда 𝐵 = 𝐶 , посколь-
𝐴 𝐴
ку, в виде дробей 𝐵 = 𝐶 , и числитель одного
равен числителю другого, следовательно, знаме-
натели этих дробей равны, то есть 𝐵 = 𝐶 .
Теперь, если 𝐵 : 𝐴 = 𝐶 : 𝐴, 𝐵 = 𝐶 . Посколь-
ку 𝐴 = 𝐶
𝐵
𝐴 , 𝐵 должна быть = 𝐶 .
КНИГА V ПРЕДЛ. X. ТЕОРЕМА 199

з величин, имеющих отношение к одному


и тому же, больше та, которая имеет
большее отношение, а та, к которой одно
и то же имеет большее отношение, является мень-
шей из двух.

Пусть : > : , тогда > .

Поскольку, если нет, пусть = или < ,


тогда : = : (пр. 5.7)
или : < : (пр. 5.8) и
(перевернув), что противоречит гипотезе.

∴ не = или < ,
и∴ должна быть > .

Теперь, пусть : > : ,


тогда < .

Поскольку, если нет,


должна быть > или = ,
тогда : < : (пр. 5.8) и (перевернув),
или : = : (пр. 5.7),
что противоречит гипотезе.

∴ не > или = ,
и∴ должна быть < .

∴ Из величин, имеющих… и т. д.
200 КНИГА V ПРЕДЛ. XI. ТЕОРЕМА

тношения, тождественные одному и


тому же, тождественны и друг другу.

Пусть : = : и : = : ,
тогда : = : .

Поскольку если 𝑀 >, = или < 𝑚 ,


то 𝑀 >, = или < 𝑚 ,
и если 𝑀 >, = или < 𝑚 ,
то 𝑀 >, = или < 𝑚 (опр. 5.5);

∴ if 𝑀 >, = или < 𝑚 ,


𝑀 >, = или < 𝑚
и ∴ (опр. 5.5) : = : .

∴ Отношения, тождественные
между собой… и т. д.
КНИГА V ПРЕДЛ. XII. ТЕОРЕМА 201

сли несколько величин пропорциональны,


то как одна из предыдущих будет отно-
ситься к последующей, так и все вместе
предыдущие будут относиться ко всем вместе по-
следующим.

Пусть
: = : = : = : = : ,
тогда : = + + + + :
+ + + + .

Поскольку если 𝑀 > 𝑚 , то 𝑀 >𝑚 ,


и𝑀 > 𝑚 ,𝑀 > 𝑚 ,
а также 𝑀 > 𝑚 (опр. 5.5)

Следовательно, если 𝑀 >𝑚 ,


то 𝑀 +𝑀 +𝑀 + 𝑀 + 𝑀 , или
𝑀( + + + + ) будет больше,
чем 𝑚 + 𝑚 +𝑚 +𝑚 +𝑚 ,
или 𝑚( + + + + ).

Так же можно показать, что если 𝑀 раз одно


из предыдущих равно или меньше чем 𝑚 раз
одно из последующих, 𝑀 раз все предыдущие
будут равны или меньше, чем 𝑚 раз все после-
дующие вместе. Следовательно (опр. 5.5), как од-
но из предыдущих к последующему, так и все
предыдущие ко всем последующим вместе.
∴ Если несколько величин… и т. д.
202 КНИГА V ПРЕДЛ. XIII. ТЕОРЕМА

сли первая величина ко второй имеет


такое же отношение, как третья к чет-
вертой, а третья к четвертой имеет
большее отношение, чем пятая к шестой, то и пер-
вая ко второй будет иметь большее отношение, чем
пятая к шестой.

Пусть : = : ,
но : > : ,
тогда : > : .

Поскольку : > : ,
есть такие кратные (𝑀 и 𝑚 )
′ ′

величин и , и величин и ,
что 𝑀 ′ > 𝑚′ ,
но 𝑀′ не > 𝑚′ (опр. 5.7).

Возьмем эти кратные и возьмем


такие же кратные и .

∴ (опр. 5.5) если 𝑀′ >, =, или < 𝑚′ ;


то 𝑀′ >, =, и < 𝑚′ ,
но 𝑀′ > 𝑚′ (постр.);

∴ 𝑀′ > 𝑚′ ,
но 𝑀′ не > 𝑚′ (постр.);
и следовательно(опр. 5.7),
: > :

∴ Если первая величина ко второй… и т. д.


КНИГА V ПРЕДЛ. XIV. ТЕОРЕМА 203

сли первая величина имеет ко второй


такое же отношение, какое третья к
четвертой, то если первая больше тре-
тьей, то и вторая будет больше четвертой, а если
равна, равна, а если меньше, то меньше.

Пусть : :: : ,
и предположим, что > , тогда > .
Поскольку : > : (пр. 5.8), и,
согласно гипотезе, : = : ;
∴ : > : (пр. 5.13),
∴ < (пр. 5.10), или > .

Теперь, пусть = , тогда = .


Поскольку : = : (пр. 5.7),
и : = : (гип.);
∴ : = : (пр. 5.11),
и∴ = (пр. 5.9).

Теперь же, если < , то < ,


поскольку > и : = : ;
∴ > , как и в предыдущем случае,
то есть < .

∴ Если первая величина


имеет ко второй… и т. д.
204 КНИГА V ПРЕДЛ. XV. ТЕОРЕМА

еличины относятся друг к другу так


же, как и их равнократные.

Пусть будут две величины и ,


тогда : :: 𝑀 ′ : 𝑀′ .

Поскольку : = :
= :
= :
∴ : :: 4 : 4 . (пр. 5.12).

И, поскольку те же рассуждения
применимы в общем, получим:
: :: 𝑀 ′ : 𝑀′ .

∴ Величины относятся друг к другу… и т. д.


КНИГА V ОПРЕДЕЛЕНИЕ XIII 205

Определение XIII
Отношение называют переставленным, когда
есть четыре пропорциональных величины, и
утверждается, что первая относится к третьей
так же, как вторая к четвертой, как показано в
следующем предложении:

Пусть : :: : ,
тогда «переставив» отношение
можем заключить, что
: :: : .

Здесь важно отметить, что величины , ,


, должны быть однородными, то есть в та-
ком случае мы должны сравнивать линии с ли-
ниями, поверхности с поверхностями, тела с те-
лам и т. п. Так, учащийся должен хорошо усво-
ить, что линия с поверхностью, поверхность с
телом и другие разнородные величины не могут
находиться в положении предыдущего и после-
дующего.
206 КНИГА V ПРЕДЛ. XVI. ТЕОРЕМА

сли четыре величины пропорциональны,


то они останутся пропорциональными в
переставленном порядке.

Пусть : :: : ,
тогда : :: : .

Поскольку 𝑀 :𝑀 :: : (пр. 5.15),


и𝑀 :𝑀 :: : (гип. и пр. 5.11),
а также 𝑚 :𝑚 :: : (пр. 5.15);

∴𝑀 :𝑀 :: 𝑚 :𝑚 ,
в таком случае
𝑀 >, =, или < 𝑚 (пр. 5.14);

следовательно (опр. 5.5),


: :: :

∴ Если четыре величины… и т. д.


КНИГА V ОПРЕДЕЛЕНИЕ XVI 207

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

Пусть 𝐴 : 𝐵 :: 𝐶 : 𝐷,
«выделив» заключается
𝐴 − 𝐵 : 𝐵 :: 𝐶 − 𝐷 : 𝐷.

Согласно описанному выше, предполагается,


что 𝐴 больше 𝐵 и 𝐶 больше 𝐷, если бы это было
не так и 𝐵 была бы больше 𝐴, и 𝐷 больше 𝐶 , 𝐵 и
𝐷 можно было бы взять как предыдущие, а 𝐴 и
𝐶 как последующие, «перевернув» отношение.

𝐵 : 𝐴 :: 𝐷 : 𝐶 ;
тогда «выделив,» заключим, что
𝐵 − 𝐴 : 𝐴 :: 𝐷 − 𝐶 : 𝐶
208 КНИГА V ПРЕДЛ. XVII. ТЕОРЕМА

сли величины пропорциональны присо-


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

Пусть + : :: + : ,
тогда : :: : .

Возьмем >𝑚 к каждой добавим 𝑀 ,


тогда получим 𝑀 +𝑀 >𝑚 +𝑀 ,
или 𝑀 ( + ) > (𝑚 + 𝑀 ) ,
но, поскольку
+ : :: + : (гип.),
и 𝑀( + ) > (𝑚 + 𝑀 ) ;
∴ 𝑀( + ) > (𝑚 + 𝑀) (опр. 5.5);
∴𝑀 +𝑀 > 𝑚 +𝑀 ;
∴𝑀 > 𝑚 , вычтя 𝑀 из обеих сторон,
то есть когда 𝑀 > 𝑚 , тогда 𝑀 >𝑚 .

Так же можно доказать, что если


𝑀 = или < 𝑚 , то 𝑀 = или < 𝑚 ;
и∴ : :: : (опр. 5.5)

∴ Если величины пропорциональны


составленные… и т. д.
КНИГА V ОПРЕДЕЛЕНИЕ XV 209

Определение XV
О присоединении говорят, когда есть четыре про-
порциональных величины и утверждается, что
первая вместе со второй относится ко второй,
как третья вместе с четвертой к четвертой.

Пусть 𝐴 : 𝐵 :: 𝐶 : 𝐷; Тогда используя


«присоединение», заключим, что
𝐴 + 𝐵 : 𝐵 :: 𝐶 + 𝐷 : 𝐷

«Перевернув» отношение, можем сделать 𝐵


и 𝐷 первой и третьей, а 𝐴 и 𝐶 кторой и четвер-
той:

𝐵 : 𝐴 :: 𝐷 : 𝐶 ,

тогда, совершив
«присоединение», заключим что
𝐵 + 𝐴 : 𝐴 :: 𝐷 + 𝐶 : 𝐶 .
210 КНИГА V ПРЕДЛ. XVIII. ТЕОРЕМА

сли величины пропорциональны выделен-


ные, то они будут пропорциональны и со-
ставленные. То есть, если первая отно-
сится ко второй, как третья к четвертой, то пер-
вая и вторая вместе будут ко второй, как третья
и четвертая вместе к четвертой.

Пусть : :: : ,
тогда + : :: + : ;

ведь если нет, то + : :: + : ,


полагая, что не = ;

∴ : :: : (пр. 5.17)
но : :: : (гип.);

∴ : :: : (пр. 5.11);

∴ = (пр. 5.9),
что противоречит предположению.

∴ не неравна ;
то есть = ;

∴ + : :: + : .

∴ Если величины пропорциональны


выделенные… и т. д.
КНИГА V ПРЕДЛ. XIX. ТЕОРЕМА 211

сли целая величина относится к целой


так же, как вычтенная из первой к вы-
чтенной из второй, то и остаток будет
относиться как остатку как целая к целой.

Пусть + : + :: : ,
тогда : :: + : + ,

Поскольку + : :: + :
(перестав.),

∴ : :: : (выдел.),

теперь : :: : (перестав.),

но + : + :: : (гип.),

следовательно
: :: + : + (пр. 5.11).

∴ Если целая величина


относится к целой… и т. д.

Определение XVII
О «конверсии», говорят, когда есть четыре про-
порциональных величины и утверждается, что
первая к избытку первой над второй относится
также, как третья к избытку третьей над четвер-
той. См. следующее предложение.
212 КНИГА V ПРЕДЛ. E. ТЕОРЕМА

сли четыре величины пропорциональны,


они также пропорциональны если совер-
шить конверсию, то есть первая к избыт-
ку над второй относится также как третья к ее
избытку над четвертой.

Пусть : :: : ,
тогда : :: : ,

Поскольку : :: : ;
следовательно : :: : (выдел.),

∴ : :: : (перевер.),

∴ : :: : (конвер.).

∴ Если четыре величины… и т. д.

Определение XVIII
Говорят, «По равенству», когда есть более двух
величин и столько же других величин таких, что
они пропорциональны, есть брать по две из каж-
дого ряда, и утверждается, что первая к послед-
ней из первого ряда величин относится так же,
как первая к последней из второго ряда.
КНИГА V ОПРЕДЕЛЕНИЕ XIX 213

Определение XIX
Термин «по равенству» используется сам по се-
бе, когда первая величина относится ко второй
из первого ряда как первая ко второй из второго
ряда и когда вторая к третьей из первого отно-
сится как вторая к третьей из второго и так далее,
и делается утверждение, такое, как упомянуто в
предыдущем определении.

Таким образом, если есть два ряда величин,


𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹 , первый,
и 𝐿, 𝑀 , 𝑁 , 𝑂, 𝑃 , 𝑄, второй,
таких, что 𝐴 : 𝐵 :: 𝐿 : 𝑀 , 𝐵 : 𝐶 :: 𝑀 : 𝐵,
𝐶 : 𝐷 :: 𝑁 : 𝑂, 𝐷 : 𝐸 :: 𝑂 : 𝑃 , 𝐸 : 𝐹 :: 𝑃 : 𝑄;
мы используем понятие «по равенству»,
чтобы заключить, что 𝐴 : 𝐹 :: 𝐿 : 𝑄
214 КНИГА V ОПРЕДЕЛЕНИЕ XX

Определение XX
«По равенству в перемешанной пропорции» го-
ворят, когда первая величина ко второй в первом
ряду относится как последняя к предпоследней
во втором ряду, вторая к третьей в первом ря-
ду как пред-предпоследняя к предпоследней во
втором, третья к четвертой в первом как четвер-
тая с конца к пред-предпоследней во втором и
так далее, и утверждается то же, что и в опр. 5.12.
Это иллюстрируется в пр. 5.23.

Так, если есть два ряда величин,


𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹 , первый,
и 𝐿, 𝑀 , 𝑁 , 𝑂, 𝑃 , 𝑄, второй,
таких, что 𝐴 : 𝐵 :: 𝑃 : 𝑄, 𝐵 : 𝐶 :: 𝑂 : 𝑃 ,
𝐶 : 𝐷 :: 𝑁 : 𝑂, 𝐷 : 𝐸 :: 𝑀 : 𝑁 , 𝐸 : 𝐹 :: 𝐿 : 𝑀 ;
используя понятие «по равенству
в перемешанной пропорции» мы
утверждаем, что 𝐴 : 𝐹 :: 𝐿 : 𝑄
КНИГА V ПРЕДЛ. XX. ТЕОРЕМА 215

сли есть три величины и другие три, ко-


торые, взятые попарно, будут иметь те
же отношения, то если первая больше
третьей, то и четвертая будет больше шестой, ес-
ли равны, то равны, а если меньше, то меньше.

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

Тогда если >, =, или < ,


то >, =, или < .

Исходя из гипотезы и переставив получим


: :: : ,
и : :: :

∴ : :: : (пр. 5.11).

∴ если >, =, или < ,


тогда >, =, или < (пр. 5.14).

∴ Если есть три величины… и т. д.


216 КНИГА V ПРЕДЛ. XXI. ТЕОРЕМА

сли есть три величины и другие три, с


одинаковыми отношениями, если брать
по две из каждого ряда, но в противопо-
ложном порядке, тогда, если первая величина боль-
ше третьей, четвертая будет больше шестой, если
равны, то равны, а если меньше, то меньше.

Пусть , , , будут
первыми тремя величинами,
а , , , другими тремя,
такими, что : :: : ,
и : :: : .

Тогда, если >, =, или < ,


то >, =, или < .

Допустим > ,
тогда, поскольку любая другая величина,
: > : (пр. 5.8);
но : :: : (гип.);
∴ : > : (пр. 5.13),
и, поскольку : :: : (гип.);
∴ : :: : (перев.),
и было показано, что : > : ,
∴ : > : (пр. 5.13);
∴ < ,
то есть > .

Теперь, пусть = ; тогда = .


Поскольку = ,
: = : (пр. 5.7);
КНИГА V ПРЕДЛ. XXI. ТЕОРЕМА 217

но : = : (гип.),
и : = : (гип. и перев.),
∴ : = : (пр. 5.11),
∴ = (пр. 5.9).

И теперь, пусть < , тогда < ;


поскольку > ,
и было показано, что : = : ,
и : = : ;
∴ как в первом случае > ,
то есть < .

∴ Если есть три величины… и т. д.


218 КНИГА V ПРЕДЛ. XXII. ТЕОРЕМА

сли есть любое количество величин и


столько же других величин, которые взя-
тые по две из каждого ряда по порядку
имеют равные отношения, то первые, первая будут
иметь к последней среди первых величин такое же
отношение, как первая к последнией среди вторых.
Это обычно обозначается словами «по равенству».

Пусть будут величины , , ,


и столько же других величин , , ,
таких, что
: :: : ,
и : :: : ,
тогда : :: : .

Пусть эти величины и их равнократные,


предыдущих или последующих в отношениях,
расположены так:

, ,, , , ,
и
𝑀 ,𝑚 ,𝑁 ,𝑀 ,𝑚 ,𝑁 ,
поскольку : :: : ,
∴𝑀 :𝑚 :: 𝑀 :𝑚 (пр. 5.4).

По той же причине
𝑚 :𝑁 :: 𝑚 :𝑁 ;
и поскольку есть три величины
𝑀 ,𝑚 ,𝑁 ,
и другие три, 𝑀 , 𝑚 , 𝑁 ,
КНИГА V ПРЕДЛ. XXII. ТЕОРЕМА 219

которые взятые по две из каждого


ряда имеют равные отношения,

∴ если 𝑀 >, = или < 𝑁


то 𝑀 >, = или < 𝑁 (пр. 5.20),
и∴ : :: : (опр. 5.5).

Теперь, допустим, есть четыре


величины , , , ,
и другие четыре , , , ,
которые взятые по две из каждого
ряда имеют равные отношения
то есть : :: : ,
: :: : ,
и : :: : ,
тогда : :: : ;
поскольку , , это три величины,
и , , другие три,
которые взятые по две из каждого
ряда имеют равные отношения,
следовательно, как и в предыдущем
случае : :: : ,
но : :: : ;
значит опять, как в предыдущем
случае : :: : ,
и так далее, сколько есть величин

∴ Если есть любое количество величин… и т. д.


220 КНИГА V ПРЕДЛ. XXIII. ТЕОРЕМА

сли есть любое число величин и столько


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

Пусть будут величины , , ,


и другие три, , , ,
которые, взятые по две в противоположном
порядке имеют равные отношения,

то есть : :: : ,
и : :: : ,
тогда : :: : .

Пусть эти величины и их соответствующие


равнократные будут расположены так:

, , , , , ,
𝑀 ,𝑀 ,𝑚 ,𝑀 ,𝑚 ,𝑚 ,
тогда : :: 𝑀 :𝑀 (пр. 5.15);
и по той же причине
: :: 𝑚 : 𝑚 ;
но : :: : (гип.),
∴𝑀 :𝑀 :: : (пр. 5.11);
и поскольку : :: : (гип.),
∴𝑀 :𝑚 :: 𝑀 :𝑚 (пр. 5.4);
тогда, поскольку есть три величины
КНИГА V ПРЕДЛ. XXIII. ТЕОРЕМА 221

𝑀 ,𝑀 ,𝑚 ,
и другие три 𝑀 , 𝑚 , 𝑚 ,
которые, взятые по две в противоположном
порядке имеют равные отношения,
значит, если 𝑀 >, =, или < 𝑚 ,
то 𝑀 >, =, или < 𝑚 (пр. 5.21),
и∴ : :: : (опр. 5.5).

Теперь, пусть будет четыре величины,


, , , ,
и другие четыре,
, , , ,
которые, взятые по две в противоположном
порядке, имеют равные отношения,
а именно, : :: : ,
: :: : ,
и : :: : ,
получим : :: : .
Поскольку , , три величины,
и , , , другие три,
которые взятые по две в противоположном
порядке имеют равные отношения,
значит, как в первом случае, : :: : ,
но : :: : ,
значит, опять как в первом слчае,
: :: : ;
и так далее для любого количества величин.

∴ Если есть любое количество величин… и т. д.


222 КНИГА V ПРЕДЛ. XXIV. ТЕОРЕМА

сли первая величина ко второй имеет


такое же отношение, как третья к чет-
вертой, а пятая ко второй, такое же как
шестая к четвертой, то первая и пятая вместе ко
второй будут иметь такое же отношение, как тре-
тья с шестой вместе к четвертой.

первая вторая третья четвертая

пятая шестая

Пусть : :: : ,
и : :: : ,
то + : :: + : .

Поскольку : :: : (гип.),
и : :: : (гип. и перев.),

∴ : :: : (пр. 5.22);
и, поскольку величины пропорциональны,
они будут пропорциональны
и если их присоединить:

∴ + : :: + : (пр. 5.18),
но : :: : (гип.),

∴ + : :: + : (пр. 5.22)

∴ Если первая величина ко второй… и т. д.


КНИГА V ПРЕДЛ. XXV. ТЕОРЕМА 223

сли четыре величины пропорциональны,


то наибольшая и наименьшая из них вме-
сте больше других двух.

Пусть четыре величины


+ , + , ,и ,
будут пропорциональными

+ : + :: : ,
и пусть + будет наибольшей
из четырех, следовательно, согласно
пр. 5.A и пр. 5.14, наименьшей.
Тогда + + > + + ,
поскольку + : + :: : ,

∴ : :: + : + (пр. 5.19),
но + > + (гип.),

∴ > (пр. 5.A);


к каждой добавим + ,
∴ + + > + + .

∴ Если четыре величины… и т. д.


224 КНИГА V ОПРЕДЕЛЕНИЕ X

Определение X
Когда три величины пропорциональны, говорят,
что первая имеет к третьей двойное отношение
первой ко второй.
Например, если 𝐴, 𝐵, 𝐶 пропорциональны,
то есть 𝐴 : 𝐵 :: 𝐵 : 𝐶 , то говорят, что 𝐴, к 𝐶
имеет двойное отношение 𝐴 : 𝐵;

𝐴 𝐴
или = квадрату .
𝐶 𝐵
Это яснее видно на таких количествах, как
𝑎𝑟 2 , 𝑎𝑟, 𝑎, поскольку 𝑎𝑟 2 : 𝑎𝑟 :: 𝑎𝑟 : 𝑎;

𝑎𝑟 2 𝑎𝑟 2
и = 𝑟 2 = квадрату =,
𝑎 𝑎𝑟
или 𝑎, 𝑎𝑟, 𝑎𝑟 2 ;
𝑎 1 𝑎 1
поскольку 2 = 2 = квадрату = .
𝑎𝑟 𝑟 𝑎𝑟 𝑟

Определение XI
Когда четыре величины пропорциональны, го-
ворят, что первая к четвертой имеет тройное
отношение первой ко второй. Таким же образом
можно получить четверное отношение и т. д.
Например, пусть 𝐴, 𝐵, 𝐶 , 𝐷, будут пропор-
циональны, то есть 𝐴 : 𝐵 :: 𝐵 : 𝐶 :: 𝐶 : 𝐷, тогда
говорят, что 𝐴 имеет к 𝐷 тройное отношение 𝐴
к 𝐵;

𝐴 𝐴
или = кубу .
𝐷 𝐵
КНИГА V ОПРЕДЕЛЕНИЕ XI 225

Это определение лучше понять и прилод-


жить к более чем четырем пропорциональным
величинам так:

Пусть 𝑎𝑟 3 , 𝑎𝑟 2 , 𝑎𝑟, 𝑎 будут четырьмя


пропорциональными величинами, то
есть 𝑎𝑟 3 : 𝑎𝑟 2 :: 𝑎𝑟 2 : 𝑎𝑟 :: 𝑎𝑟 : 𝑎,
𝑎𝑟 3 𝑎𝑟 3
тогда = 𝑟 3 = кубу 2 = 𝑟.
𝑎 𝑎𝑟
Или пусть 𝑎𝑟 5 , 𝑎𝑟 4 , 𝑎𝑟 3 , 𝑎𝑟 2 , 𝑎𝑟, 𝑎 будут ше-
стью пропорциональными величинами, то есть

𝑎𝑟 5 : 𝑎𝑟 4 :: 𝑎𝑟 4 : 𝑎𝑟 3 :: 𝑎𝑟 3 :
𝑎𝑟 2 :: 𝑎𝑟 2 : 𝑎𝑟 :: 𝑎𝑟 : 𝑎,
тогда отношение
𝑎𝑟 5 𝑎𝑟 5
= 𝑟 5 = пятой степени 4 = 𝑟.
𝑎 𝑎𝑟
Или пусть 𝑎, 𝑎𝑟, 𝑎𝑟 2 , 𝑎𝑟 3 , 𝑎𝑟 4 , будут пятью
𝑎 1
пропорциональными величинами 4 = 4 =
𝑎𝑟 𝑟
𝑎 1
четвертой степени = .
𝑎𝑟 𝑟

Определение A
Чтобы понять составное отношение:
Когда есть любое количество однородных ве- 𝑨𝑩𝑪𝑫
личин, говорят, что первая имеет к последней 𝑬𝑭 𝑮𝑯𝑲𝑳
составное отношение из отношения первой ко 𝑴𝑵
второй, второй к третьей, третьей к четвертой
и так далее до последней величины. Например,
если 𝐴, 𝐵, 𝐶, 𝐷 будут четырьмя однородными
величинами, можно сказать, что первая 𝐴 име-
226 КНИГА V ОПРЕДЕЛЕНИЕ A

ет к последней 𝐷 отношение, составленное из


отношений 𝐴 к 𝐵, 𝐵 к 𝐶 , и 𝐶 к 𝐷.
И если 𝐴 к 𝐵 относится так же, как 𝐸 к 𝐹 , и 𝐵
к 𝐶 как 𝐺 к 𝐻 , и 𝐶 к 𝐷, в то же время, как 𝐾 к 𝐿,
то, по данному определению, можно сказать, что
𝐴 имеет к 𝐷 составное отношение из отношений
таких же, как 𝐸 к 𝐹 , 𝐺 к 𝐻 , и 𝐾 к 𝐿.
Таким же образом, с теми же предпосылка-
ми, если 𝑀 к 𝑁 имеет такое же отношение, как
𝐴 к 𝐷, то для краткости можно сказать, что 𝑀
имеет к 𝑁 составное отношение из отношений
𝐸 к 𝐹 , 𝐺 к 𝐻 , и 𝐾 к 𝐿.
Это определение может быть легче понять
воспользовавшись арифметической или алгебра-
ической иллюстрацией, поскольку, в сущности,
отношение, составленное из нескольких отно-
шений, это не более чем отношение, в котором
предыдущее представляет собой произведение
предыдущих отношений, из которых составлено
составное отношение, а последующее — произ-
ведение последующих.

Так, отношение, составленное из отношений


2 : 3, 4 : 7, 6 : 11, 2 : 5,
будет отношением 2 × 4 × 6 × 2 : 3 × 7 × 11 × 5,
или отношением 96 : 1155 или 32 : 285.

А среди отношений однородных величин


𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹 , отношение 𝐴 : 𝐹 это отноше-
ние, составленное из отношений
КНИГА V ОПРЕДЕЛЕНИЕ A 227

𝐴 : 𝐵, 𝐵 : 𝐶 , 𝐶 : 𝐷, 𝐷 : 𝐸 , 𝐸 : 𝐹 ;
поскольку 𝐴×𝐵×𝐶 ×𝐷×𝐸 : 𝐵×𝐶 ×𝐷×𝐸 ×𝐹 ,
𝐴×𝐵×𝐶 ×𝐷×𝐸 𝐴
или = ,
𝐵×𝐶 ×𝐷×𝐸×𝐹 𝐹
или отношение 𝐴 : 𝐹 .
228 КНИГА V ПРЕДЛ. F. ТЕОРЕМА

тношения, составленные из одних и тех


же отношений одинаковы.

Пусть 𝐴 : 𝐵 :: 𝐹 : 𝐺,
𝐵 : 𝐶 :: 𝐺 : 𝐻 ,
𝐶 : 𝐷 :: 𝐻 : 𝐾 ,
и 𝐷 : 𝐸 :: 𝐾 : 𝐿,

𝑨𝑩𝑪𝑫𝑬 Тогда отношение составленное из 𝐴 : 𝐵, 𝐵 :


𝑭 𝑮𝑯𝑲𝑳 𝐶 , 𝐶 : 𝐷, 𝐷 : 𝐸 , или отношение 𝐴 : 𝐸 , будет
таким же, как составленное из 𝐹 : 𝐺, 𝐺 : 𝐻 ,
𝐻 : 𝐾 , 𝐾 : 𝐿, или отношение𝐹 : 𝐿.

𝐴 𝐹
Поскольку = ,
𝐵 𝐺
𝐵 𝐺
= ,
𝐶 𝐻
𝐶 𝐻
= ,
𝐷 𝐾
𝐷 𝐾
и = ;
𝐸 𝐿
𝐴×𝐵×𝐶 ×𝐷 𝐹 ×𝐺×𝐻 ×𝐾
∴ = ,
𝐵×𝐶 ×𝐷×𝐸 𝐺×𝐻 ×𝐾 ×𝐿
𝐴 𝐹
и∴ = ,
𝐸 𝐿
или отношение 𝐴 : 𝐸 такое же как 𝐹 : 𝐿.

То же можно показать для любого числа от-


ношений расположенных таким образом.

Теперь, пусть 𝐴 : 𝐵 :: 𝐾 : 𝐿,
𝐵 : 𝐶 :: 𝐻 : 𝐾 ,
КНИГА V ПРЕДЛ. F. ТЕОРЕМА 229

𝐶 : 𝐷 :: 𝐺 : 𝐻 ,
и 𝐷 : 𝐸 :: 𝐹 : 𝐺,

Тогда отношение, составленное из отноше-


ний 𝐴 : 𝐵, 𝐵 : 𝐶 , 𝐶 : 𝐷, 𝐷 : 𝐸 , или отношение
𝐴 : 𝐸 , будет таким же, как отношение составлен-
ное из отношений 𝐾 : 𝐿, 𝐻 : 𝐾 , 𝐺 : 𝐻 , 𝐹 : 𝐺,
или отношение 𝐹 : 𝐿.
𝐴 𝐾
Поскольку = ,
𝐵 𝐿
𝐵 𝐻
= ,
𝐶 𝐾
𝐶 𝐺
= ,
𝐷 𝐻
𝐷 𝐹
и = ;
𝐸 𝐺
𝐴×𝐵×𝐶 ×𝐷 𝐾 ×𝐻 ×𝐺×𝐹
∴ = ,
𝐵×𝐶 ×𝐷×𝐸 𝐿×𝐾 ×𝐻 ×𝐺
𝐴 𝐹
и∴ = ,
𝐸 𝐿
или отношение 𝐴 : 𝐸 такое
же как отношение 𝐹 : 𝐿.

∴ Отношения, составленные… и т. д.
230 КНИГА V ПРЕДЛ. G. ТЕОРЕМА

сли несколько отношений такие же, как


несколько других отношений, каждое к
каждому, то отношение, составленное
из отношений, таких же, как первые, каждое к каж-
дому, будет таким же, как отношение, составлен-
ное из отношений, таких же как вторые, каждое к
каждому.

𝐴 𝐵 𝐶 𝐷 𝐸 𝐹 𝐺 𝐻 𝑃 𝑄 𝑅 𝑆 𝑇
𝑎 𝑏 𝑐 𝑑 𝑒 𝑓 𝑔 ℎ 𝑉 𝑊 𝑋 𝑌 𝑍

Если 𝐴 : 𝐵 :: 𝑎 : 𝑏 и 𝐴 : 𝐵 :: 𝑃 : 𝑄 и 𝑎 : 𝑏 :: 𝑉 : 𝑊
𝐶 : 𝐷 :: 𝑐 : 𝑑 𝐶 : 𝐷 :: 𝑄 : 𝑅 𝑐 : 𝑑 :: 𝑊 : 𝑋
𝐸 : 𝐹 :: 𝑒 : 𝑓 𝐸 : 𝐹 :: 𝑅 : 𝑆 𝑒 : 𝑓 :: 𝑋 : 𝑌
и 𝐺 : 𝐻 :: 𝑔 : ℎ 𝐺 : 𝐻 :: 𝑆 : 𝑇 𝑓 : ℎ :: 𝑌 : 𝑍

тогда 𝑃 : 𝑇 = 𝑉 : 𝑍 .
𝑃 𝐴 𝑎 𝑉
Поскольку = = =
𝑄 𝐵 𝑏 𝑊
𝑄 𝐶 𝑐 𝑊
= = =
𝑅 𝐷 𝑑 𝑋
𝑅 𝐸 𝑒 𝑋
= = =
𝑆 𝐹 𝑓 𝑌
𝑆 𝐺 𝑔 𝑌
= = =
𝑇 𝐻 ℎ 𝑍
𝑃 ×𝑄×𝑅×𝑆 𝑉 ×𝑊 ×𝑋×𝑌
и∴ = ,
𝑄×𝑅×𝑆×𝑇 𝑊 ×𝑋×𝑌 ×𝑍
𝑃 𝑉
и∴ = , или 𝑃 : 𝑇 = 𝑉 : 𝑍 .
𝑇 𝑍
∴ Если несколько отношений… и т. д.
КНИГА V ПРЕДЛ. H. ТЕОРЕМА 231

сли отношение, составленное из несколь-


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

Пусть 𝐴 : 𝐵, 𝐵 : 𝐶 , 𝐶 : 𝐷, 𝐷 : 𝐸 , 𝐸 : 𝐹 , 𝑨𝑩𝑪𝑫𝑬𝑭 𝑮𝑯
𝐹 : 𝐺, 𝐺 : 𝐻 , будут первыми отношениями и 𝑷 𝑸𝑹𝑺𝑻 𝑿
𝑃 : 𝑄, 𝑄 : 𝑅, 𝑅 : 𝑆 , 𝑆 : 𝑇 , 𝑇 : 𝑋 вторыми отно-
шениями; также пусть 𝐴 : 𝐻 , составленное из
первых отношений будет таким же, как 𝑃 : 𝑋 ,
составленное вторых отношений, и пусть отно-
шение 𝐴 : 𝐸 , составленное из отношений 𝐴 : 𝐵,
𝐵 : 𝐶 , 𝐶 : 𝐷, 𝐷 : 𝐸 будет таким же, как 𝑃 : 𝑅,
составленное из отношений 𝑃 : 𝑄, 𝑄 : 𝑅.
Тогда отношение, составленное из оставших-
ся отношений, то есть отношение, составленное
из отношений 𝐸 : 𝐹 , 𝐹 : 𝐺, 𝐺 : 𝐻 , то есть от-
ношение 𝐸 : 𝐻 , будет таким же, как отношение
𝑅 : 𝑋 , составленное из оставшихся отношений
𝑅 : 𝑆, 𝑆 : 𝑇 , 𝑇 : 𝑋.
𝐴×𝐵×𝐶 ×𝐷×𝐸×𝐹 ×𝐺
Поскольку =
𝐵×𝐶 ×𝐷×𝐸×𝐹 ×𝐺×𝐻
𝑃 ×𝑄×𝑅×𝑆×𝑇
,
𝑄×𝑅×𝑆×𝑇 ×𝑋
𝐴×𝐵×𝐶 ×𝐷 𝐸×𝐹 ×𝐺
или × =
𝐵×𝐶 ×𝐷×𝐸 𝐹 ×𝐺×𝐻
232 КНИГА V ПРЕДЛ. H. ТЕОРЕМА

𝑃 ×𝑄 𝑅×𝑆×𝑇
× ,
𝑄×𝑅 𝑆×𝑇 ×𝑋

𝐴×𝐵×𝐶 ×𝐷 𝑃 ×𝑄
и =
𝐵×𝐶 ×𝐷×𝐸 𝑄×𝑅

𝐸×𝐹 ×𝐺 𝑅×𝑆×𝑇
∴ = ,
𝐹 ×𝐺×𝐻 𝑆×𝑇 ×𝑋

𝐸 𝑅
∴ = ,
𝐻 𝑋

∴ 𝐸 : 𝐻 = 𝑅 : 𝑋.

∴ Если отношение… и т. д.
КНИГА V ПРЕДЛ. K. ТЕОРЕМА 233

сли есть любое количество отношений


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

ℎ 𝑘 𝑚𝑛 𝑠
𝐴 𝐵, 𝐶 𝐷, 𝐸 𝐹 , 𝐺 𝐻 , 𝐾 𝐿, 𝑀 𝑁 𝑎 𝑏 𝑐 𝑑 𝑒 𝑓 𝑔
𝑂 𝑃 , 𝑄 𝑅, 𝑆 𝑇 , 𝑉 𝑊 , 𝑋 𝑌 ℎ𝑘𝑙𝑚𝑛𝑝
𝑎 𝑏 𝑘 𝑚 𝑒 𝑓 𝑔
Пусть 𝐴 : 𝐵, 𝐶 : 𝐷, 𝐸 : 𝐹 , 𝐺 : 𝐻 , 𝐾 : 𝐿,
𝑀 : 𝑁 , будут первыми отношениями, а 𝑂 : 𝑃 ,
𝑄 : 𝑅, 𝑆 : 𝑇 , 𝑉 : 𝑊 , 𝑋 : 𝑌 , вторыми,
234 КНИГА V ПРЕДЛ. K. ТЕОРЕМА

и пусть 𝐴 : 𝐵 = 𝑎 : 𝑏,
𝐶 : 𝐷 = 𝑏 : 𝑐,
𝐸 : 𝐹 = 𝑐 : 𝑓,
𝐺 : 𝐻 = 𝑑 : 𝑒,
𝐾 : 𝐿 = 𝑒 : 𝑓,
𝑀 : 𝑁 = 𝑓 : 𝑔.
Тогда, соглавно определению составного от-
ношения, отношение 𝑎 : 𝑔 будет составлено из
отношений 𝑎 : 𝑏, 𝑏 : 𝑐, 𝑐 : 𝑑, 𝑑 : 𝑒, 𝑒 : 𝑓 , 𝑓 : 𝑔,
таких же, как отношения 𝐴 : 𝐵, 𝐶 : 𝐷, 𝐸 : 𝐹 ,
𝐺 : 𝐻 , 𝐾 : 𝐿, 𝑀 : 𝑁 , каждое к каждому.

Также, 𝑂 : 𝑃 = ℎ : 𝑘,
𝑄 : 𝑅 = 𝑘 : 𝑙,
𝑆 : 𝑇 = 𝑙 : 𝑚,
𝑉 : 𝑊 = 𝑚 : 𝑛,
𝑋 : 𝑌 = 𝑛 : 𝑝,
Тогда отношение ℎ : 𝑝 будет составлено из
отношений ℎ : 𝑘, 𝑘 : 𝑙, 𝑙 : 𝑚, 𝑚 : 𝑛, 𝑛 : 𝑝, таких
же, как 𝑂 : 𝑃 , 𝑄 : 𝑅, 𝑆 : 𝑇 , 𝑉 : 𝑊 , 𝑋 : 𝑌 , каждое
к каждому.

∴ согласно гипотезе, 𝑎 : 𝑔 = ℎ : 𝑝.

Теперь, пусть отношение, составленное из от-


ношений 𝐴 : 𝐵, 𝐶 : 𝐷, двух первых отношения
(или отношения 𝑎 : 𝑐, поскольку 𝐴 : 𝐵 = 𝑎 : 𝑏, и
𝐶 : 𝐷 = 𝑏 : 𝑐), будет таким же, как отношение
𝑎 : 𝑑, состаавленное из отношений 𝑎 : 𝑏, 𝑏 : 𝑐,
КНИГА V ПРЕДЛ. K. ТЕОРЕМА 235

𝑐 : 𝑑, таких же, как отношения 𝑂 : 𝑃 , 𝑄 : 𝑅,


𝑆 : 𝑇 , три из вторых.
И пусть будут отношения ℎ : 𝑠, составлен-
ное из отношений ℎ : 𝑘, 𝑘 : 𝑚, 𝑚 : 𝑛, 𝑛 : 𝑠,
таких же, как оставшиеся из первых, а именно
𝐸 : 𝐹 , 𝐺 : 𝐻 , 𝐾 : 𝐿, 𝑀 : 𝑁 , и отношение 𝑒 : 𝑔,
составленное из отношения 𝑒 : 𝑓 , 𝑓 : 𝑔, таких
же, как оставшиеся из вторых, а именно 𝑉 : 𝑊 ,
𝑋 : 𝑌 . Тогда отношение ℎ : 𝑠 будет таким же,
как отношение 𝑒 : 𝑔, или ℎ : 𝑠 = 𝑒 : 𝑔.
𝐴×𝐶 ×𝐸×𝐺×𝐾 ×𝑀
Поскольку =
𝐵×𝐷×𝐹 ×𝐻 ×𝐿×𝑁
𝑎×𝑏×𝑐×𝑑×𝑒×𝑓
,
𝑏×𝑐×𝑑×𝑒×𝑓 ×𝑔
𝑂×𝑄×𝑆×𝑉 ×𝑋 ℎ×𝑘×𝑙×𝑚×𝑛
и = ,
𝑃 ×𝑅×𝑇 ×𝑊 ×𝑌 𝑘×𝑙×𝑚×𝑛×𝑝
составлением отношений.
𝑎×𝑏×𝑐×𝑑×𝑒×𝑓 ℎ×𝑘×𝑙×𝑚×𝑛
∴ =
𝑏×𝑐×𝑑×𝑒×𝑓 ×𝑔 𝑘×𝑙×𝑚×𝑛×𝑝
(гип.),

или
𝑎×𝑏 𝑐×𝑑×𝑒×𝑓 ℎ×𝑘×𝑙 𝑚×𝑛
× = × ,
𝑏×𝑐 𝑑×𝑒×𝑓 ×𝑔 𝑘×𝑙×𝑚 𝑛×𝑝
𝑎×𝑏 𝐴×𝐶 𝑂×𝑄×𝑆
но = = =
𝑏×𝑐 𝐵×𝐷 𝑃 ×𝑅×𝑇
𝑎×𝑏×𝑐 ℎ×𝑘×𝑙
= ;
𝑏×𝑐×𝑑 𝑘×𝑙×𝑚
𝑐×𝑑×𝑒×𝑓 𝑚×𝑛
∴ = .
𝑑×𝑒×𝑓 ×𝑔 𝑛×𝑝
𝑐×𝑑×𝑒×𝑓 ℎ×𝑘×𝑙×𝑚×𝑛
И = (гип.),
𝑑×𝑒×𝑓 ×𝑔 𝑘×𝑙×𝑚×𝑛×𝑝
236 КНИГА V ПРЕДЛ. K. ТЕОРЕМА

𝑚×𝑛 𝑒×𝑓
и = (гип.),
𝑛×𝑝 𝑓 ×𝑔

ℎ×𝑘×𝑙×𝑚×𝑛 𝑒𝑓
∴ = ,
𝑘×𝑙×𝑚×𝑛×𝑝 𝑓𝑔

ℎ 𝑒
∴ = ,
𝑠 𝑔
∴ ℎ : 𝑠 = 𝑒 : 𝑔.

∴ Если есть любое количество


отношений… и т. д.
Книга 6

Определения
1
Про прямолинейные фигуры говорят, что они
подобны, когда их углы равны в одном порядке
и стороны при равных углах пропорциональны.

2
Говорят, что две стороны одной фигуры взаимно
пропорциональны двум сторонам другой, когда
одна из сторон первой фигуры относится к дру-
гой, как одна из сторон второй к другой.

3
Говорится, что прямая делится в крайнем и сред-
нем отношении, если как целая к большему от-
резку, так и больший отрезок к меньшему.

4
Высотой фигуры называют перпендикуляр, про-
веденный от вершины к основанию или его про-
должению.
238 КНИГА 6 ПРЕДЛ. I. ТЕОРЕМА

A
реугольники и параллелограммы, име-
ющие одну и ту же высоту относятся
друг к другу как их основания.

A A

M B C D Q

Пусть у треугольников и общая вер- B C C D

B C C D
шина, а их основания и лежат на
одной прямой.
B D
Продлим в обе стороны, возьмем на
C D
продолжении со cтороны линии равные
B C
ей, а со стороны линии равные ей, и про-
ведем линии от вершины к их концам.
A

Треугольники образованные та-


M C

ким образом равны между собой, поскольку рав-


ны их основания (пр. 1.38).
A

∴ M C и его основане соответственно


A

B C
равнократны B C и его основанию .
A

Таким же образом C Q и его основание


КНИГА 6 ПРЕДЛ. I. ТЕОРЕМА 239

соответственно равнократны C D и его основа-


C D
нию .
A

∴ если 𝑚 или 6 раз B C >, = или < 𝑛 или


A

B C
5 раз то 𝑚 или 6 раз
C D >, = или <
C D
𝑛 или 5 раз , 𝑚 и 𝑛 обозначают любые
кратные, взятые как в опр. 5.5. Хотя мы показали
только, что это свойство проявляется, когда 𝑚 =
6 и 𝑛 = 5, но очевидно, что это свойство работает
для любых кратных значений, которые можно
придать 𝑚 и 𝑛.
A A

B C C D
∴ B C : C D :: : (опр. 5.5)

Параллелограммы с той же высотой вдвое


больше треугольников, на тех же основаниях, и
пропорциональны им (часть I), и, поскольку они
вдвое больше, такие параллелограммы относят-
ся как их основания (пр. 5.15).
ч. т. д.
240 КНИГА 6 ПРЕДЛ. II. ТЕОРЕМА

A
сли в треугольнике параллельно одной
B C D E
из сторон проведена прямая ,
то она рассекает две другие стороны на
D E пропорциональные отрезки.
D E
И если прямая делит две стороны треуголь-
ника на пропорциональные сегменты, то она парал-
B C

C
лельна оставшейся стороне .
B
A

Часть I.
D E B C
Пусть ∥ ,
D B A D E C A E
B C тогда : :: : .

D E B E C D
Проведем и ,
D D E E
E D

и = (пр. 1.37);
F
B C

D E A E A
D
B C
∴ : :: :
B D E C D E

(пр. 5.7);
D E A

D B A D
но : :: : (пр. 6.1),
B D E

D B A D E C A E
∴ : :: : (пр. 5.11).
КНИГА 6 ПРЕДЛ. II. ТЕОРЕМА 241

Часть II.
D B A D E C A E
Пусть : :: : .
D E B C
тогда ∥ .

Оставим то же построение,
D A
E

}
поскольку D B
: A D
:: : }
}
B D E }
(пр. 6.1) ;
D
E A ⎬
}
и E C
: A E
:: : }
}
}
C D E ⎭
D B A D E C A E
но : :: : (гип.)
D E A E A
D

∴ : :: :
B D E C D E

D E E
D

(пр. 5.11) ∴ = (пр. 5.9),


B C

но они на одном основании


B C
, и по одну его сторону
D E B C
и∴ ∥ (пр. 1.39).

ч. т. д.
242 КНИГА 6 ПРЕДЛ. III. ТЕОРЕМА

E
A D