Окружность, уравнение которой x^2+y^2 = 4 - это окружность с центром в начале координат радиусом 2., поскольку уравнение окружности таково: (x - a)^2 + (y - b)^2 = R^2 с центром в точке O(a;b) Радиуса R. Из условия имеем: (x - 0)^2 + (y - 0)^2 = 2^2. Далее, Из условия AB = BM. Рассмотрим это со следующего ракурса: AB = BM - радиусы некоторой окружности. На рисунке как бы мы не проводили хорду АВ, АВ будет равна ВМ и точка М будет лежать на той самой окружности. И хорда АМ большой окружности будет делится надвое радиусом в точке меньшей окружности (B, B1, B2 ... Bn). Получается, множество точек М - это некая окружность с центром B(2;0) радиусом 4. И уравнение такой окружности будет иметь вид: (x-2)^2 + y^2 = 16.
На чертеже точки касания 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 :) )
Для треугольника 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 :) )