Sean Ab, Ac los simétricos del vértice A en la B-bisectriz y en la C-bisectriz. Definimos análogamente Bc, Ba, Ca, Cb. Las circunferencias de los 9 puntos de AAbAc, BBcBa, CCaCb concurren en el punto de Feuerbach F de ABC.