Если две хорды окружности пересекаются, то произведение отрезков одной хорды, равно произведению отрезков другой хорды.

Пусть в окружности хорды $AB$ и $CD$ пересекаются в точке $E$.

Докажем, что $AE\cdot EB=CE\cdot ED$.

Рассмотрим треугольники $ADE$ и $CBE$.

В этих треугольниках $\angle 1=\angle 2=\frac{1}{2}\buildrel\,\,\frown\over{BD}$, так как они вписанные.

Кроме того $\angle 3=\angle 4$, как вертикальные.

Следовательно, $\triangle ADE\sim\triangle CBE$ по первому признаку подобия.

Отсюда $\dfrac{AE}{CE}=\dfrac{DE}{BE}$, или $AE\cdot EB=CE\cdot ED$.

Если через точку $M$ проведена касательная $MK$ ($K$ – точка касания) и секущая, пересекающая окружность в точках $A$ и $B$, то $MK^2=MA\cdot MB$.

Пусть из точки $M$ к окружности проведены касательная $MK$ и секущая $MB$, пересекающая окружность в точке $A$.

Докажем, что $MK^2=MA\cdot MB$.

Обозначим $\alpha=\arc{AK}$.

Тогда $\angle B=\dfrac{\alpha}{2}$.

Кроме того $\angle MKA=\dfrac{\alpha}{2}$, как угол между касательной и хордой.

Тогда $\triangle MKA\sim\triangle MKB$ по первому признаку подобия ($\angle B=\angle MKA$, $\angle M$ – общий).

Тогда $\dfrac{KM}{AM}=\dfrac{BM}{KM}$, или $KM^2=AM\cdot BM$.

Если через точку $M$ проведены две секущие, одна из которых пересекает окружность в точках $A$ и $B$, а другая – в точках $C$ и $D$, то $MA\cdot MB=MC\cdot MD$.

Пусть через точку $M$ проведены две секущие, одна из которых пересекает окружность в точках $A$ и $B$, а другая – в точках $C$ и $D$.

Докажем что $MA\cdot MB=MC\cdot MD$.

Проведем из точки $M$ к данной окружности касательную $MK$.

По теореме $MK^2=MA\cdot MB$ и $MK^2=MC\cdot MD$, откуда $MA\cdot MB=MC\cdot MD$.

Пусть через точку $M$ проведена прямая, пересекающая данную окружность в точках $A$ и $B$. Степенью точки $M$ относительно данной окружности называется произведение $MA\cdot MB$.

Степень точки относительно данной окружность не зависит от выбора прямой.

Эта теорема является прямым следствием предыдущих трёх теорем.