теорема о касательной и секущей

Ответ от Квантор[гуру]
Если из точки к окружности проведены касательная и секущая, то квадрат отрезка касательной от данной точки до точки касания равен произведению длин отрезков секущей от данной точки до точек её пересечения с окружностью.
Докажем это. По теореме угол МАС равен половине угловой величины дуги АС, но также и угол АВС равен половине угловой величины дуги АС по теореме, следовательно, эти углы равны между собой. Принимая во внимание то, что у треугольников АМС и ВМА угол при вершине М общий, констатируем подобие этих треугольников по двум углам (второй признак) . Из подобия имеем: МА/MB=MC/MA, откуда получаем МА^2=МВ*МС