MathLabs

Problem 5

ABCABC is a right-angled triangle with right angle at AA, and ADAD is the altitude to the hypotenuse. The line joining the incenters of ABDABD and ACDACD meets AB,ACAB,AC at K,LK,L. If SS and TT are the areas of ABCABC and AKLAKL, prove that S≥2TS\ge2T.
Step 1 of 4: Choose comparison points on the legs
AK′=AL′=ADAK'=AL'=AD
Detailed analysis

Choose K' on AB and L' on AC so that AK′=AL′=ADAK'=AL'=AD. Let the perpendicular to AB through K' meet AD at X. Since triangle AK'X and triangle ADB are right triangles with a common angle at A and AK′=ADAK'=AD, they are congruent. Thus the incenter of ADB is also the incenter of AK'X.