莱昂哈德·欧拉(Leonhard Euler)是瑞士数学家，在数学上经常见到以他的名字命名的重要常数，公式和定理，下面是欧拉发现的一个定理：在△ABC中，R和r分别为外接圆和内切圆的半径，O和I分别为其外心和内心，则 .

如图1，⊙O和⊙I分别是△ABC的外接圆和内切圆，⊙I与AB相切分于点F，设⊙O的半径为R，⊙I的半径为r，外心O（三角形三边垂直平分线的交点）与内心I（三角形三条角平分线的交点）之间的距离OI＝d，则有d²＝R²﹣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，

∴ ，∴ ②，

任务：