Posts tagged 'trilinear'

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.