A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Először megmutatjuk, hogy a pont az , a pedig az szakasznak belső pontja. Legyen az csúcsnak a magasságra vonatkozó tükörképe. Az feltétel miatt , ezért az pont a szakasznak belső pontja. A szakasz a háromszög belsejében halad, és ennek belső pontja, tehát a háromszög belsejébe esik. Jól ismert, hogy bármely hegyesszögű háromszögben a magasságvonalak felezik a talpponti háromszög szögeit, ezért a félegyenesnek a magasságra vonatkozó tükörképe a félegyenes. A pont tehát a félegyenesnek a háromszög belsejébe eső szakaszán, vagyis az szakasz belsejében helyezkedik el. Hasonlóan láthatjuk, hogy miatt az szakasznak belső pontja.
Legyen felezőpontja ; az és szakaszok a oldal Thalész-körének sugarai, ezért . Szintén jól ismert, hogy az , , pontok egy körön, a háromszög Feuerbach-körén vannak. Vegyük észre, hogy az és háromszögek egybevágók, mert , , és az ívhez tartozó kerületi szögek a Feuerbach-körön. Tehát | | ez pedig mutatja, hogy az , , , pontok egy körön vannak, ahogy az bizonyítandó volt. |