![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
a,b,c,d,e,fを定数とするとき、次の等式がどのようなx、yについても成り立つ、すなわちx、yについての恒等式であるとする。
ax^2+bxy+cy^2+dx+ey+f=0
等式の左辺をxについて整理すると
ax^2+(by+d)x+(cy^2+ey+f)=0
この等式はxについての恒等式であるから
a=0,by+=0,cy^2+ey+f=0
これらの等式は、yについても恒等式であるから
b=0、d=0、c=0、e=0,f=0
したがって、a=b=c=d=e=f=0が得られる。との解説があったのですが最初の与えられた式をみてもabcdefが0なら恒等式でわざわざこのような解説が不要のような気がするのですがなぜ必要なのでしょうか(中3)
No.4ベストアンサー
- 回答日時:
「すべてのxについてax^2+bx+c=0ならa=b=c=0」
は正しいのですが,なぜそうなのか,考えて見ます。
どんなxについても成り立つのだから,
x=0についても成り立つわけで,x=0を代入してc=0です。
x=1,x=-1についても成り立つので,
a+b+c=0
a-b+c=0
c=0がわかっているから,a+b=0かつa-b=0,よってa=0,b=0が導けます。
そこで「すべてのxについてax^2+bx+c=0ならばa=b=c=0」を定理として扱い,
これに従って,証明しようとしているわけです。
「すべてのx,yについて,ax^2+bxy+cy^2+dx+ey+f=0
ならばa=b=c=d=e=f=0」は結果的には正しいのですが,
解説では,段取りとして
「一変数だけの恒等式にして,それぞれの係数が0だ」という論法を使って,
証明しています。「中学校数学のお約束」があるのかもしれません。
でも,直接a=b=c=d=e=f=0を導くやり方もあります。
すべてのx,yについて成り立つのだから,x=y=0について成り立つのでf=0
x=1,y=0についてなりたつから,a+d+f=0
x=-1,y=0についてなりたつから,a-d+f=0
これよりa=d=0
また,
x=0,y=1について成り立つから,c+e+f=0
x=0,y=-1について成り立つから,c-e+f=0
これよりc=e=0
最後にx=1,y=1について成り立つので,a+b+c+d+e+f=0,
他の係数は0だから,b=0
よって,a=b=c=d=e=f=0
必要ならこれを答案に書くことが出来るのなら,
「すべてのx,yについて,ax^2+bxy+cy^2+dx+ey+f=0
ならばa=b=c=d=e=f=0」と覚えておいて構いません。
1変数だけの恒等式にして、それぞれの係数が0とするやり方が基本だということがわかり、また、直接解く方法もあることが理解できました。ありがとうございました。
No.8
- 回答日時:
ちょっともう一回お邪魔。
代数学の元非常勤(o`・ω・)ゞデシ!! (もう復帰する気がない^^;)
#十二指腸辺りに・・・ 火曜日胃カメラ飲むので。。。
えっと、なんか難しくされちゃっているみたいなので、整理しましょうよ。
この問題の場合には、
a=b=c=d=e=f=0 以外にx、yについて恒等式は成り立ちません。
これはどうやったって、ゆるぎないです。
偶数奇数は全く関係ないです。
係数とする式にして
>ax^2+(by+d)x+(cy^2+ey+f)=0
こういうことね
どんなxについても等式が成り立つのですから
a=0 は一目。 (by+d)=0 (cy^2 +ey+f)=0
係数を0とすれば、必ず (右辺)=(左辺)になるでしょう?
このときは x について。
No.4さんも書かれていますが、お約束というか、常套手段ですよ^^;
もちろん代入しても構わないのだけど。
#このときは確認しておいたほうがいいんだけどね。
#あまりお勧めはしないけど。
aliceさんの名言だけど(多分ね^^;)、「分かっているから証明できる」ので。
わからないことは、σ(・・*)たちも分からない。
あなたがどう分からないかがわからないから、こちらもかけない。
今そういう状況。 「恒等式とはこういうものですよ」 と、しか書けないんです。
う~ん、難しいかもしれないけど、こうやるより他に示す方法はないんだよね・・・。
もう一回になるけど、「あなたがどう思っているかが分からない」から
「σ(・・*)たちもどう答えていいのか、分からない」。
どうもこういうことになりそうです。
こうやらなきゃダメですか? だったらもう終われます。
ダメです。これ以外にいい方法はないです。
それがなぜかといわれると、「恒等式だから」としか答えられないけどね。
なんか変なところで引っかかってるかもね?
(=^. .^=) m(_ _)m (=^. .^=)
No.7
- 回答日時:
←A No.1 補足
> なぜそういえるのか教えてください。
(1)「a=b=c=d=e=f=0のとき恒等式になるのはわかる」理由が知りたいのですか?
(2)「それ以外のとき恒等式でないことはわからない」理由が知りたいのですか?
(3)「模範解答のよに変形したらそれが証明される」理由が知りたいのですか?
わかるわからないは気持ちの問題なので、論理的に示すような話ではありませんが…
(3) は、模範解答そのものがその理由です。A No.1 にも書きましたが、証明とはそういうもの。
(1) は、質問文中に貴方自身が書いています。「わかる」のでしょう?
(2) も、慣れた者には自明なのですが、(1) ほどには簡単でないと思います。
いづれにせよ、わからないことだから証明するのではなく、
わかったことを書いて示すのが証明です。わからないことなど、書けるはずもない。
No.6
- 回答日時:
オール0の解はみんなわかってます
むしろそれ以外にないのかが問われているのです
No.5
- 回答日時:
> ax^2+bxy+cy^2+dx+ey+f=0がx、yについての恒等式ならば
> 式の変形をしなくてもa=b=c=d=e=f=0といえないのでしょうか?
似てるけれど違う例を考えてみたら,簡単ではないことがわかると思います。
a,b,c,d,e,f,x,yを整数とする。
a,b,c,d,e,fが偶数なら,どんな整数x,yに対しても
ax^2+bxy+cy^2+dx+ey+fは偶数になる。
逆に,どんな整数x,yに対しても
ax^2+bxy+cy^2+dx+ey+fが偶数となるとき,
a,b,c,d,e,fはすべて偶数だと言えるか?
[答え]
bとfは偶数とわかる。
しかし,
c,eがともに奇数,a,dがともに奇数
でもよいので,
a~fがすべて偶数だとは言えない。
No.3
- 回答日時:
中学三年でもうこんなことやってるの?
ちょっとΣ('◇'*)エェッ!? これは少しお邪魔しようかな。
「x、yについて恒等式」というのは、「x、yがどんな値をとっても式が成立する」という
意味だということは分かっているかな?
例えばね、
x=y=1 としてみると、
a+b+d+c+e+f=0 ですね。
これだと、a=b=c=d=・・・=0でもいいけど、他の数字も出てくるね。
a=-1 b=1 c=d=・・・=0 とかね。
こういうことがあっちゃいけないのが恒等式です。
aliceさん (No.1さんね)も言われてあるけれど、
当たり前のことを当たり前に積み重ねていかないと、山にはならないんだね~。
恒等式とは! というのが少しでも伝わればいいな。
どんなx、y についても (右辺)=(左辺)が成立すること!。
これだけでしかないけど、結構難しく思えるんですね。
ダイジョウブみんな同じ難しさを経験してきているんだからね。
(=^. .^=) m(_ _)m (=^. .^=)
No.2
- 回答日時:
「a=b=c=d=e=f=0」ならば「ax^2+bxy+cy^2+dx+ey+f=0は恒等式」
というのと
「ax^2+bxy+cy^2+dx+ey+f=0は恒等式」ならば「a=b=c=d=e=f=0」
というのは違うよ。
この回答への補足
すいません。自分が恒等式の根本を理解していないからわからないのだと思いますが、
ax^2+bxy+cy^2+dx+ey+f=0がx、yについての恒等式ならば
式の変形をしなくてもa=b=c=d=e=f=0といえないのでしょうか?
いえないのなら、なぜいえないのでしょうか、教えてください?
No.1
- 回答日時:
アタリマエの事実を、アタリマエの理由の積み重ねで
証明するのが、数学だからです。証明とは、そういうものです。
質問の問題も、結論はほぼ自明ですが、数学である以上は、
根拠を示して証明する必須はあるのです。
a=b=c=d=e=f=0 のとき恒等式になることに比べて、
それ以外のとき恒等式でないことのほうは、やや説明の必要が大きい
ようにも思いますね。
この回答への補足
最初の与式だけではa=b=c=d=e=f=0のとき恒等式になるのはわかるが、それ以外のとき恒等式でないことはわからない。式を模範解答のよに変形したらそれが証明されるということでしょうか。
もしそうでしたらなぜそういえるのか教えてください。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 高校 方程式の証明 5 2022/05/12 09:29
- 数学 4次関数と二重接線に囲まれる面積を求めるときに、まず4次関数と1次関数の交点を求めたいのですが ax 2 2022/10/16 12:42
- 数学 どういういみですか? 演算子の恒等式として次が成り立つ。 d/dx-2x=(e^x^2) d/dx( 7 2022/08/15 10:20
- 数学 この問題で恒等式について考えるのはなぜでしょうか?なぜいきなり恒等式という言葉がでてきたのですか? 2 2023/02/01 19:16
- 数学 どう計算しても(左辺)−(右辺)=0 にならない恒等式って存在しますか? 4 2023/03/04 11:16
- 数学 【 数I 連立不等式 】 問題 aを定数とし、連立不等式 x-6a≧-1・・・① { ∣x+a-1∣ 3 2022/07/11 18:27
- 数学 積分と不等式 2 2023/01/26 21:52
- 数学 x+my-2m-2=0というmがどんな値でも成り立つ恒等式を考える時、まず(y-2)m+(x-2)= 3 2022/08/17 16:31
- 数学 連立方程式 6 2022/06/19 15:03
- 数学 【 数I 】 問題 aを定数とする。1≦x≦3において,xの 不等式ax+2a-1≦0・・・・・・① 2 2022/07/15 17:40
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
なぜ等号は常に成り立たないの...
-
無理数から無理数を引いた結果...
-
1/m + 1/(m+1) + … + 1/(m+n) ...
-
数学的帰納法 不等式の証明
-
無限和集合の吸収律の証明は?
-
数学Ⅱ 不等式の証明問、3(a∧2+b...
-
x2+2xy+2y2-2x+2y+13>0 不等式...
-
高校の数学についてです。 写真...
-
問題の意味すらわかりません
-
数学ー現代解析学入門(高橋渉...
-
大学の複素関数の証明
-
コーシー列に関する証明問題
-
明治学院大学の問題ですが
-
部分分数分解について。 1/a・b ...
-
不等式の証明
-
数学です。2番と3番の等号成立...
-
「次の不等式を証明せよりまた...
-
(b+c)(c+a)(a+b)≧8abc
-
この数学の問題が解けません。...
-
相加・相乗平均の関係を使った...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
nの階乗と2のn乗の比較
-
無理数から無理数を引いた結果...
-
(b+c)(c+a)(a+b)≧8abc
-
部分分数分解について。 1/a・b ...
-
数II a^2−ab+b^2≧a+b−1の不等式...
-
なぜ等号は常に成り立たないの...
-
||a+b|| ≦ ||a|| +||b||の証明
-
√2,√3,√5,√6,√7,√10は有理数体...
-
数学的帰納法 不等式の証明
-
数学Ⅱ 不等式の証明問、3(a∧2+b...
-
証明問題の解答をお願いします!
-
変数の関係に相加相乗平均を使...
-
証明が合っているかどうか?
-
(1+h)^n≧1+nh+{n(n-1)/2}h^2
-
不等式の問題で
-
相加・相乗平均は最小値を示す...
-
不等式の証明と絶対値記号
-
(2n+1)!!・n!・2^n=(2n)!
-
x2+2xy+2y2-2x+2y+13>0 不等式...
-
数学的帰納法の証明2
おすすめ情報