[logo] Web連載「数学ガールの秘密ノート」
Share

第176回 シーズン18 エピソード6
どう見つけたのかは問わないで(後編)

登場人物紹介

:数学が好きな高校生。

テトラちゃんの後輩。好奇心旺盛で根気強い《元気少女》。

ミルカさん:数学が好きな高校生。のクラスメート。長い黒髪の《饒舌才媛》。

瑞谷先生:司書の先生。定時になると下校時間を宣言する。

$ \newcommand{\REMTEXT}[1]{\textbf{#1}} \newcommand{\LRARROW}{\Leftrightarrow} \newcommand{\SETL}{\bigl\{} \newcommand{\SETM}{\bigm|} \newcommand{\SETR}{\bigr\}} \newcommand{\LAND}{\mathrel{\land}} \newcommand{\LOR}{\mathrel{\lor}} \newcommand{\LNOT}{\lnot} \newcommand{\BITAND}{\mathrel{\&}} \newcommand{\BITOR}{\mathrel{|}} \newcommand{\RELATED}{\dashleftarrow\dashrightarrow} \newcommand{\REAL}{{\mathbb R}} \newcommand{\MINILOGL}{\bigl[\,} \newcommand{\MINILOGR}{\,\bigr]} \newcommand{\LOGL}{\Bigl[\,} \newcommand{\LOGR}{\,\Bigr]} \newcommand{\LOGDOTL}{\Bigl.} \newcommand{\LOGDOTR}{\Bigr.} \newcommand{\BIGLOGL}{\bigg[\,} \newcommand{\BIGLOGR}{\,\bigg]} \newcommand{\BIGBIGLOGL}{\Bigg[\,} \newcommand{\BIGBIGLOGR}{\,\Bigg]} \newcommand{\GEQ}{\geqq} \newcommand{\LEQ}{\leqq} $

図書室にて

問題3

$x$ は実数とする。

条件 $x > 3 \to x^2 - 3x + 2 > 0$ の真理集合を求めよ。

テトラ「それは……いま先輩がおっしゃったように、 $(\LNOT P(x)) \LOR Q(x)$ で考えればいいんですよね?」

「そうだね。具体的に考えると?」

$$ \begin{array}{llll} & x > 3 \to x^2 - 3x + 2 > 0 \\ \LRARROW & (\LNOT (x > 3)) \LOR x^2 - 3x + 2 > 0 \\ \LRARROW & (\LNOT (x > 3)) \LOR (x < 1 \LOR x > 2) \\ \LRARROW & (x \LEQ 3) \LOR (x < 1 \LOR x > 2) \\ \LRARROW & \REMTEXT{……これは?} \\ \end{array} $$

テトラ「これは……《$3$ 以下》または、《$1$ より小さい、または、 $2$ より大きい》」

「$(x \LEQ 3) \LOR (x < 1 \LOR x > 2)$ は、もっと簡単になるよね?」

テトラ「実数全体……ですか?」

「そうだね」

テトラ「はい。 $1 \LEQ x \LEQ 2$ のすきま部分は、 $x \LEQ 3$ が埋めてくれますから……」

「うん。でね、条件 $P(x) \to Q(x)$ の真理集合を考えてみたら、 $x$ が取り得る実数全体の集合になった。 言い換えると、任意の実数 $x$ に対して $P(x) \to Q(x)$ は真になる。 つまり、《任意の》という論理の言葉と、《全体集合》という集合の言葉が対応していることになるんだね」

テトラ「なるほど……」

テトラちゃんがそんな話をしていると、 図書室にミルカさんがやってきた。手には《カード》らしきものを持っている。

でも、なんだか……

「ミルカさん、何を怒っているの?」

ミルカ「別に、怒っているわけではない」

テトラ「それは、いつもの村木先生からの《カード》ですか?」

ミルカ「……」

ミルカさんは無言のまま、手にした白いカードをテトラちゃんに渡す。

いやいや、ミルカさん絶対怒ってるって。

テトラ「これは?」

$$ f(x) > g(x) $$

「これだけ?  $f(x) > g(x)$ だけ?」

ミルカ「さすがにこれは手抜きだろう。 こういう思わせぶりな問題は……まったく」

「(やっぱり怒ってる)」

ミルカ「何か言った?」

「いや、何にも。 でも、村木先生の《カード》は思わせぶりなときや、ほのめかすときがよくあるよね。 完全な白紙のこともあった」

テトラ「これって、何なんでしょうか。不等式?」

テトラちゃんは《カード》の表裏をぱたぱたと見ているけれど、書いてあるのは $f(x) > g(x)$ だけだ。

「まあ、不等式だよね」

テトラ「でも、数式ですから、これは何かの問題なわけですよね」

ミルカ「ハイコンテキスト過ぎる。 $x$ は何なのか。 $f(x)$ は何なのか。 $g(x)$ は何なのか。 何をするかが語られていないのに、数式だけ与えられても問題にはならない」

「まあ、これが《問題》だとも書いてないけどね」

ミルカ「ふむ」

「でも、いつものように補って考えてみよということじゃないのかなあ」

テトラ「補う……と言いますと?」

「うん、だからね。文句があるなら、 自分でちゃんとした書き方をしてみようというチャレンジだと考えるんだよ」

テトラ「はあ……」

ミルカ「前向きだな」

「この《カード》は問題として不備だとして、 $f(x)$ や $g(x)$ は関数だという説明を書き加えて、 自分で不備じゃない問題にしてしまってもいいよね。 別に期末試験を解いているわけじゃないんだから」

テトラ「問題としての形を整えるということでしょうか」

「そうだね。たとえば、こんな証明をする問題はよくあるんじゃない?」

$f(x)$ と $g(x)$ は、どちらも $\REAL$ から $\REAL$ への関数である。

任意の実数 $x$ について、 $$ f(x) > g(x) $$ が成り立つことを証明せよ。

「実際には $f(x)$ や $g(x)$ は具体的に与えられるわけだけど。 ええと、たとえば $f(x) = x^2 + 2$ で、 $g(x) = 2x$ みたいにね」

テトラ「……」

ミルカ「ふむ。それを言うなら、これでもいい」

$f(x)$ と $g(x)$ は、どちらも $\REAL$ から $\REAL$ への関数である。

ある実数 $x$ について、 $$ f(x) > g(x) $$ が成り立つことを証明せよ。

「証明問題でなくてもいいよ。こんな問題もできる」

$f(x)$ と $g(x)$ は、どちらも $\REAL$ から $\REAL$ への関数である。

このとき、 $$ f(x) > g(x) $$ を満たす $x$ をすべて求めよ。

テトラ「せ、先輩方、ちょっとお待ちください! テトラは質問があります。 いまおっしゃった、

   $\REAL$ から $\REAL$ への関数

というのはどういう意味でしょうか?」

「ごめんごめん。 $\REAL$ というのは《実数全体の集合》のことだよ」

テトラ「あ、それはわかります。そうではなくて、 《$\REAL$ から $\REAL$ への関数》という言い回しを、 テトラははっきりと理解していないということです。 わかりにくい質問ですみません」

「あ、そっち? 『$f(x)$ は $\REAL$ から $\REAL$ への関数である』 というのは、

  • どんな実数 $a$ に対しても、
  • 関数 $f(x)$ による値がたった一つ決まって、
  • しかもその値 $f(a)$ は実数である
という意味だよ」

テトラ「……」

「テトラちゃんは何を考えているの?」

テトラ「$\REAL$ は実数全体の集合なんですよね? それだと、 たとえば $\sin x$ は《$\REAL$ から $\REAL$ への関数》とはいえないんでしょうか?」

「いやいや、そんなことないよ。だってどんな実数 $a$ に対しても、 $\sin a$ は実数値になるからね。しかも $a$ に対してたった一つ決まる」

テトラ「でも、 $-1 \LEQ \sin a \LEQ 1$ になってしまいますよね?」

ミルカ「テトラは、全射でないことを気にしているのだろうな」

「ああ、そうか。あのね、テトラちゃん。 $f(x)$ を《集合 $A$ から集合 $B$ への関数》といったとき、 $A$ の任意の要素 $a$ について $f(a)$ がたった一つ決まって、それは $B$ の要素でなくちゃいけない。 でも、 $B$ の要素の中には、関数 $f(x)$ の値とはならないものがあってもいいんだよ」

ミルカ「図示」

「はいはい……」

《集合 $A$ から集合 $B$ への関数》

テトラ「あっ、わかりました。そうなんですね。 では、《$\REAL$ から $\REAL$ への関数》といったとき、 始めの $\REAL$ と終わりの $\REAL$ は……何といいますか、非対称なんですね」

ミルカ「一般にはそう」

テトラ「すみません、話の腰を折ってしまいました。Where were we?」

「$f(x) > g(x)$ という不等式があったときに、 言葉を補って、どんな問題を作れるかという話をしていたんだよね。 $f(x)$ と $g(x)$ を $\REAL$ から $\REAL$ への関数として、たとえばこんな問題が作れる。もちろん、 もっと違う問題も作れる」

(1) すべての実数 $x$ について、 $f(x) > g(x)$ が成り立つことを証明せよ。

(2) ある実数 $x$ について $f(x) > g(x)$ が成り立つことを証明せよ。

(3) $f(x) > g(x)$ を満たす実数 $x$ の範囲を求めよ。

テトラ「なるほどです。確かに、不等式だけでは問題にはなりませんね。 こんなに違う種類の問題が作れてしまうんですから」

「たとえば、(1)だと、定石としてはこういう変形をすることが多いね。同値な問題に言い換えて証明する」

(1) すべての実数 $x$ について、 $f(x) > g(x)$ が成り立つことを証明せよ。

  ↓ 変形

(1') すべての実数 $x$ について、 $f(x) - g(x) > 0$ が成り立つことを証明せよ。

テトラ「あっ、これ参考書に書いてありました。 $f(x) > g(x)$ の代わりに、 $f(x) - g(x) > 0$ を考えなさいって」

ミルカ「それは、なぜ?」

テトラ「え?」

ミルカ「なぜ、 $f(x) > g(x)$ の代わりに $f(x) - g(x) > 0$ を考えるというアドバイスがあり得るか」

テトラ「理由があるんですか?」

ミルカ「それを尋ねている」

無料で「試し読み」できるのはここまでです。 この続きをお読みになるには「読み放題プラン」へのご参加が必要です。

ひと月500円で「読み放題プラン」へご参加いただきますと、 420本すべての記事が読み放題になりますので、 ぜひ、ご参加ください。


参加済みの方/すぐに参加したい方はこちら

結城浩のメンバーシップで参加 結城浩のpixivFANBOXで参加

(2016年11月11日)

[icon]

結城浩(ゆうき・ひろし) @hyuki


『数学ガール』作者。 結城メルマガWeb連載を毎週書いてます。 文章書きとプログラミングが好きなクリスチャン。2014年日本数学会出版賞受賞。

Twitter note 結城メルマガ Mastodon Bluesky Threads Home