Sigui P un punt qualsevol, PaPbPc el seu triangle pedal. Les perpendiculars per Pa a AC, per Pb a BA i per Pc a CB formen un triangle MaMbMc; les perpendiculars per Pa a AB, per Pb a BC i per Pc a CA formen un altre triangle NaNbNc. Llavors MaMbMc i NaNbNc són congruents i semblants a ABC.