\(2\)つの\(2\)次方程式\(x^2-3x+m-1=0,x^2+(m-2)x-2=0\)が共通な実数解をただ\(\)1つもつとき，定数\(m\)の値とその共通解を求めよ．
解答
\begin{align*}
&x^2-3x+m-1=0,x^2+(m-2)x-2=0\text{が共通な実数解をただ1つもつ}\\
\Longrightarrow~&x^2-3x+m-1=0,x^2+(m-2)x-2=0\text{が共通な実数解をもつ}\\
\Longleftrightarrow~&\exists x
\begin{cases}
x^2-3x+m-1=0\\
x^2+(m-2)x-2=0
\end{cases}\\
\Longleftrightarrow~&\exists x
\begin{cases}
x^2-3x+m-1=0\\
x^2+(m-2)x-2-(x^2-3x+m-1)=0
\end{cases}\\
\Longleftrightarrow~&\exists x
\begin{cases}
x^2-3x+m-1=0\\
(m+1)(x-1)=0\end{cases}\\
\Longleftrightarrow~&\exists x
\begin{cases}
x^2-3x+m-1=0\\
m=-1\lor x=1
\end{cases}\\
\Longleftrightarrow~&\exists x [x^2-3x+m-1=0 \land (m=-1 \lor x=1)]\\
\Longleftrightarrow~&\exists x [(x^2-3x+m-1=0 \land m=-1) \lor (x^2-3x+m-1=0 \land x=1)]\\
\Longleftrightarrow~&\exists x (x^2-3x-2=0 \land m=-1) \lor \exists x(1^2-3\cdot 1+m-1=0 \land x=1)]&\\
\Longleftrightarrow~&\exists x \left[x=\frac{3\pm \sqrt{17}}{2} \land m=-1\right] \lor \exists x[m=3 \land x=1]\\
\Longleftrightarrow~&\left(\exists x \left[x=\frac{3\pm \sqrt{17}}{2}\right] \land m=-1 \right) \lor (m=3 \land \exists x[x=1])\\
\Longleftrightarrow~&m=-1 \lor m=3
\end{align*}
（\(\exists x \left[x=\frac{3\pm \sqrt{17}}{2}\right]，\exists x[x=1]\)は恒真命題）二行目が同値変形でないことに注意すると，結局，
\begin{align*}
x^2-3x+m-1=0,x^2+(m-2)x-2=0\text{が共通な実数解をただ1つもつ}&\\
\Longrightarrow~m=-1 \lor m=3&
\end{align*}
つまり得られた条件は必要条件に過ぎないので，十分性を調べる必要があります。そこで，逆に\(m=-1\)のときと\(m=3\)のときそれぞれの場合において「与えられた\(2\)次方程式が共通な実数解をただ1つもつ」ことを調べることにします。
\(m=-1\)のとき，与えられた\(2\)つの方程式は\(x^2-3x-2=0\)と\(x^2-3x-2=0\)となり，どちらの解も\(x=\frac{3\pm\sqrt{17}}{2}\)であり「ただ\(1\)つの」共通解を持つとは当然いえません。他方，\(m=3\)のときは\(x^2-3x+2=0\)と\(x^2+x-2=0\)となり，これらを解くとそれぞれの解は\(x=-2\)と\(x=-1\)，そして\(x=-2\)と\(x=1\)となりこれなら「ただ\(1\)つの」共通解\(x=-2\)をもつと言えます。したがって答えは\[m=3\]（で，共通解は\(x=-2\)）となります。
解答終
結局これは，①必要条件を調べ，次に②その条件が十分条件となっているかどうかを調べる，という２つの段階に分けるというのが大まかなシナリオです（①は同値性を気にすることなくとりあえず右向きの矢印だけ気にすればいいから気楽）。このような方針は問題を解く際にしばしば見られるものです。実際，教科書の軌跡の解説などではお馴染みですね。僕は受験生時代，この問題の解説にはどことない気持ち悪さを感じつつもただただ解法パターンとして覚えることしかできず，細かいことは見て見ぬふりをしていました。今思えばその「気持ち悪さ」は結局論理を理解していなかったのが原因だと思います。とはいえ，学校で扱わないのだからこの手の話が分からんのはアタリマエ。ってかそもそも扱ってないことを問題にする時点でおかしくないか…？
先日，授業でこの\(2\)次方程式の共通解問題を扱い，例によって上のような解説を（もちろん論理式でなく日本語で）していてふと思いました。上の議論はつまり「\(P\Longrightarrow Q \lor R\)が言えました，そして\(Q\rightarrow P\)が偽（\(\overline{Q\rightarrow P}\)が真）で，\(R \rightarrow P\)が真であることが分かりました，だから\(P \Longleftrightarrow R\)と言えるよね」というもの，つまり\[(P\Rightarrow Q \lor R) \land \overline{Q\Rightarrow P} \land (R \Rightarrow P)\Longrightarrow~(P \Leftrightarrow R)\]ですが（※），そもそもこの命題は正しいのでしょうか…？僕自身この変形を普段から無意識に行っていましたが…よくよく考えれば疑問です。このことを調べてみます。（つづく）
（関連：2次方程式の共通解問題（その1））
※(21/9/16) \(\Leftrightarrow\)を\(\Rightarrow\)に訂正しました。R君ご指摘ありがとうございます。
