Задание 17. Планиметрия: теория

Скачать статью в PDFЗадание 17. Планиметрия: теория.pdf · 4.5 МБ
z17

Углы

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

1. Сумма смежных углов равна \(180^{\circ}\).

\[\angle 1+\angle 2=180^{\circ}\]
angle_1

Биссектрисой угла называется луч, исходящий из вершины угла и делящий этот угол на два равных.

2. Биссектрисы смежных углов перпендикулярны.

angle_2

Два угла называются вертикальными, если стороны одного угла являются продолжениями сторон другого.

3. Вертикальные углы равны.

\[\angle 1=\angle 3\]
\[\angle 2=\angle 4\]
angle_3

Пусть даны две параллельные прямые и их секущая, тогда углы \(1\) и \(5\), \(2\) и \(6\), \(3\) и \(7\), \(4\) и \(8\) называются соответственными, углы \(3\) и \(6\), \(4\) и \(5\) называются накрест лежащими, углы \(3\) и \(5\), \(4\) и \(6\) называются внутренними односторонними.

4. Соответственные углы равны:

\[\angle{1} = \angle{5},\;\;\; \angle{2} = \angle{6},\;\;\; \angle{3} = \angle{7},\;\;\;\angle{4} = \angle{8};\]

Накрест лежащие углы равны:

\[\angle{3} = \angle{6};\;\;\; \angle{4} = \angle{5};\]

Внутренние односторонние углы в сумме дают \(180\) градусов:

\[\angle{3} + \angle{5} = 180^{\circ};\;\;\; \angle{4} + \angle{6} = 180^{\circ}.\]
angle_4

5. Биссектрисы внутренних односторонних углов перпендикулярны.

angle_5

6. Сумма внутренних углов произвольного выпуклого \(n\)-угольника равна \(180^{\circ}\cdot (n-2)\).

Например, если \(n = 6\), то

\[\angle{A_1} + \angle{A_2} + \angle{A_3} + \angle{A_4} + \angle{A_5} + \angle{A_6} = 180^{\circ}\cdot (6-2) = 720^{\circ}.\]
angle_6

Внешним углом многоугольника будем называть угол, смежный внутреннему углу многоугольника.

7. Сумма внешних углов в выпуклом многоугольнике равна \(360^{\circ}\).

angle_7

Треугольники общего вида

1. Сумма внутренних углов треугольника равна \(180^{\circ}\).

triangle_0

2. Первый признак равенства треугольников: по двум сторонам и углу между ними. Если две стороны и угол между ними одного треугольника равны соответственно двум сторонам и углу между ними другого треугольника, то такие треугольники равны.

triangle_10

3. Второй признак равенства треугольников: по стороне и прилежащим к ней углам. Если сторона и прилежащие к ней углы равны соответственно стороне и прилежащим к ней углам другого треугольника, то такие треугольники равны.

triangle_4

Замечание: На самом деле ситуация, в которой один угол прилёг к стороне, а второй – нет, также приводит к равенству треугольников, так как оставшийся угол задаётся однозначно по двум известным.

Ситуация, в которой одна из пар равных углов прилегает к равной стороне, а вторая пара равных углов нет, тоже приводит к равенству треугольников. Действительно, пусть нам даны треугольники \(ABC\) и \(A_1B_1C_1\), причём \(\angle{A} = \angle{A_1}\), \(\angle{B} = \angle{B_1}\), \(AC = A_1C_1\), тогда

\[\angle{C} = 180^{\circ} - (\angle{A} + \angle{B}) = 180^{\circ} - (\angle{A_1} + \angle{B_1}) = \angle{C_1}\;\Longrightarrow\; \angle{C} = \angle{C_1}\]

А значит треугольники равны по второму признаку.

triangle_3

4. Третий признак равенства треугольников: по трем сторонам. Если три стороны треугольника равны соответственно трём сторонам другого треугольника, то такие треугольники равны.

triangle_9

5. Если две стороны и угол напротив одной из сторон первого треугольника соответственно равны двум сторонам и углу второго треугольника, то возможны два варианта:

1) Углы напротив второй стороны равны \(\Longleftrightarrow\) треугольники равны

ravencsto_2

2) Углы напротив второй стороны дополняют друг друга до \(180^{\circ}\) \(\Longleftrightarrow\) треугольники не равны (кроме случая прямоугольного треугольника).

ravencsto_3

Замечание: Покажем, почему в четвёртом признаке равенства треугольников возникает два случая. Пусть длина стороны \(AB\) равна \(a\), длина стороны \(BC\) равна \(b\) и угол при вершине \(C\) равен \(\alpha\). Построим два разных треугольника со сторонами \(a\), \(b\) и углом \(\alpha\): построим угол \(\alpha\) и назовем его вершину \(C\), от вершины \(C\) отложим на одной из сторон угла отрезок, равный по длине \(b\), его концом назовём точку \(B\), через вершину \(B\) проведём окружность радиуса \(a\), которая может пересечь вторую сторону угла в двух точках (назовём их \(A\) и \(A'\)). Тогда отрезки \(AB\) и \(A'B\) имеют длину \(a\), то есть мы получили два не совпадающих треугольника \(ABC\) и \(A'BC\), которые имеют стороны \(a\), \(b\) и угол \(\alpha\). Именно поэтому в первом признаке равенства треугольников речь идёт об угле между сторонами.

ravencsto_1

Два треугольника называются подобными, если их углы соответственно равны, а стороны одного треугольника пропорциональны соответственным сторонам другого треугольника. Число \(k\) равное отношению соответственных сторон подобных треугольников называется коэффициентом подобия.

triangle_13

6. Первый признак подобия двух треугольников: по двум углам. Если два угла одного треугольника соответственно равны двум углам другого треугольника, то такие треугольники подобны.

triangle_11

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

triangle_5

8. Третий признак подобия двух треугольников: по трём пропорциональным сторонам. Если три стороны одного треугольника пропорциональны трём сторонам другого треугольника, то такие треугольники подобны.

triangle_12

9. Площади подобных треугольников относятся как квадрат коэффициента подобия.

triangle_6

10. Теорема о внешнем угле треугольника: внешний угол треугольника равен сумме двух внутренних углов, не смежных с ним.

triangle_7

11. Напротив большей стороны треугольника лежит больший угол: если \(b > a\;\text{и}\; b > c\), то \(\beta\) – больший угол треугольника.

12. Неравенство треугольника: сумма двух любых сторон треугольника всегда больше третьей стороны, то есть:

\[a + b > c,\;\;\; a + c > b,\;\;\; b + c > a.\]
triangle_8

13. Теорема синусов: \(2R=\dfrac{a}{\sin\alpha}=\dfrac{b}{\sin\beta}=\dfrac{c}{\sin\gamma}\), где \(R\) – радиус описанной вокруг треугольника \(ABC\) окружности.

thsin_9

Замечание 1: Чаще всего мы используем теорему синусов для нахождения радиуса описанной окружности.

Замечание 2: А еще мы используем теорему синусов, если знаем в треугольнике два угла и одну сторону и хотим найти еще одну сторону.

14. Теорема косинусов в произвольном треугольнике верны соотношения:

\[a^2=b^2+c^2-2bc\cos\alpha;\]
\[b^2=a^2+c^2-2ac\cos\beta;\]
\[c^2=a^2+b^2-2ab\cos\gamma.\]
thcos_10

Теорема косинусов позволяет:

1) найти одну из сторон треугольника, если известны две другие стороны и угол между ними: \(a = \sqrt{b^2+c^2-2bc\cos\alpha}\);

2) найти угол треугольника, если известны все стороны треугольника: \(\cos\alpha = \dfrac{b^2+c^2-a^2}{2bc}\);

3) найти одну из сторон треугольника, если известные две стороны и угол не между ними с помощью квадратного уравнения (в этом случае решений может быть два): например, если мы знаем стороны \(b\), \(c\) и угол между сторонами \(a\) и \(c\), то сторону \(a\) мы можем найти из уравнения \(a^2 - 2ac\cos\beta + c^2-b^2 = 0\).

Замечание: Теорема Пифагора – это частный случай теоремы косинусов, действительно, если \(c\) – гипотенуза, \(a\), \(b\) – катеты, получаем \(c^2 = a^2 + b^2 - 2ab\cos{90^0} = a^2 + b^2\), так как \(\cos{90^{\circ }} = 0\).

15. Пусть \(c\) – бОльшая сторона треугольника, тогда

\[c^2 = a^2 + b^2 - 2ab\cos{\gamma}\;\Longleftrightarrow\;\cos{\gamma} = \dfrac{a^2 + b^2 - c^2}{2ab}.\]

Знаменатель всегда положителен, поэтому знак косинуса зависит только от числителя:

1) если \(c^2 > a^2 + b^2\), то \(\cos{\gamma} < 0\), значит треугольник тупоугольный;

2) если \(c^2 = a^2 + b^2\), то \(\cos{\gamma} = 0\) треугольник прямоугольный;

3) если \(c^2 < a^2 + b^2\), то \(\cos{\gamma} > 0\), значит угол \(\gamma\) – острый. Так как \(\gamma\) лежит напротив бОльшей стороны, то \(\gamma\) самый большой угол в треугольнике, а значит треугольник остроугольный.

16. Теорема Менелая. Пусть прямая пересекает треугольник \(ABC\), причем \(C'\) – это точка ее пересечения со стороной \(AB\), \(A'\) – точка ее пересечения со стороной \(BC\) и \(B'\) – точка ее пересечения с продолжением стороны \(AC\). Тогда имеет место соотношение:

\[\frac{AC'}{C'B}\cdot\frac{BA'}{A'C}\cdot\frac{CB'}{B'A} = 1.\]

Обратно, пусть точки \(A'\), \(B'\), \(C'\) лежат на сторонах треугольника или на их продолжениях, тогда если верно соотношение

\[\frac{AC'}{C'B}\cdot\frac{BA'}{A'C}\cdot\frac{CB'}{B'A} = 1,\]

то точки \(A'\), \(B'\), \(C'\) лежат на одной прямой.

thmenelay_11

Замечание 1. Теорему очень легко запомнить, используя следующее мнемоническое правило: «Вершина \(\rightarrow\) точка; точка \(\rightarrow\) вершина», т.е. вначале мы выбираем стартовую вершину (в нашем случае это вершина \(A\)) и идем из нее в точку пересечения прямой и стороны треугольника, выходящей из вершины \(A\) (в нашем случае в \(C'\)), из нее во вторую вершину треугольника на этой стороне (в нашем случае \(B\)) и т.д.

Замечание 2. Если бы из \(A\) мы пошли в \(B'\), ничего бы не изменилось. Наша теорема выглядела бы так:

\[\dfrac{AB'}{B'C}\cdot \dfrac{CA'}{A'B}\cdot \dfrac{BC'}{C'A}=1.\]

Чевианой будем называть любой отрезок, соединяющий вершину треугольника с противоположной стороной.

17. Теорема Чевы. Если три чевианы \(AA'\), \(BB'\), \(CC'\), проведённые из разных вершин треугольника, пересекаются в одной точке, то выполнено соотношение:

\[\dfrac{AC'}{C'B}\cdot\dfrac{BA'}{A'C}\cdot\dfrac{CB'}{B'A} = 1.\]

Обратно, если выполнено соотношение

\[\dfrac{AC'}{C'B}\cdot\dfrac{BA'}{A'C}\cdot\dfrac{CB'}{B'A} = 1,\]

то чевианы пересекаются в одной точке.

thceva_12

Замечание. Теорему Чевы можно запомнить ровно так же, как и теорему Менелая: то есть вначале мы выбираем стартовую вершину (в нашем случае это вершина \(A\)) и идем из нее в точку пересечения чевианы и стороны треугольника, выходящей из вершины \(A\) (в нашем случае в \(C'\)), из нее во вторую вершину треугольника на этой стороне (в нашем случае \(B\)) и т.д.

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

18. Если точка равноудалена от концов отрезка, то она лежит на его серединном перпендикуляре.

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

medline_13

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

medline_13_2
medline_13_3

Медианой треугольника называется отрезок, соединяющий вершину треугольника с серединой противоположной стороны.

20. Медианы треугольника пересекаются в одной точке. Точка пересечения медиан делит каждую из них в отношении \(2:1\), считая от вершины треугольника.

mediana_14

Замечание: Данный факт также можно доказать при помощи теоремы Менелая. Возьмём треугольник \(ABB'\) и прямую \(CC'\), тогда по теореме Менелая получим:

\[\dfrac{AC'}{C'B}\cdot\dfrac{BM}{MB'}\cdot\dfrac{B'C}{CA} = 1\;\Longrightarrow\; \dfrac{BM}{MB'}\cdot\dfrac{1}{2} = 1\;\Longrightarrow \dfrac{BM}{MB'} = 2.\]

Биссектрисой называется луч, исходящий из вершины угла и делящий этот угол на два равных угла.

Биссектрисой треугольника называют отрезок биссектрисы одного из углов треугольника, соединяющий вершину треугольника с точкой противоположной стороны.

bissektr_15

21. Точка, лежащая на биссектрисе угла, равноудалена от его сторон.

Обратно, точка, равноудалённая от сторон угла, лежит на биссектрисе этого угла.

bissektr_15_proof

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

bissektr_15_1

Высотой треугольника называется перпендикуляр, опущенный из вершины треугольника на прямую, содержащую противоположную сторону.

23. Высоты треугольника пересекаются в одной точке. Данная точка называется ортоцентром треугольника.

height_16
height_16_1

Калиткой будем называть отрезок, соединяющий вершину угла с точкой касания вписанной в этот угол окружности (это не устоявшийся термин, его не следует использовать на ЕГЭ).

24. Длины калиток любого угла равны.

kalitki_17_1

25. Пусть дан треугольник \(ABC\), \(AB = c\), \(AC = b\), \(BC = a\) и \(p = \dfrac{a+b+c}{2}\). Тогда калитка угла \(A\) имеет длину \(p - a\), калитка угла \(B\) имеет длину \(p - b\) и калитка угла \(C\) имеет длину \(p - c\).

kalitki_17_2

Окружность, которая касается стороны треугольника и продолжений двух его сторон называется вневписанной окружностью треугольника.

kalitki_17_0

26. Пусть дана вневписанная окружность, касающаяся стороны \(BC\) треугольника \(ABC\). Тогда длина калитки угла \(A\) равна \(p\); длина калитки внешнего угла \(C\), равна \(p-b\); длина калитки внешнего угла \(B\), равна \(p-c\).

kalitki_17_3

27. Пусть в четырёхугольник \(ABCD\) можно вписать окружность, тогда

\[AD + BC = AB + CD.\]

Обратно: Если суммы противоположных сторон четырёхугольника равны, то в него можно вписать окружность.

kalitki_17_4

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

29.Обратная теорема Фалеса. Если прямые, пересекающие стороны угла, отсекают на обеих из них равные между собой отрезки, начиная от вершины, то такие прямые параллельны.

thfales_18_1

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

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

thfales_18_2

Замечание: очень важно, что пропорциональные (равные) отрезки должны начинаться от вершины угла, иначе обратные теоремы не будут работать.

thfales_18_3

Равнобедренный треугольник – это треугольник, у которого две стороны равны. Эти стороны называются боковыми, а третья сторона – основанием.

32. Углы при основании равнобедренного треугольника равны. То есть, если

\[AC=BC,\]

то

\[\angle A=\angle B.\]

33. Биссектриса, проведенная из вершины равнобедренного треугольника к основанию, является медианой и высотой.

isosceles_triangle_19_1

Замечание:

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

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

3) Если в треугольнике высота совпадает с биссектрисой, то он равнобедренный.

Замечание: Если углы при основании равны, то треугольник равнобедренный.

34. В равнобедренном треугольнике высоты, медианы и биссектрисы, проведённые из вершин основания, равны.

isosceles_triangle_19_2
isosceles_triangle_19_3isosceles_triangle_19_4

Замечание: Верны и обратные утверждения:

1) Если в треугольнике две медианы равны, то треугольник равнобедренный.

2) Если в треугольнике две высоты равны, то треугольник равнобедренный.

3) Если в треугольнике две биссектрисы равны, то треугольник равнобедренный.

Первые два утверждения очевидны, а третье не имеет простого доказательства и называется теоремой Штейнера-Лемуса.

Прямоугольный треугольник

1. Напротив угла в \(30^{\circ}\) лежит катет, равный половине гипотенузы: если \(\alpha=30^{\circ}\), тогда \(2a=c\).

right_triangle_1

Замечание: Если в прямоугольном треугольнике катет в два раза меньше гипотенузы, то напротив этого катета угол \(30^{\circ}\).

Замечание: Если сторона напротив угла \(30^{\circ}\) вдвое меньше прилежащей к углу стороне, то треугольник прямоугольный (это не школьная теорема).

2. Теорема Пифагора: в прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы:

\[a^2+b^2=c^2.\]

Верно и обратное: Если в треугольнике \(ABC\) со сторонами \(a\), \(b\), \(c\) верно, что

\[a^2 + b^2 = c^2,\]

то угол, лежащий напротив стороны длина которой равна \(c\), равен \(90^{\circ}\).

right_triangle_2

3. Медиана, проведённая к гипотенузе прямоугольного треугольника, равна половине гипотенузы.

Верно и обратное: если в треугольнике одна из медиан равна половине стороны, к которой она проведена, то эта медиана исходит из вершины прямого угла. То есть наш треугольник – прямоугольный.

right_triangle_3

4. Гипотенуза является диаметром, а ее середина – центром окружности, описанной вокруг данного прямоугольного треугольника.

right_triangle_4

5. Рассмотрим прямоугольный треугольник \(ABC\) (угол \(\angle{C}\) – прямой), \(CH\) – высота, тогда треугольники \(ABC\), \(ACH\), \(CBH\) подобны.

right_triangle_5_1

6. Высота прямоугольного треугольника, опущенная на гипотенузу, вычисляется по формуле:

\[h=\dfrac{ab}{c}\;\;\;\text{или}\;\;\;h^2=c_ac_b.\]

Также верны следующие соотношения:

\[c_ac=a^2\;\;\;\text{или}\;\;\;c_bc=b^2,\]

где \(c_a\) и \(c_b\) – проекции катетов на гипотенузу.

right_triangle_5

7. Пусть \(x_a\), \(x_b\), \(x_c\) – соответственные линейные элементы прямоугольных треугольников с гипотенузами \(a\), \(b\), \(c\) соответственно, тогда

\[x^2_a + x^2_b = x^2_c.\]
right_triangle_5

Замечание: Обратите внимание, что это могут быть как отдельные соответственные элементы, так и их линейные комбинации: \(I_a\), \(I_b\), \(I_c\) (центры ); \(p_a\), \(p_b\), \(p_c\); \(r_a + R_a\), \(r_b + R_b\), \(r_c + R_c\) и т.д.

Например, пусть \(p_a\), \(p_b\), \(p_c\) – полупериметры соответственно треугольников \(CBH\), \(ACH\), \(ABC\), тогда \(p^2_a + p^2_b = p^2_c.\)

Если \(r_a\), \(r_b\), \(r_c\) – радиусы вписанных окружностей, \(R_a, R_b, R_c\) – радиусы описанных окружностей треугольников \(CBH\), \(ACH\), \(ABC\), тогда \((r_a + R_a)^2 + (r_b + R_b)^2 = (r_c + R_c)^2\).

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

right_triangle_6

9. Радиус вписанной в прямоугольный треугольник окружности равен

\[r = \dfrac{a+b-c}{2}.\]
right_triangle_7

10. В прямоугольном треугольнике биссектриса прямого угла является также биссектрисой треугольника, образованного высотой, медианой (которые проведены из вершины прямого угла) и отрезком гипотенузы.

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

right_triangle_8

Площади

1. Если \(a\) – длина стороны квадрата, то его площадь можно найти по формуле:

\[S = a^2.\]
area_1

2. Если \(a\) и \(b\) – длины сторон прямоугольника, то его площадь можно найти по формуле:

\[S = ab.\]
area_2

3. Если \(a\) и \(b\) – длины сторон параллелограмма, \(h_a\) и \(h_b\) – длины высот параллелограмма, тогда можно найти его площадь по формулам:

\[S = ah_a = bh_b.\]
area_3

4. Если \(a\) и \(b\) – длины сторон параллелограмма, \(\alpha\) – угол между этими сторонами, тогда мы можем найти площадь параллелограмма по формуле:

\[S = ab\sin\alpha.\]
area_4

5. Если \(a\) – длина стороны треугольника, \(h\) – длина высоты, проведённой к данной стороне, тогда площадь треугольника мы можем найти по формуле:

\[S = \frac{ah}{2}.\]
area_7area_7_1

6. Если \(a\), \(b\) – длины сторон треугольника, \(\alpha\) – угол между этими сторонами, тогда площадь треугольника мы можем найти по формуле:

\[S = \frac{1}{2}ab\sin{\alpha}.\]
area_8

7. Если \(a\) и \(b\) – длины оснований трапеции, \(h\) – длина высота трапеции, то мы можем найти площадь трапеции по формуле:

\[S = \frac{a+b}{2}\cdot h.\]
area_5

8. Если \(d_1\) и \(d_2\) – длины диагоналей ромба, тогда площадь ромба мы можем найти по формуле:

\[S = \frac{d_1d_2}{2}.\]
area_6

9. Если \(a\), \(b\), \(c\) – длины сторон треугольника, \(p\) – полупериметр треугольника, тогда площадь треугольника \(ABC\) мы можем найти по формуле Герона:

\[S = \sqrt{p(p-a)(p-b)(p-c)}.\]
area_8_1

10. Пусть \(p\) – полупериметр треугольника, \(r\) – длина радиуса окружности, вписанной в данный треугольник, тогда площадь мы можем найти по формуле:

\[S = pr.\]
area_9

11. Если \(p\) – полупериметр многоугольника, \(r\) – длина радиуса окружности, вписанной в этот многоугольник, тогда его площадь можно найти по формуле:

\[S = pr.\]
area_10

12. Если \(d_1\), \(d_2\) – длины диагоналей четырёхугольника \(ABCD\), \(\alpha\) – угол между этими диагоналями, тогда площадь этого четырёхугольника равна:

\[S = \dfrac{d_1d_2\sin{\alpha}}{2}.\]
area_11

13. Пусть \(R\) – длина радиуса окружности, описанной вокруг треугольника \(ABC\); \(a\), \(b\), \(c\) – длины сторон треугольника \(ABC\). Тогда площадь данного треугольника можно найти по формуле:

\[S = \dfrac{abc}{4R}.\]
area_12

14. Пусть \(p\) – полупериметр треугольника \(ABC\); \(r_a\), \(r_b\), \(r_c\) – длины радиусов вневписанных окружностей. Тогда площадь треугольника \(ABC\) можно найти по формулам:

\[S = r_a(p-a);\;\;\; S = r_b(p-b);\;\;\; S = r_c(p-c).\]
construct_46

Замечание: Из данных соотношений и формулы \(S = p\cdot r\) (\(r\) – радиус вписанной окружности) легко получить, что

\[\dfrac{1}{r} = \dfrac{1}{r_a} + \dfrac{1}{r_b} + \dfrac{1}{r_c}.\]

Замечание: Из формулы Герона следует, что

\[S = \sqrt{r\cdot r_a\cdot r_b\cdot r_c}.\]

15. Площадь круга с радиусом длины \(r\) равна

\[S = \pi r^2.\]
area_13

16. Площадь сектора круга с углом \(\alpha\) (в радианах) и радиусом длины \(r\) равна

\[S = \dfrac{r^2\alpha}{2}.\]
area_14

17. Площадь сегмента круга с углом \(\alpha\) (в радианах) радиусом длины \(r\) равна

\[S = \dfrac{\alpha-\sin{\alpha}}{2}\cdot r^2.\]
area_15

Свойства отношений и площадей

1. (Рельсы Евклида). Пусть у нас есть треугольник \(ABC\), \(\ell\) – прямая параллельная \(AC\), проходящая через точку \(B\). Отметим на \(\ell\) точку \(B'\). Тогда площади треугольников \(ABC\) и \(AB'C\) равны.

area_and_relations_2_1

2. Площади треугольников с общей высотой относятся как длины оснований.

area_and_relations_3_1

3. Площади треугольников с общим основанием относятся как высоты.

area_and_relations_4_1

4. Отношение площадей треугольников с общим углом равно отношению произведений сторон, образующих общий угол.

area_and_relations_5

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

area_and_relations_15

6. Пусть на стороне \(AD\) параллелограмма \(ABCD\) отмечена точка \(E\), тогда

\[S_{CBE} = S_{ABE} + S_{CDE}.\]
area_and_relations_7

7. Пусть на стороне \(AC\) треугольника \(ABC\) отмечена точка \(M\), на прямой \(BM\) отмечена точка \(E\). Тогда если

\[S_{ABE} = S_{CBE},\]

то \(BM\) – медиана.

Обратно, если \(BM\) – медиана, то

\[S_{ABE} = S_{CBE}.\]
area_and_relations_9

8. Пусть в четырёхугольнике \(ABCD\) провели две прямые через середины противоположных сторон, тогда \(ABCD\) разделился на четыре четырехугольника \(S_1, S_2, S_3, S_4\), так, что

\[S_1 + S_2 = S_3 + S_4.\]
area_and_relations_10

9. Пусть \(E\) – точка пересечения диагоналей четырёхугольника \(ABCD\), тогда верно равенство:

\[S_{BEC}\cdot S_{AED} = S_{AEB}\cdot S_{DEC}.\]
area_and_relations_12

10. Пусть внутри параллелограмма \(ABCD\) отметили точку \(F\), тогда

\[S_{AFD} + S_{BFC} = \dfrac{1}{2}S_{ABCD}.\]
area_and_relations_13

11. В четырехугольнике \(ABCD\) разделим две противоположные стороны на \(3\) равные части, тогда \(ABCD\) разделится на три четырехугольника с площадями \(S_1\), \(S_2\), \(S_3\) так, что:

\[S_2 = \dfrac{1}{2}(S_1 + S_3).\]
area_and_relations_14
Frame 4585

Медиана

1. Медиана делит треугольник на два равновеликих треугольника.

\[S_{ABM}=S_{MBC}=\dfrac{S}{2}.\]
med_1

2. Медианы делят треугольник на 6 равновеликих частей:

\[S_{AMC'}=S_{C'BM}=S_{MBA'}=S_{A'MC}=\]
\[= S_{CB'M} =S_{MAB'}=\dfrac{S}{6}.\]
med_2

3. В параллелограмме со сторонами \(a\), \(b\) и диагоналями \(d_1\), \(d_2\) выполняется тождество параллелограмма:

\[d^2_1 + d^2_2 = 2(a^2 + b^2).\]
med_4

4. Формула для нахождения длины медианы треугольника:

\[m_b^2=\dfrac{2a^2+2с^2-b^2}{4}.\]
med_3

Биссектриса

1. Биссектрисы двух внешних углов треугольника и одного внутреннего пересекаются в центре вневписанной окружности.

bissektr_2

2. Отрезки, на которые биссектриса треугольника делит противолежащую сторону, пропорциональны прилежащим сторонам.

bissektr_3

3. Биссектриса внешнего угла \(B\) треугольника \(ABC\) пересекает продолжение стороны \(CA\) в точке \(L\) так, что выполнено равенство:

bissektr_4

Замечание: Чтобы не путаться удобно запомнить следующее: стороны треугольника, выходящие из вершины угла из которого проведена биссектриса (не важно какая), относятся также как соответственные отрезки, выходящие из конца биссектрисы к другим вершинам.

4. Формулы нахождения длины биссектрисы треугольника:

\[l = \frac{2ac\cos{\alpha}}{a+c};\]
\[l^2 = ac - a'c'.\]
bissektr_5

5. Угол между биссектрисами двух внутренних углов треугольника с третьим углом равным \(\alpha\) равен

\[90^{\circ} - \dfrac{\alpha}{2}.\]

Смежный ему угол равен \(90^{\circ} + \dfrac{\alpha}{2}\).

bissektr_6

6. В треугольнике \(ABC\) угол между биссектрисами двух внешних углов \(A\) и \(C\) треугольника равен \(90^{\circ} - \dfrac{\alpha}{2}\), где

\(\alpha = \angle{ABC}\).

bissektr_7

7. Биссектрисы треугольника точкой пересечения делятся следующим образом:

bissektr_8

Средняя линия

Средней линией треугольника будем называть отрезок, соединяющий середины двух сторон.

1. Средняя линяя \(A'C'\) треугольника \(ABC\) отсекает от него подобный треугольник \(A'BC'\), причём коэффициент подобия равен \(\dfrac{1}{2}\).

2. Средняя линяя треугольника параллельна основанию и равна его половине.

med_line_1

3. Средние линии делят треугольник на \(4\) равных треугольника площади которых равны \(\dfrac{S}{4}\), где \(S\) – площадь исходного треугольника.

med_line_2

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

4. Средняя линяя трапеции параллельна основаниям и равна их полусумме.

med_line_3

5. Отрезок, соединяющий середины диагоналей трапеции, равен полуразности длин оснований.

trapeze_12

6. (Теорема Вариньона)
Четырехугольник, вершинами которого являются середины сторон произвольного четырехугольника (не обязательно выпуклого), является параллелограммом, площадь которого вдвое меньше площади четырехугольника. Полученный параллелограмм будем называть параллелограммом Вариньона.

med_line_4med_line_4_1

7. Стороны параллелограмма Вариньона равны половинкам диагоналей четырехугольника, из которого он получен.

med_line_5

8. Если диагонали исходного четырехугольника равны, то параллелограмм Вариньона становится ромбом.

med_line_6

9. Если диагонали исходного четырехугольника перпендикулярны, то параллелограмм Вариньона становится прямоугольником.

med_line_7

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

med_line_8

11. Пусть \(M_1\), \(M_2\), \(M_3\), \(M_4\) – середины последовательных сторон четырёхугольника, \(O_1\), \(O_2\) – середины диагоналей четырёхугольника, тогда \(M_1M_3\); \(M_2M_4\) и \(O_1O_2\) пересекаются в одной точке и делятся точкой пересечения пополам.

med_line_9

Трапеция

Трапецией называется четырехугольник, у которого две стороны параллельны (они называются основаниями), а две другие – нет (они называются боковыми сторонами). Если у трапеции боковые стороны равны, то она называется равнобедренной.

trapeze_1

1. Трапеция является равнобедренной тогда и только тогда, когда углы при любом из оснований равны.

trapeze_3

2. Трапеция является равнобедренной тогда и только тогда, когда её диагонали равны.

trapeze_2

3. В равнобедренной трапеции проекция диагонали на бОльшее основание равна средней линии.

4. В равнобедренной трапеции проекция боковой стороны на бОльшее основание равна полуразности длин оснований.

trapeze_4

5. (Замечательное свойство трапеции). В трапеции середины оснований, точка пересечения продолжений боковых сторон и точка пересечения диагоналей лежат на одной прямой.

trapeze_5

6. Вокруг равнобедренной трапеции можно описать окружность.

Обратно: Если вокруг трапеции можно описать окружность, то она является равнобедренной.

trapeze_6

7. Треугольники при боковых сторонах трапеции, образованные диагоналями, равновелики. Их площади равны среднему геометрическому площадей треугольников при основаниях.

trapeze_7

Замечание: Пусть \(k\) – коэффициент подобия треугольников \(BEC\) и \(AED\). Тогда \(S_2 = k^2S_1\), \(S = kS_1\). Получаем, что \(S_{ABCD} = S_1 + 2kS_1 + k^2S_1 = (k+1)^2S_1\).

trapeze_7_1

8. Пусть точка \(E\) является точкой пересечения диагоналей четырехугольника \(ABCD\), причём \(S_{AEB} = S_{CED}\), тогда \(ABCD\) – трапеция.

trapeze_7_2

9. Если в равнобедренную трапецию можно вписать окружность, то боковая сторона и средняя линия этой трапеции равны.

trapeze_8

10. Если диагонали трапеции перпендикулярны, то отрезок, соединяющий середины оснований, равен средней линии.

trapeze_9

11. Если сумма углов при основании трапеции равна \(90^{\circ}\), то отрезок, соединяющий середины оснований, равен их полуразности.

trapeze_10

12. Радиус окружности, вписанной в трапецию, равен половине высоты этой трапеции.

trapeze_11_2

13. Радиус окружности, вписанной в равнобедренную трапецию, равен половине среднего геометрического длин оснований трапеции.

trapeze_11

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

trapeze_13

15. Биссектрисы внутренних односторонних углов трапеции пересекаются на средней линии под прямым углом.

trapeze_18

16. В трапеции проведём через середину \(M\) боковой стороны \(CD\) прямую \(BM\) до пересечения с прямой \(AD\). Полученные треугольники \(BCM\) и \(HDM\) равны. Из этого следует, что

trapeze_14_1

Замечание: Треугольники \(BMD\) и \(HMC\) также являются равными, потому что \(\angle{BMD} = \angle{CMH}\), \(CM = MD\) и \(BM = MH\). В частности, это означает, что диагональ \(BD\) параллельна \(CH\) и \(BCHD\) – параллелограмм.

17. Заметим, что если мы знаем основания и диагонали трапеции, то в треугольнике \(ACH\) нам известны все три стороны, а значит, мы можем найти площадь трапеции и угол между её диагоналями.

trapeze_15

18. Через вершину \(C\) проведём отрезок \(CH\) параллельно боковой стороне \(AB\). Тогда \(ABCH\) – параллелограмм и \(AH = a\), \(HD = b-a\).
Заметим, что если мы знаем стороны трапеции, то мы знаем стороны треугольника \(CHD\), поэтому мы можем найти углы \(\alpha\) и \(\beta\), а также высоту трапеции c помощью различных формул для площади треугольника.

trapeze_16

19. Длина отрезка \(MN\), проходящего через точку пересечения диагоналей трапеции параллельно средней линии, равна среднему гармоническому длин оснований.

trapeze_19

20. Длина отрезка \(MN\), проходящего параллельно средней линии и делящего трапецию на две равновеликих, равна среднему квадратическому длин оснований.

trapeze_20

21. Длина отрезка \(MN\), проходящего параллельно средней линии и делящего трапецию на две подобные трапеции, равна среднему геометрическому длин оснований.

trapeze_21

Основные четырёхугольники

Параллелограммом называется четырёхугольник, у которого противолежащие стороны попарно параллельны.

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

1. Диагонали прямоугольника равны.

quadrangle_1

Ромбом называется параллелограмм у которого все стороны равны.

2. Диагонали ромба перпендикулярны.

quadrangle_2

3. Диагонали ромба делят его углы пополам.

quadrangle_3

4. Сумма любых двух соседних углов параллелограмма равна \(180^{\circ}\), а противоположные углы равны.

Обратно: если в четырёхугольнике сумма любых двух соседних углов равна \(180^{\circ}\), то этот четырёхугольник является параллелограммом.

quadrangle_4

5. Если в четырёхугольнике противолежащие углы попарно равны, то этот четырёхугольник – параллелограмм.

6. Противоположные стороны параллелограмма попарно равны.

Обратно: если противоположные стороны четырехугольника попарно равны, то этот четырехугольник — параллелограмм.

7. Если диагонали параллелограмма равны, то этот параллелограмм – прямоугольник.

quadrangle_11

8. Если две противоположные стороны четырёхугольника равны и параллельны, то этот четырёхугольник – параллелограмм.

9. Диагонали параллелограмма пересекаются и делятся точкой пересечения пополам.

Обратно: если диагонали четырёхугольника делятся точкой пересечения пополам, то этот четырехугольник — параллелограмм.

quadrangle_5

10. Пусть в параллелограмме проведена биссектриса угла \(D\). Тогда треугольники \(DCN\), \(NBK\), \(DAK\) – равнобедренные.

quadrangle_7_1
quadrangle_7_2quadrangle_7_3

Дельтоидом называется четырёхугольник, у которого есть две пары равных соседних сторон.

quadrangle_8_1quadrangle_8_2

11. Одна из диагоналей дельтоида является биссектрисой двух его углов.

12. Диагонали дельтоида перпендикулярны.

quadrangle_8

13. В дельтоид \(ABCD\) можно вписать окружность. Если \(AB = BC\), \(AD = DC\) и \(O\) – центр вписанной окружности, то \(CO = OA\).

quadrangle_9

14. Вокруг дельтоида можно описать окружность тогда и только тогда, когда его неравные стороны образуют углы по \(90^{\circ}\).

quadrangle_10

Центральные и вписанные углы

Угол с вершиной в центре окружности называется центральным.

\[\alpha = \stackrel{\smile}{AB}.\]
cent_insc_angle_1

Угол, вершина которого лежит на окружности, а стороны пересекают окружность называется вписанным.

cent_insc_angle_2

1. Вписанный угол, опирающийся на ту же дугу, что и центральный, равен его половине.

\[\beta =\frac{1}{2}\alpha.\]
cent_insc_angle_3

Замечание: В частности два вписанных угла, опирающиеся на одну и ту же дугу, равны.

2. Радиус окружности, проведенный в точку касания, перпендикулярен касательной.

cent_insc_angle_17

3. Угол между касательной и хордой, проведённой в точку касания, равен вписанному углу, который опирается на дугу, стягиваемую хордой.

cent_insc_angle_4

4. Угол между пересекающимися хордами равен полусумме выскаемых ими дуг.

cent_insc_angle_5

5. Угол между двумя секущими, проведенными из одной точки, равен полуразности большей и меньшей высекаемых ими дуг.

cent_insc_angle_6

6. Угол между касательной и секущей, проведенными из одной точки, равен полуразности высекаемых ими дуг.

cent_insc_angle_8

7. Угол между двумя касательными, проведенными из одной точки, равен полуразности высекаемых ими дуг.

cent_insc_angle_7

8. На отрезке \(AB\) как на диаметре построили окружность. Тогда:

1) Из точек, лежащих строго внутри окружности, диаметр \(AB\) виден под тупым углом.

2) Из точек, лежащих на самой окружности, диаметр \(AB\) виден под прямым углом.

3) Из точек, лежащих вне окружности, диаметр \(AB\) виден под острым углом.

cent_insc_angle_9

9. Дуги, заключенные между двумя параллельными хордами, равны.

cent_insc_angle_10

10. Дуги, заключенные между хордой и параллельной ей касательной, равны.

cent_insc_angle_16

11. Дуги, стягиваемые равными хордами, равны.

cent_insc_angle_11

Замечание: Любая хорда стягивает две дуги окружности (например, хорда \(AB\) стягивает дуги \(\stackrel{\smile}{AB}\) и \(\stackrel{\smile}{BA}\)). Тогда, если хорды \(AB\) и \(CD\) равны, то дуга \(\stackrel{\smile}{AB}\) равна дуге \(\stackrel{\smile}{CD}\) и дуга \(\stackrel{\smile}{BA}\) равна дуге \(\stackrel{\smile}{DC}\).

cent_insc_angle_11_1cent_insc_angle_11_2

12. Диаметр, перпендикулярный хорде, делит пополам саму хорду и дугу, стягиваемую ею.

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

cent_insc_angle_12

13. Пусть хорды \(AB\) и \(CD\) пересекаются в точке \(E\), тогда

\[AE\cdot EB = DE\cdot EC.\]
cent_insc_angle_13

14. Пусть \(M\) – точка вне окружности, \(a\) – расстояние от точки \(M\) до центра окружности, \(r\) – радиус окружности. Пусть \(BM\) – касательная к окружности. Секущая из точки \(M\) пересекает окружность в точках \(A\) и \(C\), тогда

cent_insc_angle_15

Замечание: Данное утверждение можно также переформулировать иначе.

Квадрат касательной равен произведению всей секущей на её внешнюю часть.

15. Пусть \(M\) – точка вне окружности. \(ME\) – касательная к окружности. Из точки \(M\) выходят две секущие: первая пересекает окружность в точках \(A\) и \(B\), вторая – в точках \(C\) и \(D\). Тогда:

cent_insc_angle_14

Вписанные и описанные четырехугольники

1. (Первый признак). Четырёхугольник можно вписать в окружность тогда и только тогда, когда суммы его противоположных углов равны \(180^{\circ}\).

Другая формулировка: Четырёхугольник можно вписать в окружность тогда и только тогда, когда всякий угол равен смежному к своему противоположному.

insc_desc_quadrangle_1_1insc_desc_quadrangle_1_2

2. (Второй признак). Четырёхугольник можно вписать в окружность тогда и только тогда, когда углы между диагональю и стороной, опирающиеся на одну сторону, равны.

insc_desc_quadrangle_2

3. Окружность можно описать около параллелограмма тогда и только тогда, когда параллелограмм является прямоугольником.

insc_desc_quadrangle_4

4. Окружность можно описать около ромба тогда и только тогда, когда ромб является квадратом.

insc_desc_quadrangle_5

5. В любой ромб можно вписать окружность.

insc_desc_quadrangle_6

6. В параллелограмм можно вписать окружность тогда и только тогда, когда он является ромбом.

insc_desc_quadrangle_7

7. В прямоугольник можно вписать окружность тогда и только тогда, когда он является квадратом.

insc_desc_quadrangle_8

Свойства ортоцентра

1. Пусть в треугольнике \(ABC\) проведены высоты \(AA_1\), \(BB_1\), \(CC_1\). Тогда вокруг четырёхугольников \(AC_1HB_1\), \(CB_1HA_1\), \(BC_1HA_1\) и \(AC_1A_1C\), \(BC_1B_1C\), \(AB_1A_1B\) можно описать окружности.

construct_49

2. Пусть в треугольнике \(ABC\) проведены высоты \(AA_1\), \(BB_1\), \(CC_1\). Треугольник \(A_1B_1C_1\) называется ортотреугольником, а высоты треугольника \(ABC\) содержат биссектрисы углов треугольника \(A_1B_1C_1\).

construct_27

3. Пусть в треугольнике \(ABC\) проведены высоты \(AA_1\), \(BB_1\), \(CC_1\), которые пересекают описанную вокруг \(ABC\) окружность в точках \(A_2\), \(B_2\), \(C_2\) соответственно. Тогда

\[HA_1 = A_1A_2;\;\;\; HB_1 = B_1B_2;\;\;\; HC_1 = C_1C_2,\]

где \(H\) – ортоцентр треугольника.

construct_28

4. Пусть \(H\) – ортоцентр треугольника \(ABC\), \(M\) – середина стороны \(AB\), \(P\) – точка пересечения прямой \(HM\) описанной вокруг \(ABC\) окружностью, тогда \(PM = MH\).

construct_29

5. Пусть \(H\) – ортоцентр треугольника \(ABC\), \(O\) – центр описанной вокруг \(ABC\) окружности. Тогда расстояние от точки \(B\) до \(H\) вдвое больше, чем расстояние от точки \(O\) до стороны \(AC\).

construct_30

6. \(H\) – ортоцентр треугольника \(ABC\), \(O\) – центр описанной вокруг \(ABC\) окружности, тогда \(\angle{ABO} = \angle{HBC}\).

construct_34

7. \(H\) – ортоцентр треугольника \(ABC\), \(O\) – центр описанной вокруг \(ABC\) окружности, проведены высоты \(AA_1\) и \(CC_1\), тогда \(BO\perp A_1C_1\).

construct_34_1_proof

Конструкции и теоремы

1. Если две окружности касаются внешним образом, то расстояние между их центрами равно сумме их радиусов.

construct_8

2. Если две окружности пересекаются в двух точках, то расстояние между их центрами меньше суммы их радиусов.

Если \(O_1\), \(O_2\) – центры окружностей, \(A\), \(B\) – точки пересечения окружностей, то четырёхугольник \(AO_1BO_2\) – дельтоид (\(O_1A = O_1B\), \(O_2A = O_2B\), \(AB\perp O_1O_2\)).

construct_7

3. Если расстояние между центрами окружностей с радиусами \(r\) и \(R\) равно \(a\), то отрезок общей внешней касательной, заключённой между точками касания, равен \(\sqrt{a^2 - (R - r)^2}\).

Случай 1:

construct_5

Случай 2:

construct_5_1

Случай 3:

construct_5_2

4. Если расстояние между центрами окружностей с радиусами \(r\) и \(R\) равно \(a\) и \(a > R + r\) (то есть окружности не пересекаются), то отрезок общей внутренней касательной, заключённой между точками касания, равен:

construct_6

5. Если две окружности касаются внутренним образом, то расстояние между их центрами равно разности радиусов этих окружностей.

construct_9

6. Пусть окружности радиусов \(R_1\) и \(R_2\) с центрами \(O_1\) и \(O_2\) касаются внешним образом в точке \(K\). Прямая касается этих окружностей в различных точках \(A\) и \(B\) и пересекается с общей касательной (которая проходит через точку \(K\)) окружностей, в точке \(C\), то \(\angle{AKB} = 90^{\circ}\) и \(\angle{O_1CO_2} = 90^{\circ}\).

construct_12
construct_12_1

7. Общая внутренняя касательная \(CK\) окружностей делит отрезок общей внешней касательной \(AB\) пополам;

8. Отрезок \(AB\) равен отрезку \(CC'\) – общей внутренней касательной, заключённой между общими внешними. Оба эти отрезка равны \(2\sqrt{R_1R_2}\).

construct_12_3

9. Пусть две окружности с радиусами \(r\) и \(R\) с центрами \(O_1\) и \(O_2\) касаются внешним образом, \(AB\) – общая внешняя касательная двух окружностей, \(C\) – точка пересечения прямых \(AB\) и \(O_1O_2\), \(\alpha = \angle{O_1CA}\), тогда:

construct_47

10. Пусть две окружности касаются внешним образом в точке \(K\), через эту точку проходят две секущие. Первая секущая пересекает окружности в точках \(A\) и \(C\), вторая в точках – \(B\) и \(D\). Тогда треугольники \(AKB\) и \(CKD\) подобны, причём \(AB\) и \(CD\) параллельны.

construct_24

11. Пусть две окружности касаются внутренним образом в точке \(A\), через эту точку проходят две секущие. Первая секущая пересекает окружности в точках \(D\) и \(B\), вторая – в точках \(E\) и \(C\), тогда треугольники \(ABC\) и \(ADE\) подобны.

construct_23

12. Прямая, проходящая через точки пересечения двух окружностей, делит общую касательную пополам.

construct_12_2

13. Две окружности с центрами \(O_1\) и \(O_2\) пересекаются в точках \(A\) и \(B\). Точка \(C\) лежит на первой окружности, прямая \(AC\) пересекает вторую окружность в точке \(D\). Тогда треугольники \(BO_1O_2\) и \(BCD\) подобны.

construct_22

14. Пусть в треугольнике \(ABC\) проведены две высоты \(AA_1\) и \(CC_1\). Тогда треугольники \(A_1BC_1\) и \(ABC\) подобны с коэффициентом подобия \(k = |\cos{\alpha}|\).

area_and_relations_1
area_and_relations_11

15. Биссектриса угла \(B\) треугольника \(ABC\) и серединный перпендикуляр к стороне \(AC\) пересекаются на описанной вокруг \(ABC\) окружности.

construct_37

16. Пусть вписанная в треугольник \(ABC\) окружность касается стороны \(AC\) в точке \(N\), вневписанная окружность касается стороны \(AC\) в точке \(K\), тогда середина отрезка \(AC\) является серединой отрезка \(NK\).

construct_42

17. Радиус вневписанной окружности можно найти по формуле:

\[r_a = p\cdot\tan\dfrac{\alpha}{2}.\]
construct_43

18. Центр окружности, вписанной в треугольник \(ABC\), лежит на окружности, касающейся лучей \(BA\) и \(BC\) в точках \(A\) и \(C\).

construct_44

19. Пусть \(ABCD\) – вписанный четырехугольник, у которого диагональ является биссектрисой угла \(ABC\), \(\alpha = \angle{ADC}\), тогда площадь данного четырехугольника равна \(S_{ABCD} = \dfrac{1}{2}BD^2\sin{\alpha}\).

construct_40

20. (Лемма о трезубце). Пусть биссектриса угла \(B\) треугольника \(ABC\) пересекает описанную окружность в точке \(D\), \(I\) – центр вписанной в \(ABC\) окружности, а \(I_a\) – центр вневписанной окружности, касающейся стороны \(AC\), тогда

\[AD = DC = ID = I_aD.\]
construct_21

21. Пусть в треугольнике \(ABC\) \(\angle{A} = \alpha\), \(\angle{B} = \beta\), \(\angle{C} = \gamma\), \(A_1\), \(B_1\), \(C_1\) – точки касания вписанной в треугольник окружности (\(A_1\) лежит напротив \(A\), \(B_1\) лежит напротив \(B\), \(C_1\) лежит напротив \(C\)). Тогда в треугольнике \(A_1B_1C_1\) имеем, что \(\angle{A_1} = 90^{\circ} - \dfrac{\alpha}{2}\), \(\angle{B_1} = 90^{\circ} - \dfrac{\beta}{2}\), \(\angle{C_1} = 90^{\circ} - \dfrac{\gamma}{2}\).

construct_36

22. (Лемма Архимеда) Окружности \(\alpha\) и \(\beta\) касаются внутренним образом в точке \(B\), окружность \(\alpha\) касается хорды \(AC\) окружности \(\beta\) в точке \(M\), \(BM\) пересекает окружность \(\beta\) в точке \(D\). Тогда прямая \(BM\) является биссектрисой угла \(ABC\), а точка \(D\) делит дугу \(\stackrel{\smile}{CA}\) пополам.

construct_4

23. Пусть окружность, вписанная в треугольник \(ABC\), касается сторон \(AB\) и \(BC\) в точках \(M\) и \(N\) соответственно, а биссектриса угла \(BAC\) пересекает отрезок \(MN\) в точке \(P\). Тогда \(\angle{APC} = 90^{\circ}\).

construct_33

24. На сторонах \(BC\) и \(CD\) квадрата \(ABCD\) отметили точки \(M\) и \(N\) соответственно, так что \(MC = ND\), тогда \(AN\perp DM\).

construct_45

25. \(ABCD\) – четырёхугольник с перпендикулярными диагоналями тогда и только тогда, когда

\[AB^2 + CD^2 = BC^2+AD^2.\]
construct_14

26. \(ABCD\) – прямоугольник, точка \(O\) лежит внутри данного прямоугольника, тогда

\[AO^2 + CO^2 = BO^2 + DO^2.\]
construct_20

27. \(ABCD\) – вписанный четырёхугольник с перпендикулярными диагоналями, тогда прямая, проходящая через точку пересечения диагоналей и середину одной из сторон четырёхугольника, перпендикулярна противоположной ей стороне.

construct_18

28. Четырёхугольник \(ABCD\) с перпендикулярными диагоналями вписан в окружность с центром \(O\), тогда расстояние от точки \(O\) до стороны \(AB\) вдвое меньше стороны \(CD\).

construct_17

29. Четырёхугольник \(ABCD\) с перпендикулярными диагоналями вписан в окружность с центром \(O\), тогда

\[AB^2 + BC^2 + CD^2 + AD^2 = 8R^2.\]
construct_15

30. Пусть \(L\) – точка пересечения медиан \(CM_1\), \(AM_2\) и \(BM_3\) треугольника \(ABC\). \(A_1\), \(B_1\), \(C_1\) – середины отрезков \(AL\), \(BL\), \(CL\) соотвтетственно. Тогда треугольник \(ABC\) делится на \(12\) равновеликих треугольников следующим образом:

construct_38

31. Построим треугольник со сторонами, равными длинам медиан треугольника \(ABC\) (\(m_a\), \(m_b\), \(m_c\) – длины этих медиан, \(m = (m_a + m_b+m_c)/2\)). По формуле Герона данный треугольник имеет площадь:

construct_39

Отсюда следует, что площадь треугольника \(ABC\) равна

\[S = \dfrac{4}{3}\sqrt{m(m-m_a)(m-m_b)(m-m_c)}.\]

32. (Теорема Птолемея). Выпуклый четырехугольник \(ABCD\) является вписанным тогда и только тогда, когда

\[AB\cdot CD + AD\cdot BC = AC\cdot BD.\]

(Неравенство Птолемея). Если же четырёхугольник не является вписанным, то выполнено неравенство

\[AB\cdot CD + AD\cdot BC > AC\cdot BD.\]
construct_1construct_1_1

33. (Следствие из теоремы Птолемея). Четырёхугольник \(ABCD\) с перпендикулярными диагоналями вписан в окружность с центром \(O\), тогда

\[S_{ABCD} = \dfrac{1}{2}(AB\cdot CD + AD\cdot BC).\]

Причём для любого другого четырёхугольника \(ABCD\) с теми же сторонами площадь меньше, чем \(\dfrac{1}{2}(AB\cdot CD + AD\cdot BC)\).

construct_19

34. \(ABCD\) – квадрат, точка \(M\) – лежит на стороне \(BC\), \(N\) – лежит на стороне \(CD\), \(\angle{MAN} = 45^{\circ}\), диагональ \(BD\) пересекает отрезки \(AM\) и \(AN\) в точках \(N_1\) и \(M_1\) соответственно. Тогда через точки \(M\), \(M_1\), \(N\), \(N_1\), \(C\) можно провести окружность.

construct_41

35. \(ABCD\) – квадрат, точка \(M\) – лежит на стороне \(BC\), \(N\) – лежит на стороне \(CD\), \(\angle{MAN} = 45^{\circ}\). Тогда расстояние от точки \(A\) до прямой \(MN\) равно стороне квадрата.

construct_41_1

36. \(ABCD\) – квадрат, точка \(M\) – лежит на стороне \(BC\), \(N\) – лежит на стороне \(CD\), \(\angle{MAN} = 45^{\circ}\), диагональ \(BD\) пересекает отрезки \(AM\) и \(AN\) в точках \(N_1\) и \(M_1\) соответственно. Тогда прямые \(MM_1\) и \(NN_1\) являются высотами треугольника \(AMN\).

construct_41_2

37. Пусть \(r\) – радиус вписанной в треугольник окружности, \(R\) – радиус описанной вокруг треугольника окружности, \(d\) – расстояние между центрами этих окружностей, тогда выполняется равенство:

\[d^2 = R^2-2Rr.\]
construct_32

38. Основания перпендикуляров, опущенных из произвольной точки описанной окружности треугольника \(ABC\) на его стороны или их продолжения, лежат на одной прямой. Эта прямая называется прямой Симсона.

construct_3

39. (Окружность девяти точек). Пусть \(H\) – ортоцентр треугольника \(ABC\); \(A'\), \(B'\), \(C'\) – точки пересечения высот со сторонами треугольника; \(M_1\), \(M_2\), \(M_3\) – середины сторон треугольника; \(L_1\), \(L_2\), \(L_3\) – середины отрезков \(AH\), \(CH\), \(BH\) соответственно. Тогда через точки \(A'\), \(B'\), \(C'\), \(M_1\), \(M_2\), \(M_3\), \(L_1\), \(L_2\), \(L_3\) можно провести окружность.

construct_31

40 (Прямая Эйлера). Пусть \(O\) – центр описанной окружности треугольника \(ABC\), \(M\) – центроид (точка пересечения медиан) треугольника, \(H\) – ортоцентр треугольника, тогда точки \(O\), \(M\), \(H\) лежат на одной прямой и \(OM:MH = 1:2\).

construct_48

Доказательства

Углы

2. Нам известно, что

\[\angle{1} = \angle{2};\]
\[\angle{3} = \angle{4};\]

Тогда получаем:

\[\angle{1} + \angle{2} + \angle{3} + \angle{4} = 2\cdot(\angle{2} + \angle{3}) = 180^{\circ}\;\Longrightarrow \angle{2} + \angle{3} = 90^{\circ}.\]
angle_2

5. Доказательство 1. Углы \(\angle{A}\) и \(\angle{B}\) – внутренние односторонние, поэтому

\[\angle{A} + \angle{B} = 180^{\circ}\;\Longrightarrow \angle{ABC} + \angle{BAC} = 90^{\circ}.\]

Сумма углов треугольника равна \(180^{\circ}\), поэтому

\[\angle{ACB} = 180^{\circ} - (\angle{ABC} + \angle{BAC}) = 180^{\circ} - 90^{\circ} = 90^{\circ}.\]
angle_5

Доказательство 2. Пусть \(\ell_1\) и \(\ell_2\) две параллельные прямые, на которых лежат точки \(B\) и \(A\) соответственно. Точка \(D\) – пересечение биссектрисы угла \(B\) с прямой \(\ell_2\). Угол между прямыми \(\ell_2\) и \(BD\) равен углу между \(\ell_1\) и \(BD\) (так как эти углы являются накрест лежащими), при этом \(BD\) – биссектриса угла \(B\), поэтому угол между \(AB\) и \(BD\) равен углу между \(\ell_1\) и \(BD\). Отсюда следует, что \(\angle{ADB} = \angle{DBA}\), значит треугольник \(ABD\) – равнобедренный, поэтому биссектриса угла \(A\) также является высотой, то есть биссектрисы углов \(A\) и \(B\) перпендикулярны.

angle_5_1

6. Проведём всевозможные диагонали, проходящие через точку \(A_1\). Всего таких диагоналей \(n - 3\) штуки (так как \(A_1A_2\) и \(A_1A_n\) – рёбра многоугольника). Наш многоугольник разбивается на \(n - 2\) треугольника, значит сумма всех углов многоугольника равна сумме всех углов этих треугольников. Сумма углов треугольника равна \(180^{\circ}\), поэтому

\[\angle {A_1} + \ldots + \angle{A_n} = 180^{\circ} (n - 2).\]
angle_6_1

7. Углы, смежные углам нашего многоугольника, будут равны

\[180^{\circ} - \angle{A_1}, \ldots , 180^{\circ} - \angle{A_n}\]
angle_7

Значит сумма внешних углов \(n\)-угольника равна:

\[(180^{\circ} - \angle{A_1}) + \ldots + (180^{\circ} - \angle{A_n}) = n\cdot 180^{\circ} - 180^{\circ}\cdot (n-2) = 360^{\circ}.\]

Треугольники общего вида

1. Проведём через точку \(B\) прямую, параллельную, \(AC\). На полученной прямой отметим, по разные стороны от \(B\), точки \(A'\) и \(B'\). Тогда получаем, что

\[\angle{ABA'} = \angle{CAB} = \alpha\;\;\; \text{и} \;\;\;\angle{CBB'} = \angle{BCA} = \gamma,\]

значит,

\[\angle{ABA'} + \angle{ABC} + \angle{CBB'} = \alpha + \beta + \gamma = \angle{A'BB'} = 180^{\circ}.\]
triangle_0_1

9. Пусть \(\angle{ABC} = \angle{A'B'C'} = \alpha\) и \(k\) – коэффициент подобия треугольников \(A'B'C'\) и \(ABC\), значит,

\[S_1 = S_{ABC} = \dfrac{1}{2}\cdot AB\cdot BC\cdot\sin{\alpha} = \dfrac{1}{2}xz\cdot\sin{\alpha}.\]
\[S_2 = S_{A'B'C'} = \dfrac{1}{2}\cdot A'B'\cdot B'C'\cdot\sin{\alpha} = \dfrac{1}{2}k^2xz\cdot\sin{\alpha}.\]

поэтому получаем:

\[\dfrac{S_2}{S_1} = \dfrac{\dfrac{1}{2}k^2xz\cdot\sin{\alpha}}{\dfrac{1}{2}xz\cdot\sin{\alpha}} = k^2.\]
triangle_6_1

10. Действительно, \(\angle{ACB} = 180^{\circ} - \alpha - \beta\), так как сумма углов треугольника равна \(180^{\circ}\). При этом угол, смежный углу \(\angle{ACB}\), равен

\[180^{\circ} - (180^{\circ} - \alpha - \beta) = \alpha + \beta.\]
triangle_7

11. На стороне \(AC\) отметим точку \(M\) так, что \(CM = CB = a\). Мы можем так сделать, потому что \(AC = b > a = CB\).

triangle_8_1

Мы получили равнобедренный треугольник \(CMB\). Заметим, что \(\angle{ABC} > \angle{MBC}\) и \(\angle{BMC}\) – внешний угол для треугольника \(ABM\), значит \(\angle{BMC} > \angle{BAC}\). Так как \(\angle{MBC} = \angle{BMC}\), то \(\angle{ABC} > \angle{BAC}\). Аналогично мы можем доказать, что \(\angle{ABC} > \angle{BCA}\).

Замечание: В частности, мы показали, что напротив большей стороны лежит больший угол.

Замечание: Также верно и обратное: напротив большего угла лежит большая сторона.

12. Докажем, что \(b + c > a\). Остальные неравенства будут доказываться аналогично.

На луче \(CA\) отметим, точку \(D\) (за точкой \(A\)) так, что \(AD = AB = c\). Мы получили равнобедренный треугольник \(ABD\), значит \(\angle{BDC} = \angle{DBA}\). При этом \(\angle{CBD} > \angle{DBA}\). Так как напротив большего угла треугольника лежит большая сторона, то \(b + c = CD > BC = a\).

triangle_8_2

13. Докажем, что \(2R = \dfrac{b}{\sin{\beta}}\). Оставшиеся соотношения доказываются аналогично.

Случай 1: \(\beta \leqslant 90^{\circ}\). Рассмотрим треугольник \(AB'C\), вписанный в окружность, причём \(AB'\) – диаметр окружности. Угол \(\angle{ACB'}\) опирается на диаметр окружности, поэтому он равен \(90^{\circ}\). Углы \(\angle{ABC}\) и \(\angle{AB'C}\) опираются на дугу \(\stackrel{\smile}{AC}\), значит \(\angle{AB'C} = \beta\). Отсюда получаем, что \(\sin{\beta} = \dfrac{b}{2R}\;\Longrightarrow\; 2R = \dfrac{b}{\sin{\beta}}\).

Случай 2: \(\beta > 90^{\circ}\). Рассмотрим треугольник \(ADC\), вписанный в окружность, угол \(\angle{ADC}\) опирается на дугу \(\stackrel{\smile}{CA}\), значит, \(\angle{ADC} = 180^{\circ}-\beta < 90^{\circ}\), поэтому верно соотношение \(\sin{(180^{\circ} - \beta)} = \dfrac{b}{2R}\). Так как \(\sin{(180^{\circ} - \beta)} = \sin{\beta}\), имеем \(2R = \dfrac{b}{\sin{\beta}}\).

thsin_10thsin_11

14. Докажем первую из формул. Остальные доказываются аналогично.

Случай 1: Пусть углы при основании \(AC\) являются острыми. В этом случае высота \(BD\) упадёт на отрезок \(AC\). Получаем:

\[\cos{\alpha} = \dfrac{AD}{c}\;\Longrightarrow\; AD = c\cdot\cos{\alpha},\]

значит,

\[DC = b - c\cdot\cos{\alpha}.\]

Воспользуемся теоремой Пифагора для треугольников \(ABD\) и \(DBC\):

\[h^2 = c^2 - (c\cdot\cos{\alpha})^2;\]
\[h^2 = a^2 - (b - c\cdot\cos{\alpha})^2.\]
thcos_11

Приравниваем правые части полученных равенств:

\[c^2 - (c\cdot\cos{\alpha})^2 = a^2 - (b - c\cdot\cos{\alpha})^2.\]

Откуда получаем, что \(a^2 = c^2 + b^2 - 2bc\cos{\alpha}\).

Случай 2: Пусть угол \(\angle{BAC} = \alpha\) – тупой. В этом случае высота \(BD\) упадёт на продолжение стороны \(AC\). Угол \(\angle{BAD}\) равен \(180^{\circ} - \alpha\). При этом мы знаем, что \(\cos{\alpha} = -\cos{(180^{\circ} - \alpha)}\), поэтому

\[AD = -c\cdot\cos{\alpha},\;\;\; DC = b - c\cdot\cos{\alpha}.\]

Воспользуемся теоремой Пифагора для треугольников \(ABD\) и \(DBC\):

\[h^2 = c^2 - (-c\cdot\cos{\alpha})^2;\]
\[h^2 = a^2 - (b - c\cdot\cos{\alpha})^2.\]
thcos_12

Приравниваем правые части полученных равенств: \(c^2 - (c\cdot\cos{\alpha})^2 = a^2 - (b - c\cdot\cos{\alpha})^2\). Откуда получаем, что \(a^2 = c^2 + b^2 - 2bc\cos{\alpha}\).

Случай 3: Пусть угол \(\angle{BCA} = \gamma\) – тупой. В этом случае высота \(BD\) упадёт на продолжение стороны \(AC\). Имеем:

\[AD = c\cdot\cos{\alpha},\;\;\; CD = c\cdot\cos{\alpha} - b.\]

Воспользуемся теоремой Пифагора для треугольников \(ABD\) и \(DBC\):

\[h^2 = c^2 - (c\cdot\cos{\alpha})^2;\]
\[h^2 = a^2 - (c\cdot\cos{\alpha} - b)^2.\]

Приравниваем правые части полученных равенств:

\[c^2 - (c\cdot\cos{\alpha})^2 = a^2 - (c\cdot\cos{\alpha} - b)^2.\]

Таким образом \(a^2 = c^2 + b^2 - 2bc\cos{\alpha}\).

thcos_13

16. Докажем основное утверждение: через вершину \(B\) проведём прямую, параллельную стороне \(AC\), \(D\) – точка пересечения прямой \(A'C'\) с данной прямой. Углы \(\angle{AC'B'}\) и \(\angle{DC'B}\) являются вертикальными, поэтому они равны, углы \(\angle{BAB'}\) и \(\angle{ABD}\) равны, так как являются накрест лежащими, значит треугольники \(DC'B\) и \(B'C'A\) подобны по двум равным углам, то есть верно соотношение:

\[\dfrac{B'A}{DB} = \dfrac{AC'}{C'B}.\]
thmenelay_12

Аналогично легко показать, что треугольники \(DA'B\) и \(B'A'C\) подобны, а значит выполнено соотношение

\[\dfrac{DB}{CB'} = \dfrac{BA'}{A'C}.\]
thmenelay_13

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

\[\dfrac{B'A}{DB}\cdot \dfrac{DB}{CB'} = \dfrac{AC'}{C'B}\cdot \dfrac{BA'}{A'C}\;\;\;\Longrightarrow\;\;\;\dfrac{B'A}{CB'} = \dfrac{AC'\cdot BA'}{C'B\cdot A'C}\;\;\;\Longrightarrow\;\;\;\frac{AC'}{C'B}\cdot\frac{BA'}{A'C}\cdot\frac{CB'}{B'A} = 1.\]

Докажем обратное утверждение. Пусть выполнено соотношение

\[\begin{equation} \frac{AC'}{C'B}\cdot\frac{BA'}{A'C}\cdot\frac{CB'}{B'A} = 1.\tag{*} \label{eqn:menelay_1} \end{equation}\]

но точки \(A'\), \(B'\), \(C'\) не лежат на одной прямой. Через точки \(C'\) и \(B'\) проведём прямую, она пересечёт сторону \(BC\) в точке \(A''\). Для треугольника \(ABC\) и точек \(A''\), \(B'\), \(C'\) запишем теорему Менелая:

\[\begin{equation} \frac{AC'}{C'B}\cdot\frac{BA''}{A''C}\cdot\frac{CB'}{B'A} = 1.\tag{**} \label{eqn:menelay_2} \end{equation}\]
thmenelay_14

Поделим соотношение eqn:menelay_1 на соотношение eqn:menelay_2:

\[\frac{BA''}{A''C} = \frac{BA'}{A'C} \;\;\;\Longrightarrow\;\;\; \dfrac{BA''}{BC - BA''} = \dfrac{BA'}{BC - BA'}\;\;\;\Longrightarrow\]
\[\Longrightarrow BA''\cdot BC - BA''\cdot BA' = BA'\cdot BC - BA''\cdot BA'\;\;\;\Longrightarrow \;\;\;BA''\cdot BC = BA'\cdot BC.\]

Отсюда получаем, что \(BA'' = BA'\), значит точки \(A'\) и \(A''\) совпадают, поэтому точки \(A'\), \(B'\), \(C'\) лежат на одной прямой.

17. Докажем прямую теорему Чевы. Применим теорему Менелая для треугольника \(ABB'\) и прямой \(CC'\):

\[\dfrac{AC'}{C'B}\cdot\dfrac{BK}{KB'}\cdot\dfrac{B'C}{CA} = 1.\]

Применим теорему Менелая для треугольника \(B'BC\) и прямой \(AA'\):

\[\dfrac{BA'}{A'C}\cdot\dfrac{CA}{AB'}\cdot\dfrac{B'K}{KB} = 1.\]
thceva_12_proof_1thceva_12_proof_2

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

\[\dfrac{AC'}{C'B}\cdot\dfrac{BA'}{A'C}\cdot\dfrac{BK}{KB'}\cdot\dfrac{CA}{AB'}\cdot\dfrac{B'C}{CA}\cdot\dfrac{B'K}{KB} = 1.\]

Отсюда получаем:

\[\dfrac{AC'}{C'B}\cdot\dfrac{BA'}{A'C}\cdot\dfrac{CB'}{B'A} = 1.\]

Докажем обратное утвержедние. Прямые \(AA'\) и \(CC'\) пересекаются в точке \(K\). Пусть прямая \(BK\) пересекает \(AC\) в точке \(B''\). Тогда по теореме Чевы получаем:

\[\dfrac{AC'}{C'B}\cdot\dfrac{BA'}{A'C}\cdot\dfrac{CB''}{B''A} = 1.\]
thceva_12_1

При этом верно равенство

\[\dfrac{AC'}{C'B}\cdot\dfrac{BA'}{A'C}\cdot\dfrac{CB'}{B'A} = 1.\]

А, значит,

\[\dfrac{CB''}{B''A} = \dfrac{CB'}{B'A},\]

то есть точки \(B'\) и \(B''\) совпадают.

18. Пусть точка \(B\) равноудалена от точек \(A\) и \(C\), то есть \(AB = BC\). Пусть \(M\) – середина отрезка \(AC\), то есть \(AM = MC\). Сторона \(BM\) общая для треугольников \(ABM\) и \(CBM\), значит эти треугольники равны по трём сторонам. То есть \(\angle{AMB} = \angle{CMB}\), при этом данные углы являются смежными, а, значит, в сумме дают \(180^{\circ}\), поэтому они оба равны \(90^{\circ}\).

medline_13

Докажем обратное утверждение. Пусть точка \(B\) лежит на серединном перпендикуляре. Значит \(AM = MC\) и сторона \(BM\) общая для треугольников \(ABM\) и \(CBM\), поэтому прямоугольные треугольники \(AMB\) и \(CMB\) равны, следовательно равны их гипотенузы: \(AB = BC\).

19. Пусть серединные перпендикуляры к сторонам \(AC\) и \(BC\) пересекаются в точке \(O\). Тогда по свойству серединного перпендикуляра получаем: \(AO = OC\) и \(CO = OB\), то есть \(AO = OB\), следовательно, точка \(O\) лежит на серединном перпендикуляре к стороне \(AB\), значит \(O\) – точка пересечения серединных перпендикуляров. \(AO = OB = OC\), поэтому центр описанной окружности лежит в точке \(O\).

medline_13_4

20. Докажем, что

\[BM:MB' = 2:1.\]

Продлим отрезок \(MB'\) (за точку \(B'\)) на его длину и построим точку \(G\) то есть \(MB' = B'G\). Тогда в четырёхугольнике \(MAGC\) диагонали делятся точкой пересечения пополам, значит, \(MAGC\) – параллелограмм, из чего следует, что отрезки \(CM\) и \(AG\) параллельны. При этом \(C'\) – середина стороны \(AB\), значит \(C'M\) – средняя линия треугольника \(ABG\). То есть \(BM = MG = 2x\) и \(BM:MB' = 2x:x = 2:1\).

mediana_14_proof

21. Пусть \(D\) – точка, лежащая на биссектрисе. Опустим из неё перпендикуляры на стороны угла. Получим два прямоугольных треугольника: \(ABD\) и \(ACD\). \(AD\) – их общая сторона, \(\angle{BAD} = \angle{DAC}\), значит треугольники \(ABD\) и \(ACD\) равны и \(BD = DC\).

Докажем обратное утверждение. Пусть \(D\) равноудалена от сторон угла \(A\), тогда у прямоугольных треугольников \(ABD\) и \(ACD\) есть общая сторона \(AD\) и равные стороны \(BD\) и \(DC\), значит треугольники равны, поэтому \(\angle{BAD} = \angle{DAC}\), то есть \(AD\) – биссектриса.

bissektr_15_proof

22. Пусть \(I\) – точка пересечения биссектрис углов \(\angle{A}\) и \(\angle{B}\), а \(IA'\), \(IB'\), \(IC'\) – перпендикуляры к сторонам треугольника. Точка \(I\) лежит на биссектрисе угла \(A\), значит, \(IB' = IC'\), аналогично получаем, что \(IA' = IC'\), значит, \(IB' = IA'\), то есть точка \(I\) равноудалена от сторон угла \(C\), значит, она лежит на биссектрисе угла \(C\). \(IA' = IB' = IC'\), поэтому \(I\) – центр вписанной окружности.

bissektr_15_1_proof

23. Через вершины \(A\), \(B\) и \(C\) проведём прямые, параллельные сторонам, лежащим напротив данных вершин. Пусть эти прямые пересекаются в точках \(A_1\), \(B_1\), \(C_1\). Получаем треугольник \(A_1B_1C_1\), причём высоты \(AA'\), \(BB'\), \(CC'\) треугольника \(ABC\) перпендикулярны сторонам \(C_1B_1\), \(A_1C_1\) и \(B_1A_1\) соответственно.

Рассмотрим четырёхугольник \(AC_1BC\). По построению получаем, что \(AC_1 || CB\) и \(AC || C_1B\), значит \(AC_1BC\) – параллелограмм, то есть \(BC_1 = AC\) и \(AC_1 = BC\). Аналогично получаем, что четырёхугольники \(ABA_1C\) и \(ABCB_1\) также являются параллелограммами и

\[A_1B = AC,\;\;\; A_1C = AB,\;\;\; B_1C = AB,\;\;\; AB_1 = BC,\]

следовательно,

\[C_1A = AB_1,\;\;\; C_1B = BA_1,\;\;\; A_1C = CB_1.\]

Значит отрезки \(AA'\), \(BB'\), \(CC'\) лежат на серединных перпендикулярах к сторонам треугольника \(A_1B_1C_1\). Серединные перпендикуляры пересекаются в одной точке, значит высоты треугольника \(ABC\) пересекаются в одной точке.

height_16_proof

24. Пусть \(A\) и \(B\) – точки касания угла и вписанной в него окружности, они равноудалены от центра \(O\), значит, \(O\) лежит на биссектрисе нашего угла, отсюда следует, что прямоугольные треугольники \(ACO\) и \(BCO\) равны, а значит \(AC = CB\).

kalitki_17_1_proof

25. Пусть \(k_{A}\) – калитка угла \(A\), \(k_{B}\) – калитка угла \(B\), \(k_{C}\) – калитка угла \(C\). Тогда \(k_{A} + k_{B} + k_{C} = p\). \(AB' + B'C = k_{A} + k_{C} = b\), значит \(k_{B} = p - b\). Аналогично, \(k_{B} + k_{C} = a\), значит \(k_{A} = p - a\); \(k_{A} + k_{B} = c\), значит \(k_{C} = p - c\).

kalitki_17_2

26. \(AB + BC + CA = a + b + c = 2p\), \(BA' = BC'\), \(A'C = CB'\), значит \(AC' + AB' = AB + BC' + AC + CB' = AB + AC + BA' + A'C = a + b + c\), причём \(AB' = AC'\), значит \(AB' = AC' = p\). \(CB' = AB' - AC = p - b\), аналогично \(BC' = AC' - BC' = p - c\).

kalitki_17_3

27. Если в четырёхугольник можно вписать окружность, то

\[AP = AS;\;\;\; BP = BQ;\;\;\; CR = CQ;\;\;\; DR = DS.\]
kalitki_17_4

Тогда получаем:

\[(AP + BP) + (CR + DR) = AB + CD;\;\;\; (AS + DS) + (BQ + CQ) = AD + BC.\]

И, значит, \(AB + CD = AD + BC\).

Докажем обратное утверждение.

Пусть в четырёхугольнике \(ABCD\) верно, что \(AB + CD = AD + BC\). Биссектрисы углов \(CBA\) и \(DAB\) пересекаются в точке \(I\). Эта точка равноудалена от сторон \(AB\), \(AD\) и \(BC\), значит \(I\) – центр окружности, касающейся сторон \(AB\), \(AD\) и \(BC\) нашего четырёхугольника. Пусть \(CD\) не касается данной окружности Далее рассмотрим \(2\) случая.

Случай 1. Сторона \(CD\) не пересекается с окружностью. На отрезках \(BC\) и \(AD\) отметим соответственно точки \(C'\) и \(D'\) так, что \(C'D'\) – касательная к нашей окружности и \(C'D'\) не пересекает \(CD\). В четырёхугольник \(ABC'D'\) можно вписать окружность. По доказанному ранее получаем, что

\[AB + C'D' = AD' + BC'.\]

При этом

\[BC' = BC - CC';\;\;\; AD' = AD - DD'.\]

Значит,

\[AB + C'D' = BC - CC' + AD - DD'\Longleftrightarrow C'D' + CC' + DD' = AD + BC - AB.\]

При этом мы знаем, что \(CD = AD + BC - AB\), то есть

\[CD = C'D' + CC' + DD'.\]

Тогда мы получаем, что в четырёхугольнике \(CDD'C'\) одна сторона равна сумме трёх других, что невозможно. Получаем противоречие.

kalitki_17_4_proof_1

Случай 2. Сторона \(CD\) пересекает окружность в двух точках. Проведём касательную \(C'D'\) параллельно отрезку \(CD\). В четырёхугольник \(ABC'D'\) можно вписать окружность. По доказанному ранее получаем, что

\[AB + C'D' = AD' + BC'.\]

При этом

\[BC' = BC + CC';\;\;\; AD' = AD + DD'.\]

Значит,

\[AB + C'D' = BC + CC' + AD + DD'\Longleftrightarrow C'D' - CC' - DD' = AD + BC - AB\]

При этом мы знаем, что \(CD = AD + BC - AB\), то есть

\[CD = C'D' - CC' - DD'\Longleftrightarrow C'D' = CD + CC' + DD'.\]

Тогда мы получаем, что в четырёхугольнике \(CDD'C'\) одна сторона равна сумме трёх других, что невозможно. Получаем противоречие.

kalitki_17_4_proof_2

Прямоугольный треугольник

1. Отложим от точки \(C\) отрезок \(B'C\), такой что \(B'C = BC = a\), и точки \(B\), \(C\), \(B'\) – лежат на одной прямой. Тогда в треугольнике \(ABB'\) \(AC\) – высота и медиана, значит, \(ABB'\) – равнобедренный треугольник (\(\angle{B'} = \angle{B}\)). \(AC\) – биссектриса угла \(\angle{B'AB}\), поэтому \(\angle{B'AB} = 60^{\circ}\), отсюда следует, что оставшиеся углы треугольника также равны \(60^{\circ}\), то есть \(ABB'\) – равносторонний треугольник, в частности \(2a = BB' = AB = c\).

right_triangle_1_proof

Замечание: Пусть в треугольнике \(ABC\) \(\angle{CAB} = 30^{\circ}\), \(BC = a\), \(AB = 2a\), \(AC = b\). Воспользуемся теоремой косинусов:

\[a^2 = (2a)^2 + b^2 - 2ab\cos{30^{\circ}}\Longleftrightarrow b^2 - 2\sqrt{3}ab + 3a^2 = 0\Longleftrightarrow (b - a\sqrt{3})^2 = 0\Longleftrightarrow b = a\sqrt{3}.\]

Заметим, что для треугольника со сторонами \(a\), \(\sqrt{3}a\), \(2a\) верна теорема Пифагора:

\[a^2 + (\sqrt{3}a)^2 = 4a^2 = (2a)^2.\]

Значит \(ABC\) – прямоугольный треугольник.

right_triangle_1_1_proof

2. Достроим треугольник \(ABC\) до квадрата \(CHFD\) со стороной \((a+b)\) как показано на рисунке. Треугольники \(ABC\), \(GAH\), \(EGF\), \(BED\) равны по двум сторонам (катетам) и углу между ними. \(\alpha + \beta = 90^{\circ}\), поэтому \(AGEB\) – квадрат. Таким образом, площадь квадрата \(CHFD\) равна, с одной стороны \((a + b)^2\), с другой стороны \(4\cdot\dfrac{ab}{2} + c^2\), то есть

\[(a + b)^2 = 2ab + c^2\;\;\;\Longrightarrow\;\;\; a^2 + 2ab + b^2 = 2ab + c^2\;\;\;\Longrightarrow\;\;\;a^2 + b^2 = c^2.\]
right_triangle_2_proof

Докажем обратное утверждение. Пусть в треугольнике \(ABC\) со сторонами \(CB = a\), \(AC = b\), \(AB = c\) выполнено равенство верно \(a^2 + b^2 = c^2\). Рассмотрим прямоугольный треугольник \(A_1B_1C_1\), так что \(C_1B_1 = a\), \(A_1C_1 = b\). По теореме Пифагора \(A_1B_1^2 = a^2 + b^2 = AB^2 = c^2\), то есть \(A_1B_1 = AB = c\), значит треугольники \(ABC\), \(A_1B_1C_1\) равны по трём сторонам, значит \(ABC\) – прямоугольный.

Рассмотрим альтернативное доказательство с помощью утверждения 6. Верны следующие равенства: \(c_ac = a^2\) и \(c_bc = b^2\). Просуммируем эти равенства

\[a^2 + b^2 = c_ac + c_bc\;\Rightarrow\; a^2 + b^2 = c(c_a + c_b).\]

Так как \(c_a + c_b = c\), то

\[a^2 + b^2 = c^2.\]
right_triangle_5

3. Продлим медиану \(CM\) на её длину до точки \(D\), то есть \(CM = MD\). Треугольники \(CMB\) и \(MDA\) равны по двум сторонам и углу между ними (\(CM\) = \(MD\), \(BM\) = \(MA\), \(\angle{CMB} = \angle{AMD}\), так как они являются вертикальными), значит, \(\angle{CBM} = \angle{MAD}\). Аналогично, подобны треугольники \(CAM\) и \(DBM\), а, значит, \(\angle{CAM} = \angle{MBD}\). Таким образом, треугольники \(ABC\) и \(BAD\) равны, значит \(CADB\) – прямоугольник, в котором \(AB\) и \(CD\) – диагонали, они равны и точкой пересечения делятся пополам, поэтому

\[CM = AM = MD = \dfrac{1}{2}AB.\]
right_triangle_3_proof

Докажем обратное утверждение: опишем вокруг треугольника \(ABC\) окружность. Нам известно, что \(CM = AM = MB\), поэтому радиус описанной окружности равен \(AM\) и \(M\) – центр окружности, \(AB\) – диаметр окружности, угол \(\angle{ACB}\) равен \(90^{\circ}\), так как он опирается на диаметр окружности, значит, наш треугольник является прямоугольным.

right_triangle_3_1_proof

5. \(\angle{HCB} = 180^{\circ} - (90^{\circ} + \beta) = 90^{\circ} - \beta = \alpha\), значит треугольники \(ABC\) и \(CBH\) подобны по трём углам. Аналогично, \(\angle{ACH} = 180^{\circ} - (90^{\circ} + \alpha) = 90^{\circ} - \alpha = \beta\), то есть треугольники \(ABC\) и \(ACH\) подобны.

Из подобия этих двух пар треугольников следует, что треугольники \(AHC\) и \(CHB\) подобны.

right_triangle_5_1

6. Так как треугольники \(ABC\) и \(ACH\) подобны, то мы можем записать соотношение:

\[\dfrac{CH}{CB} = \dfrac{AC}{AB}\;\;\;\text{или}\;\;\;\dfrac{h}{a} = \dfrac{b}{c}\;\;\;\Longrightarrow h = \dfrac{ab}{c}.\]

А также:

\[\dfrac{AC}{AB} = \dfrac{AH}{AC}\;\;\;\text{или}\;\;\;\dfrac{b}{c} = \dfrac{c_b}{b}\;\;\;\Longrightarrow c_bc=b^2.\]

Из подобия треугольников \(ACH\) и \(CBH\) получаем:

\[\dfrac{CH}{AH} = \dfrac{HB}{CH}\;\;\;\text{или}\;\;\;\dfrac{h}{c_b} = \dfrac{c_a}{h}\;\;\;\Longrightarrow h^2 = c_ac_b.\]

Из подобия \(ABC\) и \(CBH\) следует:

\[\dfrac{CB}{AB} = \dfrac{HB}{CB}\;\;\;\text{или}\;\;\;\dfrac{a}{c} = \dfrac{c_a}{a}\Longrightarrow c_ac=a^2.\]
right_triangle_5

7. В подобных треугольниках линейные элементы относятся также как стороны этих треугольников. Поэтому для треугольников \(ABC\) и \(CBH\) получаем:

\[\dfrac{a}{c} = \dfrac{x_a}{x_c}.\]

Для треугольников \(ABC\) и \(ACH\):

\[\dfrac{b}{c} = \dfrac{x_b}{x_c}.\]

Возведём в квадрат оба равенства и сложим:

\[\dfrac{a^2 + b^2}{c^2} = \dfrac{x^2_a + x^2_b}{x^2_c}.\]

\(\dfrac{a^2 + b^2}{c^2} = 1\), поэтому \(x^2_a + x^2_b = x^2_c\).

right_triangle_5

8. Докажем данное утверждение при \(\beta > \alpha\).

\(CM\) – медиана исходящая из прямого угла, поэтому \(CM = MA\), значит \(\angle{ACM} = \angle{MAC} = \alpha\). Мы знаем, что

\[\alpha + \beta = 90^{\circ}.\]

Треугольник \(HCB\) прямоугольный, поэтому \(\angle{HCB} + \angle{HBC} = 90^{\circ}\), то есть \(\angle{HCB} = 90^{\circ} - \beta = \alpha\). С одной стороны, \(\angle{MCH} + 2\alpha = 90^{\circ}\), с другой \(\alpha + \beta = 90^{\circ}\), значит,

\[\angle{MCH} + 2\alpha = \alpha + \beta\]

То есть \(\angle{MCH} = \beta - \alpha.\)

right_triangle_6

9. \(B'C = CA' = r\), \(A'B = BC' = a-r\), \(B'A = AC' = b-r\), значит,

\[c = (a - r) + (b - r)\]

Следовательно,

\[2r = a + b - c \text{ или } r = \dfrac{a + b - c}{2}.\]
right_triangle_7

10. \(CM\) – медиана исходящая из прямого угла, поэтому \(CM = MB\), значит, \(\angle{MBC} = \angle{MCB}\). \(ABC\) – прямоугольный, поэтому \(\angle{CAB} + \angle{MBC} = 90^{\circ}\), \(ACH\) также является прямоугольным, поэтому

\[\angle{CAB} + \angle{ACH} = 90^{\circ}.\]

Таким образом, мы получаем, что

\[\angle{MBC} = \angle{MCB} = \angle{ACH},\]

но биссектриса делит \(\angle{ACB}\) пополам, значит, и угол \(\angle{HCM}\) она делит пополам.

right_triangle_8_proof

Площади

3. Докажем, что \(S = ah_a\).

Будем считать, что угол \(BAD\) является острым. Через точки \(B\) и \(C\) проведём высоты \(BH\) и \(CK\). Рассмотрим прямоугольные треугольники \(ABH\) и \(DCK\). \(BH = CK = h_{a}\), также \(AB = DC\), так как \(ABCD\) – параллелограмм, значит, треугольники \(ABH\) и \(DCK\) равны (для равенства двух прямоугольных треугольников достаточно равенства двух сторон), из чего следует, что \(AH = DK\), поэтому \(HK = a\).

area_3_proof

Рассмотрим прямоугольник \(BHKC\): его стороны равны \(a\) и \(h_a\). Имеем:

\[S_{ABCD} = S_{ABH} + S_{BHDC};\]
\[S_{BHKC} = S_{DCK} + S_{BHDC} = ah_a.\]

\(S_{ABH} = S_{DCK}\), значит, \(S_{ABCD} = S_{BHKC} = ah_a\).

4. Рассмотрим два случая.

Случай 1. Сначала будем считать, что угол \(BAD\) является острым. Рассмотрим прямоугольный треугольник \(ABH\) (\(BH\) – высота параллелограмма), тогда получаем:

\[\sin{\alpha} = \dfrac{BH}{AB} = \dfrac{h_a}{b},\]

значит

\[h_a = b\sin{\alpha}.\]

Следовательно,

\[S = ah_a = ab\sin{\alpha}.\]
area_4_proof

Случай 2. Если \(\angle{BAD}\) – тупой угол, то \(\angle{ABC} = 180^{\circ} - \alpha\) – острый. Отсюда получаем:

\[S_{ABCD} = AB\cdot BC\cdot\sin{(\angle{ABC})} = ab\sin{(180^{\circ} - \alpha)} = ab\sin{\alpha}.\]
area_4_proof_1

5. Проведём через точку \(B\) прямую параллельно \(AC\), аналогично проведём через \(A\) прямую параллельно \(BC\). Пусть данные прямые пересекаются в точке \(D\).

\(ACBD\) – параллелограмм, так как \(CA || BD\) и \(CB || AD\). Треугольники \(ACB\) и \(BDA\) равны по трём сторонам, значит \(S_{ACB} = S_{BDA}\), при этом

\[S_{ACBD} = S_{ACB} + S_{BDA} = 2S_{ACB},\]

значит

\[S_{ACB} = \dfrac{S_{ACBD}}{2} = \dfrac{ah}{2}.\]
area_7_proof_1area_7_proof_2

6. Как и в предыдущем доказательстве, построим параллелограмм \(ABDC\), его площадь равна \(S = ab\sin{\alpha}\), значит \(S_{ABC} = \dfrac{1}{2}ab\sin{\alpha}\).

area_8_proof

7. Рассмотрим треугольники \(ABD\) и \(BDC\). Высота трапеции равна высоте треугольника \(ABD\) к стороне \(AD\) и равна высоте треугольника \(BDC\) к стороне \(BC\). Получаем:

\[S_{ABCD} = S_{ABD} + S_{BDC} = \dfrac{ah}{2} + \dfrac{bh}{2} = \dfrac{a+b}{2}\cdot h.\]
area_5_proof

8. Пусть диагонали ромба пересекаются в точке \(H\). Ромб является параллелограммом, поэтому диагонали точкой пересечения делятся пополам, то есть

\[AH = HC = \dfrac{d_1}{2}; BH = HD = \dfrac{d_2}{2}.\]
area_6

Диагонали ромба перпендикулярны, поэтому треугольники \(ABH\), \(ADH\), \(BCH\), \(CDH\) – прямоугольные с катетами \(\dfrac{d_1}{2}\) и \(\dfrac{d_2}{2}\), их площади равны: \(\dfrac{\dfrac{d_1}{2}\cdot \dfrac{d_2}{2}}{2} = \dfrac{d_1 \cdot d_2}{8}\). Получаем: \(S_{ABCD} = S_{ABH} + S_{ADH} + S_{BCH} + S_{CDH} = 4\cdot\dfrac{d_1 \cdot d_2}{8} = \dfrac{d_1 \cdot d_2}{2}\).

9. Пусть \(\angle{BAC} = \alpha\), тогда по теореме косинусов получаем:

\[a^2 = b^2 + c^2 - 2bc\cos{\alpha}.\]
area_8_2

Откуда получаем:

\[\cos{\alpha} = \dfrac{b^2 + c^2 - a^2}{2bc}\;\Longrightarrow \cos^2{\alpha} = \dfrac{(b^2 + c^2 - a^2)^2}{(2bc)^2}\;\Longleftrightarrow 1 - \sin^2{\alpha} = \dfrac{(b^2 + c^2 - a^2)^2}{(2bc)^2}\;\;\;\Longleftrightarrow\]
\[\sin^2{\alpha} = 1 - \dfrac{(b^2 + c^2 - a^2)^2}{4(bc)^2} = \dfrac{(2bc - b^2 - c^2 + a^2)(2bc + b^2 + c^2 - a^2)}{4b^2c^2} =\]
\[= \dfrac{(a^2 - (b - c)^2)((b+c)^2 - a^2)}{4b^2c^2} = \dfrac{(a - b + c)(a + b - c)(b + c - a)(b + c + a)}{4b^2c^2}.\]

Мы знаем, что \(S = \dfrac{1}{2}bc\sin{\alpha}\), получаем:

\[S^2 = \dfrac{b^2c^2}{4}\cdot \sin^2{\alpha} = \dfrac{(a - b + c)(a + b - c)(b + c - a)(b + c + a)}{16} =\]
\[= \dfrac{((a + b + c) - 2a)((a + b + c) - 2b)((a + b + c) - 2c)(a + b + c)}{16} =\]
\[= \dfrac{(a + b + c)}{2}\cdot \left(\dfrac{(a + b + c)}{2} - a\right)\cdot \left(\dfrac{(a + b + c)}{2} - b\right)\cdot \left(\dfrac{(a + b + c)}{2} - c\right) = p(p - a)(p - b)(p - c).\]

Значит, \(S = \sqrt{p(p - a)(p - b)(p - c)}\).

10. Пусть \(I\) – центр вписанной окружности. Рассмотрим треугольники \(AIB\), \(AIC\), \(BIC\). Имеем:

\[S_{AIB} = \dfrac{1}{2}b\cdot r;\;\;\; S_{AIC} = \dfrac{1}{2}a\cdot r;\;\;\;S_{BIC} = \dfrac{1}{2}c\cdot r.\]

Получаем:

\[S_{ABC} = S_{AIC} + S_{AIB} + S_{BIC} = \dfrac{a+b+c}{2}\cdot r = pr.\]
area_9_proof

11. Разобьём \(n-\)угольник на \(n\) треугольников так, что одна из сторон каждого треугольника является стороной многоугольника, а одной из вершин является центр описанной окружности. Пусть \(a_1,\ldots , a_n\) – длины сторон многоугольника, тогда площади полученных треугольников равны соответственно

\[\dfrac{1}{2}\cdot a_1\cdot r,\ldots , \dfrac{1}{2}\cdot a_n\cdot r.\]

В сумме они дают площадь всего многоугольника, а значит получаем:

\[S = \dfrac{1}{2}\cdot a_1\cdot r +\ldots +\dfrac{1}{2}\cdot a_n\cdot r = \dfrac{(a_1 + \ldots + a_n)}{2}\cdot r = pr.\]
area_10_proof

12. Для начала отметим, что \(\sin{(180^{\circ} - \alpha)} = \sin{\alpha}\). Найдём площади треугольников \(AEB\), \(BEC\), \(CED\), \(DEA\):

\[S_{AEB} = \dfrac{1}{2}\cdot AE\cdot EB\cdot\sin{\alpha};\;S_{BEC} = \dfrac{1}{2}\cdot BE\cdot EC\cdot\sin{\alpha};\;S_{CED} = \dfrac{1}{2}\cdot CE\cdot ED\cdot\sin{\alpha};\]
\[S_{DEA} = \dfrac{1}{2}\cdot DE\cdot EA\cdot\sin{\alpha}.\]
area_11_1

Отсюда получаем:

\[S_{ABCD} = S_{AEB} + S_{BEC} + S_{CED} + S_{DEA} = \dfrac{1}{2}\cdot\sin{\alpha}\cdot EB \cdot (AE + EC) +\]
\[+ \dfrac{1}{2}\cdot\sin{\alpha}\cdot ED \cdot (AE + EC) = \dfrac{1}{2}\cdot\sin{\alpha}\cdot EB \cdot AC + \dfrac{1}{2}\cdot\sin{\alpha}\cdot ED \cdot AC = \dfrac{1}{2}\cdot\sin{\alpha}\cdot (BE + ED)\cdot AC =\]
\[= \dfrac{1}{2}\cdot\sin{\alpha}\cdot BD \cdot AC = \dfrac{d_1d_2\sin{\alpha}}{2}.\]

13. Пусть \(\angle{BAC} = \alpha\), тогда из теоремы синусов следует, что

\[2R = \dfrac{a}{\sin{\alpha}}\;\;\;\Longrightarrow \sin{\alpha} = \dfrac{a}{2R}.\]

Площадь \(ABC\) можно найти по формуле:

\[S_{ABC} = \dfrac{1}{2}\cdot b\cdot c\cdot\sin{\alpha}.\]

Получаем:

\[S_{ABC} = \dfrac{abc}{4R}.\]
area_12_proof

14. Докажем для \(r_a\). На прямой \(AB\) отметим точку \(D\), проведем через неё касательную к нашей окружности, пусть эта касательная пересекает прямую \(BC\) в точке \(E\). Площадь треугольника \(ADE\) равна:

\[S_{ADE} = \dfrac{(b + c + BD + DE + EC)}{2}\cdot r_a.\]

Площадь четырёхугольника \(S_{BDEC}\) равна:

\[S_{BDEC} = \dfrac{a + BD + DE + EC}{2}\cdot r_a.\]
construct_46_proof

Тогда

\[S_{ABC} = S_{ADE} - S_{BDEC} = \dfrac{b + c - a}{2}\cdot r_a = \dfrac{a + b + c - 2a}{2}\cdot r_a = (p - a)\cdot r_a.\]

Свойства отношений и площадей

1. Треугольники \(ABC\) и \(AB'C\) имеют общую сторону \(AC\). Так как \(BB'\) и \(AC\) параллельны, то высоты \(BH\) и \(B'H'\) равны. По формуле площади треугольника получаем:

\[S_{ABC} = \dfrac{1}{2}AC\cdot BH = \dfrac{1}{2}AC\cdot B'H' = S_{AB'C}.\]
area_and_relations_2_proof

2. По формуле площади треугольника получаем:

\[S_{ABC} = \dfrac{1}{2}AB\cdot CH;\;\;\; S_{A'B'C} = \dfrac{1}{2}A'B'\cdot CH,\]

тогда

\[\dfrac{S_{ABC}}{S_{A'B'C}} = \dfrac{AB}{A'B'}.\]
area_and_relations_3_proof

3. По формуле площади треугольника получаем:

\[S_{ABC} = \dfrac{1}{2}BH_1\cdot AC;\;\;\; S_{AB'C} = \dfrac{1}{2}B'H_2\cdot AC,\]

тогда

\[\dfrac{S_{ABC}}{S_{AB'C}} = \dfrac{BH_1}{B'H_2}.\]
area_and_relations_4_1_proof

4. Найдем площади треугольников \(ABC\) и \(AB'C'\) через синус угла:

\[S_{ABC} = \dfrac{1}{2}AB\cdot AC\cdot\sin{\alpha};\]
\[S_{AB'C'} = \dfrac{1}{2}AB'\cdot AC'\cdot\sin{\alpha}.\]

Тогда:

\[\dfrac{S_{ABC}}{S_{AB'C'}} = \dfrac{AB\cdot AC}{AB'\cdot AC'}.\]
area_and_relations_5_proof

5. Найдем площади треугольников \(ABC\) и \(AB'C'\) через синус угла:

\[S_{ABC} = \dfrac{1}{2}AB\cdot AC\cdot\sin{\alpha};\]
\[S_{AB'C'} = \dfrac{1}{2}AB'\cdot AC'\cdot\sin{\alpha}.\]

Тогда:

\[\dfrac{S_{ABC}}{S_{AB'C'}} = \dfrac{AB\cdot AC}{AB'\cdot AC'}.\]
area_and_relations_15_proof

6. Пусть \(h\) – длина высоты \(BH_1\) к стороне \(AD\) параллелограмма \(ABCD\). \(BH_1\) является высотой треугольника \(ABE\); высоты \(EH_2\), \(CH_3\) треугольников \(BEC\) и \(CED\) также равны \(h\).

area_and_relations_7_proof

Получаем по формуле площади треугольника:

\[S_{ABE} = \dfrac{1}{2}\cdot AE\cdot h;\;\;\;S_{BEC} = \dfrac{1}{2}\cdot BC\cdot h;\;\;\;S_{CED} = \dfrac{1}{2}\cdot ED\cdot h.\]

Тогда:

\[S_{ABE} + S_{CED} = \dfrac{1}{2}\cdot AE\cdot h + \dfrac{1}{2}\cdot ED\cdot h = \dfrac{1}{2}\cdot (AE + ED)\cdot h = \dfrac{1}{2}\cdot AD\cdot h = S_{BEC}.\]

7. Пусть \(S_{ABE} = S_{CBE}\), тогда по формуле площади треугольника через синус угла получаем:

\[S_{ABE} = \dfrac{1}{2}\cdot AE \cdot EB\cdot\sin{\alpha};\;\;\;S_{CBE} = \dfrac{1}{2}\cdot CE \cdot EB\cdot\sin{\beta}\]
\[S_{AEM} = \dfrac{1}{2}\cdot AE \cdot EM \cdot \sin{(180^{\circ} - \alpha)} = \dfrac{1}{2}\cdot AE \cdot EM \cdot \sin{\alpha};\]
\[S_{CEM} = \dfrac{1}{2}\cdot CE \cdot EM \cdot \sin{(180^{\circ} - \beta)} = \dfrac{1}{2}\cdot CE \cdot EM \cdot \sin{\beta};\]
area_and_relations_9_proof

Получаем:

\[\dfrac{S_{AEM}}{S_{CEM}} = \dfrac{AE\cdot\sin{\alpha}}{CE\cdot\sin{\beta}} = \dfrac{\dfrac{1}{2}\cdot AE \cdot EB\cdot\sin{\alpha}}{\dfrac{1}{2}\cdot CE \cdot EB\cdot\sin{\beta}} = \dfrac{S_{ABE}}{S_{CBE}} = 1.\]

То есть \(S_{AEM} = S_{CEM}\), при этом треугольники \(AEM\) и \(CEM\) имеют общую высоту к сторонам \(AM\) и \(MC\), значит \(AM = MC\).

Докажем обратное утверждение.

Пусть \(BM\) – медиана треугольника \(ABC\), тогда \(EM\) – медиана треугольника \(AEC\). Получаем, что \(S_{ABM} = S_{CBM}\) и \(S_{AEM} = S_{CEM}\). Тогда

\[S_{ABE} = S_{ABM} - S_{AEM} = S_{CBM} - S_{CEM} = S_{CBE}.\]

8. Найдём площади треугольников \(LME\), \(MNE\), \(NKE\) и \(KLE\):

\[S_{LME} = \dfrac{1}{2}\cdot LE \cdot EM\cdot\sin{\alpha};\;\;\;S_{MNE} = \dfrac{1}{2}\cdot ME \cdot EN\cdot\sin{(180^{\circ} - \alpha)}\]
\[S_{NKE} = \dfrac{1}{2}\cdot NE \cdot EK\cdot\sin{\alpha};\;\;\;S_{KLE} = \dfrac{1}{2}\cdot KE \cdot EL\cdot\sin{(180^{\circ} - \alpha)}.\]
area_and_relations_10_proof

Так как четырёхугольник \(MNKL\) построен на серединах сторон четырёхугольника \(ABCD\), то \(MNKL\)параллелограмм, а значит диагонали \(MNKL\) делятся точкой пересечения пополам, то есть \(ME = EK\), \(NE = EL\). Также \(\sin{\alpha} = \sin{(180^{\circ} - \alpha)}\), поэтому получаем, что

\[S_{LME} + S_{NKE} = \dfrac{1}{2}\sin{\alpha}(LE \cdot EM + NE \cdot EK) = \dfrac{1}{2}\sin{\alpha}(NE\cdot EM + KE\cdot EL) = S_{MNE} + S_{KLE}.\]

Далее заметим, что треугольники \(S_{MBN}\) и \(S_{ABC}\) подобны с коэффициентом подобия \(2\), значит \(S_{MBN} = \dfrac{1}{4}\cdot S_{ABC}\). Аналогично получаем, что

\[S_{AML} = \dfrac{1}{4}\cdot S_{ABD};\;\;\; S_{CNK} = \dfrac{1}{4}\cdot S_{CBD};\;\;\; S_{DKL} = \dfrac{1}{4}\cdot S_{DAC}.\]

При этом

\[S_{ABC} + S_{ACD} = S_{ABCD};\;\;\; S_{ABD} + S_{BCD} = S_{ABCD},\]

значит

\[S_{AML} + S_{CNK} = S_{MBN} + S_{DKL} = \dfrac{1}{4}S_{ABCD}.\]

Окончательно получаем:

\[S_1 + S_3 = S_{MBN} + S_{MNE} + S_{DKL} + S_{KLE} = (S_{MNE} + S_{KLE}) + (S_{MBN} + S_{DKL}) =\]
\[= S_{LME} + S_{NKE} + S_{AML} + S_{CNK} = S_2 + S_4.\]

9. Пусть \(\alpha = \angle{BEC}\), тогда \(\alpha = \angle{AED}\) (\(\angle{BEC}\) и \(\angle{AED}\) равны как вертикальные углы) и \(\angle{AEB} = \angle{DEC} = 180^{\circ} - \alpha\) (так как углы \(\angle{BEC}\) и \(\angle{DEC}\) являются смежными). Также мы знаем, что \(\sin{\alpha} = \sin{(180^{\circ} - \alpha)}\). Найдём площади треугольников:

\[S_{BEC} = \dfrac{1}{2}\cdot BE\cdot EC\cdot \sin{\alpha};\;\;\;S_{AED} = \dfrac{1}{2}\cdot AE\cdot ED\cdot \sin{\alpha};\]
\[S_{AEB} = \dfrac{1}{2}\cdot AE\cdot EB\cdot\sin{\alpha};\;\;\; S_{DEC} = \dfrac{1}{2}\cdot DE\cdot EC\cdot\sin{\alpha}.\]
area_and_relations_12_proof

Получаем:

\[S_{BEC}\cdot S_{AED} = \left(\dfrac{1}{2}\cdot BE\cdot EC\cdot\sin{\alpha}\right)\cdot\left(\dfrac{1}{2}\cdot AE\cdot ED\cdot \sin{\alpha}\right) =\]
\[= \left(\dfrac{1}{2}\cdot AE\cdot EB\cdot\sin{\alpha}\right)\cdot \left(\dfrac{1}{2}\cdot CE\cdot ED\cdot\sin{\alpha}\right) = S_{AEB}\cdot S_{DEC}.\]

10. Через точку \(F\) проведём отрезок \(H_1H_2\) параллельно высоте \(BH\) параллелограмма. \(ABCD\) – параллелограмм, поэтому \(AD = BC\). Тогда получаем:

\[S_{BFC} = \dfrac{1}{2}\cdot BC\cdot FH_1;\;\;\;S_{AFD} = \dfrac{1}{2}\cdot AD \cdot FH_2.\]
area_and_relations_13_proof

Получаем:

\[S_{BFC} + S_{AFD} = \dfrac{1}{2}\cdot BC\cdot FH_1 + \dfrac{1}{2}\cdot AD \cdot FH_2 = \dfrac{1}{2}\cdot AD\cdot (FH_1 + FH_2) = \dfrac{1}{2}\cdot AD \cdot BH = \dfrac{1}{2}S_{ABCD}.\]

11. Рассмотрим случай, когда \(AD\) и \(BC\) параллельны. Пусть

\[x = \dfrac{1}{3}\cdot BC;\;\;\; y = \dfrac{1}{3}\cdot AD,\]

\(h\) – высота четырехугольника к стороне \(AD\). Тогда

\[S_{ABB_1A_1} = S_{A_1B_1C_1D_1} = S_{D_1C_1CD} = \dfrac{1}{3}S_{ABCD} = \dfrac{(x + y)\cdot h}{2},\]

значит,

\[S_{A_1B_1C_1D_1} = \dfrac{1}{2}\left(S_{ABB_1A_1} + S_{D_1C_1CD}\right).\]
area_and_relations_14_proof_1

Теперь пусть \(AD\) и \(BC\) пересекаются в точке \(M\). Пусть \(\alpha = \angle{AMB}\). Тогда:

\[S_{D_1C_1CD} = S_{MC_1D_1} - S_{MCD} = \dfrac{1}{2}(a + y)\cdot (b + x)\cdot\sin{\alpha} - \dfrac{1}{2}ab\cdot\sin{\alpha} =\]
\[= \dfrac{1}{2}(ax + by + xy)\cdot\sin{\alpha};\]
\[S_{A_1B_1C_1D_1} = S_{MB_1A_1} - S_{MC_1D_1} = \dfrac{1}{2}(a + 2y)\cdot (b + 2x)\cdot\sin{\alpha} - \dfrac{1}{2}(a + y)\cdot (b + x)\cdot\sin{\alpha} =\]
\[= \dfrac{1}{2}(ax + by + 3xy)\cdot\sin{\alpha};\]
\[S_{ABB_1A_1} = S_{MBA} - S_{MB_1A_1} = \dfrac{1}{2}(a + 3y)\cdot (b + 3x)\cdot \sin{\alpha} - \dfrac{1}{2}(a + 2y)\cdot (b + 2x)\cdot\sin{\alpha} =\]
\[= \dfrac{1}{2}(ax + by + 5xy)\sin{\alpha};\]

Отсюда получаем:

\[\dfrac{1}{2}\cdot\left(S_{ABB_1A_1} + S_{D_1C_1CD}\right) = \dfrac{1}{2}\cdot\left(\dfrac{1}{2}(ax + by + 5xy)\cdot\sin{\alpha} + \dfrac{1}{2}(ax + by + xy)\cdot \sin{\alpha}\right) =\]
\[= \dfrac{1}{2}(ax + by + 3xy)\cdot\sin{\alpha} = S_{A_1B_1C_1D_1}.\]
area_and_relations_14_proof_2

Медиана

1. Треугольники \(ABM\) и \(BMC\) имеют общую высоту \(BH\), равную \(h\). Пусть \(AC = a\), тогда:

\[S_{ABM} = S_{MBC} = \dfrac{1}{2}\cdot\dfrac{a}{2}h = \dfrac{S}{2}.\]
med_1_proof

2. Мы знаем, что:

\[S_{AMB'} = S_{B'MC};\;\;\; S_{AMC'} = S_{C'MB};\;\;\; S_{CMA'} = S_{A'MB}.\]

Известно, что площади треугольников, имеющих одинаковую высоту, относятся как основания. Медианы точкой пересечения делятся в отношении \(2:1\), поэтому

\[S_{BAM} = 2S_{AMB'}\;\;\;\text{и}\;\;\; S_{BCM} = 2S_{B'MC},\]

а значит

\[S_{AMB'} = S_{AMC'} = S_{C'MB} = S_{B'MC} = S_{CMA'} = S_{A'MB} = \dfrac{S}{6}.\]
mediana_14

3. Пусть \(\angle{BAD} = \alpha\). По теореме косинусов получаем, что

\[d_1^2 = a^2 + b^2 - 2ab\cos{\alpha}.\]

\(\angle{ABC} = 180^{\circ} - \alpha\), так как \(ABCD\) – параллелограмм. Также мы знаем, что

\[\cos{(180^{\circ} - \alpha)} = \cos{\alpha}.\]
med_4_proof

По теореме косинусов получаем второе соотношение:

\[d_2^2 = a^2 + b^2 + 2ab\cos{\alpha}.\]

Сложим полученные равенства:

\[d_1^2 + d_2^2 = 2(a^2 + b^2).\]

4. Продлим медиану \(BM\) за точку \(M\) на её длину, получим точку \(D\) такую, что \(BM = MD\). Получим параллелограмм \(ABCD\). Для него тождество параллелограмма запишется следующим образом:

\[b^2 + (2m)^2 = 2(a^2+c^2).\]

Выразив \(m^2\), получаем:

\[m^2=\dfrac{2a^2+2с^2-b^2}{4}.\]
med_3_proof

Биссектриса

1. Пусть \(I\) – точка пересечения биссектрис внешних углов \(\angle{A}\) и \(\angle{B}\), \(IA'\), \(IB'\) – перпендикуляры к продолжениям сторон \(AC\) и \(BC\), \(IC'\) – перпендикуляры к стороне \(AB\). \(I\) лежит на биссектрисе внешнего угла \(A\), значит \(IA' = IC'\), аналогично получаем, что \(IB' = IC'\), значит \(IB' = IA'\), то есть точка \(I\) равноудалена от сторон угла \(C\), то есть она лежит на биссектрисе угла \(C\). \(IA' = IB' = IC'\), поэтому \(I\) – центр вневписанной окружности.

bissektr_2_proof

2. Пусть \(BH\) – высота треугольника \(ABC\), \(LH_1\) – высота треугольника \(ABL\), \(LH_2\) – высота треугольника \(BCL\). Так как каждая точка на биссектрисе равноудалена от сторон угла, то \(LH_1 = LH_2 = h\). Получаем:

\[\dfrac{AL}{LC} = \dfrac{\dfrac{1}{2}\cdot AL\cdot BH}{\dfrac{1}{2}\cdot LC \cdot BH} = \dfrac{S_{ABL}}{S_{BCL}} = \dfrac{\dfrac{1}{2}\cdot AB\cdot h}{\dfrac{1}{2}\cdot BC\cdot h} = \dfrac{AB}{BC}.\]
bissektr_3_proof

3. Доказательство ничем не будет отлчиаться от доказательства аналогично факта для биссектрисы внутреннего угла. Пусть \(BH\) – высота треугольника \(ABC\), \(LH_1\) – высота треугольника \(ABL\), \(LH_2\) – высота треугольника \(BCL\). Так как каждая точка на биссектрисе равноудалена от сторон угла, то \(LH_1 = LH_2 = h\). Получаем:

\[\dfrac{AL}{LC} = \dfrac{\dfrac{1}{2}\cdot AL\cdot BH}{\dfrac{1}{2}\cdot LC \cdot BH} = \dfrac{S_{ABL}}{S_{BCL}} = \dfrac{\dfrac{1}{2}\cdot AB\cdot h}{\dfrac{1}{2}\cdot BC\cdot h} = \dfrac{AB}{BC}.\]
bissektr_4_proof

4. Докажем первую формулу. Вычислим площади треугольников \(ABL\), \(CBL\), \(ABC\):

\[S_{ABL} = \dfrac{1}{2}\cdot c\cdot l\cdot\sin{\alpha};\;S_{CBL} = \dfrac{1}{2}\cdot a\cdot l\cdot\sin{\alpha};\;S_{ABC} = \dfrac{1}{2}\cdot a\cdot c\cdot\sin{2\alpha}.\]
bissektr_5_1_proof

При этом имеем: \(S_{ABC} = S_{ABL} + S_{CBL}\). Значит,

\[c\cdot l\cdot\sin{\alpha} + a\cdot l\cdot\sin{\alpha} = a\cdot c\cdot\sin{2\alpha}\;\Longrightarrow (a + c)\cdot\sin{\alpha}\cdot l = a\cdot c\cdot 2\sin{\alpha}\cos{\alpha}.\;\;\;\]

Таким образом:

\[l = \dfrac{2ac\cos{\alpha}}{a+c}.\]

Докажем вторую формулу. Продлим биссектрису \(BL\) до пересечения с описанной вокруг \(ABC\) окружностью (обозначим эту точку \(B'\)). Пусть \(LB' = d\), \(\angle{LBC} = \angle{CAB'}\), так как эти углы опираются на одну и ту же дугу. По тем же причинам \(\angle{BCA} = \angle{AB'B}\), значит треугольники \(ALB'\) и \(BLC\) подобны, то есть

\[\dfrac{l}{c'} = \dfrac{a'}{d}\;\Longrightarrow ld = a'c';\]
bissektr_5_proof

Легко видеть, что треугольники \(ABB'\) и \(LBC\) подобны, значит

\[\dfrac{l + d}{a} = \dfrac{c}{l}\;\Longrightarrow l^2 + ld = ac\;\Longrightarrow l^2 = ac - a'c'.\]

5. Пусть \(I\) точка пересечения биссектрис углов \(\angle{B} = \beta\) и \(\angle{C} = \gamma\). Сумма углов треугольника равна \(180^{\circ}\), то есть \(\alpha + \beta + \gamma = 180^{\circ}\), значит,

\[\dfrac{1}{2}(\beta + \gamma) = 90^{\circ} - \dfrac{\alpha}{2},\;\;\; \angle{BIC} = 180^{\circ} - \dfrac{1}{2}(\beta + \gamma) = 90^{\circ} + \dfrac{\alpha}{2},\]

смежный ему равен \(90^{\circ} - \dfrac{\alpha}{2}\).

bissektr_6

6. Мы знаем, что

\[\angle{ABC} = 180^{\circ} - (\angle{BAC} + \angle{BCA})\]

и

\[\angle{CAK} = 90^{\circ} - \dfrac{\angle{BAC}}{2},\;\;\; \angle{ACK} = 90^{\circ} - \dfrac{\angle{BCA}}{2},\]

при этом

\[\angle{AKC} = 180^{\circ} - (\angle{CAK} + \angle{ACK}) = 180^{\circ} - \left(90^{\circ} -\dfrac{\angle{BAC}}{2} + 90^{\circ} - \dfrac{\angle{BCA}}{2}\right) =\]
\[= \dfrac{1}{2}(\angle{BAC} + \angle{BCA}) = \dfrac{1}{2}\left(180^{\circ} - (\angle{ABC})\right) = 90^{\circ} - \dfrac{1}{2}\angle{ABC} = 90^{\circ} - \dfrac{\alpha}{2}.\]
bissektr_7

7. Докажем отношение

\[\dfrac{CO}{OC'} = \dfrac{a + b}{c}.\]

\(AO\) является биссектрисой треугольника \(AC'C\), поэтому выполнено соотношение:

\[\dfrac{AC}{AC'} = \dfrac{b}{c - C'B} = \dfrac{CO}{OC'};\]

\(CC'\) – биссектриса треугольника \(ABC\), поэтому

\[\dfrac{AC}{CB} = \dfrac{b}{a} = \dfrac{AC'}{C'B}\;\Longrightarrow C'B = \dfrac{AC'\cdot a}{b}\;\Longrightarrow C'B = \dfrac{(c - C'B)\cdot a}{b} = \dfrac{ac}{b} - C'B\cdot\dfrac{a}{b}\; \Longrightarrow\]
\[\Longrightarrow C'B\left(1 + \dfrac{a}{b}\right) = \dfrac{ac}{b}\;\Longrightarrow C'B = \dfrac{ac}{a + b}.\]

Получаем:

\[\dfrac{CO}{OC'} = \dfrac{b}{c - \dfrac{ac}{a + b}} = \dfrac{a + b}{c}.\]
bissektr_8_proof

Средняя линия

2. Из обратной теоремы Фалеса следует, что отрезки \(AC\) и \(A'C'\) параллельны. Угол \(\angle{ABC}\) является общим для треугольников \(ABC\) и \(A'BC'\), при этом \(AB = 2A'B\), \(BC = 2C'B\), значит \(ABC\) и \(A'BC'\) подобны по второму признаку подобия с коэффициентом \(\dfrac{1}{2}\), поэтому \(AC = 2A'C'\). То есть средняя линия равна половине основания.

med_line_1

3. Мы установили, что каждая средняя линия треугольника отсекает треугольник, подобный исходному с коэффициентом подобия \(\dfrac{1}{2}\), значит, площадь треугольника, отсекаемого средней линией, равна \(\dfrac{S}{4}\) (так как отношение площадей подобных треугольников равно квадрату коэффициента подобия). Таким образом, получаем:

\[S_{AA'B'} + S_{BA'C'} + S_{CB'C'} = \dfrac{S}{4} + \dfrac{S}{4} + \dfrac{S}{4} = \dfrac{3S}{4}.\]

Поэтому площадь оставшегося треугольника \(A'B'C'\) равна также \(S - \dfrac{3S}{4} = \dfrac{S}{4}\).

med_line_2

4. Пусть диагональ \(AC\) пересекает среднюю линию в точке \(F\). Тогда \(MF\) – средняя линия треугольника \(ABC\), значит, \(MF = \dfrac{b}{2}\). \(FN\) – средняя линия треугольника \(ACD\), значит, \(FN = \dfrac{a}{2}\). Таким образом, получаем, что

\[MN = \dfrac{a}{2} + \dfrac{b}{2} = \dfrac{a+b}{2}.\]
med_line_3_proof

5. Пусть \(M\) и \(N\) – середины диагоналей \(AC\) и \(BD\) соответственно. Отрезок, соединяющий \(M\) с серединой боковой стороны \(AB\), равен \(\dfrac{b}{2}\). Отрезок, соединяющий \(N\) с серединой боковой стороны \(CD\), равен \(\dfrac{b}{2}\). Значит,

\[MN = \dfrac{a + b}{2} - b = \dfrac{a - b}{2}.\]
trapeze_12_proof

6. Пусть \(M_1\), \(M_2\), \(M_3\), \(M_4\) – середины сторон \(AB\), \(BC\), \(CD\), \(DA\) соответственно. Тогда \(M_1M_2\) – средняя линия треугольника \(ABC\), а значит, отрезок \(M_1M_2\) параллелен отрезку \(AC\) и \(AC = 2M_1M_2\). \(M_3M_4\) – средняя линия треугольника \(ACD\), значит, отрезок \(M_3M_4\) параллелен отрезку \(AC\) и \(AC = 2M_3M_4\), то есть отрезки \(M_1M_2\) и \(M_3M_4\) параллельны и равны. Аналогично мы можем доказать, что отрезки \(M_1M_4\) и \(M_2M_3\) параллельны и равны. Значит, четырёхугольник \(M_1M_2M_3M_4\) – параллелограмм.

Докажем, что площадь \(M_1M_2M_3M_4\) в два раза меньше площади \(ABCD\). Имеем:

\[S_{BM_1M_2} = \dfrac{1}{4}S_{ABC},\;\; S_{DM_3M_4} = \dfrac{1}{4}S_{ACD},\;\; S_{AM_1M_4} = \dfrac{1}{4}S_{ABD},\;\; S_{CM_2M_3} = \dfrac{1}{4}S_{BCD}.\]

При этом

\[S_{ABC} + S_{ACD} = S_{ABD} + S_{BCD} = S_{ABCD} = S,\]

значит,

\[S_{BM_1M_2} + S_{DM_3M_4} + S_{AM_1M_4} + S_{CM_2M_3} = \dfrac{1}{4}\cdot (S + S) = \dfrac{S}{2}.\]

Таким образом,

\[S_{M_1M_2M_3M_4} = S - (S_{BM_1M_2} + S_{DM_3M_4} + S_{AM_1M_4} + S_{CM_2M_3}) = S - \dfrac{S}{2} = \dfrac{S}{2}.\]
med_line_4med_line_4_1

7. В предыдущем пункте мы доказали, что \(M_1M_2 = M_3M_4 = \dfrac{AC}{2}\), аналогично мы можем доказать, что \(M_1M_4 = M_2M_3 = \dfrac{BD}{2}\).

8. Если \(AC = BD\), значит \(M_1M_2 = M_3M_4 = \dfrac{AC}{2} = M_1M_4 = M_2M_3\), поэтому \(M_1M_2M_3M_4\) – ромб.

med_line_6

9. Отрезки \(M_1M_2\) и \(M_3M_4\) параллельны диагонали \(AC\), отрезки \(M_1M_4\) и \(M_2M_3\) параллельны \(BD\), значит углы между соседними сторонами параллелограмма \(M_1M_2M_3M_4\) равны углу между диагоналями, то есть углы четырёхугольника \(M_1M_2M_3M_4\) равны \(90^{\circ}\), значит, \(M_1\), \(M_2\), \(M_3\), \(M_4\) – прямоугольник.

med_line_7

10. Пусть \(ABCD\) – четырёхугольник. \(M_1\), \(M_2\) – середины сторон \(AB\) и \(CD\), \(O_1\) – середина диагонали \(BD\), \(O_2\) – середина диагонали \(AC\). Тогда \(M_1O_1\) – средняя линия треугольника \(ABD\), значит, отрезок \(M_1O_1\) параллелен отрезку \(AD\) и \(M_1O_1 = \dfrac{AD}{2}\).

med_line_8

\(M_2O_2\) – средняя линия треугольника \(ACD\), значит отрезок \(M_2O_2\) параллелен отрезку \(AD\) и \(M_2O_2 = \dfrac{AD}{2}\), то есть отрезки \(M_1O_1\) и \(M_2O_2\) параллельны и \(M_1O_1 = M_2O_2\). Значит, \(M_1O_1M_2O_2\) –параллелограмм.

Трапеция

1. Докажем, что если трапеция равнобедренная, то углы при основаниях равны. Проведём высоты \(BH_1\) и \(CH_2\). В прямоугольных треугольниках \(ABH_1\) и \(DCH_2\) равны гипотенузы \(AB\) и \(CD\) (так как трапеция равнобедренная) и равны катеты \(BH_1\), \(CH_2\), значит, треугольники \(ABH_1\) и \(DCH_2\) равны, поэтому \(\angle{BAD} = \angle{CDA}\) и \(\angle{ABH_1} = \angle{DCH_2}\), при этом

\[\angle{H_1BC} = \angle{H_2CB} = 90^{\circ},\]

значит, \(\angle{ABC} = \angle{DCB}\).

Обратно, пусть углы при основаниях равны. Проведём высоты \(BH_1\) и \(CH_2\), они равны, при этом \(\angle{BAD} = \angle{CDA}\), \(\angle{BH_1A} = \angle{CH_2D} = 90^{\circ}\), поэтому треугольники \(ABH_1\) и \(DCH_2\) равны, значит \(AB = CD\).

trapeze_3_proof_1

2. Рассмотрим треугольники \(ABD\) и \(DCA\).

Если \(AB = CD\) (то есть трапеция является равнобедренной), то \(\angle{BAD} = \angle{CDA}\), при этом сторона \(AD\) является общей для треугольников \(ABD\) и \(DCA\), значит, треугольники равны по первому признаку равенства треугольников, поэтому \(AC = BD\).

trapeze_2_proof

Пусть \(AC = BD\), но \(AB\neq CD\) (без ограничения общности будем считать, что \(CD > AB\)). На отрезке \(AD\) отметим точку \(D'\) так, что \(AB = CD'\). То есть трапеция \(ABCD'\) является равнобедренной, то есть \(AC = BD'\). Далее на прямой \(AD\) отметим точку \(D''\) такую, что \(BD'' = BD\). Треугольники \(BDD'\) и \(BDD''\) являются равнобедренными, поэтому

\[\angle{BD''D} = \angle{BDD'} = \angle{BD'D}.\]

При этом треугольник \(BD'D''\) также является равнобедренным и

\[\angle{BD'D''} = \angle{BD''D}.\]

То есть \(\angle{BD'D''} = \angle{BD'D}\), при этом данные углы являются смежными, значит

\[\angle{BD'D''} = \angle{BD'D} = \angle{BDD'} = 90^{\circ}.\]

Сумма углов треугольника равна \(180^{\circ}\), значит \(\angle{D'BD} = 0^{\circ}\). Получаем противоречие, то есть \(AB = CD\).

trapeze_2_proof_1

4. Докажем сразу оба свойства. Пусть \(CH\) – высота трапеции. Тогда

\[AD = b = AH + HD = a + 2HD,\]

значит, \(HD = \dfrac{b - a}{2}\), \(AH = b - \dfrac{b - a}{2} = \dfrac{a + b}{2}\).

trapeze_4

5. Пусть \(M\), \(N\) – середины оснований \(BC\) и \(AD\) соответственно, \(Q_1\) – точка пересечения диагонали \(AC\) и \(MN\), \(Q_2\) – точка пересечения диагонали \(BD\) и \(MN\). Треугольники \(AQ_1N\) и \(CQ_1M\) подобны, значит,

\[\dfrac{MQ_1}{Q_1N} = \dfrac{MC}{AN}.\]

Треугольники \(DQ_2N\) и \(BQ_2M\) подобны, значит,

\[\dfrac{MQ_2}{Q_2N} = \dfrac{MB}{ND}.\]

При этом \(MC = MB\) и \(AN = ND\), значит

\[\dfrac{MQ_1}{Q_1N} = \dfrac{MQ_2}{Q_2N}.\]
trapeze_5_proof

То есть точки \(Q_1\) и \(Q_2\) делят отрезок \(MN\) в одном и том же отношении, значит, эти точки совпадают, поэтому диагонали трапеции пересекаются на отрезке \(MN\).

Далее, пусть продолжение боковой стороны \(AB\) пересекает продолжение \(MN\) в точке \(E_1\), продолжение стороны \(CD\) пересекает продолжение \(MN\) в точке \(E_2\).

trapeze_5_proof_1

Треугольники \(BE_1M\) и \(AE_1N\) подобны, значит,

\[\dfrac{ME_1}{E_1N} = \dfrac{MB}{AN}.\]

Треугольники \(ME_2C\) и \(NE_2D\) подобны, значит,

\[\dfrac{ME_2}{E_2N} = \dfrac{CM}{ND}.\]

Так как \(CM = MB\) и \(AN = ND\), то

\[\dfrac{ME_1}{E_1N}=\dfrac{ME_2}{E_2N}.\]

Рассмотрим данное соотношение:

\(\dfrac{E_1N}{ME_1} = \dfrac{E_2N}{ME_2} \Rightarrow \dfrac{E_1M+MN}{E_1M}=\dfrac{E_2M+MN}{E_2M} \Rightarrow 1+\dfrac{MN}{E_1M}=1+\dfrac{MN}{E_2M} \Rightarrow \dfrac{MN}{E_1M}=\dfrac{MN}{E_2M} \Rightarrow E_1M=E_2M.\)

6. Пусть \(ABCD\) – равнобедренная трапеция, тогда \(\angle{A} = \angle{D}\) и \(\angle{B} = \angle{C}\), при этом

\[\angle{A} + \angle{B} = \angle{A} + \angle{C} = 180^{\circ}.\]

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

\[\angle{B} + \angle{D} = 180^{\circ},\]

значит, по первому признаку вписанного четырёхугольника вокруг \(ABCD\) можно описать окружность.

Докажем в обратную сторону. Пусть вокруг трапеции \(ABCD\) можно описать окружность. Тогда

\[\angle{A} + \angle{C} = \angle{B} + \angle{D} = 180^{\circ},\]

но также верно, что

\[\angle{A} + \angle{B} = 180^{\circ},\]

то есть \(\angle{B} = \angle{C}\), значит, \(ABCD\) – равнобедренная трапеция.

trapeze_3

7. Для начала докажем равенство площадей треугольников \(ABE\) и \(DCE\). Площади треугольников \(ABD\) и \(ACD\) равны, так как они имеют общую сторону \(AD\), а высоты, проведённые из вершин \(B\) и \(C\) к стороне \(AD\), являются высотами трапеции. При этом

\[S_{ABD} = S_{AEB} + S_{AED},\;\;\; S_{ACD} = S_{CED} + S_{AED},\]

поэтому \(S_{AEB} = S_{CED}\).

trapeze_7_proof_1

Пусть \(E\) – точка пересечения диагоналей трапеции, \(\angle{AEB} = \alpha\), тогда \(\angle{BEC} = 180^{\circ} - \alpha\). При этом \(\angle{AEB} = \angle{CED}\), \(\angle{BEC} = \angle{AED}\) (как вертикальные углы) и \(\sin{\alpha} = \sin{(180^{\circ} - \alpha)}\).

Найдём площади треугольников \(AEB\) и \(CED\):

\[S = S_{AEB} = \dfrac{1}{2}\cdot AE\cdot EB\cdot\sin{\alpha},\]
\[S = S_{CED} = \dfrac{1}{2}\cdot CE\cdot ED\cdot\sin{\alpha}.\]
trapeze_7_proof

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

\[S^2 = \left(\dfrac{1}{2}\cdot AE\cdot EB\cdot\sin{\alpha}\right)\cdot\left(\dfrac{1}{2}\cdot CE\cdot ED\cdot\sin{\alpha}\right) =\]
\[= \left(\dfrac{1}{2}\cdot BE\cdot EC\cdot\sin{(180^{\circ} - \alpha)}\right)\cdot\left(\dfrac{1}{2}\cdot AE\cdot ED \cdot\sin{(180^{\circ} - \alpha)}\right) = S_{BEC}\cdot S_{AED}.\]

Таким образом получаем: \(S = \sqrt{S_{BEC}\cdot S_{AED}}\).

8. Рассмотрим треугольники \(ABD\) и \(ACD\). Они имеют общую сторону \(AD\). Если

\[S_{AEB} = S_{CED},\]

то

\[S_{ABD} = S_{ABE} + S_{AED} = S_{CED} + S_{AED} = S_{ACD},\]

тогда высоты, проведённые из вершин \(B\) и \(C\) к стороне \(AD\), равны. Но в таком случае отрезки \(AD\) и \(BC\) параллельны, то есть \(ABCD\) – трапеция.

trapeze_7_proof_1

9. Длина средней линии трапеции равна \(\dfrac{a + b}{2}\). Если в четырёхугольник \(ABCD\) можно вписать окружность, то \(AB + CD = AD + BC\), при этом \(AB = CD\), значит,

\[2AB = AD + BC\;\Longrightarrow AB = \dfrac{AD + BC}{2} = \dfrac{a + b}{2}.\]
trapeze_8_proof

10. Пусть \(P\), \(Q\) – середины оснований \(AD\) и \(BC\) соответственно, \(E\) – точка пересечения диагоналей \(ABCD\). \(AED\) и \(BEC\) – прямоугольные треугольники, при этом \(EP\), \(EQ\) – медианы этих треугольников, проведённые к гипотенузам, поэтому \(EP = \dfrac{AD}{2}\) и \(EQ = \dfrac{BC}{2}\), значит, \(PQ = \dfrac{AD + BC}{2}\).

trapeze_9_proof

11. Продлим боковые стороны трапеции до пересечения в точке \(K\). Мы знаем, что

\[\angle{KAD} + \angle{ADK} = 90^{\circ},\]

значит, треугольник \(AKD\) – прямоугольный, а также прямоугольным является треугольник \(BKC\) (так как отрезки \(AD\) и \(BC\) параллельны). \(KQ\) и \(KP\) – медианы треугольников \(AKD\) и \(BKC\), проведённые к гипотенузам, поэтому \(KQ = \dfrac{AD}{2}\) и \(KP = \dfrac{BC}{2}\), значит, \(PQ = \dfrac{AD - BC}{2}\).

trapeze_10_proof

12. Пусть \(M\) и \(K\) – точки касания вписанной окружности с основаниями \(AD\) и \(BC\) соответственно. \(N\) и \(L\) – точки касания вписанной окружности с боковыми сторонами \(AB\) и \(CD\) соответственно. Так как \(OM\) и \(OK\) – радиусы окружности, то отрезки \(OM\) и \(OK\) перпендикулярны основаниям \(AD\) и \(BC\) и \(AD\) параллельны, следовательно, точки \(O\), \(K\) и \(M\) лежат на одной прямой, а значит \(KM\) – высота трапеции. Значит, \(OM = OK = r\) и \(KM = 2r = h\).

trapeze_11_proof

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

\[AB = c = \dfrac{a + b}{2}.\]

Рассмотрим высоту \(BH\). Так как трапеция равнобедренная, то \(AH = \dfrac{a - b}{2}\). По теореме Пифагора получаем, что \(c^2 = \left(\dfrac{a - b}{2}\right)^2 + h^2\) или \(h^2 = \left(\dfrac{a + b}{2}\right)^2 - \left(\dfrac{a - b}{2}\right)^2 = ab\). Мы знаем, что радиус окружности, вписанной в равнобедренную трапецию, равен половине высоты этой трапеции. Значит,

\[r = \dfrac{h}{2} = \dfrac{\sqrt{ab}}{2}.\]
trapeze_11_proof_1

14. Обозначим \(\angle{CKD} = \alpha\). Тогда \(\angle{AKD} = 180^{\circ} - \alpha\). \(ABCD\) – равнобедренная трапеция, значит, \(AKD\) – равнобедренный треугольник и \(\angle{KAD} = \angle{KDA}\). Сумма углов треугольника равна \(180^{\circ}\), поэтому \(\angle{KAD} + \angle{KDA} = 2\angle{KAD} = 180^{\circ} - \angle{AKD} = \alpha\), то есть \(\angle{KAD} = \dfrac{\alpha}{2}\).

trapeze_13_proof

Вписанный угол \(\angle{CAD}\) опирается на дугу \(\stackrel{\smile}{CD}\), центральный угол \(\angle{COD}\) также опирается на эту дугу, значит \(\angle{COD} = 2\angle{CAD} = \alpha\).

15. Ранее мы доказали, что биссектрисы внутренних односторонних углов при параллельных прямых перпендикулярны. Докажем, что в трапеции они пересекаются на средней линии.

Пусть \(M\) – середина боковой стороны \(AB\), биссектрисы углов \(\angle{A}\) и \(\angle{B}\) пересекаются в точке \(N\). Продлим биссектрису \(BN\) до пересечения в точке \(K\) с основанием \(AD\). \(\angle{KBC} = \angle{AKB}\), так как они являются внутренними накрест лежащими, при этом \(\angle{ABK} = \angle{KBC}\), так как \(BK\) – биссектриса угла \(ABC\). Получаем, что \(\angle{ABK} = \angle{AKB}\), то есть \(ABK\) – равнобедренный треугольник и \(AB = AK\). \(AN\) – высота равнобедренного треугольника \(ABK\), проведённая к основанию, поэтому она также является медианой, а значит \(BN = KN\).

Получаем, что \(AM = MB\) и \(BN = NK\), поэтому по обратной теореме Фалеса отрезки \(MN\) и \(AK\) параллельны, из чего следует, что отрезок \(MN\) лежит на средней линии трапеции, а значит на ней лежит и точка \(N\).

trapeze_18_proof

16. Докажем, что треугольники \(BCM\) и \(HDM\) равны. \(M\) – середина \(CD\), значит,

\(CM = MD\), углы \(BMC\) и \(DMH\) равны, так как являются вертикальными. Углы \(BCM\) и \(MDH\) равны, так как являются внутренними накрест лежащими углами при параллельных прямых. Из второго признака равенства треугольников следует, что \(BCM\) и \(HDM\) равны, значит, \(S_{BCM} = S_{HDM}\).

Получаем:

\[S_{ABCD} = S_{ABMD} + S_{BCM},\;\;\; S_{ABH} = S_{ABMD} + S_{HDM},\]

значит, \(S_{ABCD} = S_{ABH}\).

trapeze_14_proof

17. \(BCHD\) – параллелограмм, значит, \(S_{BDC} = S_{CDH}\). Мы знаем, что \(S_{ABE} = S_{CDE}\), при этом \(S_{ABC} = S_{ABE} + S_{BEC}\) и \(S_{BCD} = S_{CDE} + S_{BEC}\), значит, \(S_{ABC} = S_{BCD} = S_{CDH}\). Отсюда получаем, что \(S_{ABCD} = S_{ACH}\).

\(BCHD\) – параллелограмм, значит \(DH = BC = a\). \(AH = a + b\) и \(BD = CH = d_2\). Значит, площадь треугольника \(ACH\) мы можем найти по формуле Герона.

Площадь трапеции \(ABCD\) можно найти из формулы: \(S_{ABCD} = \dfrac{d_1d_2\sin{\alpha}}{2}\). Приравнивая площадь треугольника \(ACH\) к площади \(S_{ABCD}\), мы можем выразить \(\sin{\alpha}\).

trapeze_15_proof

19. Пусть \(E\) – точка пересечения диагоналей трапеции. \(\angle{EAD} = \angle{ECB}\) и

\(\angle{EDA} = \angle{EBC}\), так как они являются внутренними накрест лежащими при параллельных прямых, значит, треугольники \(ECB\) и \(EAD\) подобны с коэффициентом подобия \(\dfrac{BC}{AD} = \dfrac{b}{a}\). Получаем:

\[\dfrac{ED}{BE} = \dfrac{a}{b}\; \Longrightarrow ED = BE\dfrac{a}{b},\]
\[\dfrac{EA}{CE} = \dfrac{a}{b}\; \Longrightarrow EA = CE\dfrac{a}{b}.\]
trapeze_19_proof

Треугольники \(BME\) и \(BAD\) подобны, так как отрезки \(ME\) и \(AD\) параллельны, причём их коэффициент подобия равен

\[\dfrac{BE}{BD} = \dfrac{BE}{BE + ED} = \dfrac{BE}{\left(1 + \dfrac{a}{b}\right)BE} = \dfrac{b}{b+a}.\]

Значит,

\[\dfrac{ME}{AD} = \dfrac{b}{b+a}\; \Longrightarrow ME = \dfrac{ab}{a + b}.\]

Проводя аналогичные рассуждения для треугольников \(CEN\) и \(CAD\) мы получаем, что \(EN = \dfrac{ab}{a + b}\).

Таким образом, \(MN = ME + EN = \dfrac{2ab}{a + b} = \dfrac{2}{\dfrac{1}{a} + \dfrac{1}{b}}\).

20. Пусть \(MN = c\). Продлим боковые стороны трапеции до пересечения в точке \(K\). Отрезки \(AD\), \(MN\) и \(BC\) параллельны, поэтому треугольники \(MKN\) и \(BKC\) подобны с коэффициентом подобия \(\dfrac{MN}{BC} = \dfrac{c}{b}\), а также подобны треугольники \(AKD\) и \(BKC\) с коэффициентом подобия \(\dfrac{AD}{BC} = \dfrac{a}{b}\).

Пусть \(S_1 = S_{BKC}\), \(S = S_{AMND} = S_{MBCN}\). Известно, что площади подобных треугольников относятся как квадрат коэффициента подобия, значит:

\[\dfrac{S_{MKN}}{S_{BKC}} = \dfrac{S + S_1}{S_1} = \dfrac{S}{S_1} + 1 = \left(\dfrac{c}{b}\right)^2 \Longrightarrow c^2 = b^2\left(\dfrac{S}{S_1} + 1\right) \Longrightarrow c = b\sqrt{\left(\dfrac{S}{S_1} + 1\right)}.\]
trapeze_20_proof

Аналогично получаем, что

\[\dfrac{S_{AKD}}{S_{BKC}} = \dfrac{2S + S_1}{S_1} = 2\dfrac{S}{S_1} + 1 = \left(\dfrac{a}{b}\right)^2\Longrightarrow \dfrac{S}{S_1} = \dfrac{a^2 - b^2}{2b^2}.\]

То есть

\[c = b\sqrt{\left(\dfrac{S}{S_1} + 1\right)} = b\sqrt{\dfrac{a^2 - b^2}{2b^2} + 1} = \sqrt{\dfrac{a^2 + b^2}{2}}.\]

21. Трапеции \(MBCN\) и \(AMND\) подобны, а значит \(\dfrac{AD}{MN} = \dfrac{MN}{BC}\), поэтому

\[MN^2 = AD\cdot BC = ab,\]

то есть \(MN = \sqrt{ab}\).

trapeze_21_proof

Основные четырёхугольники

1. \(ABCD\) – прямоугольник, следовательно, \(AB = CD\), \(AD = BC\) и \(\angle{BAD} = \angle{ADC}\). Получаем, что треугольники \(BAD\) и \(ADC\) равны по первому признаку равенства треугольников, поэтому \(AC = BD\).

quadrangle_1_proof

2. Пусть \(E\) – точка пересечений диагоналей ромба. Так как ромб является параллелограммом, то его диагонали делятся точкой пересечения пополам, то есть \(AE = EC\) и \(BE = ED\). Треугольник \(ABC\) является равнобедренным, причём \(BE\) – медиана треугольника \(ABC\), проведённая к основанию, а значит, она также является высотой, поэтому отрезок \(BE\) перпендикулярен отрезку \(AC\), а значит, \(BD\) перпендикулярен \(AC\).

quadrangle_2_proof

3. Треугольники \(ABC\), \(ABD\), \(ADC\), \(DCB\) являются равнобедренными, поэтому их медианы \(BE\), \(AE\), \(DE\) и \(CE\) также являются биссектрисами, а значит, \(\angle{ABE} = \angle{CBE}\), \(\angle{BAE} = \angle{DAE}\), \(\angle{ADE} = \angle{CDE}\) и \(\angle{BCE} = \angle{DCE}\).

quadrangle_3

4. Углы \(A\) и \(B\) являются внутренними односторонними при параллельных прямых, поэтому \(\angle{BAD} + \angle{ABC} = 180^{\circ}\). По тем же причинам сумма любых двух соседних углов параллелограмма равна \(180^{\circ}\), в частности, верно, что \(\angle{BAD} + \angle{ADC} = 180^{\circ}\). А значит, \(\angle{ADC} = 180^{\circ} - \angle{BAD} = \angle{ABC}\). Аналогично получим, что \(\angle{BAD} = \angle{BCD}\).

Докажем обратное утверждение. Пусть в четырёхугольнике \(ABCD\) сумма любых двух соседних углов равна \(180^{\circ}\). Тогда \(\angle{BAD} + \angle{ABC} = 180^{\circ}\), причём эти углы являются внутренними односторонними при прямых \(BC\), \(AD\) и секущей \(AB\). Отсюда получаем, что отрезки \(AD\) и \(BC\) параллельны. Аналогично можем доказать, что параллельны отрезки \(AB\) и \(CD\).

quadrangle_4_proof_1

5. В четырёхугольнике \(ABCD\) известно, что

\[\angle{DAB} + \angle{ABC} + \angle{BCD} + \angle{CDA} = 360^{\circ}.\]

Также мы знаем, что

\[\angle{DAB} = \angle{BCD}\; \text{и} \;\; \angle{ABC} = \angle{CDA}.\]

Отсюда следует, что

\[\angle{DAB} + \angle{ABC} = 180^{\circ}.\]

Аналогично, сумма других соседних углов также равна \(180^{\circ}\), а значит, \(ABCD\) – параллелограмм.

quadrangle_4_proof_1

6. Углы \(\angle{BAC}\) и \(\angle{ACD}\) являются внутренними накрест лежащими при параллельных прямых, поэтому \(\angle{BAC} = \angle{ACD}\). Аналогично доказываем, что \(\angle{BCA} = \angle{CAD}\). При этом сторона \(AC\) является общей для этих треугольников, а значит, они равны по двум углам и стороне между ними. Из равенства треугольников следует, что \(AB = CD\) и \(AD = BC\).

quadrangle_4_proof

Докажем обратное утверждение. Рассмотрим треугольники \(ABC\) и \(CDA\). Мы знаем, что \(AB = CD\) и \(BC = AD\), при этом \(AC\) – общая сторона для наших треугольников. Значит треугольники \(ABC\) и \(CDA\) равны по трём сторонам, поэтому \(\angle{BAC} = \angle{ACD}\) и \(\angle{ACD} = \angle{BAC}\), то есть отрезки \(AB\) и \(CD\), \(AD\) и \(BC\) попарно параллельны.

7. В параллелограмме \(ABCD\) известно, что \(AB = CD\), \(AD = BC\) и \(AC = BD\). Тогда из третьего признака равенства треугольников следует, что треугольники \(ABD\) и \(DCA\) равны. Причём \(\angle{BAD} = \angle{ADC}\), но по свойству параллелограмма верно, что

\[\angle{BAD} + \angle{ADC} = 180^{\circ},\]

значит \(\angle{BAD} = \angle{ADC} = 90^{\circ}\), поэтому \(ABCD\) – прямоугольник.

quadrangle_11_proof

8. Пусть в четырёхугольнике \(ABCD\) стороны \(AD\) и \(BC\) параллельны и равны. Рассмотрим треугольники \(ABC\) и \(CDA\). \(BC\) и \(AD\) параллельны, а значит, \(\angle{BCA} = \angle{CAD}\). При этом \(AD = BC\) и \(AC\) – общая сторона для данных треугольников. Из этого следует, что треугольники \(ABC\) и \(CDA\) равны по двум сторонам и углу между ними, поэтому \(AB = CD\) и, значит, в \(ABCD\) противоположные стороны равны, то есть \(ABCD\) – параллелограмм.

9. Пусть \(O\) – точка пересечения диагоналей параллелограмма \(ABCD\). Рассмотрим треугольники \(AOD\) и \(COB\). Углы \(\angle{OAD}\) и \(\angle{OCB}\) являются внутренними накрест лежащими при параллельных прямых, а значит, \(\angle{OAD} = \angle{OCB}\). По тем же причинам верно, что \(\angle{OBC} = \angle{ODA}\). В параллелограмме противоположные стороны равны, а значит, \(AD = BC\). Таким образом треугольники \(AOD\) и \(COB\) равны по двум углам и стороне между ними, поэтому \(AO = OC\) и \(BO = OD\).

Докажем обратное утверждение. Пусть \(O\) – точка пересечения диагоналей четырёхугольника \(ABCD\). Тогда \(AO = OC\) и \(BO = OD\), а также \(\angle{AOD} = \angle{BOC}\), так как они являются вертикальными. Получаем, что треугольники \(AOD\) и \(COB\) равны по двум сторонам и углу между ними, значит, \(AD = BC\) и \(\angle{OAD} = \angle{OCB}\). Таким образом, отрезки \(AD\) и \(BC\) параллельны и равны, то есть \(ABCD\) – параллелограмм.

quadrangle_5_proof

10. Заметим, что \(\angle{ADN} = \angle{DNC}\), так как данные углы являются накрест лежащими. То есть \(\angle{DNC} = \angle{NDC}\), значит, треугольник \(DCN\) является равнобедренным.

Углы \(BNK\) и \(DNC\) равны, так как являются вертикальными. \(\angle{NDC} = \angle{AKN}\), так как данные углы являются накрест лежащими. Значит,

\[\angle{AKD} = \angle{ADK} = \angle{BNK}\]

и треугольники \(NBK\) и \(DAK\) являются равнобедренными.

quadrangle_7_proof

11. Пусть \(ABCD\) – дельтоид, причём \(BC = AB\) и \(AD = CD\). Рассмотрим треугольники \(BCD\) и \(BAD\). Сторона \(BD\) является общей для этих треугольников, а значит, они равны по трём сторонам. Отсюда получаем, что \(\angle{CBD} = \angle{DBA}\) и \(\angle{ADB} = \angle{CDB}\).

quadrangle_8

12. Пусть \(E\) – точка пересечения диагоналей дельтоида. Тогда \(BE\) и \(DE\) – биссектрисы равнобедренных треугольников \(BAC\) и \(DAC\) соответственно. Эти биссектрисы проведены к основаниям равнобедренных треугольников, а значит, они также являются высотами.

13. Центр вписанной в дельтоид окружности лежит на биссектрисе угла \(\angle{B}\), то есть \(\angle{CBO} = \angle{ABO}\). Рассмотрим треугольники \(CBO\) и \(ABO\). \(AB = BC\) и \(BO\) – общая сторона для этих треугольников. Тогда получаем, что данные треугольники равны по двум сторонам и углу между ними, значит, \(CO = OA\).

quadrangle_9quadrangle_8_3

14. Пусть вокруг дельтоида \(ABCD\) можно описать окружность, причём \(AB = BC\) и \(AD = CD\). Рассмотрим треугольники \(BCD\) и \(BAD\). Сторона \(BD\) является общей для этих треугольников, а значит, они равны по трём сторонам, значит, \(\angle{BCD} = \angle{BAD}\). Так как вокруг данного дельтоида можно описать окружность, то \(\angle{BCD} + \angle{BAD} = 180^{\circ}\), но тогда \(\angle{BCD} = \angle{BAD} = 90^{\circ}\).

quadrangle_10

Обратно, если у дельтоида \(ABCD\) \(\angle{BCD} = \angle{BAD} = 90^{\circ}\), то \(\angle{BCD} + \angle{BAD} = 180^{\circ}\), значит, вокруг дельтоида можно описать окружность.

Вписанные и центральные углы

1. Рассмотрим \(3\) случая расположения точки \(C\).

Случай 1: Пусть точка \(O\) лежит на отрезке \(AC\). Тогда \(AC\) – диаметр и \(OC = OB\), то есть треугольник \(COB\) – равнобедренный и \(\angle{OCB} = \angle{OBC}\). Внешний угол \(\angle{AOB}\) равен сумме внутренних, не смежных с ним. Получаем, что

\[\angle{AOB} = \angle{OCB} + \angle{OBC} = 2\angle{OCB} = 2\angle{ACB}.\]

Случай 2: Пусть точка \(O\) лежит внутри угла \(ACB\). Продолжим прямую \(CO\) до пересечения с окружностью в точке \(D\). Точка \(O\) лежит на отрезке \(CD\), а значит, \(\angle{AOD} = 2\angle{ACD}\) и \(\angle{DOB} = 2\angle{DCB}\) (см. случай \(1\)), поэтому \(\angle{AOB} = 2\angle{ACB}\).

cent_insc_angle_3_proof_1cent_insc_angle_3_proof_2

Случай 3: Пусть точка \(O\) лежит вне угла \(ACB\). Продолжим прямую \(CO\) до пересечения с окружностью в точке \(D\). Без ограничения общности, считаем, что точка \(A\) лежит внутри угла \(DCB\). Тогда

\[\angle{AOB} = \angle{BOD} - \angle{AOD} = 2\angle{BCD} - 2\angle{ACD} = 2\angle{ACB}.\]
cent_insc_angle_3_proof_3

2. Допустим, что радиус окружности, проведенный в точку касания, не перпендикулярен касательной. Тогда из центра окружности проведём к касательной отрезок, перпендикулярный ей. При этом радиус является наклонной к касательной, а значит, расстояние от точки \(O\) до касательной меньше радиуса, поэтому касательная имеет две точки пересечения с окружностью. Получаем противоречие.

cent_insc_angle_17_proof

3. Продлим отрезок \(BO\) до пересечения с окружностью в точке \(D\). Тогда по теореме о вписанном угле получаем, что \(\angle{BDC} = \angle{BAC}\). Угол \(BCD\) опирается на диаметр окружности, а значит, он равен \(90^{\circ}\), поэтому

\[\angle{CBD} = 90^{\circ} - \angle{BDC} = 90^{\circ} - \angle{BAC}.\]

\(OB\) – радиус окружности, а значит, \(\angle{DBE} = \angle{OBE} = 90^{\circ}\). Таким образом

\[\angle{CBE} = 90^{\circ} - \angle{CBD} = 90^{\circ} - (90^{\circ} - \angle{BAC}) = \angle{BAC}.\]
cent_insc_angle_4_proof

4. Пусть \(E\) – точка пересечения хорд \(AC\) и \(BD\). Рассмотрим треугольник \(AED\). Мы знаем, что \(\angle{BDA} = \dfrac{1}{2}\stackrel{\smile}{AB}\) и \(\angle{CAD} = \dfrac{1}{2}\stackrel{\smile}{CD}\). Тогда получаем:

\[\angle{AED} = 180^{\circ} - \angle{BDA} - \angle{CAD} = 180^{\circ} - \dfrac{\stackrel{\smile}{AB} + \stackrel{\smile}{CD}}{2}.\]

Значит,

\[\angle{CED} = 180^{\circ} - \angle{AED} = \dfrac{\stackrel{\smile}{AB} + \stackrel{\smile}{CD}}{2}.\]
cent_insc_angle_5_proof

5. Рассмотрим треугольник \(MDB\). Мы знаем, что \(\angle{MBD} = \dfrac{1}{2}\stackrel{\smile}{CD}\) и \(\angle{ADB} = \dfrac{1}{2}\stackrel{\smile}{AB}\). Угол \(ADB\) – внешний для треугольника \(MDB\), значит,

\[\angle{ADB} = \angle{DMB} + \angle{MBD},\]

то есть \(\angle{DMB} = \angle{ADB} - \angle{MBD} = \dfrac{\stackrel{\smile}{AB} - \stackrel{\smile}{CD}}{2}\).

cent_insc_angle_6_proof

6. Рассмотрим треугольник \(ABC\). По теореме об угле между касательной и хордой получаем, что \(\angle{BAC} = \angle{CBM}\). По теореме о вписанном угле мы знаем, что \(\angle{ACB} = \dfrac{1}{2}\stackrel{\smile}{BA}\) и \(\angle{CBM} = \angle{BAC} = \dfrac{1}{2}\stackrel{\smile}{CB}\). Угол \(ACB\) является внешним для треугольника \(MBC\), значит,

\[\angle{ACB} = \angle{CBM} + \angle{CMB},\]

то есть

\[\angle{CMB} = \angle{ACB} - \angle{CBM} = \dfrac{\stackrel{\smile}{BA} - \stackrel{\smile}{CB}}{2}.\]
cent_insc_angle_8_proof

7. Четырёхугольник \(AOBM\) – дельтоид, потому, что \(AO\) и \(OB\) – радиусы окружности, \(MA\) и \(MB\) – касательные, проведённые из одной точки. При этом по теореме об угле между касательной и радиусом получаем, что \(\angle{OAM} = \angle{OBM} = 90^{\circ}\), значит, вокруг \(AOBM\) можно описать окружность. Поэтому \(\angle{AOB} + \angle{AMB} = 180^{\circ}\). Угол \(AOB\) – центральный, поэтому \(\angle{AOB} = \stackrel{\smile}{AB}\). Также мы знаем, что \(\stackrel{\smile}{AB} + \stackrel{\smile}{BA} = 360^{\circ}\), то есть \(\dfrac{\stackrel{\smile}{AB} + \stackrel{\smile}{BA}}{2} = 180^{\circ}\). Значит

\[\stackrel{\smile}{AB} + \angle{AMB} = \dfrac{\stackrel{\smile}{AB} + \stackrel{\smile}{BA}}{2},\]

то есть \(\angle{AMB} = \dfrac{\stackrel{\smile}{BA} - \stackrel{\smile}{AB}}{2}\).

cent_insc_angle_7_proof

8. Для начала рассмотрим случай, когда точка \(C_2\) лежит на окружности. Тогда угол \(\angle{AC_2B}\) опирается на диаметр окружности, значит, по теореме о вписанном угле следует, что \(\angle{AC_2B} = 90^{\circ}\).

Далее рассмотрим случай \(1\). Пусть точка \(C_1\) лежит внутри окружности. Продлим отрезок \(AC_1\) до пересечения с окружностью в точке \(D\). Тогда \(\angle{ADB} = 90^{\circ}\), значит, \(\angle{BC_1D} < 90^{\circ}\), так как \(\angle{BC_1D}\) – угол между катетом и гипотенузой в прямоугольном треугольнике \(BDC_1\). Таким образом, получаем, что \(\angle{AC_1B} = 180^{\circ} - \angle{BC_1D} > 90^{\circ}\).

Рассмотрим случай \(3\). Пусть точка \(C_3\) лежит вне окружности и \(D\) – точка пересечения отрезка \(AC_3\) с окружностью. Тогда \(\angle{ADB} = 90^{\circ}\), поэтому \(\angle{BDC_3} = 90^{\circ}\), значит,

\(\angle{BC_3D} < 90^{\circ}\).

cent_insc_angle_9_proof_1cent_insc_angle_9_proof_2

9. Так как отрезки \(AD\) и \(BC\) параллельны, то углы \(DAC\) и \(ACB\) равны как внутренние накрест лежащие, значит, они опираются на равные дуги.

cent_insc_angle_10_proof

10. Углы \(CAD\) и \(ACB\) равны, так как они являются внутренними накрест лежащими при параллельных прямых. При этом по теореме об угле между касательной и хордой получаем, что \(\angle{CAD} = \angle{ABC}\). Значит, \(\angle{ACB} = \angle{ABC}\), поэтому равны и соответствующие им дуги \(\stackrel{\smile}{AB}\).

cent_insc_angle_16_proof

11. Рассмотрим треугольники \(AOB\) и \(DOC\). \(AO = OB = DO = OC\), так как это радиусы окружности, при этом \(AB = CD\), значит, треугольники \(AOB\) и \(DOC\) равны по трём сторонам, поэтому \(\angle{AOB} = \angle{DOC}\), то есть равны и соответствующие этим центральным углам дуги, то есть \(\stackrel{\smile}{AB} = \stackrel{\smile}{DC}\).

cent_insc_angle_11_proof

12. Пусть \(CD\) – диаметр, \(AB\) – хорда перпендикулярная \(CD\). Рассмотрим треугольник \(AOB\), он равнобедренный, так как \(OA\) и \(OB\) – радиусы окружности. \(OM\) – высота треугольника \(AOB\), проведённая к основанию, значит \(OM\) также является биссектрисой. Поэтому дуги, на которые опираются центральные углы \(AOD\) и \(BOD\), равны. Аналогично доказывается, что \(\stackrel{\smile}{AC} = \stackrel{\smile}{CB}\).

cent_insc_angle_12_proof

Обратно, пусть диаметр \(CD\) проходит проходит через середину хорды \(AB\). \(AOB\) – равнобедренный треугольник, а значит \(OM\) – высота треугольника \(AOB\), то есть диаметр окружности перпендикулярен хорде \(AB\).

13. Рассмотрим треугольники \(DEA\) и \(CEB\). Вписанные углы \(ADC\) и \(ABC\) опираются на одну и ту же дугу, значит, \(\angle{ADC} = \angle{ABC}\). Аналогично получаем, что \(\angle{DAB} = \angle{DCB}\), значит, треугольники \(DEA\) и \(CEB\) подобны по двум углам. Таким образом,

\[\dfrac{AE}{EC} = \dfrac{DE}{EB},\]

значит,

\[AE\cdot EB = DE\cdot EC.\]
cent_insc_angle_13_proof

14. Рассмотрим треугольники \(ABM\) и \(BCM\). По теореме об угле между касательной и хордой получаем, что \(\angle{BAC} = \angle{CBM}\). Угол \(BMA\) общий для треугольников \(ABM\) и \(BCM\), значит, они подобны. Получаем, что

\[\dfrac{MB}{MA} = \dfrac{MC}{MB},\]

значит, \(MB^2 = MC\cdot MA\).

Треугольник \(OBM\) – прямоугольный, так как радиус, проведённый в точку касания, перпендикулярен касательной. Таким образом, по теореме Пифагора получаем, что

\[OM^2 = OB^2 + MB^2,\]

значит,

\[MB^2 = a^2 - r^2.\]
cent_insc_angle_15_proof

Вписанные и описанные четырехугольники

1. Для начала докажем первый вариант формулировки. Пусть четырёхугольник \(ABCD\) можно вписать в окружность. Тогда дуги, на которые опираются углы \(\angle{A}\) и \(\angle{C}\) вместе образуют всю окружность, а значит, сумма градусных мер этих дуг равна \(360^{\circ}\). Из теоремы о вписанном угле следует, что \(\angle{A} + \angle{C} = 180^{\circ}\). Аналогично можем доказать, что

\(\angle{B} + \angle{D} = 180^{\circ}\).

Докажем утверждение в обратную сторону. Пусть сумма противоположных углов четырёхугольника \(ABCD\) равна \(180^{\circ}\). Опишем вокруг треугольника \(ABC\) окружность. Рассмотрим два случая.

Случай 1: Пусть точка \(D\) лежит внутри окружности. Тогда продлим отрезок \(AD\) до пересечения с окружностью в точке \(D'\). Четырёхугольник \(ABCD'\) вписан в окружность, а значит, \(\angle{ABC} + \angle{AD'C} = 180^{\circ}\), но также мы знаем, что \(\angle{ABC} + \angle{ADC} = 180^{\circ}\), то есть \(\angle{AD'C} = \angle{ADC}\). Точки \(D\) и \(D'\) лежат на одной прямой, поэтому \(\angle{AD'C} = \angle{ADC}\) только если отрезки \(CD\) и \(CD'\) параллельны, что невозможно, так как у них есть общая точка. Значит, \(D\) не может лежать внутри окружности.

Случай 2: Пусть точка \(D\) лежит вне окружности. Причём \(D'\) – точка пересечения отрезка \(AD\) с окружностью. Аналогично предыдущему случаю мы можем установить, что \(\angle{AD'C} = \angle{ADC}\). Но это верно только если отрезки \(CD\) и \(CD'\) параллельны, что также невозможно. Таким образом, точка \(D\) не может лежать вне окружности, значит, она лежит на дуге окружности, то есть \(ABCD\) – вписанный четырёхугольник.

insc_desc_quadrangle_1_proofinsc_desc_quadrangle_1_proof_1

Покажем, что вторая формулировка равносильна первой. Действительно, если \(\alpha = \gamma\), то \(\angle{ADC} + \angle{ABC} = (180^{\circ} - \alpha) + \alpha = 180^{\circ}\).

Обратно, если \(\angle{ABC} + \angle{ADC} = 180^{\circ}\), то \(\gamma = 180^{\circ} - \angle{ADC} = \angle{ABC} = \alpha\).

2. Пусть четырёхугольник \(ABCD\) можно вписать в окружность. Как известно углы, вершины которых лежат на окружности и опирающиеся на одну и ту же дугу, равны. Значит, \(\alpha = \angle{BAC} = \angle{CDB} = \beta\).

Докажем обратное утверждение. Пусть в четырёхугольнике \(ABCD\) верно, что

\(\angle{BAC} = \angle{BDC}\). Опишем вокруг треугольника \(ABC\) окружность. Рассмотрим два случая.

Случай 1: Пусть точка \(D\) лежит внутри окружности. Тогда продлим отрезки \(BD\) и \(CD\) до пересечения с окружностью в точках \(B_1\) и \(C_1\) соответственно. По теореме о вписанном угле мы знаем, что \(\angle{BAC} = \dfrac{1}{2}\cdot \stackrel{\smile}{BC}\), значит, \(\angle{BDC} = \dfrac{1}{2}\cdot \stackrel{\smile}{BC}\). Далее, \(\angle{DBC} = \dfrac{1}{2}\cdot \stackrel{\smile}{CB_1}\) и \(\angle{BCD} = \dfrac{1}{2}\cdot \stackrel{\smile}{C_1B}\). Мы знаем, что \(\stackrel{\smile}{BC} + \stackrel{\smile}{CB_1} + \stackrel{\smile}{B_1C_1} + \stackrel{\smile}{C_1B} = 360^{\circ}\), то есть

\[\angle{BDC} + \angle{DBC} + \angle{BCD} = 180^{\circ} = \dfrac{1}{2}\stackrel{\smile}{BC} + \dfrac{1}{2}\stackrel{\smile}{CB_1} + \dfrac{1}{2}\stackrel{\smile}{C_1B} = 180^{\circ} - \dfrac{1}{2}\stackrel{\smile}{B_1C_1} < 180^{\circ}.\]

Получаем противоречие.

Случай 2: Пусть точка \(D\) лежит вне окружности. Пусть \(B_1\) – точка пересечения диагонали \(BD\) с окружностью. Аналогично с предыдущим случаем имеем, что \(\angle{BDC} = \dfrac{1}{2}\cdot \stackrel{\smile}{BC}\). Также \(\angle{DBC} = \dfrac{1}{2}\cdot \stackrel{\smile}{CB_1}\) и \(\angle{BCB_1} = \dfrac{1}{2}\cdot \stackrel{\smile}{B_1B}\), при этом \(\angle{BCD} > \angle{BCB_1}\). Получаем, что

\[\angle{BDC} + \angle{DBC} + \angle{BCD} = 180^{\circ} > \dfrac{1}{2}\stackrel{\smile}{BC} + \dfrac{1}{2}\stackrel{\smile}{CB_1} + \dfrac{1}{2}\stackrel{\smile}{B_1B} = 180^{\circ}.\]

Противоречие, значит, точка \(D\) лежит на окружности.

insc_desc_quadrangle_2_proofinsc_desc_quadrangle_2_proof_1

3. Все углы прямоугольника равны \(90^{\circ}\), поэтому сумма его противоположных углов равна \(180^{\circ}\), то есть вокруг прямоугольника можно описать окружность.

insc_desc_quadrangle_4_proof

Обратно, пусть параллелограмм \(ABCD\) мы можем вписать в окружность. Мы знаем, что противоположные углы параллелограмма равны: \(\angle{ABC} = \angle{ADC}\). При этом, чтобы мы могли вписать его в окружность в сумме противоположные углы должны давать \(180^{\circ}\). Получаем, что \(\angle{ABC} = \angle{ADC} = 90^{\circ}\). То есть \(ABCD\) – прямоугольник.

4. Ромб \(ABCD\) является параллелограммом, а значит, вокруг него можно описать окружность тогда и только тогда, когда \(ABCD\) – прямоугольник, при этом у \(ABCD\) все стороны равны, а значит, \(ABCD\) – квадрат.

insc_desc_quadrangle_5

5. В четырёхугольник \(ABCD\) можно вписать окружность, если \(AB + CD = AD + BC\). Так как в ромбе все стороны равны, то это равенство выполняется, а значит, в него можно вписать окружность.

insc_desc_quadrangle_6

6. Пусть \(ABCD\) – ромб. Все стороны ромба равны, значит

\[AB + CD = AD + BC,\]

значит, в ромб \(ABCD\) можно вписать окружность.

insc_desc_quadrangle_7

Обратно, пусть в параллелограмм \(ABCD\) можно вписать окружность. Противоположные стороны параллелограмма равны. Если \(AB = CD < BC = AD\), то

\(AB + CD < BC + AD\). Аналогично, если \(AB = CD > BC = AD\), то \(AB + CD > BC + AD\). Значит, \(AB = CD = BC = AD\).

7. Прямоугольник является параллелограммом, поэтому в него можно вписать окружность тогда и только тогда, когда он является ромбом. Но если прямоугольник – ромб, то этот прямоугольник является квадратом.

insc_desc_quadrangle_8

Свойства ортоцентра

1. Докажем утверждение для четырёхугольников \(AC_1HB_1\) и \(AC_1A_1C\).

Мы знаем, что \(\angle{AC_1H} = \angle{AB_1H} = 90^{\circ}\), поэтому \(\angle{AC_1H} + \angle{AB_1H} = 180^{\circ}\), значит по первому признаку вписанного четырёхугольника мы можем описать окружность вокруг четырёхугольника \(AC_1HB_1\).

В четырёхугольнике \(AC_1A_1C\) углы \(AC_1C\) и \(AA_1C\) опираются на одну и ту же сторону и равны \(90^{\circ}\), значит, по второму признаку вписанного четырёхугольника мы можем описать окружность вокруг четырёхугольника \(AC_1A_1C\).

construct_49_proof

2. Докажем, что высота \(CC_1\) делит угол \(\angle{A_1C_1B_1}\) пополам. Для остальных углов доказательство будет аналогичным.

Рассмотрим четырёхугольники \(AC_1HB_1\) и \(AC_1A_1C\). Вокруг \(AC_1HB_1\) можно описать окружность, поэтому \(\angle{HAB_1} = \angle{B_1C_1H}\), так как эти углы опираются на одну и ту же дугу. Вокруг \(AC_1A_1C\) можно описать окружность, поэтому \(\angle{A_1AC} = \angle{A_1C_1C}\), а значит, \(\angle{A_1C_1C} = \angle{B_1C_1H}\), то есть высота \(CC_1\) делит угол \(\angle{A_1C_1B_1}\) пополам.

construct_27

3. Докажем, что \(HA_1 = A_1A_2\), остальные равенства будут доказываться аналогично.

Вписанные углы \(\angle{CBA_2}\) и \(\angle{A_2AC}\) опираются на одну и ту же дугу, поэтому

\(\angle{CBA_2} = \angle{A_2AC}\). При этом вокруг четырёхугольника \(AB_1A_1B\) можно описать окружность (так как \(\angle{AB_1B} = \angle{AA_1B} = 90^{\circ}\)), а значит, \(\angle{A_1AB_1} = \angle{A_1BB_1}\), причём \(\angle{A_1AB_1} = \angle{CBA_2}\), то есть \(\angle{A_1BB_1} = \angle{CBA_2}\). Таким образом \(BA_1\) – биссектриса треугольника \(HBA_2\), при этом она также является высотой этого треугольника, а значит, \(HBA_2\) – равнобедренный, поэтому \(BA_1\) также является медианой, то есть \(HA_1 = A_1A_2\).

construct_29_proof

4. Отрезок \(OM\) перпендикулярен стороне \(AC\), так как \(M\) – середина стороны \(AC\) и \(O\) является точкой пересечения серединных перпендикуляров к сторонам \(ABC\). Пусть \(AA_1\) и \(CC_1\) – высоты треугольника. Проведём диаметр окружности \(BP\). Углы \(\angle{PAB}\) и \(\angle{PCB}\) опираются на диаметр, поэтому \(\angle{PAB} = \angle{PCB} = 90^{\circ}\). \(\angle{AC_1C} = 90^{\circ}\), поэтому отрезки \(AP\) и \(C_1C\) параллельны, в частности параллельны отрезки \(AP\) и \(HC\). \(\angle{AA_1C} = 90^{\circ}\), поэтому отрезки \(CP\) и \(A_1A\), параллельны, в частности параллельны отрезки \(CP\) и \(AH\). Получаем, что в четырёхугольнике \(AHCP\) противоположные стороны параллельны, а значит, \(AHCP\) – параллелограмм. Диагонали параллелограмма точкой пересечения делятся пополам, поэтому \(MH = PM\).

construct_29_proof_1

5. Пусть луч \(HM\) пересекает окружность в точке \(P\) (\(M\) – середина стороны \(AC\)). \(OM\) – серединный перпендикуляр к стороне \(AC\). \(BH\) – часть высоты, проведённой к стороне \(AC\), значит, отрезки \(OM\) и \(BH\) параллельны, поэтому \(\angle{PBH} = \angle{POM}\). Значит, треугольники \(PBH\) и \(POM\) подобны по двум углам (угол \(BPH\) является общим) с коэффициентом подобия \(2\), значит \(BH = 2OM\).

construct_30_proof

6. Рассмотрим треугольник \(AOB\), он является равнобедренным, а значит высота \(OM\) в нём также является биссектрисой. Центральный угол \(\angle{AOB}\) и вписанный угол \(\angle{ACB}\) опираются на одну и ту же дугу, поэтому \(\angle{ACB} = \dfrac{1}{2}\angle{AOB}\). Так как \(OM\) – биссектриса угла \(\angle{AOB}\), то \(\angle{MOB} = \angle{ACB}\). Таким образом в прямоугольных треугольниках \(MOB\) и \(B_1CB\) имеем, что \(\angle{MOB} = \angle{B_1CB}\), значит, \(\angle{ABO} = \angle{B_1BC} = \angle{HBC}\).

construct_34_proof

7. Пусть \(L\) – точка пересечения \(BO\) и \(A_1C_1\). Четырёхугольник \(AC_1A_1C\) является вписанным, поэтому. Мы знаем, что \(\angle{BAB_1} = \angle{BA_1C_1}\), при этом \(\angle{ABB_1} = \angle{OBC}\), значит, в треугольниках \(ABB_1\) и \(A_1BL\) совпадают два угла, следовательно, совпадают все три: \(\angle{AB_1B} = \angle{A_1LB} = 90^{\circ}\).

construct_34_1_proof

Конструкции и теоремы

1. Пусть две окружности касаются внешним образом в точке \(A\), проведём через эту точку общую касательную. Радиусы \(O_1A\) и \(O_2A\) перпендикулярны общей касательной, а значит точки \(O_1\), \(A\) и \(O_2\) лежат на одной прямой и

\[O_1O_2 = O_1A + AO_2 = R_1 + R_2.\]
construct_8_proof

2. Пусть отрезок \(O_1O_2\) пересекает окружности в точках \(M\) и \(N\), тогда \(O_1N + O_2M = R_1 + R_2\), но

\[O_1O_2 = O_1N + O_2M - MN < O_1N + O_2M = R_1 + R_2.\]

Далее, в четырёхугольнике \(AO_1BO_2\) известно, что \(O_1A = O_1B = R_1\) и \(O_2A = O_2B = R_2\), значит, данный четырёхугольник – дельтоид.

construct_7_proof

3. Пусть \(R > r\), через точку \(B\) параллельно отрезку \(O_1O_2\) проведём отрезок \(BC\), причём точка \(C\) лежит на отрезке \(O_1A\). Радиусы \(O_1A\) и \(O_2B\) перпендикулярны касательной \(AB\), значит, они параллельны. Получаем, что четырёхугольник \(CO_1O_2B\) – параллелограмм, а значит, \(CO_1 = BO_2 = r\) и \(AC = R - r\). По теореме Пифагора для треугольника \(ABC\) получаем, что \(a^2 = AB^2 + (R - r)^2\), то есть \(AB = \sqrt{a^2 - (R - r)^2}\).

construct_5_proofconstruct_5_1_proofconstruct_5_2_proof

4. Пусть \(R > r\). Через точку \(B\) проведём прямую, параллельную отрезку \(O_1O_2\), которая пересекает продолжение отрезка \(AO_1\) в точке \(C\). Отрезки \(O_1A\) и \(O_2B\) перпендикулярны общей касательной \(AB\), значит, они параллельны, то есть в четырёхугольнике \(O_1CBO_2\) противоположные стороны параллельны, поэтому он является параллелограммом. В параллелограмме противоположные стороны равны, значит, \(O_1C = r\) и \(AC = R + r\). Имеем, что треугольник \(CAB\) – прямоугольный, поэтому по теореме Пифагора получаем, что \((R+r)^2 + AB^2 = a^2\), то есть \(AB = \sqrt{a^2 - (R + r)^2}\).

construct_6_proof

5. Пусть \(R_2 > R_1\). Проведём через точку касания \(A\) общую касательную. Радиусы \(O_1A\) и \(O_2A\) перпендикулярны общей касательной, значит, точки \(O_1\), \(O_2\), \(A\) лежат на одной прямой, поэтому \(O_1O_2 = O_2A - O_1A = R_2 - R_1\).

construct_9_proof

6. Касательные к окружности, выходящие из одной точки, равны, значит \(AC = CK = CB\). То есть в треугольнике \(AKB\) медиана \(CK\) равна половине стороны, на которую она опущена. Отсюда следует, что треугольник \(AKB\) – прямоугольный, то есть \(\angle{AKB} = 90^{\circ}\).

construct_12

Отрезки \(O_1A\) и \(O_2B\) перпендикулярны касательной \(AB\), значит, они параллельны и четырёхугольник \(AO_1O_2B\) является трапецией с основаниями \(AO_1\) и \(O_2B\).

Мы установили, что \(AC = CK = CB\). Также имеем, что \(AO_1 = O_1K = R_1\) и

\(BO_2 = O_2K = R_2\), значит, четырёхугольники \(AO_1KC\) и \(BO_2KC\) являются дельтоидами. Отсюда следует, что диагонали \(O_1C\) и \(O_2C\) – биссектрисы углов \(AO_1K\) и \(BO_2K\) соответственно. Так как прямые \(O_1A\) и \(O_2B\) параллельны, то биссектрисы \(O_1C\) и \(O_2C\) перпендикулярны и \(\angle{O_1CO_2} = 90^{\circ}\).

construct_12_1_proof

8. Длину общей касательной \(AB\) мы можем вычислить с помощью теоремы Пифагора:

\[AB = \sqrt{O_1O_2^2 - (R_1 - R_2)^2} = \sqrt{(R_1 + R_2)^2 - (R_1 - R_2)^2} =\]
\[= \sqrt{R^2_1 + 2R_1R_2 + R^2_2 -R^2_1 + 2R_1R_2 - R^2_2} = 2\sqrt{R_1R_2}.\]

В силу симметрии получаем, что \(AB = A'B'\) и \(CK = C'K\). Мы установили, что \(AB = 2CK\), значит, \(CC' = CK + KC' = 2CK = AB = 2\sqrt{R_1R_2}\).

construct_12_3

9. Пусть \(R > r\), параллельно отрезку \(AB\) проведём отрезок \(O_2D\) (точка \(D\) лежит на отрезке \(AO_1\)), тогда в силу параллельности отрезков \(AO_1\) и \(BO_2\) имеем, что \(O_1D = R - r\), причём \(\angle{DO_2O_1} = \angle{ACO_1}\) и \(O_1O_2 = R + r\), значит,

\[\sin{\alpha} = \dfrac{O_1D}{O_1O_2} = \dfrac{R - r}{R + r}.\]
construct_47_proof

10. Углы \(BKA\) и \(CKD\) равны, так как являются вертикальными. По той же причине равны углы \(CKE_1\) и \(AKE_2\). Тогда по теореме об угле между касательной и хордой получаем, что \(\angle{ABK} = \angle{AKE_2}\) и \(\angle{KDC} = \angle{CKE_1}\), то есть \(\angle{ABK} = \angle{KDC}\). Значит, треугольники \(AKB\) и \(CKD\) подобны по двум углам.

Параллельность отрезков \(AB\) и \(CD\) следует из того, что их внутренние накрест лежащие углы равны.

construct_24_proof

11. Угол \(A\) является общим для треугольников \(ABC\) и \(ADE\). По теореме об угле между касательной и хордой получаем, что \(\angle{EAE_1} = \angle{ADE}\) и \(\angle{CAE_1} = \angle{ABC}\), значит, \(\angle{ADE} = \angle{ABC}\). Аналогично можно доказать, что \(\angle{AED} = \angle{ACB}\). То есть треугольники \(ABC\) и \(ADE\) подобны по двум углам.

construct_23_proof

12. Пусть \(M\) – точка пересечения прямой \(AB\) и касательной \(A'B'\). Тогда, с одной стороны, для окружности с центром \(O_1\) верно, что \(A'M^2 = MA\cdot MB\), с другой стороны, для окружности с центром в точке \(O_2\) имеем, что \(B'M^2 = MA\cdot MB\). Тогда получим, что \(A'M^2 = B'M^2\) или \(A'M = B'M\).

construct_12_2

13. Рассмотрим углы \(BO_1A\) и \(BO_2A\). Четырёхугольник \(BO_1AO_2\) является дельтоидом (\(O_1B = O_1A\) и \(O_2B = O_2A\)), поэтому диагональ \(O_1O_2\) делит углы \(BO_1A\) и \(BO_2A\) пополам. При этом центральный угол \(BO_1A\) первой окружности опирается на ту же дугу, что и вписанный угол \(BCA\), аналогично, центральный угол второй окружности \(BO_2A\) опирается на ту же дугу, что и вписанный угол \(BDA\). Значит, \(\angle{BO_1A} = 2\angle{BCA}\) и \(\angle{BO_2A} = 2\angle{BDA}\), то есть \(\angle{BO_1O_2} = \angle{BCA}\) и \(\angle{BO_2O_1} = \angle{BDA}\). Таким образом, треугольники \(BO_1O_2\) и \(BCD\) подобны по двум углам.

construct_22_proof

14. Случай 1: Пусть \(\alpha\) – острый угол. Рассмотрим четырёхугольник \(AC_1A_1C\). Мы можем описать вокруг него окружность, поэтому

\[\angle{C_1A_1A} = \angle{C_1CA}\;\;\text{и}\;\; \angle{A_1C_1C} = \angle{A_1AC}.\]

При этом

\[\angle{ACC_1} = 90^{\circ} - \angle{C_1AC}\;\;\text{и}\;\; \angle{A_1AC} = 90^{\circ} - \angle{A_1CA}.\]

А также

\[\angle{C_1A_1A} + \angle{C_1A_1B} = 90^{\circ}\;\;\text{и}\;\; \angle{CC_1A_1} + \angle{A_1C_1B} = 90^{\circ}.\]

Получаем, что

\[\angle{C_1A_1B} = \angle{C_1AC}\;\;\text{и}\;\;\angle{A_1C_1B} = \angle{A_1CA},\]

то есть треугольники \(A_1BC_1\) и \(ABC\) подобны по двум углам. Треугольник \(AA_1B\) – прямоугольный, значит \(\cos{\alpha} = \dfrac{A_1B}{AB}\), поэтому \(k = \cos{\alpha}\) – коэффициент подобия треугольников \(A_1BC_1\) и \(ABC\).

area_and_relations_1_proofarea_and_relations_11_proof

Случай 2: Пусть \(\alpha\) – тупой угол. Тогда высоты падают на продолжения сторон \(AB\) и \(BC\). Вокруг четырёхугольника \(AA_1C_1C\) можно описать окружность, значит

\[\angle{C_1A_1C} = \angle{C_1AC} \;\;\text{и}\;\; \angle{A_1C_1A} = \angle{A_1CA},\]

поэтому треугольники \(A_1BC_1\) и \(ABC\) подобны по двум углам. Имеем:

\[\angle{A_1BA} = 180^{\circ} - \angle{ABC} = 180^{\circ} - \alpha.\]

Треугольник \(AA_1B\) – прямоугольный, значит

\[\cos{(\angle{A_1BA})} = \cos{(180^{\circ} - \alpha)} = -\cos{\alpha} = \dfrac{A_1B}{AB},\]

то есть \(k = -\cos{\alpha}\) – коэффициент подобия треугольников \(A_1BC_1\) и \(ABC\).

15. Пусть \(BH\) – биссектриса угла \(ABC\), причём точка \(H\) лежит на описанной окружности. Тогда дуги \(\stackrel{\smile}{CH}\) и \(\stackrel{\smile}{HA}\) равны. При этом серединный перпендикуляр к отрезку \(AC\) делит дугу \(\stackrel{\smile}{CA}\) пополам, а значит, он пересекает окружность в точке \(H\).

construct_37

16. Пусть вписанная окружность касается стороны \(BC\) в точке \(L\). Тогда мы знаем, что \(NC = LC = p - c\), где \(p\) – полупериметр треугольника \(ABC\) и \(c = AB\).

Далее, пусть вневписанная окружность касается продолжения стороны \(AB\) в точке \(G\). Тогда мы знаем, что \(AG = AK = p - c\). Тогда \(AK = NC\). Если \(M\) – середина отрезка \(KN\), то получаем, что \(AM = AK + KM = MN + NC = MC\), значит \(M\) – середина стороны \(AC\).

construct_42_proof_1construct_42_proof_2

17. Центр вневписанной окружности, касающейся стороны \(BC\), лежит на биссектрисе угла \(BAC\). Пусть \(H\) – точка касания вневписанной окружности с продолжением стороны \(AB\), значит \(\angle{HAI_a} = \dfrac{\alpha}{2}\). Получаем, что \(AHI_a\) – прямоугольный треугольник, тогда \(\tan{\dfrac{\alpha}{2}} = \dfrac{I_aH}{AH}\).

Пусть \(p\) – полупериметр треугольника \(ABC\), \(r_a\) – радиус вневписанной окружности, \(c = AB\). Имеем, что \(AH = p\). Получаем, что \(\tan{\dfrac{\alpha}{2}} = \dfrac{r_a}{p}\) или \(r_a = p\cdot\tan\dfrac{\alpha}{2}\).

construct_43_proof

18. Пусть \(I\) – середина дуги \(\stackrel{\smile}{AC}\), тогда \(\angle{IAC} = \angle{ICA}\). При этом, по теореме об угле между касательной и хордой получаем, что \(\angle{ICA} = \angle{BAI} = \angle{IAC}\). Аналогично получаем, что \(\angle{BCI} = \angle{ACI}\). Таким образом, \(I\) – точка пересечения биссектрис треугольника \(ABC\), значит \(I\) – центр вписанной в \(ABC\) окружности.

construct_44_proof

19. Углы \(ABD\) и \(DBC\) равны, поэтому \(\stackrel{\smile}{DA } = \stackrel{\smile}{DС }\), значит \(AD = DC\), так как равные дуги стягивают равные хорды.

\(ABCD\) – вписанный четырёхугольник, поэтому \(\angle{BCD} = 180^{\circ} - \angle{BAD}\). Продлим сторону \(BC\) за точку \(C\) до точки \(C'\) так, что \(CC' = AB\). Углы \(BCD\) и \(C'CD\) – смежные, поэтому \(\angle{C'CD} = 180^{\circ} - \angle{BCD} = \angle{BAD}\). Получаем, что треугольники \(BAD\) и \(C'CD\) равны по двум сторонам и углу между ними. Значит,

\[\angle{CDC'} = \angle{ADB},\;\; \angle{ADC} = \angle{ADB} + \angle{BDC} = \angle{CDC'} + \angle{BDC} = \angle{BDC'} = \alpha.\]

Имеем

\[S_{ABCD} = S_{BAD} + S_{BDC} = S_{CC'D} + S_{BDC} = S_{BDC'} = \dfrac{1}{2}BD^2\sin{\alpha}.\]
construct_40_proof

20. \(BD\) – биссектриса угла \(ABC\) (\(\angle{ABD} = \angle{CBD} = \alpha\)), поэтому дуги \(\stackrel{\smile}{DA}\) и \(\stackrel{\smile}{CD}\) равны, а значит, равны и хорды, которые на них опираются: \(AD = DC\). \(I\) – точка пересечения биссектрис треугольника \(ABC\), значит \(\angle{BAI} = \angle{IAC} = \beta\).

Внешний угол треугольника равен сумме не смежных с ним внутренних углов, значит, \(\angle{AID} = \alpha + \beta\). Углы \(CAD\) и \(DBC\) опираются на одну и ту же дугу, поэтому \(\angle{CAD} = \angle{DBC}\), а значит, \(\angle{IAD} = \alpha + \beta\), то есть треугольник \(IAD\) – равнобедренный и \(AD = ID\).

construct_21_proof_1construct_21_proof_2

\(AI_a\) – биссектриса угла, смежного углу \(BAC\), значит \(\angle{CAI_a} = 90^{\circ} - \beta\), при этом \(\angle{IAC} = \beta\), значит \(\angle{IAI_a} = 90^{\circ}\). По тем же причинам \(\angle{ICI_a} = 90^{\circ}\). Получаем, что сумма противоположных углов четырёхугольника \(IAI_aC\) равна \(180^{\circ}\), а значит, вокруг него можно описать окружность, причём \(II_a\) – диаметр этой окружности. Мы уже установили, что \(AD = DC = ID\), значит \(D\) – центр описанной вокруг четырёхугольника \(IAI_aC\) окружности, то есть \(I_aD\) – радиус этой окружности, поэтому \(I_aD = ID\).

21. Касательные к окружности, проведённые из одной точки, равны. Значит, \(AC_1 = AB_1\), \(BC_1 = BA_1\) и \(CA_1 = CB_1\), то есть треугольники \(AB_1C_1\), \(BA_1C_1\) и \(CA_1B_1\) являются равнобедренными. Имеем:

\[\angle{AC_1B_1} = 90^{\circ} - \dfrac{\alpha}{2},\;\;\; \angle{BA_1C_1} = 90^{\circ} - \dfrac{\beta}{2},\;\;\; \angle{CA_1B_1} = 90^{\circ} - \dfrac{\gamma}{2}.\]

Тогда по теореме об угле между касательной и хордой получаем, что в треугольнике \(A_1B_1C_1\)

\[\angle{A_1} = 90^{\circ} - \dfrac{\alpha}{2},\;\;\; \angle{B_1} = 90^{\circ} - \dfrac{\beta}{2},\;\;\; \angle{C_1} = 90^{\circ} - \dfrac{\gamma}{2}.\]
construct_36

22. Проведём общую касательную к окружностям в точке \(B\). Рассмотрим два случая.

Случай 1: Касательная не параллельна отрезку \(AC\). Пусть \(K\) – точка пересечения касательной с прямой \(AC\). Без ограничения общности считаем, что \(AK < CK\). Пусть \(\angle{DBC} = x\), \(\angle{BCA} = y\). Угол \(AMB\) является внешним углом треугольника \(BCM\), значит \(\angle{AMB} = x + y\). По теореме об угле между касательной и хордой получаем, что \(\angle{KBA} = y\). \(KM\) и \(KB\) – касательные, проведённые из одной точки к окружности \(\alpha\), значит \(KM = KB\), то есть треугольник \(BKM\) – равнобедренный, значит \(\angle{KBM} = \angle{KMB} = x + y\), значит \(ABD = x\), то есть \(BD\) – биссектриса угла \(ABC\) и делит дугу \(\stackrel{\smile}{CA}\) пополам.

construct_4_proof_1

Случай 2: Касательная параллельна отрезку \(AC\). В этом случае дуги \(\stackrel{\smile}{AB}\) и \(\stackrel{\smile}{BC}\) равны, то есть треугольник \(ABC\) – равнобедренный. Отрезок \(BM\) перпендикулярен касательной, значит, \(BM\) перпендикулярен \(AC\), значит, \(BM\) – высота треугольника. Так как \(ABC\) – равнобедренный, то \(BM\) – биссектриса угла \(ABC\).

construct_4_proof_2

23. Пусть \(I\) – центр вписанной окружности. \(IN\) – радиус вписанной окружности, значит, \(\angle{INC} = 90^{\circ}\). Пусть \(\angle{A} = 2\alpha\), \(\angle{B} = 2\beta\), \(\angle{C} = 2\gamma\). Угол \(PIC\) является внешним углом треугольника \(AIC\), значит, \(\angle{PIC} = \alpha + \gamma\). Мы знаем, что \(2\alpha + 2\beta + 2\gamma = 180^{\circ}\), поэтому \(\alpha + \beta + \gamma = 90^{\circ}\) или \(\alpha + \gamma = 90^{\circ} - \beta\). \(BM\) и \(BN\) – касательные к окружности, поэтому \(BM = BN\), значит, \(MBN\) – равнобедренный треугольник, поэтому

\[\angle{BMN} = \angle{BNM} = 90^{\circ} - \beta = \alpha + \gamma,\]

то есть вокруг четырёхугольника \(PNCI\) можно описать окружность. Углы \(INC\) и \(IPC\) опираются на одну и ту же дугу, значит, \(\angle{IPC} = \angle{INC} = 90^{\circ}\).

construct_33_proof

24. Прямоугольные треугольники \(ADN\) и \(CMD\) равны, так как \(AD = CD\) и \(ND = MC\), значит, \(\angle{NAD} = \angle{MDC}\) и \(\angle{AND} = \angle{DMC}\). Имеем:

\[\angle{MDC} + \angle{AND} = \angle{MDC} + \angle{DMC} = 90^{\circ},\]

значит, \(\angle{DKN} = 90^{\circ}\).

construct_45_proof

25. По теореме Пифагора получаем:

\[AH^2 + HB^2 = AB^2;\;\;HD^2 + HC^2 = CD^2;\]
\[AH^2 + HD^2 = AD^2;\;\;HC^2 + HB^2 = BC^2\]

Вычтем из суммы первых двух равенств два других:

\[AH^2 + HB^2 + HD^2 + HC^2 - (AH^2 + HD^2 + HC^2 + HB^2) = AB^2 + CD^2 - (AD^2 + BC^2)\;\Longrightarrow\]
\[\Longrightarrow AB^2 + CD^2 = AD^2 + BC^2.\]
construct_14_proof

Докажем утверждение в обратную сторону. Пусть \(\angle{AHD} = \angle{BHD} = \alpha\) (без ограничения общности можем считать, что \(\alpha \leq 90^{\circ}\)), тогда \(\angle{AHD} = \angle{CHD} = 180^{\circ} - \alpha\). Нам известно, что \(\cos{(180^{\circ} - \alpha)} = \cos{\alpha}\), тогда по теореме косинусов для треугольников \(AHD\), \(BHD\), \(AHB\) и \(DHC\) получаем, что

\[AD^2 = AH^2 + DH^2 - 2AH\cdot HD\cdot\cos{\alpha};\;\;\; BC^2 = BH^2 + CH^2 - 2BH\cdot CH\cdot\cos{\alpha};\]
\[AB^2 = AH^2 + BH^2 + 2AH\cdot BH\cdot\cos{\alpha};\;\;\; CD^2 = CH^2 + DH^2 + 2CH\cdot DH\cdot\cos{\alpha}.\]

Так как \(AB^2 + CD^2 = AD^2 + BC^2\), то

\[(2AH\cdot BH + 2CH\cdot DH)\cdot \cos{\alpha} = -(2AH\cdot HD + 2BH\cdot CH)\cdot\cos{\alpha}.\]

Если \(\alpha \neq 90^{\circ}\), то левая часть равенства положительна, а правая отрицательна, значит \(\alpha = 90^{\circ}\).

construct_14_proof_1

26. Проведём через точку \(O\) перпендикулярные прямые \(A_1C_1\) и \(B_1D_1\) параллельно сторонам прямоугольника. Четырёхугольник \(A_1B_1C_1D_1\) имеет перпендикулярные диагонали, поэтому

\[A_1B_1^2 + C_1D_1^2 = A_1D_1^2 + B_1C_1^2.\]

\(A_1B_1 = BO\), так как это диагонали в прямоугольнике \(A_1BB_1O\). По тем же причинам

\[D_1C_1 = DO,\;\;\; B_1C_1 = CO,\;\;\; A_1D_1 = AO.\]

Отсюда и получаем

\[AO^2 + CO^2 = BO^2 + DO^2.\]
construct_20_proof

27. Пусть \(\angle{DAP} = \alpha\), \(\angle{ADP} = \beta\). \(APD\) – прямоугольный треугольник, поэтому

\(AM = MD = MP\), значит, \(\angle{DPM} = \beta\). Вертикальные углы равны, поэтому \(\angle{BPH} = \beta\). Углы \(DAC\) и \(DBC\) равны, так как они опираются на одну и ту же дугу, то есть \(\angle{DBC} = \alpha\). Получаем:

\[\angle{DBC} + \angle{BPH} = \alpha + \beta = 90^{\circ},\]

значит

\[\angle{BHP} = 180^{\circ} - (\alpha + \beta) = 90^{\circ}.\]
construct_18_proof

28. Пусть \(\angle{DAP} = \alpha\) и \(\angle{ADP} = \beta\), причём \(\alpha + \beta = 90^{\circ}\), так как треугольник \(APD\) – прямоугольный. Значит, \(\sin{\beta} = \cos{\alpha}\). Треугольник \(AOB\) является равнобедренным, поэтому высота \(OH\), также является медианой, значит, \(AB = 2BH\). По теореме синусов для треугольника \(ABD\) получаем, что

\[\dfrac{AB}{\sin{\beta}} = 2R\;\Longleftrightarrow BH = R\sin{\beta} = R\cos{\alpha}.\]

По теореме синусов для треугольника \(DAC\) получаем, что

\[\dfrac{CD}{\sin{\alpha}} = 2R\;\Longleftrightarrow CD = 2R\sin{\alpha}.\]
construct_17_proof

Треугольник \(OBH\) является прямоугольным, значит по теореме Пифагора имеем:

\[OB^2 = OH^2 + BH^2\;\Longleftrightarrow OH^2 = R^2 - R^2\cos^2{\alpha} = R^2\cdot(1-\cos^2{\alpha}) = R^2\cdot\sin^2{\alpha}.\]

Значит \(OH = R\sin{\alpha}\) и \(CD = 2R\sin{\alpha}\), то есть \(CD = 2OH\).

29. Треугольники \(ABP\) и \(APD\) являются прямоугольными. Пусть \(\angle{CAD} = \alpha\), \(\angle{ADB} = \beta\), \(\angle{ABD} = \alpha_1\) и \(\angle{BAC} = \beta_1\). Причём \(\alpha + \beta = 90^{\circ}\) и \(\alpha_1 + \beta_1 = 90^{\circ}\), поэтому \(\sin{\beta} = \cos{\alpha}\) и \(\sin{\beta_1} = \cos{\alpha_1}\).

По теореме синусов для треугольника \(ABD\) получаем, что

\[\dfrac{AB}{\sin{\beta}} = \dfrac{AD}{\sin{\alpha_1}} = 2R.\]

Значит,

\[AB = 2R\sin{\beta} = 2R\cos{\alpha}\;\text{ и }\; AD = 2R\sin{\alpha_1}.\]

Далее, по теореме синусов для треугольника \(ACD\) получаем, что

\[\dfrac{CD}{\sin{\alpha}} = 2R\;\Longrightarrow CD = 2R\sin{\alpha}.\]

Аналогично для треугольника \(ABC\) имеем:

\[\dfrac{BC}{\sin{\beta_1}} = 2R\;\Longrightarrow BC = 2R\cos{\alpha_1}.\]

Получаем

\[AB^2 + BC^2 + CD^2 + AD^2 = 4R^2\cos^2{\alpha} + 4R^2\cos^2{\alpha_1} + 4R^2\sin^2{\alpha} + 4R^2\sin^2{\alpha_1} =\]
\[= 4R^2(\cos^2{\alpha} + \sin^2{\alpha}) + 4R^2(\cos^2{\alpha_1} + \sin^2{\alpha_1}) = 8R^2.\]
construct_15_proof

30. Так как медианы точкой пересечения делятся в отношении \(2:1\), считая от вершины, то получаем, что

\[AA_1 = A_1L = LM_2 = \dfrac{m_a}{3},\;\; BB_1 = B_1L = LM_3 = \dfrac{m_b}{3}\;\;\text{и}\;\; CC_1 = C_1L = LM_1 = \dfrac{m_c}{3}.\]

Рассмотрим треугольник \(ALC\). Мы знаем, что \(A_1\), \(M_3\) и \(C_1\) – середины сторон \(AL\), \(AC\) и \(LC\) соответственно. Отсюда получаем, что \(A_1M_3\) и \(C_1M_3\) – средние линии данного треугольника, значит,

\[A_1M_3 = \dfrac{LC}{2} = \dfrac{m_c}{3}\;\; \text{и}\;\; C_1M_3 = \dfrac{AL}{2} = \dfrac{m_a}{3}.\]

Аналогично, рассматривая треугольники \(BLC\) и \(ALB\) получаем, что

\[B_1M_2 = \dfrac{m_c}{3},\;\; C_1M_2 = \dfrac{m_b}{3},\;\; A_1M_1 = \dfrac{m_b}{3}\;\;\text{и}\;\; B_1M_1 = \dfrac{m_a}{3}.\]

Таким образом получаем, что треугольники \(M_1B_1L\), \(M_1A_1L\), \(M_2B_1L\), \(M_2C_1L\), \(M_3A_1L\) и \(M_3C_1L\) равны, а значит, равны их площади. Пусть площади этих треугольников равны \(\dfrac{S}{12}\).

construct_38

Далее, рассмотрим треугольник \(M_1LB\). \(M_1B_1\) – медиана данного треугольника, значит, \(S_{M_1B_1L} = S_{M_1B_1B} = \dfrac{S}{12}\). Аналогично, рассматривая треугольники \(M_1AL\), \(M_2BL\), \(M_2CL\), \(M_3AL\) и \(M_3CL\), получим, что \(S_{M_1A_1A} = S_{M_2B_1B} = S_{M_2C_1C} = S_{M_3A_1A} = S_{M_3C_1C} = \dfrac{S}{12}\).

31. Рассмотрим треугольник \(M_1LB_1\). Его стороны равны \(\dfrac{m_a}{3}\), \(\dfrac{m_b}{3}\) и \(\dfrac{m_c}{3}\), значит, он подобен треугольнику, длины сторон которого равны длинам медиан \(ABC\), с коэффициентом подобия \(\dfrac{1}{3}\). То есть \(S_{M_1LB_1} = \dfrac{S'}{9}\), при этом \(S_{M_1LB_1} = \dfrac{S}{12}\), значит \(\dfrac{S}{12} = \dfrac{S'}{9}\), то есть

\[S = \dfrac{4S'}{3} = \dfrac{4}{3}\sqrt{m(m-m_a)(m-m_b)(m-m_c)}.\]
construct_39_proof

32. На лучах \(AB\), \(AC\) и \(AD\) отметим точки \(B_1\), \(C_1\) и \(D_1\) соответственно, такие, что

\[AB_1 = \dfrac{1}{AB},\;\; AC_1 = \dfrac{1}{AC}\;\; \text{и}\;\; AD_1 = \dfrac{1}{AD}.\]

Тогда

\[\dfrac{AB_1}{AC} = \dfrac{1}{AB\cdot AC} = \dfrac{AC_1}{AB},\]

значит, треугольники \(AB_1C_1\) и \(ACB\) подобны. Аналогично получаем, что подобны треугольники \(AD_1C_1\) и \(ACD\). Отсюда получаем, что

\[\angle{B_1C_1A} = \angle{ABC}\;\; \text{и}\;\;\angle{AC_1D_1} = \angle{ADC}.\]

Имеем:

\[\dfrac{B_1C_1}{BC} = \dfrac{AB_1}{AC}\;\Longleftrightarrow B_1C_1 = \dfrac{BC}{AB\cdot AC}\]
\[\dfrac{C_1D_1}{CD} = \dfrac{AD_1}{AC}\;\Longleftrightarrow C_1D_1 = \dfrac{CD}{AD\cdot AC}.\]

Мы знаем, что

\[\dfrac{AB_1}{AD} = \dfrac{1}{AB\cdot AD} = \dfrac{AD_1}{AB},\]

значит треугольники \(AB_1D_1\) и \(ABD\) подобны. Следовательно

\[\dfrac{B_1D_1}{BD} = \dfrac{AB_1}{AD},\Longleftrightarrow B_1D_1 = \dfrac{BD}{AD\cdot AB}.\]

По неравенству треугольника получаем, что \(B_1C_1 + C_1D_1 \geq B_1D_1\), значит

\[\dfrac{BC}{AB\cdot AC} + \dfrac{CD}{AD\cdot AC} \geq \dfrac{BD}{AD\cdot AB},\]

следовательно,

\[AD\cdot BC + CD\cdot AB \geq AC\cdot BD.\]

Равенство достигается в том и только том случае, когда точки \(B_1\), \(C_1\) и \(D_1\) лежат на одной прямой. Значит \(\angle{B_1C_1A} + \angle{AC_1D_1} = 180^{\circ}\). Тогда

\[\angle{ABC} + \angle{ADC} = \angle{B_1C_1A} + \angle{AC_1D_1} = 180^{\circ},\]

значит вокруг четырёхугольника \(ABCD\) можно описать окружность.

construct_1_proof

Обратно, если вокруг четырёхугольника можно описать окружность, то

\[\angle{ABC} + \angle{ADC} = 180^{\circ}.\]

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

\[\angle{B_1C_1A} = \angle{ABC}\;\; \text{и}\;\;\angle{AC_1D_1} = \angle{ADC},\]

то есть

\[\angle{B_1C_1A} + \angle{AC_1D_1} = 180^{\circ}.\]

Значит точки \(B_1\), \(C_1\) и \(D_1\) лежат на одной прямой, то есть \(B_1C_1 + C_1D_1 = B_1D_1\), значит

\[AD\cdot BC + CD\cdot AB = AC\cdot BD.\]

33. Площадь четырёхугольника \(ABCD\) можно найти по формуле

\[S_{ABCD} = \dfrac{1}{2}AC\cdot BD\cdot\sin{\alpha},\]

где \(\alpha\) – угол между диагоналями четырёхугольника. Если диагонали \(ABCD\) перпендикулярны, то

\[S_{ABCD} = \dfrac{1}{2}AC\cdot BD.\]

Если вокруг \(ABCD\) можно описать окружность, то по теореме Птолемея получаем, что

\[S_{ABCD} = \dfrac{1}{2}AC\cdot BD = \dfrac{1}{2}(AB\cdot CD + AD\cdot BC).\]

Если диагонали четырёхугольника не перпендикулярны, то

\[S_{ABCD} = \dfrac{1}{2}AC\cdot BD\cdot\sin{\alpha} < \dfrac{1}{2}AC\cdot BD.\]

По неравенству Птолемея имеем

\[\dfrac{1}{2}AC\cdot BD \leq \dfrac{1}{2}(AB\cdot CD + AD\cdot BC).\]

То есть

\[S_{ABCD} < \dfrac{1}{2}(AB\cdot CD + AD\cdot BC).\]

Если диагонали четырёхугольника перпендикулярны, но вокруг него нельзя описать окружность, то по неравенству Птолемея получаем, что

\[S_{ABCD} = \dfrac{1}{2}AC\cdot BD < \dfrac{1}{2}(AB\cdot CD + AD\cdot BC).\]
construct_19_proof

34. Для начала покажем, что \(\angle{N_1CM_1} = 45^{\circ}\). Действительно, \(BD\) – диагональ квадрата, поэтому \(\angle{ADM_1} = \angle{CDM_1} = 45^{\circ}\). \(AD = CD\) и сторона \(M_1D\) является общей для треугольников \(AM_1D\) и \(CM_1D\), значит они равны по двум сторонами и углу между ними, поэтому \(CM_1 = AM_1\). Аналогично доказывается, что \(AN_1 = CN_1\). Получаем, что в треугольниках \(CN_1M_1\) и \(AN_1M_1\) равны три стороны (\(N_1M_1\) – общая), значит эти треугольники равны и значит \(\angle{N_1CM_1} = \angle{N_1AM_1} = 45^{\circ}\).

construct_41_proofconstruct_41_proof_1

Далее, имеем, что \(\angle{N_1DN} = \angle{N_1AM_1} = 45^{\circ}\), значит вокруг четырёхугольника \(ADNN_1\) можно описать окружность. Получаем, что \(\angle{N_1NA} = \angle{N_1DA} = 45^{\circ}\).

Аналогично, получаем, что вокруг четырёхугольника \(ABMM_1\) можно описать окружность и поэтому \(\angle{AMM_1} = \angle{ABM_1} = 45^{\circ}\).

Так как углы \(N_1MM_1\), \(N_1CM_1\) и \(N_1NM_1\) опираются на отрезок \(M_1N_1\) и равны \(45^{\circ}\), то вокруг пятиугольника \(N_1MCNM_1\) можно описать окружность.

35. Построим треугольник \(ABM_1\), где точка \(M_1\) лежит на продолжении стороны \(CB\) за точку \(B\), причём \(M_1B = ND\). Также \(AD = AB\), значит прямоугольные треугольники \(ADN\) и \(ABM_1\) равны, то есть \(AN = AM_1\). Также

\[\angle{NAD} = \angle{M_1AB},\;\; \angle{BAM} + \angle{MAN} + \angle{NAD} = \angle{BAM} + 45^{\circ} + \angle{M_1AB} = 90^{\circ},\]

значит

\[\angle{BAM} + \angle{M_1AB} = \angle{M_1AM} = 45^{\circ}.\]

Получаем, что треугольники \(M_1AM\) и \(NAM\) равны по двум сторонами и углу между ними. \(AB\) – высота треугольника \(M_1AM\), значит \(AB = AH\).

construct_41_1_proof

36. Вокруг пятиугольника \(N_1MCNM_1\) можно описать окружность. \(\angle{MCN} = 90^{\circ}\), значит \(MN\) – диаметр окружности. То есть углы \(MN_1N\) и \(NM_1M\) опираются на диаметр окружности, поэтому \(\angle{MN_1N} = \angle{NM_1M} = 90^{\circ}\).

construct_41_2

37. Проведём диаметр \(MN\) описанной окружности, проходящей через центр вписанной окружности. Тогда

\[MI = MO - OI = R - d,\;\;\; IN = IO + ON = R + d.\]

Пусть биссектриса угла \(ABC\) пересекает окружность в точке \(L\), причём \(BL\) проходит через точку \(I\). Пусть \(IH\) – радиус вписанной окружности, проведённый к стороне \(BC\). Треугольник \(IHB\) – прямоугольный (\(\angle{IBH} = \beta\)), тогда \(BI = \dfrac{r}{\sin{\beta}}\). Далее, по лемме о трезубце получаем, что \(AL = IL = LC\). По теореме синусов для треугольника \(BLC\) получаем, что \(\dfrac{LC}{\sin{\beta}} = 2R\), значит \(LC = IL = 2R\sin{\beta}\).

Хорды \(BL\) и \(MN\) описанной окружности пересекаются в точке \(I\), поэтому \(MI\cdot IN = BI\cdot IL\), следовательно,

\[(R - d)\cdot (R + d) = R^2 - d^2 = \dfrac{r}{\sin{\beta}}\cdot 2R\sin{\beta} = 2Rr,\]

значит, \(d^2 = R^2 - 2Rr\).

construct_32_proof

38. Докажем, что углы \(AH_2H_1\) и \(H_3H_2B\) – вертикальные. \(\angle{AH_1D} = \angle{AH_2D} = 90^{\circ}\), поэтому вокруг четырёхугольника \(AH_1H_2D\) можно описать окружность, значит, \(\angle{ADH_1} = \angle{AH_2H_1}\). Аналогично, мы можем описать окружность вокруг четырёхугольника \(H_1DH_3C\), поэтому \(\angle{H_1DC} = \angle{H_1H_3C}\).

construct_3_proof

Вокруг четырёхугольника \(ADBC\) описана окружность, значит \(\angle{ADC} = \angle{ABC}\). Угол \(ABC\) является внешним для треугольника \(H_2H_3B\), поэтому

\[\angle{H_3H_2B} = \angle{ABC} - \angle{H_2H_3B} = \angle{ADC} - \angle{H_1DC} = \angle{ADH_1} = \angle{AH_2H_1},\]

то есть углы \(AH_2H_1\) и \(H_3H_2B\) равны, значит, точки \(H_1\), \(H_2\) и \(H_3\) лежат на одной прямой.

39. Отрезок \(M_1M_2\) является средней линией треугольника \(ABC\), значит, он параллелен \(AC\) и равен его половине. Отрезок \(L_1L_2\) является средней линией треугольника \(AHC\), значит, он параллелен \(AC\) и равен его половине. Таким образом, отрезки \(M_1M_2\) и \(L_1L_2\) параллельны и равны. Отрезки \(L_1M_1\) и \(L_2M_2\) являются средними линиями треугольников \(ABH\) и \(CBH\), значит, эти отрезки параллельны отрезку \(BH\) и равны его половине. То есть, \(M_1M_2L_2L_1\) – параллелограмм, причём отрезки \(AC\) и \(BB_1\) перпендикулярны, значит, \(M_1M_2L_2L_1\) – прямоугольник, поэтому вокруг него можно описать окружность \(\alpha\) с диаметром \(M_1L_2\).

Отрезок \(M_1M_3\) является средней линией треугольника \(ABC\), значит, он параллелен \(BC\) и равен его половине. Отрезок \(L_2L_3\) является средней линией треугольника \(BHC\), значит, он параллелен \(BC\) и равен его половине. Таким образом, отрезки \(M_1M_3\) и \(L_2L_3\) параллельны и равны. Отрезки \(M_3L_2\) и \(M_1L_3\) являются средними линиями треугольников \(AHC\) и \(AHB\), значит, они параллельны отрезку \(AH\) и равны его половине. Таким образом, \(M_1M_3L_2L_3\) – параллелограмм, причём отрезки \(BC\) и \(AA_1\) перпендикулярны, значит, \(M_1M_3L_2L_3\) – прямоугольник, поэтому вокруг него можно описать окружность с диаметром \(M_1L_2\). Так как вершины \(M_1\) и \(L_2\) являются общими для прямоугольников \(M_1M_2L_2L_1\) и \(M_1M_3L_2L_3\), значит, точки \(M_1\), \(M_2\), \(M_3\), \(L_1\), \(L_2\) и \(L_3\) лежат на одной окружности \(\alpha\).

Хорды \(M_1L_2\), \(M_2L_1\) и \(M_3L_3\) опираются на прямые углы, значит они являются диаметрами. Мы знаем, что \(\angle{M_3B_1L_3} = \angle{L_1A_1M_2} = \angle{L_2C_1M_1} = 90^{\circ}\), значит точки \(A_1\), \(B_1\) и \(C_1\) лежат на окружности \(\alpha\).

construct_31_proof

40. Пусть \(M'\) – точка пересечения отрезков \(OH\) и \(BM_1\), \(M_1\) – середина отрезка \(AC\), \(BB_1\) – высота треугольника. Рассмотрим треугольники \(HBM'\) и \(OM_1M'\). Углы \(HM'B\) и \(M_1M'O\) являются вертикальными, поэтому равны. Отрезки \(BB_1\) и \(OM_1\) перпендикулярны отрезку \(AC\), поэтому они параллельны, значит, \(\angle{HBM'} = \angle{OM_1M'}\), как внутренние накрест лежащие при параллельных прямых. Следовательно, треугольники \(HBM'\) и \(OM_1M'\) подобны по двум углам. Мы знаем, что \(BH = 2OM_1\), значит, \(BM' = 2M'M_1\), точка пересечения медиан треугольника делит медиану в отношении \(2:1\), считая от вершины, значит \(M = M'\). Помимо этого из подобия треугольников \(HBM\) и \(OM_1M\) следует, что \(HM = 2OM\).

construct_48_proof