Проведем из вершины отрезки , где точка пересечение с окружностью. Обозначим точку перпендикуляра с . Получим четырехугольник , который вписан в окружность. По теореме Птолемея , так как лежит на центре , то треугольники прямоугольные. . Откуда при подстановке получаем соотношение . Так как Четырехугольник прямоугольник. Заметим что - высота прямоугольного треугольника , тогда . Откуда по Теореме Пифагора , так как является высотой прямоугольного треугольника , то тогда
Получим четырехугольник
По теореме Птолемея
Откуда при подстановке получаем соотношение
Так как
Четырехугольник прямоугольник.
Заметим что
Откуда по Теореме Пифагора
тогда