Circunferencia polar (geometría)

En geometría, la circunferencia polar de un triángulo tiene su centro en el ortocentro del triángulo y la longitud de su radio al cuadrado es:

${\displaystyle {\begin{aligned}r^{2}&=HA\times HD=HB\times HE=HC\times HF\\&=-4R^{2}\cos A\cos B\cos C=4R^{2}-{\frac {1}{2}}(a^{2}+b^{2}+c^{2}),\end{aligned}}}$

Circunferencia polar (en color rojo) del triángulo ABC

donde A, B, C designan los vértices y los ángulos correspondientes del triángulo, H es el ortocentro (la intersección de las alturas del triángulo), D, E y F son los pies de las alturas de los vértices A, B, y C respectivamente, R es el radio de la circunferencia circunscrita al triángulo y a, b y c son las longitudes de los lados opuestos a los vértices del triángulo A, B y C respectivamente.[1]^{: p. 176}

Las primeras partes de la fórmula del radio reflejan el hecho de que el ortocentro divide las alturas en pares de segmentos cuyos productos de sus longitudes son iguales. La fórmula trigonométrica del radio muestra que la circunferencia polar solamente existe si el triángulo es obtuso, por lo que uno de sus ángulos debe ser obtuso y, por lo tanto, tiene un función trigonométrica negativa.