>893
続き
r_3=3/2
AO_3=4-r_3=5/2
△ABO_3の外接円の半径r_4=25/12
△A'O_3Bの面積が最大になるのはA'が線分O_3Bの垂直二等分線上にあるときだから三平方(ry