El triangle pedal PaPbPc de P és homotètic al triangle A'B'C' format per les rectes de Simson dels vèrtexs del triangle circumcevià CaCbCc de P.