Так как периметр треугольника КОС в три раза больше радиуса, то Р=3R=КО+ОС+КС= R+R+КС, следовательно, КС=R, т.о. все стороны треугольника равны, следовательно, он равносторонний и его углы равны 60 градусам. вспомним определение вписанного четырехугольника в окружность - необходимо, что бы сумма противоположных углов равнялась 180 градусам. рассмотрим четырехугольник ЕАОС, он разбит на треугольники ЕАО и ЕСО. треугольник ЕСО: угол О=60 градусов. ЕО=2*СО, следовательно, ЕО-гипотенуза, ОС, катет, лежащий против угла в 30 градусов, следовательно, треугольник ЕСО-прямоугольный, угол С=90 градусов. рассмотрим треугольник ЕОА: угол ЕОА=углу ЕОС, т.к. ОЕ-биссектриса, следовательно, угол ЕОА=60 градусов, ЕО-гипотенуза, в два раза большая катета АО, следовательно, треугольник ЕОА-прямоугольный, угол А=90 градусов. в четырехугольнике ЕАОС углы А и С - противоположные, сумма их дает 180 градусов, следовательно, вокруг этого четырехугольника можно описать окружность
Доказательство Пусть стороны треугольников АВС и А₁В₁С₁ пропорциональны: АВ / А₁В₁ = ВС / В₁С₁ = СА / С₁А₁ - (1) Докажем, что ΔАВС ~ ΔА₁В₁С₁. Для этого, учитывая второй признак подобия треугольников, достаточно доказать, что угол А = углу А₁. Рассмотрим треугольник АВС₂, у которого угол 1 = углу А₁, угол 2 = углу В₁. Треугольники АВС₂ и А₁В₁С₁ подобны по первому признаку подобия трегольников, поэтому АВ / А₁В₁ = ВС₂ / В₁С₁ = С₂А / С₁А₁. Сравнивая эти равенства с равенствами (1), получаем: ВС = ВС₂, СА = С₂А. Треугольники АВС и АВС₂ равны по трем сторонам. Отсюда следует, что угол А = углу 1, а так как угол 1 = углу А₁, то угол А = углу А₁. Теорема доказана.
Пусть стороны треугольников АВС и А₁В₁С₁ пропорциональны:
АВ / А₁В₁ = ВС / В₁С₁ = СА / С₁А₁ - (1)
Докажем, что ΔАВС ~ ΔА₁В₁С₁. Для этого, учитывая второй признак подобия треугольников, достаточно доказать, что угол А = углу А₁. Рассмотрим треугольник АВС₂, у которого угол 1 = углу А₁, угол 2 = углу В₁. Треугольники АВС₂ и А₁В₁С₁ подобны по первому признаку подобия трегольников, поэтому
АВ / А₁В₁ = ВС₂ / В₁С₁ = С₂А / С₁А₁.
Сравнивая эти равенства с равенствами (1), получаем: ВС = ВС₂, СА = С₂А. Треугольники АВС и АВС₂ равны по трем сторонам. Отсюда следует, что угол А = углу 1, а так как угол 1 = углу А₁, то угол А = углу А₁.
Теорема доказана.