Siguin Ab, Ac les projeccions del vèrtex A sobre les bisectrius i definim anàlogament Bc, Ba, Ca, Cb. Les rectes d'Euler dels triangles AAbAc, BBcBa, CCaCb són concurrents al punt de Feuerbach F d'ABC.