Posts tagged 'circumcircle'

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.

F.13 Compare Triangles in Circles

For a family of triangles ABC inscribed in a fixed circle of radius R sharing a fixed chord AB = c (with central angle 2*phi where sin(phi) = c/(2R)), the area K decomposes into the signed sum of three central isosceles triangles: K = (1/2) c h_c + (1/2) a h_a - (1/2) b h_b.

F.20 Extangent

The external common tangents to the incircle and circumcircle (or excircles) bound the extangents triangle, while Euler’s relation d_{IO}^2 = R^2 - 2rR has derivative d(d_{IO})/dR = (R - r)/sqrt(R^2 - 2rR).

F.32 Markowski’s Theorem

If J, K, L denote the perpendicular sagittas from the side midpoints of triangle ABC to the circumcircle, Markowski’s Theorem states J K L = (1/2) r^2 R = (R^2 - d_IO^2)^2 / (8 R).

F.38 Pedal Triangles

The pedal triangle A’B’C’ of a point P(tau_A : tau_B : tau_C) has area Delta(P) = ((R^2 - OP^2)/(4 R^2)) Delta, and its six side-projection segments satisfy Carnot’s alternating square identity AC’^2 + BA’^2 + CB’^2 = C’B^2 + A’C^2 + B’A^2.