円と2次曲線

次の解答は誤りです。

放物線\(y=\frac{1}{6}x^2-2\cdots{(1)}\)と円\(x^2+y^2=3\cdots{(2)}\)について,\((2)\)を\((1)\)に代入すると,\[y=\frac{1}{6}(3-y^2)-2\]整理すると\[(y+3)^2=0\]よって,重解をもつから,\((1)\)と\((2)\)は接する。

誤りの理由をかけ,という問題について考えてみます。この問題の模範解答は

\((1)\)より\(x^2=3-y^2\).したがって\(3-y^2\geq 0 \Leftrightarrow -\sqrt{3}\leq y \leq \sqrt{3}\).しかし得られた重解\(y=-3\)はこの式を満たさない。ゆえに連立方程式\((1),(2)\)は実数解をもたない.つまり,\((1)\)と\((2)\)の共有点は存在しない.

という「連立方程式\((1)\)\((2)\)を解いても解がないから,共有点はない。だから接するなんてことはありえない」というものでしたが,ここでは違う視点から誤りを指摘してみます。まず,話を整理するために,「接する」ことの定義を確認しておきます:

\begin{align*}
&y=f(x)\text{と}y=g(x)\text{が接する}\\
\overset{\text{def}}{\Longleftrightarrow}~&\exists a [f(a)=g(a),~f^{\prime}(a)=g^{\prime}(a)]\\
\end{align*}

また,次を証明しておきます。

\(y=f(x),y=g(x)\)を多項式とする.このとき,次が成り立つ:
\[y=f(x)\text{と}y=g(x)\text{が接する}\Longleftrightarrow~f(x)-g(x)=0\text{が重解をもつ}\]

証明

(\(\Rightarrow\))
\begin{align*}
&y=f(x)\text{と}y=g(x)\text{が接する}\\
\overset{\text{def}}{\Longleftrightarrow}~&\exists a [f(a)=g(a),~f^{\prime}(a)=g^{\prime}(a)]\\
\Longleftrightarrow~&\exists a [f(a)-g(a)=0,~(f(a)-g(a))^{\prime}=0]\\
\Longleftrightarrow~&\exists a\begin{cases}
f(a)-g(a)=0 \\
(f(a)-g(a))^{\prime}=0
\end{cases}
\end{align*}\(f(x)-g(x)\)は多項式であるから,因数定理により\[f(x)-g(x)=(x-a)Q(x)\]と変形できる.辺々微分して\[(f(x)-g(x))^{\prime}=Q(x)+(x-a)Q^{\prime}(x)\]この式と第2式により\[Q(x)=-(x-a)Q^{\prime}(x)\]を得る.これを最初の式に代入して\[f(x)-g(x)=-(x-a)^2Q^{\prime}(x)\]したがって\(f(x)-g(x)=0\)は重解をもつ.

(\(\Leftarrow\))

重解を\(a\)とする.仮定により\[f(x)-g(x)=(x-a)^2Q(x)\]とおける.\(x=a\)と代入して\[f(a)-g(a)=0 \Leftrightarrow~f(a)=g(a)\]また,辺々微分して\[f^{\prime}(x)-g^{\prime}(x)=2(x-a)Q(x)+(x-a)^2Q^{\prime}(x)\]これに\(x=a\)と代入して\[f^{\prime}(a)-g^{\prime}(a)=0 \Leftrightarrow~f^{\prime}(a)=g^{\prime}(a)\]ゆえに\(y=f(x)\)と\(y=g(x)\)は接する.

証明終

さて,ここで誤答の「重解をもつから,\((1)\)と\((2)\)は接する」の部分を考えてみると,まず「重解をもつから」の主語が連立した結果の式\[y=\frac{1}{6}(3-y^2)-2\]であることが気になります。接するための十分条件は,多項式\(y=f(x),y=g(x)\)について「\(f(x)-g(x)=0\)が」重解をもつ,であったはずです。したがってまず\(y=f(x),y=g(x)\)という式を用意しなければならない。しかし\(y=\frac{1}{6}x^2-2\)はさておき\(y=\pm\sqrt{1-x^2}\)は多項式ではない。仮定を満たしていない以上,上の定理は使えない(実際,定理の証明を見ると分かるように「多項式」を仮定しないと因数定理も使えないしそもそも重解を定義できない)。

なので,個人的には「実際に調べてみると接しないよね」というより「重解をもつから,接する」という主張(というか理解)のいい加減さ曖昧さを指摘したい。「『どの式が』重解をもつの?」「『その式』が重解をもつことと接することに何の関係があるの?」と問いたい。

「接するときたら重解条件!」のような参考書でよく見るスローガン的解法は,付け焼き刃的には有効かもしれませんが,「接する」とは具体的にどういう状態を指すのか(定義),そして「接する」ことと「重解」をもつことはそれぞれ十分なのか必要なのか,「何が」重解をもつのか,またそれらは何を仮定しているのか,などを考えずにいい加減な理解で使っていると表面上はもっともらしい解答が作れてもよく見るとめちゃくちゃな気持ち悪い解答になる。

というわけで,円と2次曲線の問題では安易に「重解条件」は使ってはいけない。これは肝に銘じておくべきだと思います。

© 2024 佐々木数学塾, All rights reserved.