1. Условие:
Дан четырехугольник \( ABCD \), около которого можно описать окружность. Это означает, что \( ABCD \) — вписанный четырехугольник.
Продолжения сторон \( AD \) и \( BC \) пересекаются в точке \( K \).
2. Цель:
Доказать, что \( \triangle KAB \backsim \triangle KCD \).
3. Используемые свойства:
4. Доказательство:
Рассмотрим треугольники \( \triangle KAB \) и \( \triangle KCD \).
Угол \( \angle K \) ( \( \angle AKB \) ):
Этот угол является общим для обоих треугольников \( \triangle KAB \) и \( \triangle KCD \), так как точка \( K \) — точка их пересечения.
Угол \( \angle KAB \) и \( \angle KCD \):
Рассмотрим угол \( \angle KAB \). Это угол \( \angle DAB \) четырехугольника \( ABCD \).
Рассмотрим угол \( \angle KCD \). Это угол \( \angle BCD \) четырехугольника \( ABCD \).
Так как \( ABCD \) — вписанный четырехугольник, сумма его противоположных углов равна 180 градусам. То есть, \( \angle DAB + \angle BCD = 180^ \) (если \( \angle B \) и \( \angle D \) — противоположные) или \( \angle ABC + \angle ADC = 180^ \).
Однако, нам нужно найти равенство углов, а не их сумму.
Рассмотрим внешний угол.
Угол \( \angle KCD \) является внешним углом для четырехугольника \( ABCD \), если рассматривать его как часть прямой \( BC \).
Другой подход:
Пусть \( \angle DAB = \alpha \). Поскольку \( ABCD \) вписанный, то \( \angle BCD = 180^ - \alpha \).
Угол \( \angle KCD \) — это продолжение отрезка \( BC \). То есть, \( \angle KCD \) и \( \angle BCD \) — смежные углы, их сумма равна 180 градусов.
\( \angle KCD + \angle BCD = 180^ \).
\( \angle KCD + (180^ - \alpha) = 180^ \).
\( \angle KCD = \alpha \).
Таким образом, \( \angle KAB = \angle DAB = \alpha \) и \( \angle KCD = \alpha \).
Значит, \( \angle KAB = \angle KCD \).
Итак, у нас есть:
По двум углам (признак подобия), треугольники \( \triangle KAB \) и \( \triangle KCD \) подобны.
5. Заключение:
\( \angle K \) — общий угол для \( \triangle KAB \) и \( \triangle KCD \).
Так как \( ABCD \) — вписанный четырехугольник, то внешний угол при вершине \( C \) (который равен \( \angle KCD \)) равен противолежащему внутреннему углу \( \angle DAB \) (который равен \( \angle KAB \)).
\( \angle KCD = \angle DAB = \angle KAB \).
Следовательно, \( \triangle KAB \backsim \triangle KCD \) по двум углам.