第91回 シーズン10 エピソード1

イリュージョンの代償（前編） ただいま無料

僕の部屋

ユーリ「ねーお兄ちゃん、何かして遊ぼーよ！　たいくつたいくつ！」

僕「人の部屋に来て『たいくつたいくつ！』もないと思うんだけど……」

ユーリ「そういえば朝ドラで『マッサン』が始まったよね」

僕「だから、そういう時事ネタ禁止」

ユーリ「金髪っていーなあ！　ユーリみたいな栗色ってパッとしないよね」

僕「いやいや。ユーリだって、ほら数学の問題解いているとき……」

ユーリ「なーに？」

僕「まあいいや。たいくつだったら、クイズ出そうか」

ユーリ「クイズ？　おもしろいならいーけど」

僕「こういうクイズ」

クイズ1

ユーリ「成り立つ！　はい、次のクイズは？」

僕「答えるの早いな！」

ユーリ「こんなの簡単じゃん！　はい、次のクイズ！」

僕「ちゃんと理解して答えたのかなあ……」

ユーリ「えー、ユーリさまを疑うの？　だって $a > b$ っていうのは『$a$ の方が $b$ より大きい』ってことでしょ？」

僕「そうだね」

ユーリ「$a + c > b + c$ っていうのは両辺に $c$ を足したんでしょ？」

僕「そうそう」

ユーリ「$a$ が $b$ より大きくて、両辺に $c$ っていう同じ数を足したんだもん。 $a + c$ の方が $b + c$ より大きいままじゃん」

僕「なるほどね」

ユーリ「何がなるほど？」

僕「いやいや、じゃあ次のクイズに進んでもいい？」

ユーリ「いいよん。早く！」

クイズ2

僕「じゃ、次のクイズ。これは簡単かな？」

ユーリ「おっと、そう来るのね。ええっと、ええっと……うん、成り立つ成り立つ！」

僕「ちゃんと問題を……」

ユーリ「分かって答えてるよ！　今度は両辺から同じ数 $c$ を引いたんでしょ？」

僕「そうそう」

ユーリ「$a > b$ なんだから、両辺から同じ数 $c$ を引いてもやっぱり $a - c > b - c$ だよね」

僕「うん、それでいいんだけど」

ユーリ「だけど？」

僕「さっきのクイズ1は即答したのに、どうしてこのクイズ2は一瞬だけ答えるのが 遅れたのかなと思って」

ユーリ「だって、引き算でも大丈夫かなって、ちょっと考えたんだもん。悪い？」

僕「いやいや、悪くはないよ。考えることはまったく悪くない。でもね」

ユーリ「……」

僕「でも、クイズ1とクイズ2はまったく同じ問題なんだよ」

ユーリ「何で？……あっ、そうか！」

僕「だよね」

ユーリ「にゃるほど！　 $c$ はマイナスでもいいのか！」

僕「そうだね」

ユーリ「$c$ はもともとマイナスでもいいんだね。 だから、つまり、えーと、クイズ1で $a + c > b + c$ が成り立つから、 $a - c > b - c$ もいえてたんだ！」

僕「まあ、だいたいそういうことだね。説明はちょっとあやふやだけど。 ユーリが答えたように $c$ がどんな実数でも 《$a > b$ なら $a + c > b + c$ である》が成り立つ。 たとえば、 $c$ が $1$ でも $-1$ でもね。 もしも $c$ が $-1$ のような負の数のとき、 $a + (-1) > b + (-1)$ だけど、これは $a - 1 > b - 1$ と同じこと。引き算」

ユーリ「そー！　そー言いたかったの！」

僕「$c$ が $1$ のような正の数でも同じことがいえるね。 $a + c > b + c$ は $a + 1 > b + 1$ だけど、 これは引き算の形で $a - (-1) > b - (-1)$ とも書くことができる。 要するに、クイズ1に答えた時点で、クイズ2にも答えていたことになるんだ」

ユーリ「そだね」

僕「では、それを踏まえて次のクイズ」

ユーリ「？」

僕「これはどうかな」

クイズ3

ユーリ「なーるほど、そう来たか。これもカンタンだよ。これは成り立たないね！」

僕「そうだね。いつも成り立つとは限らない」

ユーリ「《いつも $ac > bc$ である》とはいえなくて、 $ac > bc$ になるときと、ならないときがある」

僕「うん、それで？」

ユーリ「$c$ がプラスだったら $ac > bc$ になるけど、 $c$ がマイナスだったら反対になって $ac < bc$ でしょ？」

僕「……」

ユーリ「え？　違うの？」

僕「……待ってるんだけど」

ユーリ「何を？」

僕「何かを」

ユーリ「ん？ だってそーじゃん。 $a > b$ のとき、 $c$ がプラスならそのまま $ac > bc$ だけど、 $c$ がマイナスなら反対になって $ac < bc$ と」

僕「……」

ユーリ「……あっ！　もう一つあった。ゼロだ！ $c = 0$ のときは $ac = bc$ だね！」

僕「はい、大正解！　待っててよかった」

ユーリ「これを待ってたの？」

僕「そう。《いつも成り立つか》に対しては《成り立つとは限らない》でいいよ。 でも、さらに $ac$ と $bc$ の大小関係を調べたかったら、 $c$ が正か、ゼロに等しいか、負かという場合分けがいるんだね。 このクイズでは」

僕「掛ける数が負なら、不等号の向きが逆になるというのはミスしやすいところだね」

ユーリ「まー、これも大したことないクイズだよ。カンタン、カンタン」

クイズ4

僕「言ったな。じゃ、こんなクイズはどう？」

ユーリ「へー、これがお兄ちゃんの本気なの？　これは成り立つ！」

僕「そうだね。どうして？」

ユーリ「どーしてって？」

僕「どうして、 $a + c > b + d$ が成り立つのかな、って質問」

ユーリ「だってさ、 $a$ は $b$ より大きくて、 $c$ は $d$ より大きいんでしょ？　 だったら、 大きいもの同士を足した $a + c$ の方が 小さいもの同士を足した $b + d$ よりも大きいに決まってる」

僕「そうだね。それでいい。でも念のため、式を使って確かめてみようか」

ユーリ「式を使う？」

僕「いま証明したいのは $a + c > b + d$ だよね。 こういう《不等式（ふとうしき）》を証明したいときには、 《大きい方から小さい方を引いた式を作ってみる》というやり方をよく使うんだ」

ユーリ「どゆこと？」

僕「$a + c > b + d$ を確かめたいんだから、 大きい方の $a + c$ から小さい方の $b + d$ を引いた式を作る。 正確には《大きいことを証明したい方から、小さいことを証明したい方を引いた式》だけど、 要するに、こういう式」

$$ \underbrace{(a + c)}_{\REMTEXT{大きい方}} - \underbrace{(b + d)}_{\REMTEXT{小さい方}} $$

ユーリ「なんで？」

僕「なぜかというと、この式 $(a + c) - (b + d)$ が $0$ より大きくなることを証明すればいいからなんだ。 $(a + c) - (b + d) > 0$ と $a + c > b + d$ は同値だから、 どちらを証明してもいいということだね」

ユーリ「ほほー」

僕「あとは式変形をしていけば、糸口が見えてくるはずだよ」

$$ \begin{align*} (a + c) - (b + d) &= a + c - b - d && \REMTEXT{カッコを外した} \\ &= a - b + c - d && \REMTEXT{足し算の順序を入れ換えた} \\ &= (a - b) + (c - d) && \REMTEXT{カッコを付けた} \\ \end{align*} $$

ユーリ「ふむふむ？」

僕「つまり、 $(a + c) - (b + d)$ というのは、 $a - b$ と $c - d$ を足したものに等しいわけだね」

ユーリ「そだね」

僕「ところで、いま僕たちが考えている $a,b,c,d$ には $a > b$ で $c > d$ という関係があるわけだから、 $a - b > 0$ で $c - d > 0$ だよね」

ユーリ「え？　ああ、そーだね。 $a > b$ だから $a - b > 0$ だし、 $c > d$ だから $c - d > 0$」

僕「ところで、 $0$ より大きな数を二つ加えたら、やっぱり $0$ より大きな数になるよね」

ユーリ「そりゃそーだ」

僕「だから、 $(a - b) + (c - d)$ も $0$ より大きくなる。だから、こういえる」

$$ \begin{align*} (a + c) - (b + d) &= (a - b) + (c - d) && \REMTEXT{さっきの式変形から} \\ &= \underbrace{(a - b)}_{\REMTEXT{$0$より大きい}} +\underbrace{(c - d)}_{\REMTEXT{$0$より大きい}} && \REMTEXT{$a > b$と$c > d$から} \\ &> 0 && \REMTEXT{$0$より大きな二つの数の和だから} \\ \end{align*} $$

ユーリ「なーる。これで $(a + c) - (b + d) > 0$ がいえたってこと？」

僕「そうだね。だから確かに、 $a > b$ で $c > d$ ならば $a + c > b + d$ が成り立つ」

クイズ5

僕「じゃ、もう一つクイズだよ」

ユーリ「やっぱり！」

僕「何がやっぱり？」

ユーリ「やっぱり、そー来ると思ったよ！　ふはは」

僕「キャラおかしいぞ」

ユーリ「さっき $a + c$ と $b + d$ だったから、今度は引き算だと思ったんだよねー」

僕「あ、そう……それで、答えは？」

ユーリ「これは、成り立たない！」

僕「どうして？」

ユーリ「だってさー、 $2 > 1$ で $4 > 3$ だけど、 $2 - 4 = -2$ で、 $1 - 3 = -2$ だから……あれ？」

僕「それでいいんだよ、ユーリ。いまのは $a = 2, b = 1, c = 4, d = 3$ で試したんだね。 それで $2 - 4 = 1 - 3$ になってしまう。 $2 - 4 > 1 - 3$ は成り立たない」

ユーリ「そゆこと！」

僕「だから、 $a = 2, b = 1, c = 4, d = 3$ は《反例（はんれい）》になっていたわけだ」

ユーリ「そーそー、反例、はんれい」

僕「そうだね」

クイズ6

ユーリ「……」

僕「ユーリ、どうした？」

ユーリ「今度は、ユーリがクイズ出す！」

僕「なるほど、これはいい問題だね」

ユーリ「上から目線はいいから、答える答える！」

僕「うん、これは成り立つね」

ユーリ「何で？」

僕「不等式の問題を解く定石通りだよ。 《大きい式から小さい式を引く》を計算すればすぐだから。 つまり $a - d > b - c$ を証明したいんだから、 $(a - d) - (b - c)$ を計算して $0$ より大きくなることをいえばいい」

$$ \begin{align*} (a - d) - (b - c) & = a - d - b + c && \REMTEXT{カッコを外した} \\ & = a - b + c - d && \REMTEXT{足し算の順序を変えた} \\ & = (a - b) + (c - d) && \REMTEXT{カッコを付けた} \\ & = \underbrace{(a - b)}_{\REMTEXT{$0$より大きい}} + \underbrace{(c - d)}_{\REMTEXT{$0$より大きい}} && \REMTEXT{$a > b$で$c > d$だから} \\ & > 0 && \REMTEXT{$0$より大きい数の和だから} \\ \end{align*} $$

ユーリ「にゃるほど。それでもいーね。ユーリはこう考えたの。 $a - d$ は《大きいのから小さいのを引いた数》で、 $b - c$ は《小さいのから大きいのを引いた数》でしょ。 だったら、あたりまえじゃん！　だって、すでに小さいんだよ。 そんな小さな数からさらに大きい数を引くなんてすごく小さくなるわけじゃん？」

僕「あはは、確かにね。ユーリの言いたいことはよくわかるよ。 $a - d$ はすでに $a$ が大きい数なのに、 $d$ という小さい数しか引いてない。 $b - c$ はすでに $b$ が小さい数なのに、 $c$ という大きい数を引いている。 差が開くことになるダメ押しだ」

ユーリ「うん、そーそー！」

僕「確かにそれで直観的にはよくわかるなあ。 でも、式を使った方がいいと思うよ」

ユーリ「何で？」

僕「だって、直観はまちがうことがあるからね。勘違いというか、だまされるというか」

ユーリ「ユーリはまちがえないよ」

僕「大胆発言だな。そういう人がうっかりミスするんだよ。 自分はまちがうかもしれないと思っている人は慎重に考えるけど、 自分はまちがえないと思っている人はミスする」

ユーリ「たとえば？」

僕「たとえばって？」

ユーリ「お兄ちゃん、よくゆーじゃん。《例示は理解の試金石》って。 例を出せるかどうかで理解度がわかるんでしょ。 《ユーリがまちがえそーなクイズ》の例を出してよ。 言っとくけど、お兄ちゃんが今日出してる問題、ユーリ全問正解してるからね！」

僕「むっ……そこまで言われたら、本当の本気を出さないとな」

ユーリ「えっ……ねー、お兄ちゃん。何か目がマジなんですけど」

僕「そうだなあ……」

ユーリ「……ちょっと待ってよ。ねー」

僕「じゃあ、これ」

ユーリ「うわなにこれいきなり難しくなってるんですけど！」

僕「がんばってもらいましょう」

ユーリ「……《何がいえるか》ってどーゆー意味？」

僕「$A,B,C$ の大小関係を調べるんだけど、 $a,b,c,d$ の値によらず大小関係が決まるとは限らないだろ？　たとえば、どういう条件のときに $A > B$ が成り立つとか、 そういうことをすべて考える。 $A,B,C$ という三つの数について」

ユーリ「ぐえー、そーゆーことかー。たとえば、 $a > 0$ で $b < 0$ のときだけ $A > B$ だとか？」

僕「そう。たとえば、ね」

ユーリ「ぐえー、ユーリにこれ解けんの？」

僕「解けるよ。絶対に解ける」

ユーリ「ぐえー」

僕「直観に頼らず、式に頼ればね」

ユーリ「えっ、ここで《次回に続く》なの？」

僕「たいくつしなくて、いいだろう？」