BC の中点を M とする。直角三角形 ADM では AM が斜辺なので AM≥ADAM\ge ADAM≥AD。BC=2AMBC=2AMBC=2AM より BC≥2ADBC\ge2ADBC≥2AD、従って S=[ABC]≥2[AKL]=2TS=[ABC]\ge2[AKL]=2TS=[ABC]≥2[AKL]=2T である。等号は D=M、すなわち AB=AC のとき。