12/02/17 20:04:40.49
さあ、今日も１日頑張ろう★☆
前スレ
分からない問題はここに書いてね365
ｽﾚﾘﾝｸ(math板)
2: ◆jK4/cZFJQ0Q6
12/02/17 20:32:49.29
いつから名前がバカオツなんだか
3:１３２人目の素数さん
12/02/17 22:15:43.15
ｐは３より大きな素数、ｎがｐ－１より小さい自然数のとき、
1^n+2^n+3^n+…+(p-1)^n
はｐで割り切れることを証明せよ
どなたか教えてくださいお願いします
4:１３２人目の素数さん
12/02/17 22:17:22.63
>>1
物理板で遊んでろ
5:１３２人目の素数さん
12/02/17 22:50:16.03
位相太郎って誰ですか？
6:１３２人目の素数さん
12/02/17 22:50:20.22
>>3
フェルマーの小定理でも使うんじゃねーの
7:１３２人目の素数さん
12/02/17 23:56:06.41
>>3
わからん
8:１３２人目の素数さん
12/02/18 00:13:10.89
>>3
pは3より大きい素数なので奇数だから
1^n+2^n+3^n+…+(p-1)^n
=(1^n+(p-1)^n) + (2^n+(p-2)^n) + … + (((p-1)/2)^n+((p+1)/2)^n)
と2つずつ組にして、a^n+b^n(nは奇数)の因数分解を使うと
=(1+(p-1))( )+(2+(p-2))( )+…+(((p-1)/2)+((p+1)/2))( )
※( )の中は省略
=p( )+p( )+…+p( )
よりpの倍数
てな感じでどうだ
9:8
12/02/18 00:24:46.18
すまないnも奇数だと思ってた
これじゃnが偶数の場合が言えてないわ
10:１３２人目の素数さん
12/02/18 00:54:38.83
原始根を使えばほとんど自明だろ
11:１３２人目の素数さん
12/02/18 00:55:13.20
やべまじでわからん
12:１３２人目の素数さん
12/02/18 01:23:15.89
前スレの>>978です。
前スレで書きましたように誤りがありました。失礼しました。
改めましてお尋ねします。
i=√(-1)
a,b,c,d∈R
x=a-bi, y=a+bi (共役)
z=c-di, w=c+di (共役)
|x|,|y|,|z|,|w|<1
のとき
16-(yzw+xzw+xyw+xyz)^2-8(xy+yz+zw+wx+xz+yw)+3(x+y+z+w)(yzw+xzw+xyw+xyz)>0
を示せ。
但し与式は
(1-xy)(1-yz)(1-zw)
+(1-xy)(1-yz)(1-wx)
+(1-xy)(1-yz)(1-xz)
+(1-xy)(1-zw)(1-wx)
+(1-xy)(1-zw)(1-xz)
+(1-xy)(1-zw)(1-yw)
+(1-xy)(1-wx)(1-yw)
+(1-xy)(1-xz)(1-yw)
+(1-yz)(1-zw)(1-wx)
+(1-yz)(1-zw)(1-yw)
+(1-yz)(1-wx)(1-xz)
+(1-yz)(1-wx)(1-yw)
+(1-yz)(1-xz)(1-yw)
+(1-zw)(1-wx)(1-xz)
+(1-zw)(1-xz)(1-yw)
+(1-wx)(1-xz)(1-yw)
と変形できる。
13:１３２人目の素数さん
12/02/18 02:23:17.63
>>3
gを原始根とすると g^(p-1)≡1 mod p,
{g^k mod p| k=0,1,2,...p-2} = {j mod p| j=1,2,3,...p-1}となるので
∑[j=1,p-1] j^n ≡ ∑[k=0,p-2] g^{nk} mod p
≡ (1-g^((p-1)n))/(1-g^n) mod p
≡ (1-1)/(1-g^n) mod p
≡ 0 mod p
14:１３２人目の素数さん
12/02/18 08:31:10.16
個数の不明なチョコがある。1人に6個ずつ配ると何個か足りなかったので、1人5個ずつにして配りなおすと14個余った。
チョコは少なくとも何個あったと考えられるか。
教えてエロい人！
15:１３２人目の素数さん
12/02/18 09:02:30.95
m=5n+14<6n
n>14
m>84
(1-xz)(1-yz)+(1-xw)(1-yw)=(1-xz)(1-x^z)(1-xz^)(1-x^z^)>0
(1-xz)(1-xz)^(1-xz^)(1-xz^)^
|1-xz|^2|1-xz^|^2>0
16:１３２人目の素数さん
12/02/18 09:12:26.33
17頭の羊を飼っていた男が死に、3人の息子がそれを父の遺言通り分配することになった。
遺言にはこう書いてあった。
｢
長男は全体の1/2。
次男は全体の1/3。
三男は全体の1/9。
以上の割で羊を分けよ。
｣
17:１３２人目の素数さん
12/02/18 09:14:48.84
学校に行くと黒板に数字が書かれていた、数学魔人としたにかいてあり生徒ぜいいん
がまた先生かと口にした、しかし今回の問題は難しかった、ではその問題を君たち
に解いてもらおう
０、１０，１１１０，３１１０，１３２１１０、１３１２３１１０、２３１２４１１０、(
)さあかっこの中の数字を答えたまえ 数学魔人
18:１３２人目の素数さん
12/02/18 09:17:59.83
一周が200mの池があります。この池のそばで、タイルコさんとCTOさんが、午後3時
から4時までの1時間、ランニングをしました。タイルコさんはある地点から出発し
て池の周りをちょうど16周しました。また、CTOさんは、タイルコさんと同時に、
タイルコさんとは別の場所から出発して、タイルコさんとは反対周りに、ちょうど
24周しました。このとき、タイルコさんとCTOさんは、ランニングの間、何回すれち
がいましたか。
19:１３２人目の素数さん
12/02/18 09:25:33.22
ここに100人の魔法使いがいる。魔法使いはそれぞれ、「命の魔法」を使うことがで
きる。その魔法とは、かけられた者の生死が逆になるというもの。つまり、生きてい
る人間にかけると死に、遺体にかけると生き返る。
ところで、ここに100人の罪人がいる。罪人には、1から100まで番号が割り振られ
ていて、もちろん全員生きている。まず最初の魔法使いは、「今からお前たちを処
刑する。だが、最後に運良く生きていた者は釈放、許してやろう。」と言った。次
に2番目の神は、偶数番目の罪人に命の魔法をかけていった。3番目の神は、3の倍
数番目の罪人に命の魔法をかけていった。このように、N番目の神はNの倍数番目の
罪人に命の魔法をかけていった。
さて、100番目の魔法使いが命の魔法をかけ終わった後、最後に生きていたのは
何人で、何番目の囚人でしょう？
20:１３２人目の素数さん
12/02/18 09:34:34.39
ここはいつから頭の体操のスレになったんだ？
21:１３２人目の素数さん
12/02/18 11:51:55.61
頭の体操覚えたてのアホだろ
22:１３２人目の素数さん
12/02/18 12:27:59.95
頭の新体操
23:１３２人目の素数さん
12/02/18 12:29:14.95
f(x)=e^(-3(sinx)^2/4)×sin2x がf(α)で最大値をとる
よって、sinα=1/√3
このとき、∫[0→α]f(x)dx を求めたいのですが、部分積分をしても上手くいきません。わかる方いたらお願いします。
eを-3(sinx)^2/4乗したものにsin2xをかけたのがf(x)です。
24:１３２人目の素数さん
12/02/18 12:32:37.57
数学というかデータ解析の問題なんだけど、
ある合成繊維1本の強さは、標準偏差5.0gの正規分布に従う。
この繊維36本が束になった場合の強さの標準偏差はいくらか。
ただし、繊維束の強さは各繊維の強さの和で表せるものとする。
25:１３２人目の素数さん
12/02/18 12:37:30.31
2種類の異なった材料A・Bで作ったセラミック製品の強度を測って比較したところ、
次のデータが得られた。
A：73 77 74 73 73 72 75 78 76 78
B：69 71 70 75 71 73 67 70 74 70
26:１３２人目の素数さん
12/02/18 12:40:22.57
>>25 の続き
（1）2つのデータの分散に違いがあるかどうか検定せよ。
（2）2つのデータの母分散が等しいとした時、材料A及びBで作った製品の強度に下がるか検定せよ。
（3）材料A及びBで作った製品の強度の差の95%信頼区間を求めよ
27:１３２人目の素数さん
12/02/18 12:42:53.41
ある製造ラインから製品をランダムに18個取り出し、1つ1つの重さを測定した結果
X（ｴｯｸｽﾊﾞｰ）=46.23 S（ﾗｰｼﾞｴｽ）=0.147 であった。（単位g）
この製品の重さの母平均の95%信頼区間を推定せよ。
28:１３２人目の素数さん
12/02/18 12:50:03.57
平均50、標準偏差9の正規母集団はN（50，81）と表される。
この母集団から n=9のサンプルを抜き取った時、サンプル平均X（ｴｯｸｽﾊﾞｰ）は、
平均50、標準偏差3の正規分布に従い、X（ｴｯｸｽﾊﾞｰ）が48より
小さい値を取る確率は0.2546で、54より大きな値を取る確率は0.9818で、
X（ｴｯｸｽﾊﾞｰ）が48と54の間を取る確率を求めよ。
29:１３２人目の素数さん
12/02/18 14:17:23.02
>>18
タイルコさんの出発地点を0とし、進行方向を正にするとタイルコさんの時刻tでの位置xは
x = 3200*t
CTOさんの時刻tでの位置をy、出発地点を200-y(0)とすると
y = 200-y(0)-4800*t 0<y(0)<200
初めにすれ違う時刻は
3200*t = 200-y(0)-4800*t ∴t = (200-y(0))/8000
この時刻の後両者がすれ違うのは両者の走行距離の合計が200となるときでその時間をt1とすると
8000*t1=200 ∴t1 = 1/40
すれ違う回数をnとすると
(200-y(0))/8000+(n-1)*1/40 <= 1 ∴n <= 40 - y(0)/200 ∴n = 39
30:１３２人目の素数さん
12/02/18 14:34:35.46
>>19
最後に生きていたのは10人で1, 4, 9, 16, 25, 36, 49, 64, 81, 100番目の囚人
31:３
12/02/18 14:46:56.28
>>13
ありがとうございます
原始根を調べて途中までは理解できましたが、
≡ (1-g^((p-1)n))/(1-g^n) mod p
≡ (1-1)/(1-g^n) mod p
この部分がよくわかりません
詳しく教えて下さいお願いします
32:１３２人目の素数さん
12/02/18 15:02:06.46
すみません。図形問題なんで画像貼らせて下さい
URLﾘﾝｸ(l.pic.to)
図のような、底面の半径が2cmでOAの長さが12cmの円錐がある。この円錐に点AからOAの中点Mまで、紐を一周巻き付ける。
紐の長さは何cmか？
33:１３２人目の素数さん
12/02/18 15:08:07.58
v1=200x16/60=160/3
v2=-200x24/60=-80
200-80t=160t/3
600=400t
t=600/400=3/2
60/(3/2)=2*20=40
h-80t=160t/3
3h/400=t0
(60-t0)/(3/2)=40-t0(2/3)=40-h/200>39
39+1=40
34:１３２人目の素数さん
12/02/18 15:15:12.00
円錐のジオデジックを計算するだけ。がんがれ
35:１３２人目の素数さん
12/02/18 15:25:19.12
展開して直線か。。。(r/2,0)-(r,t/2)
36:１３２人目の素数さん
12/02/18 15:27:19.92
>>2クソキチガイパクリ乙
37:１３２人目の素数さん
12/02/18 15:32:17.50
(r/2,0)
(rct,rst)
(r/2-rcost)^2+(rsint)^2
L=(5/4-.5cost)r^2
38:１３２人目の素数さん
12/02/18 15:42:41.45
>>32 図形を展開すると半径12で弧が4πの扇形が出てくる
扇形の角度をθとすると4π=12θなのでθ=π/3になり、AMの長さは6√3
39:１３２人目の素数さん
12/02/18 15:44:02.96
円錐を一周して頂点までいく曲線の式は？
40:１３２人目の素数さん
12/02/18 15:44:40.72
>>32
展開して抽選低利
41:１３２人目の素数さん
12/02/18 16:27:56.95
17頭の羊を飼っていた男が死に、3人の息子がそれを父の遺言通り分配することになった。
遺言にはこう書いてあった。
｢
長男は全体の1/2。
次男は全体の1/3。
三男は全体の1/9。
1/2+1/3+1/9=(9+6+2)/18=17/18
1-17/18=1/18
42:１３２人目の素数さん
12/02/18 16:30:12.48
長男は全体の1/2*18/17=9/17
次男は全体の1/3*18/17=6/17
三男は全体の1/9*18/17=2/17
通分問題か？
Ans. 9,6,2
43:１３２人目の素数さん
12/02/18 16:32:58.55
新羊飼いの問題
117頭の羊を飼っていた男が死に、3人の息子がそれを父の遺言通り分配することになった。
遺言にはこう書いてあった。
｢
長男は全体の1/2。
次男は全体の1/3。
三男は全体の1/9。
44:１３２人目の素数さん
12/02/18 16:36:26.41
新羊飼いの問題２
117頭の羊を飼っていた男が死に、3人の息子がそれを父の遺言通り分配することになった。
遺言にはこう書いてあった。
｢
長男は全体の1/67。
次男は全体の1/23。
三男は全体の1/36。
45:１３２人目の素数さん
12/02/18 16:37:47.30
新羊飼いの問題3
117頭の羊を飼っていた男が死に、3人の息子がそれを父の遺言通り分配することになった。
遺言にはこう書いてあった。
｢
長男は全体の1/67。
次男は全体の1/23。
三男は全体の1/27。
46:１３２人目の素数さん
12/02/18 16:51:50.22
>>42
9/17 > 1/2 6/17 > 1/3 2/17 > 1/9
47:１３２人目の素数さん
12/02/18 17:12:46.27
総数が１７だから分母を１７にするので１８/１７をかけてる。
比の問題みたいだけど、作問したユダヤ人がバカだったのか？
48:１３２人目の素数さん
12/02/18 17:44:58.13
問題点
1. 1/2+1/3+1/9は1にならない
2. 18で通分した、9:6:2に分配するのか
3. 正しく分配すると分数になるので、1頭の羊を分けるのか
4. 分けない場合その1頭を誰に渡すのか
5. 4.を行う理由はなにか
49:１３２人目の素数さん
12/02/18 17:58:28.97
>>48
俺が読んだバージョンだと、困っているところに旅人が来て
「私の羊を使えばきれいに割り切れます」
って言って分配してくれるよ
余った1匹は旅人が回収する
50:１３２人目の素数さん
12/02/18 18:30:44.64
遺言状であまりがでるって弁護士の手数料だと思う。
それか古代ユダヤでの相続税？
生贄、ラビへのお供え、葬式代、愛人の取り分、妻の取り分？
51:１３２人目の素数さん
12/02/18 18:32:25.55
マルサの女 隠し財産があと一匹ある
コナン だれかが１匹盗んだ
答えがでない引っ掛け問題
52:１３２人目の素数さん
12/02/18 19:12:27.16
いきている人間にかけると死に、遺体にかけると生き返る。
約数の個数が奇数だと死に、偶数だと生きてる
約数の個数は素数の乗数の和
53:１３２人目の素数さん
12/02/18 19:14:22.03
約数の個数は素数の乗数たす１の掛け算
54:１３２人目の素数さん
12/02/18 19:25:00.55
100<124=2^8
7+1=8
8,7,6,5,4,3,2,1
1,3,5,7
1,3,5=5,2+3,7=7,5+2,4+3,2+3+2
1,p^2,p^4,pq^2,p^6,p^4q,p^3q^2,pq^2r<=100
55:１３２人目の素数さん
12/02/18 19:30:29.88
>>3をどなたかお願いします
10 名前：１３２人目の素数さん[sage] 投稿日：2012/02/18(土) 00:54:38.83
原始根を使えばほとんど自明だろ
56:１３２人目の素数さん
12/02/18 19:34:45.61
もう既に解かれてるでしょ
57:１３２人目の素数さん
12/02/18 19:44:19.73
>>56
>>13は最後の2行が間違っていることがわかりました
58:１３２人目の素数さん
12/02/18 19:56:48.97
どこが間違ってるって？
59:３
12/02/18 20:05:38.52
>>58
例えばｐ＝１１とすると、６は原始根ですが、
(1-6^(10n))/(1-6^n) ≡ (1-1)/(1-6^n) mod11
どうしてこう言えるのかわかりません
60:１３２人目の素数さん
12/02/18 20:10:16.25
((6^10) - 1) / 11 = 5 496 925
61:１３２人目の素数さん
12/02/18 20:11:28.22
1^n+2^n+3^n+…+(p-1)^n
=1+2+...+(p-1) mod p (素数の巡回群から）
=((p-1)+1)(p-1)/2
=p(p-1)/2
=0 mod p
62:１３２人目の素数さん
12/02/18 20:12:13.78
>>59
原始根の定義より
6^10 ≡ 1 mod 11
なので
6^(10n) ≡ (6^10)^n ≡ (1)^n ≡ 1 mod 11
だから何の問題もない。
63:３
12/02/18 20:19:32.26
>>61
ありがとうございます
1^n+2^n+3^n+…+(p-1)^n
=1+2+...+(p-1) mod p (素数の巡回群から）
この部分が肝心なところですが、もう少し詳しく教えて下さいお願いします
64:１３２人目の素数さん
12/02/18 20:21:33.21
>>62
それでなぜ
(1-6^(10n))/(1-6^n) ≡ (1-1)/(1-6^n) mod11
と言えるのか説明してもらえますか？
65:１３２人目の素数さん
12/02/18 20:28:09.96
問題ではないんですが
0ベクトルの複数の点に下図のようなベクトルを与えたいです
URLﾘﾝｸ(s1.gazo.cc)
なんか見たことある力の動きだと思ったんですけどなんだか思い出せません
こういったベクトルを与えるにはどんな計算をすればいいのでしょうか
なんだかあやふやな質問ですいません
66:１３２人目の素数さん
12/02/18 20:28:43.10
2^n={2,4,1,2,4,1} mod 7
3^n={3,2,6,4,5,1}
4^n={4,2,1,4,2,1}
5^n={5,4,6,2,3,1}
6^n={6,1,6,1,6,1}
1^n={1,1,1,1,1,1}
-------------------
----{0,0,0,0,0,0}
67:１３２人目の素数さん
12/02/18 20:29:28.62
>>64
1-6^(10n) ≡ 0 だから分子は0、分母はn<p-1なので0ではないので
(1-6^n)の逆数1/(1-6^n)が存在して 分子/分母 ≡ 0 mod 11
68:３
12/02/18 20:36:23.06
>>67
何を言っているのかわかりません
12 ≡ 0 mod 3で、6は0ではないので6の逆数1/6が存在して 2 = 12/6 ≡ 0 mod 3
でもいいんですか？
69:１３２人目の素数さん
12/02/18 20:41:30.24
>>68
６≡ 0 mod 3 なので分母は0なのでその論理は間違っている
70:１３２人目の素数さん
12/02/18 20:46:40.77
整数論の初歩的なところが全くわかってないね
開き直ってないでちゃんと勉強せえや
71:３
12/02/18 20:48:08.68
>>69
ああ、そういう意味でしたか失礼しました
やっと理解できました
ありがとうございました
72:１３２人目の素数さん
12/02/18 21:47:50.64
(1+2+...+(p-1))^n=p^n(p-1)^n/2^n=0 mod p
(1^n+2^n+...+(p-1)^n)+nCr1(n-r1)Cr2...(1^r1)(2^r2)...
nCr1(n-r1)Cr2...(1^r1)(2^r2)...=n!/r1!r2!...(1^r1)(2^r2)...
a^(p-1)=1 mod p
a^n=a^((n mod(p-1))=a^k mod p, k<p-1
ri<(p-1)
n>p->nCr1(n-r1)Cr2...(1^r1)(2^r2)...=0 mod p
->(1^n+2^n+...+(p-1)^n)=0 mod p
n<p->(1+2+...+(p-1))^n=(1+2+...+(p-1))^(n+(p-1)m),n'=(n+(p-1)m)>p
(1+2+...+(p-1))^(n+(p-1)m)=(1^n'+2^n'+...+(p-1)^n')
=(1^n+2^n+...+(p-1)^n)=0
73:１３２人目の素数さん
12/02/18 23:18:00.66
前スレ>>999-1000クソキチガイ阿保晒し乙パクリ乙
74:１３２人目の素数さん
12/02/18 23:18:45.91
>>59
＞ どうしてこう言えるのかわかりません
「どうしてこう言えるのかわかりません」レベルで
>>57
＞ >>13は最後の2行が間違っていることがわかりました
こう書いちゃう神経が理解できない
75:１３２人目の素数さん
12/02/18 23:48:11.28
ほんまそうよ
76:１３２人目の素数さん
12/02/18 23:56:19.09
俺もそう思うぜ
77:１３２人目の素数さん
12/02/19 00:18:33.71
>>74-76
僕も賛成です
78:１３２人目の素数さん
12/02/19 01:03:07.48
そんなに気に障ったのかｗ
79:１３２人目の素数さん
12/02/19 03:32:13.06
>>73
お前はあの有名な｢バカオツ君｣か？
まだ生きてたんだなwww
80:１３２人目の素数さん
12/02/19 09:11:25.70
f=aijx^i=j^ix^iy^j=y^j/(1-jx)
d^jf(1,0)=j!/(1-j)=-j!/(j-1)
81:１３２人目の素数さん
12/02/19 09:28:10.84
f=aijx^iy^j=j^ix^iy^j=y^j(1-(jx)^p)/(1-jx)
d^jf(1,0)=j!(1-j^p)/(1-j)=j!(1-j^p)/(1-j)
82:１３２人目の素数さん
12/02/19 10:06:09.04
>>79
クソキチガイ黙れ阿保晒し乙
クソキチガイ悔しいか？ガキ顔真っ赤
83:１３２人目の素数さん
12/02/19 12:03:19.06
>>23
y=sin^2x
dy/dx=2sinxcosx=sin2x
f(x)={e^(-3y/4)}*dy/dx
∫[0→α]f(x)dx =∫[0→1/3]){e^(-3y/4)}dy
=(-4/3)*[e^(-3(1/3)/4)}-e^0]
=(-4/3)*[e^(-1/4)-1]
=(-4/3)*e^(-1/4)+4/3
84:１３２人目の素数さん
12/02/19 12:35:08.90
>>15
>>12です。
亀レスで申し訳ありません。
ご助力ありがとうございます。
ただ、
x=a-bi, y=a+bi=x~
z=c-di, w=c+di=z~
から
xz=ac-bd-(bc+ad)i
yz=ac+bd+(bc-ad)i
なので
(1-xz)(1-yz)=(1-xz)(1-x~z)≠(1-xz)(1-xz)~ (~は共役)
となり、うまくいかないように思われるのですが。
85:１３２人目の素数さん
12/02/19 12:48:39.18
>>84
このもんだい四元数使ったらすばやく解ける
86:１３２人目の素数さん
12/02/19 13:07:09.74
>>84
前スレの最後の方で、実は元の問題は、といって書き直しているが、
最初の>>978自体が君の誤った解釈による抜出だったように、
元の問題というのも何かを解く過程で出てきた、なりたてば好都合という不等式を
君がよいと思った形に書き直した問題なんじゃないの。
>>12の 「但し、与式は・・・と変形できる」、という記述が既に胡散臭い。
87:１３２人目の素数さん
12/02/19 18:39:21.09
すごく初歩的な問題ですみませんが、躓いてしまったので教えて下さいませ
円錐を高さ半分に切断した時の上部の底面積はどうやって求めるのですか？
88:１３２人目の素数さん
12/02/19 18:45:59.11
相似
89:１３２人目の素数さん
12/02/19 18:49:39.70
底面の半径の半分になってるわけだから、円の面積を求めると四分の一になる
90:１３２人目の素数さん
12/02/19 19:28:36.41
誰か>>65もお願いします
それとも説明が下手で意味が良く分からないでしょうか？
91:１３２人目の素数さん
12/02/19 19:49:56.67
全然分からない
92:１３２人目の素数さん
12/02/19 21:00:14.72
直線を追う運動に似てるけど直線ではあり得んくらい曲がってるからゆったりと曲がる曲線を追うようなベクトル考えればいいんでないの
93:１３２人目の素数さん
12/02/19 21:12:58.14
>>88,89様
迅速なお答えありがとうございます
解りました!
またお世話になるかもしれませんがその時はどうぞ宜しくお願い申し上げます
94:１３２人目の素数さん
12/02/19 21:36:01.52
>>12および>>84です。
>>85
四元数が分からないので、
これについて理解する機会があれば、
四元数を使ってもこの問題を考えてみたいと思います。
そして願わくば
不等式を式変形するだけで済む方法を。
>>86
失礼しました。たしかに大元を書くべきでした。
大元の問題は
f(X)=X^4-AX^3-BX^2-CX-D=0
の4つの根の絶対値が1未満のとき
その極大点・極小点のX座標は全て(-1,1)にあるか否かです。
X^3-AX^2-BX-C=0の3つの根の絶対値が1未満
であることの必要十分条件が
-1<C<1,A+B+C<1,B-A-C<1,-B-AC<1-C^2……☆
であることから
※『分からない問題はここに書いてね362』>>408の変形と
根と係数の関係を利用すれば容易に示せる。
f(X)の極大点・極小点を求める方程式
f'(X)/4=X^3-3AX^2/4-2BX/4-C/4=0
においても☆が成り立つと予想しました。
>>12の「但し」以下の変形が胡散臭いとのことですが、
これについてはWolfram Alphaで展開計算させ確認したので問題ないと思います。
95:１３２人目の素数さん
12/02/19 22:00:00.40
多項式ｆの導函数の根はｆの根の凸包に含まれる。
96:１３２人目の素数さん
12/02/19 22:01:45.69
>>94
ロルの定理とか平均値の定理とか聞いたこと無い？
97:95
12/02/19 22:04:40.48
>>94
あ、実とは限らないのか
脊髄反射してたスマン
98:96=97≠95
12/02/19 22:06:21.77
名前欄間違えた
重ね重ね申し訳ない
99:１３２人目の素数さん
12/02/19 22:18:14.51
ぶっとばすぞ
100:１３２人目の素数さん
12/02/19 22:56:48.76
Nクィーン問題というのがあります。
N(>=4)が大きくなれば解の数も急激に大きくなりますが、
解なし、となるようなNが存在しないと証明できるのでしょうか？
解の数も単調に増加すると証明できるのでしょうか？
101:１３２人目の素数さん
12/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:１３２人目の素数さん
12/02/20 00:47:37.24
>>12および>>84および>>94です。
>>101
^はここでは共役を意味する記号ですよね？
一応Wolfram Alphaで展開計算させて確かめましたが
1行目から2行目の式変形を誤っていませんか？
和から積に変わってしまっていますよ。
103:１３２人目の素数さん
12/02/20 01:05:28.58
>>12および>>84および>>94および>>102です。連投申し訳ありません。
>>95
ありがとうございます。
それについてのテキストないし論文をお教え願えませんか？
104:１３２人目の素数さん
12/02/20 01:13:48.31
>>100
ここで聞いて答えが帰ってくるとは思えない
考える気があるならスレ立ててじっくりやるべき問題だと思うよ
105:１３２人目の素数さん
12/02/20 01:14:03.05
>>12、>>84、>>94、>>102、>>103です。連投重ね重ね申し訳ありません。
>>95
自己解決しました。Gauss?Lucas theoremですね。
本当にありがとうございました。
106:１３２人目の素数さん
12/02/20 01:18:59.78
最初から>>94を書きゃいいのに・・・
107:１３２人目の素数さん
12/02/20 01:57:37.39
質問者の手が入った質問であることをを見抜けなかったお前がアホ
108:１３２人目の素数さん
12/02/20 02:05:43.70
n次正方行列Aの行列式が、Rnの単位立方体と、Aの列ベクトルの張る平行2n面体の体積比になるのはどうしてですか？
109:１３２人目の素数さん
12/02/20 02:12:53.01
外積代数を学べ
110:１３２人目の素数さん
12/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:１３２人目の素数さん
12/02/20 04:15:43.17
元の問題隠したせいで三十分で済むのが三ヶ月もかかったか。
112:１３２人目の素数さん
12/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:１３２人目の素数さん
12/02/20 22:39:04.87
双有理同値とはどういうことですか？
114:１３２人目の素数さん
12/02/20 22:45:17.91
位相空間の開集合の公理を、無限個の共通部分を取ることも許すように書き換えるとどうなりますか？
115:１３２人目の素数さん
12/02/20 22:50:00.18
>>114
ハウスドルフ空間だと、任意の部分集合が開集合かつ閉集合になってしまい、非常に面白みのない理論になります