Let O be the circumcenter; Ab, Ac the orthogonal projections of A on OB, OC and define analogously Bc, Ba, Ca, Cb. The triangles AAbAc, BBcBa, CCaCb are congruent .