Posts tagged 'tangential-triangle'
F.11 Circumcenter
The perpendicular bisectors of the three sides of triangle ABC concur at the circumcenter O = X(3), equidistant from A, B, C by the circumradius R = abc/(4K), with homogeneous barycentric coordinates a^2 S_A : b^2 S_B : c^2 S_C.