円の解析幾何学計算機

円の解析幾何学計算機は、デカルト平面上の円の代数方程式を扱います。面積や円周だけでなく、円の位置、中心と半径、そして異なる等価な形式でどのように表すかについても扱います。このチュートリアルでは、標準形（中心・半径形）、一般形、平方完成による相互変換、および与えられた点から方程式を復元する方法をカバーします。

円の標準形

中心が (h, k)、半径が r の円は、以下の方程式を持ちます：

(x − h)² + (y − k)² = r²

これを標準形または中心・半径形と呼びます。直感的には、点 (x, y) が円上に存在するための必要十分条件は、その点が中心 (h, k) から距離 r だけ離れていることです。距離公式により、この距離は √((x − h)² + (y − k)²) です。この距離を r に等しく置き、両辺を二乗することで、上記の標準形が得られます。

方程式の読み方：

• 符号が反転します：(x − h) は、中心の x 座標が +h であることを意味し、−h ではありません。したがって、(x − 3)² + (y − 5)² = 16 の中心は (3, 5) であり、(−3, −5) ではありません。
• 右辺は r ではなく r² です。(x − 3)² + (y − 5)² = 16 の半径は √16 = 4 です。

例 — 標準形の方程式を作成する

与えられた条件： 中心 (2, −3)、半径 5。方程式： (x − 2)² + (y − (−3))² = 5² となり、簡略化して (x − 2)² + (y + 3)² = 25 となります。

円の一般形

標準形 (x − h)² + (y − k)² = r² を展開し、整理すると：

x² − 2hx + h² + y² − 2ky + k² = r²

x² + y² + (−2h)x + (−2k)y + (h² + k² − r²) = 0

D = −2h、E = −2k、F = h² + k² − r² とおくと、方程式は次のようになります：

x² + y² + Dx + Ey + F = 0

これが一般形です。D、E、F が与えられれば、中心と半径を復元できます：

• h = −D/2
• k = −E/2
• r = √((D/2)² + (E/2)² − F) = √(D² + E² − 4F)/2

半径の公式では、平方根の中身が正である必要があります：D² + E² > 4F。もしそれがちょうどゼロであれば、「円」は一点（退化した円）になります。負であれば、方程式には実数解が存在しません（「虚の円」）。

標準形と一般形の相互変換

標準形 → 一般形： 二乗を展開し、同類項をまとめます。

例：(x − 1)² + (y + 2)² = 9 → x² − 2x + 1 + y² + 4y + 4 = 9 → x² + y² − 2x + 4y − 4 = 0。したがって、D = −2、E = 4、F = −4 です。

一般形 → 標準形： x と y についてそれぞれ平方完成を行います。

例：x² + y² + 6x − 8y + 9 = 0。

• x と y の項をグループ化：(x² + 6x) + (y² − 8y) = −9
• 平方完成：係数の半分を取り、それを二乗し、両辺に加えます。6 の半分は 3 で、3² = 9 です。−8 の半分は −4 で、(−4)² = 16 です。
• (x² + 6x + 9) + (y² − 8y + 16) = −9 + 9 + 16
• (x + 3)² + (y − 4)² = 16

したがって、この円の中心は (−3, 4)、半径は √16 = 4 です。

与えられた点から方程式を求める

ケース 1 — 中心と円上の一点。 中心 (h, k) と円上の任意の一点 (x₀, y₀) が与えられた場合、半径はその点から中心までの距離です：r = √((x₀ − h)² + (y₀ − k)²)。これを標準形に代入します。

ケース 2 — 円上の三点。 どの3つの非共線点も、一意の円を決定します。各点を一般形に代入して、D、E、F に関する3つの方程式を得ます：

x₁² + y₁² + Dx₁ + Ey₁ + F = 0
x₂² + y₂² + Dx₂ + Ey₂ + F = 0
x₃² + y₃² + Dx₃ + Ey₃ + F = 0

3つの未知数を持つ3つの連立一次方程式です。消去法、代入法、またはクレルの公式で解きます。この計算機の AI 求解ボタンを使用すると、手順を追って解説してくれます。3つの点を記述すれば、AI が連立方程式を構成し、段階的に解いてくれます。

ケース 3 — 直径の2つの端点。 中心は2つの端点の中点です（中点公式を使用）、半径はそれらの間の距離の半分です。

起こりうる誤り

• 3つの共線点は円を定義しません — 直線を定義します。方程式系は矛盾しているか、特異になります。
• 3つの同一の点は3つの点ではありません — その点を通る無限に多くの円を定義します。
• 一般形で D² + E² < 4F：実数の円は存在しません。方程式は円の代数的形式を持っていますが、それを満たす実数 (x, y) は存在しません。

方程式の幾何学的意味

標準形は直感的に幾何学的意味を持ちます：すべての円は、固定された中心から一定距離にある点の集合です。一般形は、同じ点の集合を異なる方法で記述したものであり、代数的にはいくつかの計算（特に円と直線が混在する系など）に便利ですが、幾何学的には不透明です。

覚えておくべき2つの事実：

• 方程式が円を表すためには、x² と y² の係数が等しく（かつゼロでなければなりません）、異なっている場合は、楕円、双曲線、または放物線になっている可能性があります。
• 円の方程式には xy の交差項はありません。xy 項が存在すると、二次曲線が傾き、回転した楕円になる可能性があります。

一般的なミス

• 中心の符号の反転。 (x − 3)² は h = +3 を意味し、−3 ではありません。標準形を読む際には、x と y の隣にある値の符号を反転させる必要があります。
• 右辺の平方根を忘れる。 方程式が = 49 となっている場合、半径は 49 ではなく 7 です。
• 平方完成を中途半端に行う。 (a) 係数の半分を取り、(b) それを二乗し、(c) 両辺に加える必要があります。ステップ (c) を省略すると、方程式が破綻します。
• 一般形を標準形のように扱う。 x² + y² + 4x − 6y = 12 は (x + 4)² + (y − 6)² = 12 ではありません。中心を抽出するには、まず平方完成を行う必要があります。