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 と同値である。