【数学Ⅱ】図形と方程式22:領域を利用した証明

領域を利用した証明 図形と方程式
さん
さん

今日の板書はこれ!

領域を利用した証明

■ 2変数不等式の命題
領域を図示して包含関係を調べることが有効。

条件 p, q を満たす要素全体の集合をそれぞれ P, Q とする。

「\(p\Rightarrow q\) が真」 \(\Leftrightarrow\) 「\(p\) は \(q\) の十分条件」 \(\Leftrightarrow\) \(P\subset Q\)

例題

\(x,\ y\) は実数とするとき、\(x^2+y^2<1\) ならば \((x+1)^2+y^2<4\) が成り立つことを示せ。


▼ 解答

\(x^2+y^2<1\) が表す領域を \(P\)、\((x+1)^2+y^2<4\) が表す領域を \(Q\) とする。

図より \(P\subset Q\) が成り立つ。

よって \(x^2+y^2<1\) ならば \((x+1)^2+y^2<4\)

生徒
生徒

もっと詳しく願いします!!

現役教員として数学を教えている「さん」と申します。

「人より勉強に時間がかかる」と感じていませんか?私の学校にも、同じ悩みを抱えて苦しんでる生徒がたくさんいます。

「教科書や参考書の内容がわからなくて、読むのに時間がかかる」「解答の意味が理解できず、勉強が進まない」教科書や参考書の内容を理解するには、「自分なりに噛み砕いて考える力」が必要です。

でも大丈夫!このサイトでは、私が受けた質問や、つまずきポイントをもとに、わかりやすく解説していきます。

意味から理解し、噛み砕き方をマスターしましょう!!

さん
さん

勉強してるのに点が取れない人は、こっちも読んでみて!

命題の真偽を領域の包含関係で調べる

「\(p\) ならば \(q\)」という命題が真であることは、集合で考えると、条件 \(p\) を満たすものがすべて条件 \(q\) も満たす、つまり \(P\subset Q\) であることと同じです。

これは数学Ⅰの「集合と命題」で学んだ考え方です。

条件が \(x,\ y\) の不等式のとき、\(P\) と \(Q\) は座標平面上の領域になります。

そこで、2つの領域を図示して、領域Pが領域Qにすっぽり含まれるかを確かめれば、命題が真であることを示せます。

「\(p\Rightarrow q\) が真」 \(\Leftrightarrow\) \({\color{#45A3DA}{P}}\subset {\color{#E9548E}{Q}}\)

さん
さん

式変形で証明するのが大変な不等式も、図にすると一目で分かることがあるよ!

円の内部どうしの包含関係で証明する

例題

\(x,\ y\) は実数とするとき、\(x^2+y^2<1\) ならば \((x+1)^2+y^2<4\) が成り立つことを示せ。

領域P:\(x^2+y^2<1\) は、原点を中心とする半径 \(1\) の円の内部です。

領域Q:\((x+1)^2+y^2<4\) は、点 \((-1,\ 0)\) を中心とする半径 \(2\) の円の内部です。

どちらも境界線を含みません。

領域の包含関係

2つの円の中心間の距離は \(1\) で、半径の差 \(2-1=1\) と等しいので、2円は点 \((1,\ 0)\) で内接しています。

接点 \((1,\ 0)\) はどちらの領域にも含まれないので、\(P\) は \(Q\) の内側にすっぽり入ります。

図より \({\color{#45A3DA}{P}}\subset {\color{#E9548E}{Q}}\) が成り立つ。よって \(x^2+y^2<1\) ならば \((x+1)^2+y^2<4\)

生徒
生徒

図をかけば、P が Q の中に入っているのがよく分かるね!

練習問題

練習

\(x,\ y\) は実数とする。次のことを証明せよ。

\(x^2+y^2\leq1\) ならば \(x+y\leq\sqrt{2}\)

答えを見る

\(x^2+y^2\leq1\) が表す領域を \(P\)、\(x+y\leq\sqrt{2}\) が表す領域を \(Q\) とする。

\(P\) は原点を中心とする半径 \(1\) の円の周および内部、\(Q\) は直線 \(y=-x+\sqrt{2}\) とその下側の部分である。

原点と直線 \(x+y-\sqrt{2}=0\) の距離は \(\frac{|-\sqrt{2}|}{\sqrt{1^2+1^2}}=1\) であるから、この直線は円に接する。

よって \(P\subset Q\) が成り立つので \(x^2+y^2\leq1\) ならば \(x+y\leq\sqrt{2}\)

単位円と直線 x+y=√2

まとめ:領域を利用した証明

さん
さん

さて、今回のまとめだよ!

領域を利用した証明

■ 2変数不等式の命題
領域を図示して包含関係を調べることが有効。

条件 p, q を満たす要素全体の集合をそれぞれ P, Q とする。

「\(p\Rightarrow q\) が真」 \(\Leftrightarrow\) 「\(p\) は \(q\) の十分条件」 \(\Leftrightarrow\) \(P\subset Q\)

生徒
生徒

また一つ賢くなった!

さん
さん

一人だと続かない人は、こんな方法もあるよ!

連立不等式と2変数関数の最大・最小

↑前の記事↑

図形と方程式 まとめ

↑単元のまとめ↑