设 AB = DE = c, AC = b, AD = x, AH = CG = GF = y.
因为 CD // EF, 所以 b/2y = x/c, 即 bc = 2xy.
根据面积公式,S(ABC) = (1/2) bc SIN(A), S(ADH) = (1/2) xy SIN(A), 所以 S(ABC)= 2 S(ADH)。