Точка О2 - центр вписанной окружности в тр-ник АВС. Точка О1 - центр заданной окружности. Около тр-ка АВС опишем окружность. АО2, ВО2 и СО2 - биссектрисы соответствующих углов. Продолжим отрезок СО2 до пересечения его с описанной окружностью в некой точке К. ∠АО2К=∠А/2+∠С/2, т.к. ∠АО2К является внешним к тр-ку АСО2. ∠ВАК=АВК=∠С/2, т.к. оба опираются на те же дуги, на которые опираются равные углы из вершины тр-ка АВС. КА=КВ по этой же причине. Заметим, что в тр-ке АКО2 ∠КАО2=∠АО2К, значит он равнобедренный. КА=КО2=КВ, значит точка К - центр описанной около тр-ка АВО2 окружности. Тр-ник АВС - равнобедренный. В нём СМ - биссектриса и высота. В прямоугольном тр-ке АСМ ∠А+∠С=90°. Заметим, что и в тр-ке АСК ∠САК=90°, значит ∠CВК=90°. СА и CВ - касательные к окружности с центром в точке К. Точки А и В лежат на этой окружности. Но СА и CВ - касательные к заданной окружности, значит точки К и О1 совпадают. О1О2 - радиус заданной окружности, значит центр вписанной в тр-ник АВС окружности лежит на данной окружности. Доказано.
решение пусть в выпуклом четырехугольнике abcd ав + cd =вс +ad. (1) точка о пересечения биссектрис углов а и в равноудалена от сторон ad, ав и вс, поэтому можно провести окружность с центром о, касающуюся указанных трех сторон (рис. 238, а). докажем, что эта окружность касается также стороны cd и, значит, является вписанной в четырехугольник abcd.
предположим, что это не так. тогда прямая cd либо не имеет общих точек с окружностью, либо является секущей. рассмотрим первый случай (рис. 238, б). проведем касательную c'd', параллельную стороне cd (с' и d' точки пересечения касательной со сторонами вс и ad). так как abc'd' описанный четырехугольник, то по свойству его сторон
но вс' =вс -с'с, ad' =ad - d'd, поэтому из равенства (2) получаем:
правая часть этого равенства в силу (1) равна cd. таким образом, приходим к равенству
т.е. в четырехугольнике ccdd' одна сторона равна сумме трех других сторон. но этого не может быть, и, значит, наше предположение ошибочно. аналогично можно доказать, что прямая cd не может быть секущей окружности. следовательно, окружность касается стороны cd, что и требовалось доказать.
Около тр-ка АВС опишем окружность.
АО2, ВО2 и СО2 - биссектрисы соответствующих углов.
Продолжим отрезок СО2 до пересечения его с описанной окружностью в некой точке К.
∠АО2К=∠А/2+∠С/2, т.к. ∠АО2К является внешним к тр-ку АСО2.
∠ВАК=АВК=∠С/2, т.к. оба опираются на те же дуги, на которые опираются равные углы из вершины тр-ка АВС. КА=КВ по этой же причине.
Заметим, что в тр-ке АКО2 ∠КАО2=∠АО2К, значит он равнобедренный.
КА=КО2=КВ, значит точка К - центр описанной около тр-ка АВО2 окружности.
Тр-ник АВС - равнобедренный. В нём СМ - биссектриса и высота. В прямоугольном тр-ке АСМ ∠А+∠С=90°. Заметим, что и в тр-ке АСК ∠САК=90°, значит ∠CВК=90°. СА и CВ - касательные к окружности с центром в точке К. Точки А и В лежат на этой окружности. Но СА и CВ - касательные к заданной окружности, значит точки К и О1 совпадают.
О1О2 - радиус заданной окружности, значит центр вписанной в тр-ник АВС окружности лежит на данной окружности.
Доказано.
решение
пусть в выпуклом четырехугольнике abcd
ав + cd =вс +ad. (1)
точка о пересечения биссектрис углов а и в равноудалена от сторон ad, ав и вс, поэтому можно провести окружность с центром о, касающуюся указанных трех сторон (рис. 238, а). докажем, что эта окружность касается также стороны cd и, значит, является вписанной в четырехугольник abcd.
предположим, что это не так. тогда прямая cd либо не имеет общих точек с окружностью, либо является секущей. рассмотрим первый случай (рис. 238, б). проведем касательную c'd', параллельную стороне cd (с' и d' точки пересечения касательной со сторонами вс и ad). так как abc'd' описанный четырехугольник, то по свойству его сторон
но вс' =вс -с'с, ad' =ad - d'd, поэтому из равенства (2) получаем:
правая часть этого равенства в силу (1) равна cd. таким образом, приходим к равенству
т.е. в четырехугольнике ccdd' одна сторона равна сумме трех других сторон. но этого не может быть, и, значит, наше предположение ошибочно. аналогично можно доказать, что прямая cd не может быть секущей окружности. следовательно, окружность касается стороны cd, что и требовалось доказать.