>>261
外接円の中心は正方形の対角線の交点O
AF↑=k(a↑/2+b↑)とおいて|OA↑|=|OF↑|でいいんじゃね