Siguin O el circumcentre; Ab, Ac les projeccions d'A sobre OB, OC, i definim anàlogament Bc, Ba, Ca, Cb. Els triangles AAbAc, BBcBa, CCaCb són congruents.