Угол ADK и угол AEK — вписанные углы, опирающиеся на дугу AK. Следовательно, ∠ADK = ∠AEK.
По признаку подобия треугольников по двум углам, ΔADK ~ ΔAEK.
Из подобия треугольников следует отношение сторон: AK/AE = AD/AK = DK/EK.
Отсюда AK⋅EK = AE⋅AD.
Теорема о секущих: Если из точки вне круга проведены две секущие, то произведение одной секущей на ее внешнюю часть равно произведению другой секущей на ее внешнюю часть.