前回の記事では,証明問題の4つのパターンについて書きました。また,「少なくとも」「または」で表された内容を1本の等式で表す方法の説明をしました。今回はその第二弾となります。
等式の証明において,その等式や与えられている条件式が対称式である場合は,「あること」に気を付けなければなりません。多くの方がそのことを知らないまま,入試問題の難問を目の前にすると,手を出せずに白紙解答となってしまいます。そうならないためにも,対称式を見たときに何に気を付けるのかを身に付けましょう。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
まずは考えてみよう!
プリントを次のリンクからダウンロードできます。
問題を簡単化する
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
まずは結論部分の「$\,\displaystyle x=y=\frac{1}{2}\,$」を1本の等式で表すことを考えよう!
![](https://methodology.site/wp-content/uploads/2019/06/point-boy.png)
まずは「$\displaystyle \,x=\frac{1}{2}~\text{かつ}~y=\frac{1}{2}\,$」とするんですね!
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
そうだね!ここで問題を簡単にするために,$\displaystyle \frac{1}{2}$ を0にして考えよう。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
さぁ,しっかり考えよう!
![](https://methodology.site/wp-content/uploads/2019/06/think-boy.png)
「$\,xy=0\,$」ではないし・・・
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
よくある誤答は「$\,x+y=0\,$」だけど,これだと「$\,x=3\,$,$y=-3\,$」でも成り立つから違うよね。
![](https://methodology.site/wp-content/uploads/2019/06/think-boy.png)
今「$\,x+y=0\,$」と答えようとしてたとは言えないな・・・
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
すぐに答えを言うのも微妙だから,ちょっと説明していこうか。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
今回は問題文に「実数」とあるね?
![](https://methodology.site/wp-content/uploads/2019/06/think2-boy.png)
ありますけど,そんなの気にしたことありません。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
普通はそうだろうね。ちなみに実数ってどんな数?
![](https://methodology.site/wp-content/uploads/2019/06/think2-boy.png)
実数ですか・・・$\displaystyle 2,~\frac{1}{3},~\sqrt{5}$ とか色々ありますね。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
そうだね。ちなみに分数で表せる数を何って言うんだっけ?
![](https://methodology.site/wp-content/uploads/2019/06/think2-boy.png)
有理数です。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
逆に分数で表せない数は?
![](https://methodology.site/wp-content/uploads/2019/06/smile-boy.png)
無理数です。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
そうだね。その有理数と無理数を合わせたものが実数ってことだね。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
じゃあ,ちなみに実数ではない数は?
![](https://methodology.site/wp-content/uploads/2019/06/smile-boy.png)
虚数です。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
そうだね。虚数単位は $i$ だけどその定義は?
![](https://methodology.site/wp-content/uploads/2019/06/point-boy.png)
$i=\sqrt{-1}$ です!
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
別の言い方をすれば,$i^2=-1$ となるね。つまり,純虚数を2乗すると負になるよね?ということは実数は・・・?
![](https://methodology.site/wp-content/uploads/2019/06/smile-boy.png)
実数は2乗すると0以上になる数ってことですか?
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
そうだね!今は $x$ が実数と書かれているから,$x^2\geqq0$ が成り立つ。この不等式の等号が成り立つときの $x$ の値は何?
![](https://methodology.site/wp-content/uploads/2019/06/smile-boy.png)
$x=0$ です。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
今分かったことは,「$\,x^2=0\,$ ならば $\,x=0\,$」だよ。これで 「$\,x=0~\text{かつ}~y=0\,$」を1本の等式で表せるかな?
![](https://methodology.site/wp-content/uploads/2019/06/point-boy.png)
なるほど!「$\,x^2+y^2=0\,$」ですね。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
そうだね!
何を示せば良いかを明確に!
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
これで「$\displaystyle \,x=\frac{1}{2}~\text{かつ}~y=\frac{1}{2}\,$」を1本の等式で表せるね。
![](https://methodology.site/wp-content/uploads/2019/06/smile-boy.png)
まず,$\displaystyle \,x-\frac{1}{2}=0\,~\text{かつ}~y-\frac{1}{2}=0\,$ にします。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
いいね。公式は0を基準に書かれているんだったね。
![](https://methodology.site/wp-content/uploads/2019/06/point-boy.png)
「$\displaystyle \,\left(x-\frac{1}{2}\right)^2+\left(y-\frac{1}{2}\right)^2=0\,$」ですね!
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
あとは $\displaystyle x^2+y^2+\frac{1}{2}=x+y$ を利用して証明すれば良いね。
![](https://methodology.site/wp-content/uploads/2019/06/smile-boy.png)
やってみます!
\left(x-\frac{1}{2}\right)^2+\left(y-\frac{1}{2}\right)^2
=x^2+y^2-x-y+\frac{1}{2}
\end{align*}
\left(x-\frac{1}{2}\right)^2+\left(y-\frac{1}{2}\right)^2=0
\end{align*}
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
何を証明すればよいかが分かれば,結構簡単でしょ?
![](https://methodology.site/wp-content/uploads/2019/06/got-it-boy.png)
そうですね!
対称な式を扱うときの注意点
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
この調子でもう1問やってみよう。
![](https://methodology.site/wp-content/uploads/2019/06/point-boy.png)
まずは $\,a=b=c\,$ を「$\,a=b\,$ かつ $\,b=c\,$」として,「$\,(a-b)^2+(b-c)^2=0\,$」を証明すれば良いんですね!
(a-b)^2+(b-c)^2&=a^2+2b^2+c^2-2ab-2bc
\end{align*}
![](https://methodology.site/wp-content/uploads/2019/06/think2-boy.png)
うまくいきません。どうすれば良いんですか?
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
$\,a=b=c\,$ を「$\,a=b\,$ かつ $\,b=c\,$」としたのは内容としては間違ってはいない。ただし,対称な式を変形するときはあることを意識した方がいいね。
![](https://methodology.site/wp-content/uploads/2019/06/think2-boy.png)
その「あること」って何ですか?
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
対称な式を変形するときは,対称性を崩してはいけないんだ。
![](https://methodology.site/wp-content/uploads/2019/06/think-boy.png)
どういう意味・・・?
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
最初の問題も,$\,x,~y\,$ について対称だったけど,2文字だったから特に意識する必要はなかったんだ。でも今回は3文字になったから,注意が必要なんだ。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
3文字が対称のときは,平等に扱わないといけない。例えば「$\,a=b\,$ かつ $\,b=c\,$」とした場合は,意識はしてないと思うけど結果的に $b$ に偏って変形してることになるよね?
![](https://methodology.site/wp-content/uploads/2019/06/think2-boy.png)
じゃあどうすれば良いんですか?
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
もう1つ付け加えて「$\,a=b\,$ かつ $\,b=c\,$ かつ $\,c=a\,$」としよう。
![](https://methodology.site/wp-content/uploads/2019/06/point-boy.png)
なるほど!それだと偏りはないですね。
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
これで証明できるかな?
![](https://methodology.site/wp-content/uploads/2019/06/smile-boy.png)
頑張ります。
&(a-b)^2+(b-c)^2+(c-a)^2 \\[4pt]
&=2(a^2+b^2+c^2-ab-bc-ca) \\[4pt]
&=0\quad (\because a^2+b^2+c^2=ab+bc+ca)
\end{align*}
&a=b\ \ \text{かつ}\ \ b=c\ \text{かつ}\ \ c=a \\[4pt]
&a=b=c
\end{align*}
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
完璧だね!
![](https://methodology.site/wp-content/uploads/2019/06/got-it-boy.png)
よし!
まとめ
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
「かつ」で表された条件を1本の等式で表す方法を覚えておこう!
![](https://methodology.site/wp-content/uploads/2019/06/point-boy.png)
対称な式は対称性を崩さないように変形することも重要ですね!
![ヒロ](https://methodology.site/wp-content/uploads/2019/06/hiro-teacher.png)
そうだね。使いこなせるようにして,レベルアップしよう!