内接円と ABABAB の接点を DDD とする。直角と AAA と MMM の等しい角から △ADI∼△MBL\triangle ADI\sim\triangle MBL△ADI∼△MBL。ID=rID=rID=r、ML=2RML=2RML=2R なので相似より ID⋅ML=AI⋅BLID\cdot ML=AI\cdot BLID⋅ML=AI⋅BL、従って 2Rr=AI⋅BL2Rr=AI\cdot BL2Rr=AI⋅BL。