トップページ⇒math
1001コメント296KB

分からない問題はここに書いてね３０４

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2009/03/24(火) 23:29:21
さあ、今日も１日頑張ろう★☆

前スレ
分からない問題はここに書いてね３０３
http://science6.2ch.net/test/read.cgi/math/1235915942/
0052１３２人目の素数さん2009/03/25(水) 15:50:58
>>51
±の意味がよく分からないが
一番シビアな 1 - | cosφ cosφ'|で成り立つという意味なのかどうか
|-cosθcosφ+cosθcosφ'|　≦ | -cosφ + cosφ'|

(-cosφ + cosφ')^2 = (cosφ)^2 + (cosφ')^2 -2cosφcosφ'
(1±cosφcosφ')^2 = 1±2cosφcosφ' + (cosφcosφ')^2

1-2cosφcosφ' + (cosφcosφ')^2 - {(cosφ)^2 + (cosφ')^2 -2cosφcosφ'}
= 1+ (cosφcosφ')^2 -(cosφ)^2 - (cosφ')^2
= {1-(cosφ)^2} { 1-(cosφ')^2} ≧ 0
0053１３２人目の素数さん2009/03/25(水) 15:53:21
μ,μ',ν：順序数
μ＜μ' ； 0＜ν ⇒ μν≦μ'ν

を示したいのですがこの命題の対偶は

μ'ν＜μν ⇒ μ'≦μ または 0=ν

でしょうか？
0054１３２人目の素数さん2009/03/25(水) 16:01:57
どなたか
>>46
お願いします。
0055１３２人目の素数さん2009/03/25(水) 16:23:41
>>46 内積にAvとv突っ込んで式いじくればいい。
0056１３２人目の素数さん2009/03/25(水) 16:27:27
>>46
<Ax,Ax>=-<A^2x,x>よりA^2はnon-positive definite.
よってAの固有値の自乗はnon-positive.
0057１３２人目の素数さん2009/03/25(水) 16:29:54
↑わざわざそんな遠回りしなくてもλ=-λ*(複素共益)がすぐいえる。
0058１３２人目の素数さん2009/03/25(水) 16:32:49
↑じゃあすぐいえば？
２行が遠回りだそうなので１行でよろｗ
0059１３２人目の素数さん2009/03/25(水) 16:34:45
<Ax,Ax>=-<A^2x,x>よりA^2はnon-positive definite. よってAの固有値の自乗はnon-positive.
0060１３２人目の素数さん2009/03/25(水) 16:35:02
普通にこんな問題解いてるやつが
non-positive definite.
よってAの固有値の自乗はnon-positive.

なんて定理しってるわけねーじゃん。

まぁ覚えたばかりの用語使ってみたかったんかな？＾＾
0061１３２人目の素数さん2009/03/25(水) 16:37:04
は？定理？？
定義から自明だと思うが，定理？？？？？？？
0062１３２人目の素数さん2009/03/25(水) 16:37:45
>>60
君は頭いいというよりも人よりも多く雑学（定理）をよく知ってるだけじゃないの？
0063１３２人目の素数さん2009/03/25(水) 16:38:48
non-positive definiteとか対称行列あたり勉強してるやつに
いっちゃうほうがよっぽど頭があれだとおもうが＾＾；
0064１３２人目の素数さん2009/03/25(水) 16:41:17
あっ、英語がまずかったのか！
ごめんね～ｗ
非正定値のことです。教科書に載ってるから見てみてね！
0065１３２人目の素数さん2009/03/25(水) 16:41:45
>>56 みたいのって二次多項式の最大値だすのに
　ただ兵法完成するだけの問題を
　微分しろとか偉そうに言うんだろうなぁ。
　無能の癖に先輩ぶる、の典型
0066１３２人目の素数さん2009/03/25(水) 16:45:08
そっか、ここの人達にとってはpositive definiteってだけで難しいのか‥
これが例のゆとりってやつ？？
0067１３２人目の素数さん2009/03/25(水) 16:46:15
>>56->>60
わかったよ
(Ａx、x)=-(x、Ａx)
にＡx=λxを代入して
λ=-λのバー
ですね。ありがとう。
0068１３２人目の素数さん2009/03/25(水) 16:46:42
あっ、ちなみに、positive definiteは「正定値」で教科書に載ってると思います！見てみてね！
0069１３２人目の素数さん2009/03/25(水) 16:48:30
僕のせいで掲示板恒例の争いを起こしてすみませんでした。
僕の演習量が足りないのがいけなかったんです。
もっと勉強しまふ。
0070１３２人目の素数さん2009/03/25(水) 16:49:42
>>69
楽しいので全然オケ！
0071１３２人目の素数さん2009/03/25(水) 16:50:35
このスレの住人が衒学を恥じる程度の民度を身につけられますように （-人-）
0072１３２人目の素数さん2009/03/25(水) 16:52:12
また僕ですが

実交代行列の階数が偶数であることを示せ


ヒントください。
僕はゆとり世代ですが、ヒントがあればできる子なんです！
0073１３２人目の素数さん2009/03/25(水) 16:52:35
positive definiteで「衒学」・・・・大変な時代になったものですねｗ
0074１３２人目の素数さん2009/03/25(水) 16:55:33
>>72
ヒント：ｋが固有値ならその複素共役も固有値
0075１３２人目の素数さん2009/03/25(水) 16:58:18
つうか

ヒント：ｋが固有値なら－kも固有値

このほうがわかりやすいか
0076１３２人目の素数さん2009/03/25(水) 16:59:33
>>73
知らないことを馬鹿にするのが衒学です
0077１３２人目の素数さん2009/03/25(水) 17:07:17
>>76
定義から直ちに導かれる事実を「定理」とか言っちゃって、
しかも「そんな定理知ってるわけねーじゃん」と言い放つ馬鹿を馬鹿にするのも「衒学」ですか・・・すいませんでした！
0078１３２人目の素数さん2009/03/25(水) 17:07:17
>>75
そのこと自体はわかったんですがどう使うのかがわかりません

固有値と階数をどう結びつけますか？
0079１３２人目の素数さん2009/03/25(水) 17:09:14
対称行列は対角化可能　を使う。
0080１３２人目の素数さん2009/03/25(水) 17:09:58
>>78
トレース
0081１３２人目の素数さん2009/03/25(水) 17:10:04
>>77 わかればよろしい。
　二度とこのようなことがないように
　反省を次にいかすんだぞ。
0082１３２人目の素数さん2009/03/25(水) 17:11:01
>>78
もし固有値がiと-i、他は０、だったとしたら階数は２でしょ。
iと-iと2iと-2i、他は０、だったとしたら階数は４でしょ。
あとは自分で考えよう！
0083１３２人目の素数さん2009/03/25(水) 17:11:46
固有空間の次元が1とは限らないんだが。
0084１３２人目の素数さん2009/03/25(水) 17:12:22
どなたか>>53お願いします
0085１３２人目の素数さん2009/03/25(水) 17:12:51
>>81
はい！
これからは少々の馬鹿に会っても我慢します！できるだけ！！
0086１３２人目の素数さん2009/03/25(水) 17:14:21
>>82
あっそうか！
でもだいたいそんな感じｗ
0087１３２人目の素数さん2009/03/25(水) 17:16:07
86は>>83でした！
0088１３２人目の素数さん2009/03/25(水) 17:16:58
>>69
いや俺のせいだよ。
この掲示板は俺の取り合いで
いつもケンカになるんだ。
0089１３２人目の素数さん2009/03/25(水) 17:19:24
>>84
> μ＜μ' ； 0＜ν ⇒ μν≦μ'ν
が
(μ＜μ' かつ 0＜ν) ⇒ μν≦μ'ν
という命題なら、その対偶は
μ'ν＜μν ⇒ (μ'≦μ または 0=ν)
でいいんじゃない？
0090１３２人目の素数さん2009/03/25(水) 17:21:24
>>89
ありがとうございます
問題文をよく見たらセミコロン；ではなくカンマ，でしたので(μ＜μ' かつ 0＜ν) のことのようでした
0091１３２人目の素数さん2009/03/25(水) 17:25:05
ついにわかりました

実交代行列が0でない固有値をもつ、
すなわち純虚数λを固有値にもつなら
|λＥ-Ａ|=0より|λＥ+Ａ|=0、
よって-λも固有値になる
したがってＡを適当な正則行列で上三角行列にしたとき対角線に固有値が並ぶようにできることを考えると、
階数は偶数にならざるを得ない


みなさんありがとうございました。
0092１３２人目の素数さん2009/03/25(水) 17:28:08
連立不等式
2x+5≧1
4x+12<6
の答えを教えてください
0093１３２人目の素数さん2009/03/25(水) 17:34:23
Ａが正値エルミート行列ならばＡ^{-1}も正値エルミート行列ですか？
0094１３２人目の素数さん2009/03/25(水) 17:43:28
>>92
-2 ≦x < -3/2
0095１３２人目の素数さん2009/03/25(水) 17:48:22
>>88
おまえは社会のゴミ。病院で生活しないと生きていけない。
0096１３２人目の素数さん2009/03/25(水) 17:59:48
>>95
社会の窓あいてるお前に言われたくない。
0097１３２人目の素数さん2009/03/25(水) 18:03:14
最近質問スレ荒れてるね
0098１３２人目の素数さん2009/03/25(水) 18:05:14
春休みでヒマなんだろ
0099１３２人目の素数さん2009/03/25(水) 18:06:28
こんなの荒れてるうちに入らないよ
0100１３２人目の素数さん2009/03/25(水) 18:08:33
>>93
YES。Aを対角化して考えれば明らか。
0101１３２人目の素数さん2009/03/25(水) 18:12:07
>>91
分かってるんだろうけど記述はダメ。例えばその論法だと
A = diag(i,-i,-i,0) が排除できてない。
0102922009/03/25(水) 18:12:41
>>94
すみません問題間違えました
正しくは
2x+5≧1
4x+12<16
です。お願いします
0103１３２人目の素数さん2009/03/25(水) 18:14:21
>>100
正数の逆数が正数だからですね。
ありがとうございました。
0104１３２人目の素数さん2009/03/25(水) 18:27:07
>>101
純虚数の固有空間の次元が1であることを言わないといけないってことですか？
0105１３２人目の素数さん2009/03/25(水) 18:46:16
>>104
λに属する固有空間の次元＝－λに属する固有空間の次元
を言っとけばいい
0106１３２人目の素数さん2009/03/25(水) 18:52:51
2次方程式の解なんですけど
ｘ+5＝±√3で移項をするとき
ｘ＝±√3-5
ｘ＝-5±√3
のどっちにしても正解になりますか？
010772009/03/25(水) 18:55:11
あたりまえだろ
0108１３２人目の素数さん2009/03/25(水) 18:55:48
>>106
なります。
でも上を減点する馬鹿な教師もいます。
0109１３２人目の素数さん2009/03/25(水) 18:56:41
いねぇよ
0110１３２人目の素数さん2009/03/25(水) 18:56:43
あたりまえだのくらっかー
0111１３２人目の素数さん2009/03/25(水) 18:57:35
>>105
Ｗ1={x∈Ｃ^n|Ａx=λx}
Ｗ2={x∈Ｃ^n|Ａx=-λx}
が同型といえばいいわけですか？

すみませんが…線形写像をどう作ったらいいかわかりません。
0112１３２人目の素数さん2009/03/25(水) 18:57:52
>>109
阿呆。中学教師なめんな笑
0113１３２人目の素数さん2009/03/25(水) 19:00:52
>>111
|λＥ-Ａ|=0⇔|λＥ+Ａ|=0
だから明らかだべ
0114１３２人目の素数さん2009/03/25(水) 19:19:40
>>108
ありがとう
0115１３２人目の素数さん2009/03/25(水) 19:28:13
>>113
すみません その等式が成り立つのはわかるんですが、
それからなぜ明らかとなるのかがわかりません
0116１３２人目の素数さん2009/03/25(水) 19:34:13
>>115

＞僕はゆとり世代ですが、ヒントがあればできる子なんです！
0117１３２人目の素数さん2009/03/25(水) 19:38:41
>>116
それは僕にとってはヒントではないんです！
0118１３２人目の素数さん2009/03/25(水) 19:46:16
OA↑=(1.a)を原点中心に60°回転して2倍すると
(1+ai)2(cos60°+isin60°)だから

((1-√3)a、(√3+a))
であってますか?
0119１３２人目の素数さん2009/03/25(水) 20:09:26
>111
複素共役を取る写像が同型を与える。
0120１３２人目の素数さん2009/03/25(水) 20:16:36
>>117
だからあ|λＥ-Ａ|=0の解の中にλがｎ個あったら-λもｎ個あるだろ。


これがゆとりか・・・・・


0121１３２人目の素数さん2009/03/25(水) 20:18:17
>>118

反時計方向なら　(1 - (√3)a,　√3 + a)
　時計方向なら　(1 + (√3)a, -√3 + a)

ぢゃね?
0122１３２人目の素数さん2009/03/25(水) 20:29:22
対角化可能⇔固有空間の次元=固有多項式の(x-λ)の次数
これわかればさすがにもうわかるべ
0123１３２人目の素数さん2009/03/25(水) 21:43:12
グループの中に男がｎ人いたら女もｎ人いるだろ。
0124１３２人目の素数さん2009/03/25(水) 21:44:20
マジで？
0125１３２人目の素数さん2009/03/25(水) 21:50:09
普通にこんな問題解いてるやつが
non-positive definite.
よってAの固有値の自乗はnon-positive.

なんて定理しってるわけねーじゃん。

まぁ覚えたばかりの用語使ってみたかったんかな？＾＾
0126１３２人目の素数さん2009/03/25(水) 22:26:50
ある多項式、例えば
f(x)=a*x^6+b*x^5+c*x^4+dx^3+ex^2+fx+g
が、α< x <βで単調増加するという証明を与えることは可能でしょうか？
つまり上の式で言えば、f'(x)がα< x <βで実数解を持つ、持たないの判別方法は存在するのでしょうか？
0127１３２人目の素数さん2009/03/25(水) 22:34:13
non positive definiteよりもsemi-negative definiteのほうが良い言い方
0128１３２人目の素数さん2009/03/25(水) 22:38:25
>>127
どこの大学だい？
0129１３２人目の素数さん2009/03/25(水) 22:38:36
E:second category E⊂F⇒F:second categoryはいえまつか？＾＾
0130１３２人目の素数さん2009/03/25(水) 22:42:52
せみねがてぃぶってなんだろう
「半負」？
0131１３２人目の素数さん2009/03/25(水) 22:43:46
>>126
一般的なものはなくケースバイケース。
0132１３２人目の素数さん2009/03/25(水) 22:44:17
>>128, >>130
ごめん間違えた。negative semidefiniteだね。
0133１３２人目の素数さん2009/03/25(水) 22:46:16
>>126
Sturmの定理で調べてみると参考になるかも．
0134１３２人目の素数さん2009/03/25(水) 22:55:43
＞１３１、＞１３３
ありがとうございます。
0135１３２人目の素数さん2009/03/25(水) 23:05:35
>>119
スカラー倍が保存されてない気が
0136１３２人目の素数さん2009/03/25(水) 23:10:42
山田くんはお店やってます。
商品を1回配達に行くとき、代金の釣り銭用としては\9,999を用意して持っていけば十分ですが、
紛失などの際の損害を減らしたいため、なるべく釣銭は少なくもって行きたいです。

代金が与えられるとき、準備しておくべき最小の釣銭の算出方法を教えてください。
0137１３２人目の素数さん2009/03/25(水) 23:13:59
>>136
1万 - (代金の下三桁)
0138１３２人目の素数さん2009/03/25(水) 23:24:11
>>137
代金＝\6　のとき…

1万 - (代金の下三桁)＝\9,994

なので5円玉は持っていかない。
ところが、\10,001を支払われたとき、お釣りは\9,995円になるので、
このアルゴリズムではダメなようだ
0139１３２人目の素数さん2009/03/25(水) 23:28:38
ネットショッピングの代引きの話だが
可能な限り金額ピッタリ、少なくとも下二桁の小銭を用意している俺は山田君の強い味方
もっとも、小銭ジャラジャラもらったらそれはそれでジャマだけどな！
0140１３２人目の素数さん2009/03/25(水) 23:32:37
問題
ある容器に10{㎏}の国産米がはいている。ここからx{㎏}取り出して
変わりにx{㎏}の輸入米を入れてよく混ぜる。この混合米からまた
x㎏取り出して再びx{㎏}の輸入米をいれたところ、国産米と輸入米の
割合が16:9になった。このとき、xの値として正しいのはどれか。

解説
1回目の操作で、容器の中の国産米は10-x㎏、輸入米はx{㎏}となる。
次に混合米から取り出すx{㎏}の中に国産米はx*(10-x)/(10){㎏}だけ残ります
その結果国産米と輸入米の割合が16:9になったのですから最終的な米の量は

前スレにも書いたのですが、それ以外に理解していないところがありまして
追記として、「x*(10-x)/(10){㎏}」がなぜそうなるのか教えていただきたいので
すがよろしくおねがいします。
0141１３２人目の素数さん2009/03/25(水) 23:38:04
>>138
> \10,001を支払われたとき、お釣りは\9,995円になるので、

なんか条件が増えているような気がするが
10,001円を支払われたとしても
9,994+1円でおつりとしては何の問題も無いような。
0142１３２人目の素数さん2009/03/25(水) 23:44:36
一般的にスーパーとか大きめの小売店と違って
個人商店とか配達人さんとかは
「申し訳ありませんが釣銭用の○円玉切らしてしまってて
△円無いですか？」
って配達人側が要求したりする世界だからな
0143１３２人目の素数さん2009/03/25(水) 23:46:02
>>136-138
そもそも代金の上限は1円～9999円で確定？

てか、代金が「与えられたとき」って？既知なの？
ならちょうどでいいじゃんって話だよな？

それとも統計的に一番枚数が少なくできるパターンを知りたいの？

正直、設問が曖昧すぎて、答えるのは不可能だと考える。
0144１３２人目の素数さん2009/03/25(水) 23:52:25
10万円金貨で支払われる可能性を考慮しないと
0145１３２人目の素数さん2009/03/25(水) 23:58:45
統計についての質問はよろしいですか？
0146１３２人目の素数さん2009/03/26(木) 00:02:25
質問させてください。

問題.e^x<1+x+(e/2)x^2 (0<x<1)を証明せよ。

F(x)=1+x+(e/2)x^2-e^xとして
F'(x)=1+ex-e^xまで求めましたがF'(x)=0として極小値を与えるxの値を
考えるとx=0になってしまって条件に当てはまらないのですがどう証明すればよいのでしょうか？
0147１３２人目の素数さん2009/03/26(木) 00:09:14
>>146
F''(x) = e - e^x > 0 (0 < x < 1)
F'(0) = 0
だから
F'(x) > 0 (0 < x < 1)
F(0) = 0
だから
F(x) > 0 (0 < x < 1)
0148１３２人目の素数さん2009/03/26(木) 00:22:54
>>147
返信ありがとうございます。

F''(x)を求めるというのはどこから判断すればよいのでしょうか？
そのまま直接F'(x)>0としてはまずいのですか？

それとF'(0)=0が言えると何故F'(x)>0といえるのかも分かりません…。
0149１３２人目の素数さん2009/03/26(木) 01:12:39
増減表くらいかけや
0150１３２人目の素数さん2009/03/26(木) 01:21:39
>>148
普通F'(x)>0というのが分からないから。もう一度微分する。

f(0) = 0 かつ f'(x) > 0 (0 < x < 1)ならば　f(x) > 0 (0<x<1)
を繰り返し使っている。
x=0で0でそっから先は狭義単調増加 (f'(x) > 0)なのだから
0よりは増え続けて 正の領域にありつづける(f(x) > 0)
0151142009/03/26(木) 01:28:02
>>16
ようやく調べてついて、この数式の形がベルヌーイとリッカチであることがわかりました。
(そもそもリッカチなどを知らないのが勉強不足なのでしょうが。。)
与式から、特殊解がxであることがわかる(この操作はちまちまやるしかないんですね・・・)。よって、
　y=u(x)+x
この式を元の式に代入するとベルヌーイの形になる(>>16さんの二行目式)。この問題の場合、それが利用する式と同じ形であるから
　u(x)=1/(1+Ce^x)　　・・・　　y0とする。(利用式の一般解と同じ)
であるから、
　y=y0+x
となる。

これは、y=u+y1　　　　y1：特殊解
をリッカチの微分方程式に代入した際、ベルヌーイの式と係数などが等しい場合に使える、ということを示している。

こういう考え方で合ってます・・・かね？図々しいとは思いますが、一言もらえたら幸いです。
■ このスレッドは過去ログ倉庫に格納されています