- 1 名前：小魔玉 ◆.c.c.k.k.. mailto:sage [2012/02/17(金) 20:04:40.49 ]
- さあ、今日も１日頑張ろう★☆
前スレ
分からない問題はここに書いてね365
uni.2ch.net/test/read.cgi/math/1328156388/
- 95 名前：１３２人目の素数さん mailto:sage [2012/02/19(日) 22:00:00.40 ]
- 多項式ｆの導函数の根はｆの根の凸包に含まれる。
- 96 名前：１３２人目の素数さん mailto:sage [2012/02/19(日) 22:01:45.69 ]
- >>94
ロルの定理とか平均値の定理とか聞いたこと無い？
- 97 名前：95 mailto:sage [2012/02/19(日) 22:04:40.48 ]
- >>94
あ、実とは限らないのか
脊髄反射してたスマン
- 98 名前：96=97≠95 mailto:sage [2012/02/19(日) 22:06:21.77 ]
- 名前欄間違えた
重ね重ね申し訳ない
- 99 名前：１３２人目の素数さん mailto:sage [2012/02/19(日) 22:18:14.51 ]
- ぶっとばすぞ
- 100 名前：１３２人目の素数さん mailto:sage [2012/02/19(日) 22:56:48.76 ]
- Nクィーン問題というのがあります。
N(>=4)が大きくなれば解の数も急激に大きくなりますが、
解なし、となるようなNが存在しないと証明できるのでしょうか？
解の数も単調に増加すると証明できるのでしょうか？
- 101 名前：１３２人目の素数さん [2012/02/20(月) 00:24:16.34 ]
- (1-xz)(1-yz)+(1-xw)(1-yw)
=(1-xz)(1-x^z)(1-xz^)(1-x^z^)>0
=(1-x^z)(1-xz^)(1-xz)(1-x^z^)
=(1-xz^)(1-xz^)^(1-xz)(1-xz)^
=|1-xz^|^2|1-xz|^2>0
- 102 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 00:47:37.24 ]
- >>12および>>84および>>94です。
>>101
^はここでは共役を意味する記号ですよね？
一応Wolfram Alphaで展開計算させて確かめましたが
1行目から2行目の式変形を誤っていませんか？
和から積に変わってしまっていますよ。
- 103 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 01:05:28.58 ]
- >>12および>>84および>>94および>>102です。連投申し訳ありません。
>>95
ありがとうございます。
それについてのテキストないし論文をお教え願えませんか？
- 104 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 01:13:48.31 ]
- >>100
ここで聞いて答えが帰ってくるとは思えない
考える気があるならスレ立ててじっくりやるべき問題だと思うよ
- 105 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 01:14:03.05 ]
- >>12、>>84、>>94、>>102、>>103です。連投重ね重ね申し訳ありません。
>>95
自己解決しました。Gauss?Lucas theoremですね。
本当にありがとうございました。
- 106 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 01:18:59.78 ]
- 最初から>>94を書きゃいいのに・・・
- 107 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 01:57:37.39 ]
- 質問者の手が入った質問であることをを見抜けなかったお前がアホ
- 108 名前：１３２人目の素数さん [2012/02/20(月) 02:05:43.70 ]
- n次正方行列Aの行列式が、Rnの単位立方体と、Aの列ベクトルの張る平行2n面体の体積比になるのはどうしてですか？
- 109 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 02:12:53.01 ]
- 外積代数を学べ
- 110 名前：１３２人目の素数さん [2012/02/20(月) 02:25:23.43 ]
- >>108
y=(y_i),A=(a_ij),x=(x_i)
（平行2n面体の体積）
=∫…∫_[V]dy_1…dy_n
=∫_[0→1]…∫_[0→1]|detA|dx_1…dx_n
=|detA|
- 111 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 04:15:43.17 ]
- 元の問題隠したせいで三十分で済むのが三ヶ月もかかったか。
- 112 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 21:35:12.22 ]
- >>12
素直に解いてみた
F=16-(yzw+xzw+xyw+xyz)^2-8(xy+yz+zw+wx+xz+yw)+3(x+y+z+w)(yzw+xzw+xyw+xyz)
=16-4(a|z|^2+c|x|^2)^2-8(|x|^2+|z|^2+4ac)+12(a+c)(a|z|^2+c|x|^2)
↓ 1-|z|^2=Z, 1-|x|^2=X と置く
F=-4(aZ+cX)^2-4(a+c)(aZ+cX)+8(X+Z)+8(a-c)^2
このときa,cを固定してX,Zを変化させるとFはX,Zの二次関数で
X=0または1-a^2, Z=0または1-c^2のとき最小になる
↓ 1-a^2=A, 1-c^2=C, a-c=E と置く
X=0, Z=0のとき F=8E^2≧0
X=A, Z=0のとき F=4CA^2+2C(A+C)+2AE^2+2E^2(4-(a+c)^2)≧0
X=A, Z=Cのとき F=4(AC^2+CA^2+(E^2+A+C)AC)+2E^2(A+C)+2E^2(4-(a+c)^2)≧0
- 113 名前：１３２人目の素数さん [2012/02/20(月) 22:39:04.87 ]
- 双有理同値とはどういうことですか？
- 114 名前：１３２人目の素数さん [2012/02/20(月) 22:45:17.91 ]
- 位相空間の開集合の公理を、無限個の共通部分を取ることも許すように書き換えるとどうなりますか？
- 115 名前：１３２人目の素数さん [2012/02/20(月) 22:50:00.18 ]
- >>114
ハウスドルフ空間だと、任意の部分集合が開集合かつ閉集合になってしまい、非常に面白みのない理論になります
|
 |
