阅读以下材料,并按要求完成相应地任务:
莱昂哈德·欧拉(Leonhard Euler)是瑞士数学家,在数学上经常见到以他的名字命名的重要常数,公式和定理,下面是欧拉发现的一个定理:在△ABC中,R和r分别为外接圆和内切圆的半径,O和I分别为其外心和内心,则 .
如图1,⊙O和⊙I分别是△ABC的外接圆和内切圆,⊙I与AB相切分于点F,设⊙O的半径为R,⊙I的半径为r,外心O(三角形三边垂直平分线的交点)与内心I(三角形三条角平分线的交点)之间的距离OI=d,则有d2=R2﹣2Rr.
下面是该定理的证明过程(部分):
延长AI交⊙O于点D,过点I作⊙O的直径MN,连接DM,AN.
∵∠D=∠N,∠DMI=∠NAI(同弧所对的圆周角相等),
∴△MDI∽△ANI,
∴ ,
∴ ①,
如图2,在图1(隐去MD,AN)的基础上作⊙O的直径DE,连接BE,BD,BI,IF,
∵DE是⊙O的直径,∴∠DBE=90°,
∵⊙I与AB相切于点F,∴∠AFI=90°,
∴∠DBE=∠IFA,
∵∠BAD=∠E(同弧所对圆周角相等),
∴△AIF∽△EDB,
∴ ,∴ ②,
任务: