Legyen az ABC háromszögben az A, illetve B csúcsból húzott magasság talppontja $A_1$, illetve $B_1$, továbbá $a = BC$, $b = AC$, $m_a = AA_1$, $m_b = BB_1$. Bizonyítsuk be, hogy

$ CA_1\cdot CB_1 = ab - m_am_b $

Megoldás:  -