>>154
外心を(t,5)とすると外接円の半径が√(t^2 + 16)になったよ。
つまりこの外接円は２点(0,1),(0,9)を常に通る。
検算してないから自信ないけど。