因为 K=K'、L=L'，所以 [AKL]=AD2/2[AKL]=AD^2/2[AKL]=AD2/2。又有 [ABC]=BC⋅AD/2[ABC]=BC\cdot AD/2[ABC]=BC⋅AD/2。因此 [ABC]≥2[AKL][ABC]\ge2[AKL][ABC]≥2[AKL] 等价于 BC≥2ADBC\ge2ADBC≥2AD。