Let P be a point, A'B'C' its pedal triangle. The point A' projects ortogonally on PB' and then on B'C', getting Ab. The point A' projects ortogonally on PC' and then on B'C', getting Ac. Define analogously Bc, Ba, Ca, Cb. The perpendicular bisectors of AbAc, BcBa, CaCb concur.