Sea P un punto cualquiera, PaPbPc su triángulo pedal. Las perpendiculares por Pa a AC, por Pb a BA y por Pc a CB forman un triángulo MaMbMc; las perpendiculares por Pa a AB, por Pb a BC y por Pc a CA forman otro triángulo NaNbNc. Entonces MaMbMc y NaNbNc son congruentes y semejantes a ABC.