На чертеже точки касания N и N1 изображены совпадающими, но это еще надо доказать. Поэтому СНАЧАЛА я не считаю их совпадающими. То есть окружность O1 касается AC в точке N, а окружность O2 - в точке N1 (слова "с центром" дальше буду опускать, если и так ясно). Для треугольника ABC точки касания с O1 делят стороны на три отрезка AN, CN и еще один (точнее, два равных) из вершины B. Я обозначу его например буквой x. Тогда очевидно AN + CN = AC; AN + x = AB; CN + x = BC; Если вычесть из второго третье, получится AN - CN = AB - BC; если теперь сложить это с первым, то AN = (AC + AB - BC)/2; Точно так же для треугольника ACD получается AN1 = (AC + AD - CD)/2; и нигде не предполагается, что AN = AN1; это надо доказать. Весь четырехугольник ABCD является ОПИСАННЫМ, то есть AD + BC = AB + CD; или AD - CD = AB - BC; или AC + AD - CD = AC + AB - BC; то есть AN = AN1, и точки N и N1 совпадают, это просто одна точка N. Последствия этого очень велики. :) Окружности O1 и O2 касаются, AC является общей касательной, проведенной в точке касания N окружностей O1 и O2, и линия центров O1O2 перпендикулярна AC. Важно! - пока нигде не использовано, что ABCD - трапеция! Этот результат справедлив для любого выпуклого описанного четырехугольника. Поэтому (см. чертеж) ∠KO1O2 = ∠CAD (стороны углов перпендикулярны), и треугольники KO1O2 и ACP подобны. CP - высота трапеции. Она равна CP = 2R = 40; сумма радиусов окружностей равна O1O2 = 25; отсюда легко найти KO1 = 40 - 25 = 15; получился "египетский" треугольник :) то есть KO2 = 20; Ну, и из подобия KO1O2 и ACP AC = 50 (поскольку СP = 2*KO2 :) )
MN║LK ⇒ MN, LK ⊂ (MNL), в этой плоскости рассмотрим четырёхугольник MNKL: у него две противоположные стороны параллельны и равны (MN, LK),поэтому это точно параллелограмм у ромба помимо этого ещё все стороны равны, значит чтобы доказать, что MNLK - ромб осталось только доказать, что MK=NM т.к. если это выполняется, то NL=MK - как противоположные стороны параллелограмма, а значит MN=NL=LK=KM.
BD=2MK т.к. MK - средняя линия ΔBDC.
BD=AC - по условию.
2MK=BD=AC=2MN ⇒ MK=MN. Доказали, значит MNLK это параллелограмм у которого все стороны равны, то есть это ромб.
Для треугольника ABC точки касания с O1 делят стороны на три отрезка AN, CN и еще один (точнее, два равных) из вершины B. Я обозначу его например буквой x.
Тогда очевидно
AN + CN = AC;
AN + x = AB;
CN + x = BC;
Если вычесть из второго третье, получится AN - CN = AB - BC; если теперь сложить это с первым, то
AN = (AC + AB - BC)/2;
Точно так же для треугольника ACD получается
AN1 = (AC + AD - CD)/2; и нигде не предполагается, что AN = AN1; это надо доказать.
Весь четырехугольник ABCD является ОПИСАННЫМ, то есть AD + BC = AB + CD;
или AD - CD = AB - BC; или AC + AD - CD = AC + AB - BC; то есть AN = AN1, и точки N и N1 совпадают, это просто одна точка N.
Последствия этого очень велики. :) Окружности O1 и O2 касаются, AC является общей касательной, проведенной в точке касания N окружностей O1 и O2, и линия центров O1O2 перпендикулярна AC.
Важно! - пока нигде не использовано, что ABCD - трапеция! Этот результат справедлив для любого выпуклого описанного четырехугольника.
Поэтому (см. чертеж) ∠KO1O2 = ∠CAD (стороны углов перпендикулярны), и треугольники KO1O2 и ACP подобны. CP - высота трапеции. Она равна
CP = 2R = 40;
сумма радиусов окружностей равна O1O2 = 25; отсюда легко найти KO1 = 40 - 25 = 15; получился "египетский" треугольник :) то есть KO2 = 20;
Ну, и из подобия KO1O2 и ACP AC = 50 (поскольку СP = 2*KO2 :) )
Дано: D∉(ABC); AC=BD; AL=LB (L∈AB); BK=KC (K∈BC); CM=MD (M∈CD); DN=NA (N∈DA).
Доказать: MNLK - ромб.
AC║MN и AC=2MN т.к. MN - средняя линия ΔACD.
AC║LK и AC=2LK т.к. LK - средняя линия ΔACB.
MN║AC║LK ⇒ MN║LK; 2MN=AC=2LK ⇒ MN=LK
MN║LK ⇒ MN, LK ⊂ (MNL), в этой плоскости рассмотрим четырёхугольник MNKL: у него две противоположные стороны параллельны и равны (MN, LK),поэтому это точно параллелограмм у ромба помимо этого ещё все стороны равны, значит чтобы доказать, что MNLK - ромб осталось только доказать, что MK=NM т.к. если это выполняется, то NL=MK - как противоположные стороны параллелограмма, а значит MN=NL=LK=KM.
BD=2MK т.к. MK - средняя линия ΔBDC.
BD=AC - по условию.
2MK=BD=AC=2MN ⇒ MK=MN. Доказали, значит MNLK это параллелограмм у которого все стороны равны, то есть это ромб.