連立方程式
\[
\begin{align*}
\begin{cases}
x+y=1\\
x-y=3
\end{cases}
\end{align*}
\]
に現れる中かっこ\(\{\)の意味について確認しておきます．結論から言うと，この中かっこは条件同士を「かつ」で結んでいることを意味しています．すなわち，
\[
\begin{align*}
&\begin{cases}
x+y=1\\
x-y=3
\end{cases}\\
\Longleftrightarrow~&x+y=1 \land x-y=3\\
\Longleftrightarrow~&x+y=1 \land x-y+(x+y)=3+1\\
\Longleftrightarrow~&x+y=1 \land 2x=4\\
\Longleftrightarrow~&x+y=1 \land x=2\\
\Longleftrightarrow~&2+y=1 \land x=2\\
\Longleftrightarrow~&x=2 \land y=-1\\
\end{align*}
\]
ということです．
連立方程式の解法は…「文字を減らす」方針？
正確には，こうです．
\[
\begin{cases}
f(x,~y)=0\\
g(x,~y)=0
\end{cases}
\Longleftrightarrow
\begin{cases}
f(x,~y)=0\\
g(x,~y)+kf(x,~y)=0
\end{cases}
\]
\begin{cases}
f(x,~y)=0\\
g(x,~y)=0
\end{cases}
\Longleftrightarrow
\begin{cases}
f(x,~y)=0\\
g(x,~y)+kf(x,~y)=0
\end{cases}
\]
だから簡単な例でいうと，
\[\begin{align*}
&\begin{cases}
x+y=1\\
2x+3y=3
\end{cases}\\
\Longleftrightarrow
&\begin{cases}
x+y-1=0\\
(2x+3y-3)-2(x+y-1)=0
\end{cases}\\
\Longleftrightarrow
&\begin{cases}
x+y-1=0\\
y+2=0
\end{cases}\\
\Longleftrightarrow
&\begin{cases}
x+y-1=0\\
y=-2
\end{cases}\\
\Longleftrightarrow
&\begin{cases}
x=3\\
y=-2
\end{cases}\\
\end{align*}
\]
連立方程式を解く，という作業も結局，同値変形しているに過ぎないので「文字を減らす」というよく言われる表現は個人的に違和感があります．文字（というか式？）は別に減ってないので・・・．単純な連立方程式であれば，このへんうるさく言わなくても全然平気なんだけどごつい連立方程式だと同値性を意識しないとうまく解けなかったり汚い記述になったりする気がします（数検１級一次試験で一時期流行ってました）．とくに\((\ast)\)の同値性は\(f(x,~y)=0\)を表記しないと同値性が崩れること，すなわち
\[\begin{cases}
f(x,~y)=0\\
g(x,~y)=0
\end{cases}
\Longrightarrow
g(x,~y)+kf(x,~y)=0
\]
であることに注意しましょう．
論理記号を使いこなせると明解に記述できるし思考しやすいので個人的には大好きなのですが準備と慣れを必要とするので難しい。この辺の論理学を学習してから数学を学べたらかなり強いと思うのだけど…そういった側面から教材を作れないものか思案中です．
連立方程式
数学検定１級１次試験の問題．
次の\(x\)に関する方程式の実数解を求めなさい．
\[3x^2-12x+8=\frac{8\sqrt{x-1}}{\sqrt{3}}\]
方針：\(y=\frac{\sqrt{x-1}}{\sqrt{3}}\)とおく．
【解答？】
\(\left\{\begin{array}{l}3x^2-12x+8=8y\\y=\frac{\sqrt{x-1}}{\sqrt{3}}\end{array}\right.\)
を解く．第2式を\(x=3y^2+1\)と変形し，第1式に代入すると，\[27y^4-18y^2-8y-1=0\]という高次方程式を得る．これを解くと，\[y=-\frac{1}{3}\text{または}y=1\]が得られ，これを第2式に代入することで解\[x=\frac{4}{3}\text{または}x=4\]を得る．【解答？終】
これは間違いです．\(x=\frac{4}{3}\)が不適解だからです．以前紹介した通り，「逆（十分性）の考察」をしていないがための誤りです．実際，\((\frac{4}{3},-\frac{1}{4})\)を代入すると与式は成り立ちません．
はじめから同値変形する方針だと以下のようになります．
【解答】
\begin{align*}
&3x^2-12x+8=8y\land y=\frac{\sqrt{x-1}}{\sqrt{3}}\\
\Longleftrightarrow &3x^2-12x+8=8y\land \sqrt{3}y=\sqrt{x-1}\\
\Longleftrightarrow &3x^2-12x+8=8y\land 3y^2=x-1 \land y>0 ~~(\ast)\\
\Longleftrightarrow &3x^2-12x+8=8y\land x=3y^2+1 \land y>0\\
\Longleftrightarrow &27y^4-18y^2-8y-1=0\land x=3y^2+1 \land y>0\\
\Longleftrightarrow &27(y-1)\left(y+\frac{1}{3}\right)^3=0\land x=3y^2+1 \land y>0\\
\Longleftrightarrow &(y=-\frac{1}{3}\lor y=1)\land x=3y^2+1 \land y>0\\
\Longleftrightarrow & y=1\land x=3y^2+1 \\
\Longleftrightarrow & y=1\land x=4
\end{align*}
\((\ast)\)だけが注意すべき同値変形で，他の部分は実質いつもの計算です．
同値変形に慣れていない人が安易に同値記号を乱用すると，十分性が言えないのに命題同士を同値記号で結んでしまい，結果大きく減点されたりと痛い目にあうでしょう．がしかし，同値記号を使うことは必要性や十分性を意識するきっかけにもなりますから，どんどん使って間違いまくって，その間違いを指摘してもらいながら学んでいくのがいいのではないかと僕は思います（指摘してもらえる環境がなければ無理に使わない方がいいかもしれません）．
また，同値性が不安なときは無理に同値記号を使わず，安全のため必要性（\(\Rightarrow\)）だけを追っていき，後で十分性を確認する，という例の方法をとった方が無難でしょう．
いずれにしても，「\(\Leftrightarrow\)だけで考える」「\(\Rightarrow\)のあとに\(\Leftarrow\)を確認する」のうち必ずどちらか一方で攻める・・・！という偏った姿勢ではなく，臨機応変に使い分けてください．このブログでも，それぞれの考え方が役立つ場面を取り扱っていきたいと思います．