b) Kẻ BR và CS vuông góc NQ ( R; S thuộc NQ) đặt : BC = a; CM = CQ = CA = b; BN = BP = AB = c
Chú ý : AN/AQ = NR/AS; HQ/HB = CQ/BP = CA/AB; BR/AB = AS/CA ; NR/BR = CN/CQ thì ta có:
(AN/AQ).(HQ/HB) = (NR/AS)(CA/AB) = (NR/BR)(BR/AB)(CA/AS) = CN/CQ = (BC + BN)/CQ = (a + c)/b
EB/EN = (EN - BN)/EN = 1 - 2BN/MN = 1 - 2AB/(AB + BC + CA) = (a + b - c)/(a + b + c)
=> (AN/AQ).(HQ/HB).(EB/EN) = [(a + c)(a + b - c)]/[b(a + b + c)] = (a² - c² + ab + bc)/(ab + bc + b²) = 1 (*)
Theo định lý Menelaus từ hệ thức (*) => A; H; E thẳng hàng