設 BE, CF 為銳角三角形 ABC 的高, 試證 BA*BF+CA*CE=BC^2
設BE與CF相交於P,連接AP且延長與BC相交於D,
則AD⊥BC (三垂缐相交同一點)。
BD+DC=BC
==> BA cos B+CA cos C=BC
==> BA (BF/BC) + CA (CE/BC)=BC
==> BA*BF + CA*CE=BC*BC
∴ BA*BF + CA*CE=BC²