设 DDD 为内切圆与 ABABAB 的切点。由直角以及 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。