大学入試の過去問です。解答は公表していないので、自力で解きなんとか解答までたどり着けました。合っているのかどうかご確認していただき、不備等ありましたらご指摘していただけたら助かります。 また問2の「この演算については|x|・|y|≧|(x,y)|が成り立つ。このことを証明済みとして」とありますが、この成り立つ式を証明したいと思いましたが、私にはできませんでした。こちらの証明についても教えていただけると大変助かります。
問題 任意の実ベクトルxとyの組に実数(スカラー)値を対応させる演算(x、y)が以下を満たすものとする。 (a)(x、y)=(y、x) (b) 任意の実数λに対して(λx、y)=λ(x、y) (c)(x+z、y)=(x、y)+(z、y) (d) (x、x)≧0であり、等号はx=0の場合に限る。
さらに|x|=√(x、x)と定義するとき、以下の問いに答えよ。 (√(x、x)はルートの中に(x、x)が入っています。うまく書けなかったのでこのようになりました。申し訳ないです。)
問(1)(x+y、x−y)=|x|^2-|y|^2を示せ
解答 (x+y、x−y)=(x、x)+(y、−y)・・・(c) =(x、x)+(−y、y)・・・(a) =(x、x)−(y、y)・・・・(b) = |x|^2-|y|^2・・・・|x|=√(x、x)より
問(2)この演算については|x|・|y|≧|(x,y)|が成り立つ。 このことを証明済みとして、|x|+|y|≧|x+y|を示せ。
解答 (|x|+|y|)^2−|x+y|^2=|x|^2+2|x|・|y|+|y|^2−|x+y|^2 =(x、x)+2|x|・|y|+(y、y)−(x+y、x+y)・・・?@
ここで(x+y、x+y)=(x+y、x)+(x+y、y) =(x、x)+(y、x)+(x、y)+(y、y)・・・(c)
このように変形でき、また|x|・|y|≧|(x,y)|なので
?@≧(x、x)+2|(x,y)|+(y、y)−(x、x)−(y、x)−(x、y)−(y、y) =2(|(x,y)|−(x、y))
|(x,y)|≧(x、y)なので 2(|(x,y)|−(x、y))≧0
|
No.85969 - 2023/07/23(Sun) 14:30:24
| ☆ Re: 絶対値 / IT | | | > 「この演算については|x|・|y|≧|(x,y)|が成り立つ。 概要 y≠0 のとき |x+λy|^2 ≧0 で左辺を展開し、λ=-(x,y)/|y|^2 とおく。 「シュワルツの不等式」として有名です。
|
No.85970 - 2023/07/23(Sun) 15:54:00 |
| ☆ Re: 絶対値 / 彩 | | | ご返信ありがとうございます。 「シュワルツの不等式」は初めて知りました。
ところで私の解答過程は正しいでしょうか。
|
No.85971 - 2023/07/23(Sun) 16:11:49 |
| ☆ Re: 絶対値 / ast | | | > ところで私の解答過程 概ね良いので出題者・採点者次第ではありますが, 厳密に与えられた条件のみからきちんと導出しているかという観点では, たとえば > (x+y、x−y)=(x、x)+(y、−y)・・・(c) (x+y,x-y) に (c) を適用しても (x,x)+(x,-y)+(y,x)+(y,-y) にしかならず, (a),(b) を必要なだけ適用して (x,-y)=-(y,x) としないと (あるいは (x,-y)=-(x,y) かつ (y,x)=(x,y)) としないときちんと消えることを述べられているとは言えません.
また例えば, > |x|^2+2|x|・|y|+|y|^2−|x+y|^2 =(x、x)+2|x|・|y|+(y、y)−(x+y、x+y)・・・?@ > 〜(snip)〜 このように変形でき、 は間違ってはいませんが, 問(1) があるのだからそれを適用 (すなわち, |x|^2-|x+y|^2=(2x+y,-y)=2(x,y)-|y|^2) として |x|^2+2|x|⋅|y|+|y|^2-|x+y|^2=2(x,y)+2|x|⋅|y| とそのまま式を続けたほうが読み易いと思います. それで > |(x,y)|≧(x、y)なので にも根拠 (実数の性質として自明ではありますが, 例えばこれが複素数とその絶対値だったならそもそもこんなことできないので) を述べておくとなおよいと感じます.
|
No.85974 - 2023/07/23(Sun) 18:07:47 |
| ☆ Re: 絶対値 / 彩 | | | No.85975 - 2023/07/23(Sun) 18:25:58 |
| ☆ Re: 絶対値 / 彩 | | | ast様
ところでご教示くださった (2x+y,-y)=2(x,y)-|y|^2)ですが、 左辺から右辺への導出過程がわからないのですが、 教えていただけますか。
|
No.85976 - 2023/07/23(Sun) 18:43:22 |
| ☆ Re: 絶対値 / ast | | | ああ確かにtypoですね, すみません. × (2x+y,-y)=2(x,y)-|y|^2 && |x|^2+2|x|⋅|y|+|y|^2-|x+y|^2=2(x,y)+2|x|⋅|y| ○ (2x+y,-y)=-2(x,y)-|y|^2 && |x|^2+2|x|⋅|y|+|y|^2-|x+y|^2=2|x|⋅|y|-2(x,y)
|
No.85980 - 2023/07/23(Sun) 20:27:19 |
| ☆ Re: 絶対値 / 彩 | | | ast様
度々申し訳ございません。
○ (2x+y,-y)=-2(x,y)-|y|^2
この式ですが、左辺から右辺への過程を詳しく 教えていただけますか。よくわかりませんでした。
|
No.85995 - 2023/07/24(Mon) 20:00:58 |
| ☆ Re: 絶対値 / 彩 | | | ast様
先ほどの質問ですが、何とか考えて以下のようになりました。 合っているかご確認願います。
(2x+y,-y)=(2x,-y)+(y,-y) =(2x,-y)-(y,y) =(-y,2x)-|y|^2 =-(y,2x)-|y|^2 =-(2x,y)-|y|^2 =-2(x,y)-|y|^2
|
No.85998 - 2023/07/24(Mon) 21:15:39 |
| ☆ Re: 絶対値 / ast | | | それで合っています. # そこから訊かれているとは思っていなかった. だったら # |y|^2-|x+y|^2=(x+2y,-x)=(x,-x)+(2y,-x)=(-x,x)+2(y,-x)=-(x,x)+2(-x,y)=-|x|^2-2(x,y), # とか (|x|^2-|x+y|^2=-(|x+y|^2-|x|^2) だから) # |x+y|^2-|x|^2=(2x+y,y)=(2x,y)+(y,y)=2(x,y)+|y|^2 # とかから話を進めたほうがよかった (多少は記述量で楽できた) のかもしれない. ## なお, 与えられた条件だけから ## (b') 任意の実数 λ に対して (x,λy)=λ(x,y) ## (c') (x,y+z) = (x,y)+(x,z) ## (あるいはまとめて (αx+βy,γz+δw)=αγ(x,z)+αδ(x,w)+βγ(y,z)+βδ(y,w)) ## あたりは容易に導出できるので, ## それをあらかじめ断っておけば, 答案はもっと柔軟に記述できるのでは.
|
No.86001 - 2023/07/24(Mon) 22:44:11 |
| ☆ Re: 絶対値 / 彩 | | | ast様
ご回答と適確なアドバイスありがとうございました。
|
No.86007 - 2023/07/25(Tue) 20:07:51 |
|