円と放物線の交点

x2+y2=2x^2 + y^2 = 2 と放物線 y=x2y = x^2 の交点を求めます。

消しやすい文字から消す

連立方程式を解くときは、消しやすい文字から消します。放物線の式 y=x2y = x^2 をそのまま円に代入すると x2x^2yy に置きかわるので、xx を消して yy だけの方程式にできます。

y2+y2=(y+2)(y1)=0y^2 + y - 2 = (y + 2)(y - 1) = 0

これより y=2y = -2 または y=1y = 1 です。

意味をもたない解を落とす

ここで注意が必要です。y=x2y = x^222 乗なのでつねに 00 以上であり、y=2y = -2 になることはありません。これは代入の途中で現れた、意味をもたない解です。式のうえでの解が、そのまま図形の交点になるとはかぎらないので、必ず元の条件に戻して確かめます。採用できるのは y=1y = 1 だけです。

y=1y = 1y=x2y = x^2 に戻すと x2=1x^2 = 1、つまり x=±1x = \pm 1 となり、交点は (1,1)(1, 1)(1,1)(-1, 1)22 つです。念のため円の式に入れると 12+12=21^2 + 1^2 = 2 となり、確かに円の上にあります。円も放物線も yy 軸に関して対称なので、交点も yy 軸をはさんで左右対称に現れます。

yy を消す道

逆に yy を消すこともできます。円に y=x2y = x^2 を代入すると、次の 44 次方程式になります。

x4+x22=0x^4 + x^2 - 2 = 0

x2x^2 をひとかたまりと見れば (x2+2)(x21)=0(x^2 + 2)(x^2 - 1) = 0 と因数分解でき、x2=2x^2 = -2 は実数解をもたないので x2=1x^2 = 1、つまり x=±1x = \pm 1 です。

消す文字できる方程式次数
xx を消すy2+y2=0y^2 + y - 2 = 022
yy を消すx4+x22=0x^4 + x^2 - 2 = 044

同じ答えにたどりつきますが、次数が上がるぶん手間がかかります。どちらの文字を消すかで計算量が変わる、というのはよくあることです。

半径を変えると

円の半径を変えても、原点を中心とするかぎり交点は必ず 22 つです。半径 rr の円で同じ計算をすると y2+yr2=0y^2 + y - r^2 = 0 となり、y>0y > 0 の解がちょうど 11 つ出ます。その yy に対して x=±yx = \pm\sqrt{y}22 点が対応するからです。放物線は原点(円の内側)から出発して無限に伸びるので、どんな大きさの円からも必ず 22 回だけ外へ出ていく、と考えれば納得できます。

中心をずらすと

ただし円の中心を yy 軸上にずらすと、交点は最大で 44 つまで増えます。22 次曲線どうしの交点は、一般には 44 次方程式の解にあたるからです。放物線が円の内側と外側を出入りする回数が増える、と見ることもできます。

グラフの大きな点が交点 (1,1)(1, 1)(1,1)(-1, 1) で、円は上半分 y=2x2y = \sqrt{2 - x^2} と下半分 y=2x2y = -\sqrt{2 - x^2} に分けて描いています。