Sea el triángulo ABC y O el ortocentro.
Los triángulos rectángulos OKC y OLB son semejantes por tener un ángulo igual, el O, por opuestos por el vértice.
Por tanto OK/OL=OC/OB, de donde OK.OB=OC.OL
Análogamente, por semejanza de los triángulos OKA y OHB: OK.OB=OA.OH
Por tanto: OK.OB=OC:OL