領域を利用した証明
2つの条件, q について
条件を満たすもの全体の集合をP
条件を満たすもの全体の集合をQ
とすると,次のことがいえる。
「ならばgが真である」⇔ 「PCQ が成り立つ」
条件がxyの不等式で表されるとき、「ならば」が真である」
ことを、領域を利用して証明してみよう。
応用 x, y は実数とする。 次のことを証明せよ。
例題
10
8
xyは実数とする。次のことを証明せよ。)(0)
x+y2<1 ならば (x+1) +y2 <4
考え方 x2+y°<1,(x+1)2+y2<4 の表す領域を,それぞれP,Qとして,
PCQが成り立つことを示す。
証明 不等式
x2+y2<1
y
の表す領域をP, 不等式
(x+1)2+y^ <4
-3
1 x
の表す領域を Qとする。
(0
Pは円 x+y=1 の内部, Qは
円 (x+1)2+y2=4の内部であり,
右の図から PCQ が成り立つ。
わち
を含まない。
100=40=
よって, x+y2 <1 ならば (x+1)^2+y^<4である。
x, y は実数とする。次の
終