连接AO,并设内部矩形与圆的右上方交点为K O为BD中点,A为矩形中点,推出AODK为矩形,推出AD=OK OK为圆的半径R,因此,菱形ABCD的边长=R EF=BD+2DF=2R=>R=9