Polar circle (geometry)

In geometry, the polar circle of a triangle is the circle whose center is the triangle's orthocenter and whose squared radius is

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

where A, B, C denote both the triangle's vertices and the angle measures at those vertices; H is the orthocenter (the intersection of the triangle's altitudes); D, E, F are the feet of the altitudes from vertices A, B, C respectively; R is the triangle's circumradius (the radius of its circumscribed circle); and a, b, c are the lengths of the triangle's sides opposite vertices A, B, C respectively.^{[1]: p. 176}

The first parts of the radius formula reflect the fact that the orthocenter divides the altitudes into segment pairs of equal products. The trigonometric formula for the radius shows that the polar circle has a real existence only if the triangle is obtuse, so one of its angles is obtuse and hence has a negative cosine.