The perpendicular from P to BC cuts AB at Ab and AC at Ac. Define analogously Bc, Ba, Ca, Cb. Then the ninecircles of ABaCa, BCbAb, CAcBc concur.