莱昂哈德·欧拉(LeonhardEuler)是瑞士数学家,在数学上经常见到以他的名字命名的重要常数、公式和定理,下面是欧拉发现的一个定理:在△ABC中,R和r分别为外接圆和内切圆的半径,O和I分别为其外心和内心,则OI =R -2Rr.
下面是该定理的证明过程(借助了第(2)问的结论):
延长AI交⊙O于点D,过点I作⊙O的直径MN,连接DM,AN.
∵∠D=∠N,∴∠DMI=∠NAI(同弧所对的圆周角相等),
∴△MDI∽△ANI.∴ ,∴IA×ID=IM×IN①
如图②,在图1(隐去MD,AN)的基础上作⊙O的直径DE,连接BE,BD,BI,IF
∵DE是⊙O的直径,∴∠DBE=90°.
∵⊙I与AB相切于点F,∴∠AFI=90°,
∴∠DBE=∠IFA.
∵∠BAD=∠E(同弧所对圆周角相等),
∴△AIF∽△EDB.
∴ ,∴ ②,
由(2)知: ,
∴
又∵ ,
∴2Rr=(R+d)(R-d),
∴R -d =2Rr
∴d =R -2Rr
任务: