x≧0, y≧0とし、不等式
c(x+y) ≧ 2√(xy)・・・①
を考える。ただし、cは正の定数である。
(1) c ≧ 1のとき、①は常に成り立つことを示せ。
(2) ①が常に成り立てば、c ≧ 1であることを示せ。
この問題についてなんですが、(2)の解答が
「①が常に成り立つことより、①においてx = yの時も成り立つことが必要であるから、x = y = 1とすると
2c ≧ 2
よって
c ≧ 1」
となっていますが、なぜ1つの場合(x = y = 1)を考えただけで答えを一般化出来るのでしょうか。
p,qをそれぞれ
p: c ≧ 1
q: ①が常に成り立つ
とすると、(1)から命題p → q は真なので、pがqの十分条件であることは分かります。(2)の題意はqがpの必要条件でもあることを示すことです。
ということは、(2)を解いている時点では命題q → pの真偽は分からないということです。つまり、この時点ではpはqに含まれている、すなわちqはpを含むとしか分かりません。もしかしたらqであってpでないこともあるかもしれないのです。
この状態で1つの値を代入しただけで、その結果が題意を満たすことができるのでしょうか?
No.2ベストアンサー
- 回答日時:
No.1の補足です:
異なる命題同士で、どちらかを「含む」という考え方は、混乱を産みます。
はっきり定義された集合に直して、集合の包含関係を比較しましょう。
この例だと、
命題pに対応する集合はSP「1以上の実数の集合」(こう集合SPを定義します)、
命題qに対応する集合はSQ「c(x+y) ≧ 2√(xy)がすべてのx≧0,y≧0に対してなりたつような実数cの集合」(こう集合SQを定義します)ですので、
p → q は SP⊂SQ (集合SPは集合SQに含まれる)
q → p は SQ⊂SP (集合SQは集合SPに含まれる)
に対応します。
SQ⊂SPを示します:実数cを集合SQの元(要素)としますと、c(x+y) ≧ 2√(xy)がすべてのx≧0,y≧0に対してなりたちます。特にx=1,y=1に対しても成り立たなければなりませんので、c(1+1) ≧ 2√(1x1),つまり、c ≧ 1が成り立たなければなりません。したがって、cはSPの元にもなっています。これで、SQ⊂SPが示されました。
詳しい説明ありがとうございました。包含関係を調べるとき、左辺の最小値はx=1,y=1のとき(相加平均、相乗平均の関係から)なので、このときにSQが真であれば十分であるということですね。
>>はっきり定義された集合に直して、集合の包含関係を比較しましょう
この考え方は今後数学の問題を解く時に使わせていただきます。ありがとうございました。
No.1
- 回答日時:
問題の書き方が少し、誤解を生むのかもしれませんね。
cを固定された実数とする。
命題p: c ≧ 1
命題q: c(x+y) ≧ 2√(xy)がすべてのx≧0,y≧0に対してなりたつ
と書けば、わかりやすいのではありませんか?
(2) は命題qを仮定すると、命題pが成立しなければならない、ことを示すのですよね。
命題qを仮定するということは、すでにすべてのx≧0,y≧0に対してc(x+y) ≧ 2√(xy)がなりたつように一般化してあると仮定しましょうということです。すでに一般化することを仮定してあるのですから、それを使って特別な場合、x = yの時も成り立つことを使ってよいのです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 高一 数一 命題 この問題の答えは 必要十分条件である 質問 xy=0 はx=1 y=0 で成り立ち 3 2022/05/29 10:38
- 数学 高校数学 初歩的ですが。 数学で、〜〜をみたす○○を求めよ。 と問われた時、 求める〇〇は〜〜の必要 6 2022/03/29 10:10
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 高校 対数方程式につきまして 4 2022/05/05 07:55
- 数学 画像横向きです すいません 数IIの質問です ⑶の問題を参考に書いてあるやり方で解いていたのですが、 1 2023/05/01 11:35
- 数学 条件付き極値問題といわれる問題です。ラグランジュの乗数法 について、質問したいことがあります。 条件 3 2023/05/15 21:38
- 数学 【 数Ⅰ 2次関数 】 問題 関数y=mx²+4x+m-3において,yの値が 常に負であるという条件 2 2022/10/01 15:08
- 哲学 日本語のあたらしい文法を考えよう。 6 2022/06/25 17:41
- 数学 数学の「命題」の範囲について、問題は解けるのですが理解がイマイチできていないところがあるので質問させ 4 2023/03/03 13:43
- 数学 数学(過去の質問が消えてしまったので再質問) 写真の1番の問題なのですが ①参考書の解答:0<a≦5 2 2023/05/25 17:41
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
命題がわかりません!!
-
数学の記号"⇔" "∴"の使い方を教...
-
【 数A 集合を用いた命題の真偽...
-
真偽表(真理値表)について 今日...
-
「PならばQ」と「(Pでない...
-
次の命題は真なのでしょうか? ...
-
原則には、例外が付きものです...
-
任意の実数とは?
-
無理数
-
テーゼとアンチテーゼの意味
-
論理の問題(数的処理)
-
ある等式⇔ある等式の逆数をとっ...
-
『弁証法』を小学生にもわかる...
-
環上の加群、直積、直和
-
高校一年生です。 数学で分から...
-
命題の真偽
-
命題と論理式の違いは何でしょ...
-
ある表現が命題かどうかを示す...
-
高2の数学の対数関数です。 真...
-
三角関数の範囲について、 0≦x≦...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
数学の記号"⇔" "∴"の使い方を教...
-
任意の実数とは?
-
g◦fが全射で、さらにgが単射な...
-
原則には、例外が付きものです...
-
命題と論理式の違いは何でしょ...
-
命題の否定でわからないところ...
-
ゲーデルの第1不完全性定理の具...
-
任意の実数xに対して、x-1<n≦x...
-
命題の真偽
-
必要十分条件
-
努力は成功のための必要条件?
-
射影線型群PGL,PSLについてです
-
ある表現が命題かどうかを示す...
-
無理数
-
高校一年生です。 数学で分から...
-
ある等式⇔ある等式の逆数をとっ...
-
{Ai ; i ∈ N} を位相空間 X の...
-
もしも数学
-
真偽表(真理値表)について 今日...
おすすめ情報