La mediatriz de BC corta AB en Ab y AC en Ac. Análogamente se definen Bc, Ba, Ca, Cb. Entonces las mediatrices de BcCb, CaAc, AbBa concurren.