O2F * EF = AF * BF = CF * DF
O2F * 3 = 1 * DF
设 O2F=x,DF= r+x,
=> 3x = r+x => r = 2x
CF= r - x =1 => r = 1+x,
综上,x=1,r=2