La perpendicular por A a AB corta BC en  Ca, y la perpendicular a AC lo corta en Ba. Análogamente se definen Ac, Bc, Cb y Ab. Sean La, Lb, Lc los puntos medios de AbAc, BcBa, CaCb. Entonces ALa, BLb y CLc concurren.