A hegyesszögű ABC háromszög $ A $, illetve $ B $ csúcsából húzott magasságok talppontjai $ A_1 $, illetve $ B_ $. Bizonyítsuk be, hogy
$ CA_1 \cdot AB_1 + CB_1 \cdot BA_1 = AB \cdot A_1B_1 $
 
Megoldás: -