Пусть N точка касания малой окружности с дугой. ТО по теореме внутреннего касания окружностей. O1N=RПричем O1N проходит через центр малой окружности,откудаO1O2=R-rТреугольник WCA-прямоугольный тк опирается на диаметр,тосosФ=b/2RТк малая окружность вписана в угол ABC,то ее центр лежит на бессектрисе этого угла (AO2)Проведем из центра O2 радиус к точке касания (радиус всегда перпендикулярен касательной)Откуда AO2=r/sin(a/2)угол Ф=arccos(b/2R)Запишем теорему косинусов для треугольника AO1O2R^2+r^2/sin^2(a/2)-2Rr*cos(a/2+arccos(b/2R))/sin(a/2)=(R-r)^2Ну давайте разбираться :)(R-r)^2=R^2-2Rr+r^2R^2 cокращается тогда можно еще поделить на rr/sin^2(a/2)-2R*cos(a/2+arccos(b/2R)/sin(a/2)=r-2Rr*ctg^2(a/2)=2R*(cos(a/2+arccos(b/2R))-sin(a/2))/sin(a/2)r=2R*sin(a/2)*(cos(a/2+arccos(b/2R))-sin(a/2))/cos^2(a/2)Вы можите конечно раскрыть косинус суммы может что хорошее получится. Но боюсь вы сойдете с ума :)Желаю удачи. Помог как смог