The perpendicular bisector of AB cuts BC at Ab and the perpendicular bisector of AC cuts BC at Ac. Let Ag be the Gergonne point of AAbAc. Define analogously Bg, Cg. The triangles ABC and AgBgCg are similar.