Геометрическая конфигурация: Точка P на окружности, диаметр EF, перпендикуляр PK, опущенный из P на EF.
Свойства прямоугольного треугольника, вписанного в окружность: Любой прямоугольный треугольник, вписанный в окружность, имеет гипотенузу, равную диаметру окружности. Треугольник PEF является прямоугольным, так как опирается на диаметр EF (∠EPF = 90°).
Высота в прямоугольном треугольнике: PK является высотой, опущенной из вершины прямого угла (P) на гипотенузу (EF).
Теорема о высоте в прямоугольном треугольнике: Квадрат высоты, опущенной из вершины прямого угла на гипотенузу, равен произведению отрезков, на которые высота делит гипотенузу.