ぐぐったけど公式自体は見つからず、具体的な数値解を求める問題ばかりだった。数IIの問題らしい。 解き方は次の 3 元連立方程式を解くだけなんだけど、 (x0-ox)^2+(y0-oy)^2=r^2 (x1-ox)^2+(y1-oy)^2=r^2 (x2-ox)^2+(y2-oy)^2=r^2 手作業だと大変、でも Maxima というフリーソフト使えば一発で解いてくれる。いい時代になったものだ。 まあ綺麗な形にするために手作業は必要になったけどね。