18/06/11 23:01:25.78 nE7BkMJU.net
n^2+7=2^kとなる自然数の組(n,k)は無数に存在することを示せ。
62:１３２人目の素数さん
18/06/11 23:08:20.58 f053/Yvw.net
>>57
バカ？
63:１３２人目の素数さん
18/06/11 23:28:53.51 f053/Yvw.net
>>58
f=g
64:１３２人目の素数さん
18/06/12 00:02:02.05 Nv0bonzK.net
>>58f_n:区間I=[a,b]上の関数とすると
f_n(x)=f_n(a)+∫[a,x]f'_n(t)dt
→f(x)=f(a)+∫[a,x]g(t)dt (n→∞) (∵f'_n→g:unif)
||f_n-f||=sup|f_n(a)-f(a)+∫[a,x]f'_n(t)-g(t)dt|
≤|f_n(a)-f(a)|+sup|∫[a,x]f'_n(t)-g(t)dt|
≤|f_n(a)-f(a)|+sup{∫[a,x]|f'_n(t)-g(t)|dt}
≤|f_n(a)-f(a)|+∫[a,b]|f'_n(t)-g(t)|dt
≤|f_n(a)-f(a)|+(b-a)||f'_n-g||→0 (n→∞)
65:１３２人目の素数さん
18/06/12 00:10:05.31 j+j5uVfX.net
>>64
何で積分出てくるん？
66:１３２人目の素数さん
18/06/12 00:49:38.43 9Z8Gi4US.net
わからないんですね
67:１３２人目の素数さん
18/06/12 02:00:18.04 b0bh5OrH.net
>>61問題合ってるか？計算機で10000までさがしてk>3の解がひとつもでないけど。
68:１３２人目の素数さん
18/06/12 02:06:33.21 b0bh5OrH.net
まちがえた。k偶数の解は有限個しかない。k奇数に限定してさがしたらk>3の解がみつからない。有限個しかないんじゃないの？
69:１３２人目の素数さん
18/06/12 02:40:08.70 65vJmt1i.net
アルベルト・アインシュタインとグレゴリー・ペレルマンはどっちの方が頭が良いですか？
70:１３２人目の素数さん
18/06/12 04:10:57.84 xrjXgpOO.net
n^2+7が2^kの倍数となる自然数の組(n,k)は無数に存在することを示せ。
71:１３２人目の素数さん
18/06/12 04:20:25.29 sgSsNzGz.net
>>70
そんなんやったら(n,k)=(2m-1,1)が明らかに解やろ？
72:１３２人目の素数さん
18/06/12 07:16:06.81 j+j5uVfX.net
>>66
説明できないんですか？
73:１３２人目の素数さん
18/06/12 07:22:09.30 9Z8Gi4US.net
わからないんですね
74:１３２人目の素数さん
18/06/12 08:24:01.85 j+j5uVfX.net
>>73
f=gで済むのになぜ積分出てくるの？
積分で表せないのに？
75:１３２人目の素数さん
18/06/12 08:30:25.03 6jv6n9r6.net
点が見えてないのか。
76:１３２人目の素数さん
18/06/12 09:22:43.29 j+j5uVfX.net
>>75
ホントだ
見えてなかった
77:１３２人目の素数さん
18/06/12 09:38:22.53 C/vySmSt.net
今日も「解いた側」の圧勝かぁ・・・。
毎日毎日、ラクラク解ける問題ばかりだから常勝なんだよね・・・。
たまには、解けない解けないっと悩んで負けてみたい、それが今の切実な悩み。
78:１３２人目の素数さん
18/06/12 09:43:33.11 Kj/UZuR0.net
しょうもない質問で申し訳ないのですが、紫の部分の理由がわかりません。教えていただけますか？
URLﾘﾝｸ(i.imgur.com)
79:１３２人目の素数さん
18/06/12 10:24:01.62 lZI0zzS9.net
わからないんですね
80:１３２人目の素数さん
18/06/12 10:32:48.22 qUC7B6wN.net
訃報・朗報
誤答爺さん2チャンやめないようだ。言ってることは支離滅裂、ボケ症状、アルツハイマー
>以前、私は「2チャンには書かないことにする」と明記したのであって、「2チャンをやめることにする」とは書いていない。
81:１３２人目の素数さん
18/06/12 10:49:26.35 xrjXgpOO.net
任意の自然数kに対して、n^2+7が2^kの倍数となる自然数nが無数に存在することを示せ。
82:１３２人目の素数さん
18/06/12 10:56:03.92 xrjXgpOO.net
>>78
三角形の角の取りうる値の範囲を考えればわかる
A+B+C=πだから、(2B+C)/2=B+C/2は当然π未満
B-C/2はBが0、Cがπのときが下限なので、B-C/2>-π/2
83:１３２人目の素数さん
18/06/12 11:57:16.32 R6fvVpp+.net
x_1,x_2はそれぞれ独立な確率変数で、その確率密度分布は平均μ_1,μ_2、標準偏差σ_1,σ_2の正規分布で与えられるものとする。このとき、x_1x_2平面上での確率密度分布の概形を図示せよ。
84:１３２人目の素数さん
18/06/12 11:59:08.56 /lnEoRoh.net
>>80
>言ってることは支離滅裂、
これは(お前さんにとって)アスペに近いような解釈というべきであって、全く違う。
「2チャンには書かないことにする」と「2チャンをやめることにする」とについて、
論理的に考えた結果だけでなく、普通に考えても、客観的には
多くの場面で「書かない」の意味と「やめる」の意味は相異なるだろ。
通常、何の根拠もないのに、2つの意味が同じとは捉えないだろ。
むしろ、何の根拠があって「書かない」と「やめる」の意味が同じといえるのかを教えほしい位だ。
>ボケ症状、アルツハイマー
これは話に付き合ってレスしただけ。
はじめ、私が書いた内容は、誰も関心持たない内容だったけどな。
その後に書かれたレスに対する私のレスの中で、ボケを書くことになった。
85:１３２人目の素数さん
18/06/12 12:39:37.43 4N7y8Kvr.net
劣等感の相手は無駄
86:１３２人目の素数さん
18/06/12 14:18:01.41 sgSsNzGz.net
>>81
k=3のとき
n=1+8t (t∈N)とすればよい。
k=K≧3で成立するとしてk=K+1とする。
a^2+7が2^Kの倍数となるものをとる。
a^2+7が2^(k+1)で割り切れればb=aとおく
a^2+7が2^(k+1)で割り切れなければb=a+2^(k-1)とおく
いずれにせよn=b^2+2^(K+1)t (t∈N)とおけばn^2+7は2^(k+1)の倍数。
87:１３２人目の素数さん
18/06/12 17:12:27.11 YFJLrlqV.net
>>81
kについての帰納法で…
nn+7 は 2^k の倍数とする。(k≧3)
nn+7 = M･2^k,
・Mが偶数のとき
nn+7 は明らかに 2^(k+1) の倍数。
・Mが奇数のとき
n ' = 2^(k-1) ± n とおく。
n'n'+ 7 = 2^(2k-2) ± 2^k･n + (nn+7)
= 2^k {2^(k-2) ±n +M}
= 2^(k+1){2^(k-3) + (±n+M)/2} (←n,Mは奇数)
は 2^(k+1) の倍数。
88:１３２人目の素数さん
18/06/12 19:21:43.61 +RJQH4MP.net
xy平面上の三角形ABCにおいて、ABCがすべて格子点にあって、かつ、三角形ABCの三辺の長さa、b、cはすべて整数である場合、a+b+c及びa^2+b^2+c^2の偶奇を答えよ。
89:１３２人目の素数さん
18/06/12 19:48:07.04 qBPEHh1J.net
>>88
a=m^2-n^2, b=2mn, c=m^2+n^2
となる整数m.nが取れるとして一般性を失わない。
∴(a,b,c) = (偶,偶,偶), (奇,偶,奇)が必要。
それぞれ(a,b,c)=(6,8,10), (3,4,5)の時成立。以下ry
90:１３２人目の素数さん
18/06/12 20:20:01.47 6jv6n9r6.net
(0,0),(6,0),(3,4).
91:１３２人目の素数さん
18/06/12 21:38:13.70 qBPEHh1J.net
しまったorz
92:１３２人目の素数さん
18/06/12 21:43:29.61 qBPEHh1J.net
結局即答出来る必要条件満たすやつ全部存在するんや。
全部っても実質 偶 偶 偶 と奇 奇 偶 だけやけど。
それ見つけてお終いか。
93:１３２人目の素数さん
18/06/12 22:00:01.07 6jv6n9r6.net
ｘ方向の変位をｐとすると
Σ(p)=0.
頂点が格子点ならｐは整数で
Σ(p^2)≡Σ(p)=0.
ｙ方向の変位をｑ，辺の長さをａとすると
Σ(a^2)=Σ(p^2)+Σ(q^2)≡0.
ａが整数だとすると
Σ(a)≡Σ(a^2)≡0.
94:１３２人目の素数さん
18/06/13 02:13:51.36 QU3h3eAk.net
>>89
直角三角形でいいのはどうして
95:１３２人目の素数さん
18/06/13 17:43:34.61 YctNVvP8.net
連続する3個の自然数の積として表現できる自然数全体からなる集合をSとする。
Sの要素に、10進法表記したときある桁から7が77回連続して現れるものが存在することを示せ。
96:１３２人目の素数さん
18/06/13 18:21:05.00 1ULbsMN0.net
91964139212704022315526370278617386075090402867964534426886416738759971369567
x
91964139212704022315526370278617386075090402867964534426886416738759971369568
x
91964139212704022315526370278617386075090402867964534426886416738759971369569
=
777777777777777777777777777777777777777777777777777777777777777777777777777774616474463837632127238583496479647324230964804236997193741500026952940904443968259409613718746455068163371604532631421508987272386801860823935668412648864.
97:１３２人目の素数さん
18/06/13 22:02:29.76 5ZmF3Enb.net
>>96
N = floor( (7/9)^(1/3) × 10^77 + 1/2)
でござるな。
98:１３２人目の素数さん
18/06/13 22:19:10.88 G06YDg1G.net
1.ｙがｘの二次関数で、原点（０，０）と点（１，２）を通るとき
2.ｙがｘの二次関数で、2点（１，４）と（３、３６）を通るとき
3.ｙがｘの二次関数で、頂点が（２、３）のとき
2つの公式を活用するところまでわかるのですがどのように活用するかわかりません
どなたか解き方を教えて欲しいです
99:１３２人目の素数さん
18/06/13 22:36:59.02 diTEIVdx.net
高1の数Aです。
1つのサイコロを4回続けて投げるとき、1の目が2回出て、4回目は1以外の目が出る確率
ですが、何故か25/432になるかどなた教えていただけないでしょうか。
何度やっても25/216になります。
100:１３２人目の素数さん
18/06/13 22:41:44.29 H9t5Df4O.net
>>98
問題文を正確に書け できれば画像で上げろ
>>99
君はどう考えたのかを書け
101:１３２人目の素数さん
18/06/13 23:01:00.57 QU3h3eAk.net
>>99
君は4回のうち2回が1なので4C2(1/6)^2*(5/6)^2 とやっているのかな？
102:１３２人目の素数さん
18/06/14 09:58:15.26 ZGiV6a0r.net
東京大学理学部数学科を目指すか迷う。
103:１３２人目の素数さん
18/06/14 10:11:10.84 ZGiV6a0r.net
死んだら死に方に関わらず無になってもう二度と有にならなくて済むのなら今すぐにでも自殺したい。
104:１３２人目の素数さん
18/06/14 10:28:11.64 L2SRJeq0.net
死んだら無になりますから、安心して自殺していいですよ
105:１３２人目の素数さん
18/06/14 10:32:35.85 ZGiV6a0r.net
死んだら無になる根拠を教えてください。
106:１３２人目の素数さん
18/06/14 10:38:42.31 YPFtLO0D.net
サイコロを振って12が出たらA君の勝ち3456が出たらB君の勝ちというゲームで
1ゲームが1振りで決まる場合はA君の勝つ確率は1/3でB君の勝つ確率は2/3ですが
1ゲーム10振りや1ゲーム100振りの場合の勝つ確率ってどうなるんでしょうか？
107:１３２人目の素数さん
18/06/14 10:52:34.57 L2SRJeq0.net
>>105
目障りなのでさっさと死ねと言ってるんです
108:１３２人目の素数さん
18/06/14 12:31:38.63 K1YNkYrT.net
1ゲーム10振りの場合
A君の勝つ確率は1-(2/3)^10でB君の勝つ確率は1-(1/3)^10
1ゲーム100振りの場合
A君の勝つ確率は1-(2/3)^100でB君の勝つ確率は1-(1/3)^100
109:１３２人目の素数さん
18/06/14 12:47:53.72 cJE7jgYS.net
>>105
死んだくらいで無になるわけねーよ
生きてるうちは誰の記憶にも残らんように何もすんな
それに死体くらいは隠滅しとけ
110:１３２人目の素数さん
18/06/14 13:00:43.70 VSzXXZka.net
>>98
1． 2点を通る直線は y = 2x だから、y = ax(x-1) + 2x，(a≠0)
2． 2点を通る直線は y = 16x-12 だから、y = a(x-1)(x-3) + 16x-12, (a≠0)
3． y = a(x-2)^2 +3, (a≠0)
111:１３２人目の素数さん
18/06/14 14:26:40.87 YPFtLO0D.net
>>108
その式を計算するとそれぞれ何％になりますか？
112:１３２人目の素数さん
18/06/14 14:42:14.89 IAfD7sKS.net
10回出したら勝ちなのか、10回中で出した目が多い方が勝ちなのかどっちだよ
113:１３２人目の素数さん
18/06/14 14:56:13.61 YPFtLO0D.net
>>112
10振りなら6勝先取 100振りなら51勝先取で1試合の勝ちという感じです
114:１３２人目の素数さん
115:
1辺の長さが1の正四面体ABCDの面ABCDに四面体PABCを貼り付ける。この2つの立体を合わせた立体をVとする。 ただしPA=PB=PC=kで、点Pは正四面体ABCDの外部にある。 （1）PABCが立体となるためにはk>aであることが必要である。aの値を求めよ。 （2）PAの中点をQとする。3点D,B,Qを通る平面でVを切り分けるとき、分けられた2立体の体積比を求めよ。
116:１３２人目の素数さん
18/06/14 17:25:38.15 oA2pvhee.net
（1）f(x)=log[2](2^x-1)に対して、lim[x→∞]{f(x)-x}=0を示せ。
（2）実数f(100)を10進法表記したとき、小数点以下に連続して3個以上の0が並ぶことを示せ。
117:１３２人目の素数さん
18/06/14 18:29:09.79 VCCse415.net
>>108は確率足すと1越えるから明らかに間違いな
118:１３２人目の素数さん
18/06/14 18:29:42.04 x8uR5baj.net
f(x) = x + log[2](1 - 2^(-x)) < x - 2^(-x) / log2
119:１３２人目の素数さん
18/06/14 18:35:50.34 x8uR5baj.net
あ、下から評価もせんとダメか。
log (1+x) > x/(1+x)
120:１３２人目の素数さん
18/06/14 18:49:17.48 oA2pvhee.net
>>118
この不等式はどうやって作ったのですか？
原題が不等式を作るのにノーヒントなのでどうすればいいかわからなかったです
121:１３２人目の素数さん
18/06/14 19:06:49.17 Q72XAXiR.net
>>106
A君が勝つ確率がだんだん上がっていく（ただし、引き分けが生じない回数で考えた場合）
たとえば3回（2勝先取）なら20/27
数が大きくなると計算面倒
122:１３２人目の素数さん
18/06/14 19:13:02.43 x8uR5baj.net
勘
123:１３２人目の素数さん
18/06/14 19:15:48.89 K1YNkYrT.net
>>116
排反でなければ問題なし。
124:１３２人目の素数さん
18/06/14 19:31:12.47 aFStFJP/.net
>>122
面倒だから>>116と書いたが、
>>108は、Aが勝つ確率もBが勝つ確率も回数が増えると1に収束するが、いったい何を計算しているつもりなんだ？
まず考えて出てくる、「先に10回出た方が勝ち」や「10回中で出した目が多い方が勝ち」はA、Bの勝利は排反
排反でないものも考えたが、「A、Bそれぞれが10回振って10回出たら勝ち」等は1に収束しようもない
125:１３２人目の素数さん
18/06/14 19:42:40.69 K1YNkYrT.net
サイコロを振って12が出たらA君の勝ちで10振りでA君の勝つ確率は1-(2/3)^10
126:１３２人目の素数さん
18/06/14 19:47:49.13 54nWgQnS.net
>>82
ありがとう御座いました。助かりました
127:１３２人目の素数さん
18/06/14 19:52:17.52 aFStFJP/.net
1ゲーム1振りを10ゲームして1ゲーム以上勝つ確率かよ
128:１３２人目の素数さん
18/06/14 19:53:42.65 K1YNkYrT.net
1ゲーム10振り
129:１３２人目の素数さん
18/06/14 19:58:13.30 aFStFJP/.net
同じこと
1ゲーム10振りで1振り以上出たら勝ちとする確率
少なくとも>>106が求めている>>113ではない
130:１３２人目の素数さん
18/06/14 19:59:50.91 K1YNkYrT.net
後出し
131:１３２人目の素数さん
18/06/14 20:02:52.13 aFStFJP/.net
後だし以前に明らかに条件不足だったんだから
132:１３２人目の素数さん
18/06/14 22:19:42.38 7LC0gJAi.net
日本民法の父、穂積陳重の『法窓夜話』を現代語に完全改訳
法律エッセイの古典的名著が短編×１００話で気軽に読めます
リライト本です。「なか見検索」で立ち読み頂けます。
法窓夜話私家版 （原版初版1916.1.25）
URLﾘﾝｸ(www.amazon.co.jp)
（続）法窓夜話私家版 （原版初版1936.3.10）
URLﾘﾝｸ(www.amazon.co.jp)
a
133:１３２人目の素数さん
18/06/15 00:54:00.53 ZqKEAMLk.net
>>114
点Pは正四面体ABCDの外部にある
だけでは説明不足じゃね
点Pは平面ABCに関して点Dの反対側にある
じゃね
134:１３２人目の素数さん
18/06/15 04:54:13.65 EvP5Ra7H.net
>>109
精神的には無になるだろ？
135:イナ
18/06/15 05:42:06.47 AD4aZ2+Q.net
>>98自信ないけど、答案です。
1.ｙがｘの二次関数で、
原点（０，０）と点（１，２）を通るから、
y=2x^2
勘で。
2.ｙがｘの二次関数で、
2点（１，４）と（３、３６）を通るから、
y=4x^2
これも勘。
3.ｙがｘの二次関数で、頂点が（２、３）だから、
y-3=a(x-2)^2 (a≠0)とおくと、
y=ax^2-4ax+4a+3
a＞0のときxの二次関数のグラフは、x=2を軸、(2,3)を頂点として下に凸の放物線。異なる実数解を持つ。
a＜0のときxの二次関数のグラフは、x=2を軸、(2,3)を頂点とする上に凸の放物線。実数解を持たない。
ともにy軸と(0,4a+3)で交わる。
難しい。
136:イナ
18/06/15 06:11:49.75 AD4aZ2+Q.net
訂正。前>>134
2.ｙがｘの二次関数で、
2点（１，４）と（３、３６）を通るから、
当該xの二次関数を
y=bx^2+cx+d(b≠0)とおくと、
4=b+c+d―①
36=9b+3c+d―②
②-①より
36-4=8b+2c
8b+2c=32
c=16-4b
①に代入。
4=b+16-4b+d
d=3b-12
y=bx^2+(16-4b)x+3b-12
b＞0のとき下に凸の放物線。
b＜0のとき上の凸の放物線。
137:イナ
18/06/15 06:21:04.31 AD4aZ2+Q.net
訂正。前>>135
1.ｙがｘの二次関数で、
原点（０，０）と点（１，２）を通るから、
y=ex^2+fx（e≠0）とおくと、
2=e+f
f=2-e
y=ex^2+(2-e)x
e＞0のとき下に凸の放物線。
e＜0のとき上に凸の放物線。
138:１３２人目の素数さん
18/06/15 09:40:05.73 ZYwI/uq2.net
pは自然数で、pと自然数qは互いに素であるとする。
|log[2](6)-(q/p)|<1/9を満たすp,qを一組求めよ。
139:１３２人目の素数さん
18/06/15 10:19:53.75 fTDp/mts.net
(p,q) = (2584962500721, 1000000000000)
140:１３２人目の素数さん
18/06/15 15:45:42.22 ZYwI/uq2.net
そういうのいいから
不等式をクリアする最も簡潔な方法でよろしく
141:１３２人目の素数さん
18/06/15 22:12:53.60 M8WP63MJ.net
不定積分の問題です。
∫(cosx/(1+cosx))dxをt=tan(x/2)とおいて、積分お願いします。
142:１３２人目の素数さん
18/06/15 23:04:19.32 9
143:/dG5eik.net
144:１３２人目の素数さん
18/06/16 01:07:31.76 Sq4cRvDq.net
>>137
log[2](6) = ln(6)/ln(2) = 1 + ln(3)/ln(2)
2^3 = 8 < 9 = 3^2 より ln(3)/ln(2) > 3/2 = 1.5
3^5 = 243 < 256 = 2^8 より ln(3)/ln(2) < 8/5 = 1.6
∴ 2.5 < log[2](6) < 2.6
また 2.6 - 2.5 = 0.1 < 1/9,
(p，q) = (2，5) (5，13)
145:１３２人目の素数さん
18/06/16 01:23:30.75 Sq4cRvDq.net
>>140
t = tan(x/2) とおくと
∫ cos(x)/{1+cos(x)} dx = ∫{1 - 1/[1+cos(x)]} dx
= ∫ {1 - 1/[2cos(x/2)^2]} dx
= x - ∫ 1/[cos(x/2)]^2 d(x/2)
= x - tan(x/2) +c
= x - sin(x)/[1+cos(x)] + c,,
146:１３２人目の素数さん
18/06/16 11:29:02.05 yyrwvr6q.net
pを素数、a,b,m,nを正の整数とし、実数α、βを
α=(a+m√p)^(1/3)、β=(b-n√p)^(1/3)
と定める。
以下の問いに答えよ。なお、αとβが無理数であることの証明は与えなくてよい。
（1）αとβがある整数係数の2次方程式f(x)=0の2解となるならば、m=nであることを示せ。
（2）αとβがある整数係数の2次方程式g(x)=0の2解となるとき、a≠bとなることがあるか調べよ。
（3）a,b,m,nに適当な正整数を与え、αとβを解に持つ整数係数の2次方程式を1つ求めよ。
147:１３２人目の素数さん
18/06/16 12:48:15.16 yyrwvr6q.net
1辺の長さがaの正八面体Vを考える。
（1）Vの向かい合う面の距離Laを求めよ。
（2）Vの1つの頂点をA、そのVの重心Gに関して反対側の頂点をBとする。またVの残りの4頂点をP、それら4点の乗る平面をπとする。
A、Bを通る平面が直線PGと角θで交わるとき、その平面により切断されるVの断面の面積S(θ)を求めよ。ただしθは0≦θ<2πで、θはGPを始線として反時計回りにとる。
（3）Sa = (1/2π){ ∫[0→2π] S(θ) dθ } を求めよ。
（4）積Sa・LaはVの体積の何倍か。
148:１３２人目の素数さん
18/06/16 13:36:36.13 LmmABGQC.net
La
149:１３２人目の素数さん
18/06/16 13:54:52.78 LmmABGQC.net
Wolfram先生の1/cos(x)の積分ってあんまり綺麗な表示じゃないね。
URLﾘﾝｸ(www.wolframalpha.com)(x)%5D
150:１３２人目の素数さん
18/06/16 14:30:50.60 LmmABGQC.net
α=k+l√d k.lは半整数.dは0または平方因子を持たない正の整数とおける。
a+m√p=…+…√dを得るがdが0のときまたはpでないときはm=0。
これは題意に反するからd=pである。
よってα=k+l√pを得る。
同様の議論とα+β、αβが整数からβ=k-l√pを得る。
151:１３２人目の素数さん
18/06/16 14:58:43.17 SG0FlKwI.net
あ、l=0の可能性の議論が抜けてるか。その時は3乗して整数だから題意に反する。
152:１３２人目の素数さん
18/06/16 19:21:01.40 yyrwvr6q.net
>>145
（誤）残りの4頂点をP
（正）残りの4頂点のうちの1つをP
153:１３２人目の素数さん
18/06/16 20:09:50.65 yyrwvr6q.net
a>b>cである正の実数a,b,cに対して、次の極限を求めよ。
lim[n→∞] {(a/b)^n+(b/c)^n+(c/a)^n}^(1/n)
154:１３２人目の素数さん
18/06/16 21:37:05.28 GifX1Q8D.net
対称テンソル空間のある基底に関して、とりあえず次が言えれば正規直交だということまではわかったのですが、肝心の↓が示せないので教えてください
n,pを自然数、1≦p≦nとする。p個の自然数の組(i1,i2,…,ip)で1≦i1≦…≦ip≦nを満たすものを考える。各k=1,…,nについてkと等しいijの個数をa(k)と書くことにする。Spをp次対称群とするとき
Σ[σ∈Sp]<e[σ(i1)],e[i1]>…<e[σ(ip)],e[ip]>
=a(1)!…a(n)!
が成り立つ。ただしi,j=1,…,nに対して<e[i],e[j]>=δ[i,j](クロネッカーのデルタ)とする
155:１３２人目の素数さん
18/06/16 21:44:23.49 WsLrmbBq.net
>>152
e[ik]って？
156:１３２人目の素数さん
18/06/16 21:49:40.38 xYNQBef5.net
意味わかった。そして意味わかったらほとんど自明にすら思える。
結局σ(i_k) = i_kを満たすσの個数は何個ですか？って問だからそりゃ
a(1)!…a(n)!個でしょ？
157:１３２人目の素数さん
18/06/16 21:49:41.92 GifX1Q8D.net
>>153
添え字が分かりづらかったので修正します
n,pを自然数、1≦p≦nとする。p個の自然数の組(i_1,i_2,…,i_p)で1≦i_1≦…≦i_p≦nを満たすものを考える。各k=1,…,nについてkと等しいi_jの個数をa(k)と書くことにする。S_pをp次対称群とするとき
Σ[σ∈S_p]<e[σ(i_1)],e[i_1]>…<e[σ(i_p)],e[i_p]>
=a(1)!…a(n)!
が成り立つ。ただしi,j=1,…,nに対して<e[i],e[j]>=δ[i,j](クロネッカーのデルタ)とする
158:１３２人目の素数さん
18/06/16 21:59:16.60 GifX1Q8D.net
>>154
うぬぬ……ほぼ自明なレベルなのか
組み合わせ苦手すぎてハゲそうなので、詳しく教えてください
159:１３２人目の素数さん
18/06/16 22:10:54.88 i4oys3/w.net
ピンときにくかったらp=6位でiが1≦2≦2≦2≦4≦4位で試してみればいい。a1=1,a=3,a4=2で他は0。
(i(σ(1))=i(1), (i(σ(2))=i(2), (i(σ(3))=i(3),
(i(σ(4))=i(4), (i(σ(5))=i(), (i(σ(6))=i(6),
を満たす６次対称群の元は何個ですか？です。
160:１３２人目の素数さん
18/06/16 22:36:31.93 GifX1Q8D.net
あ！等しいi_jの中で順列させればいいのか！
これをk=1,…,nで掛け合わせればいいだけかいな！
ありがとうございます！
161:１３２人目の素数さん
18/06/16 22:48:44.76 okXCyiPp.net
>>147
どうだといいの？
162:１３２人目の素数さん
18/06/17 02:07:04.73 lI+JiKnS.net
>>143
tを使わないところが いいね！
分かスレ積分公式
∫[0，x] 1/{1+cos(t)} dt = tan(x/2) = sin(x)/{1+cos(x)} = {1-cos(x)}/sin(x),
∫[x，π/2] 1/{1-cos(t)} dt = cot(x/2) = sin(x)/{1-cos(x)} = {1+cos(x)}/sin(x),
辺々掛ければ１
>>151
Max{a/b，b/c}
163:１３２人目の素数さん
18/06/17 10:28:49.65 I7E9oZ97.net
(n+1)/3^nの無限級数なんですが、これはどのようなアプローチで解けばいいんでしょうか？
164:１３２人目の素数さん
18/06/17 10:51:28.23 Mnf6xpK6.net
アメリカは日本の不幸の元凶である。
・アメリカはインディアン殲滅と土地略奪、奴隷貿易で成立したキチガイ国家である。
・その汚らしい歴史を薄めるため、ありもしない南京大虐殺の罪を日本に被せ、自らは正義面をし世界に
アメリカ流をゴリ押ししている。
・中国共産党と北朝鮮そして韓国はアメリカが作った傀儡国である。
・これらの三か国に反日と憎悪を煽り日本への破壊行為の手助けをしてるのは紛れもなくアメリカである。
・北朝鮮にミサイルを打たせてるのはアメリカである。中国の日本領海の侵入を後押ししてるのもアメリカである。
・日本へのタカリ根性と乞食根性が染みついた韓国中国をとことん甘やかし増長させてるのもアメリカである。
・日本を滅ぼす行為を裏で操りながら、守ってやると偉そうに米軍基地を置き日本を監視し独立を
阻害してるのはアメリカである。
・GHQ体制以後、アメリカは在日朝鮮人を日本の間接支配の道具とし、様々な重要ポストを与え日本人を牽制かつ毀損し
日本人の監視を行わせている。
・芸能界において人気がないにもかかわらず、在日やハーフもしくは白人が起用されるのはアメリカの圧力があるからである。
・アメリカは貿易黒字のドルを金へ兌換することを日本に許さず。エンドレスに米国債を買わせアメリカ経済とドルを
支えることを強制している。
・アメリカは緊縮財政と消費増税かつ東京一極集中を日本政府に行わせ、日本人を貧乏かつ疲弊させ、国力低下と日本人削減を
徹底的に行わせている。
・アメリカは日本政府に移民を大量に入れることを命令し、日本の文化と秩序を壊し、日本を東南アジアのような貧乏かつ
売春大国にしようとしている。
・アメリカは自ら作った国際緊張で日本を脅し、日本の法律と憲法の上に位置するTPPもしくはFTAを結び、日本の主権を奪い
日本人を奴隷にしようとしている。
165:１３２人目の素数さん
18/06/17 12:30:03.49 k4BzYLTo.net
マジで困ってます
高校の問題です
前者をどう変形したら後者の状態に持っていけるのか全く分かりません
誰か助けて下さい
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
166:１３２人目の素数さん
18/06/17 12:41:53.77 k4BzYLTo.net
すいません、自己解決しました
分母を二乗して根号の中に入れてから有理化すればいいんですね
二重根号の処理の勉強になりました！
167:１３２人目の素数さん
18/06/17 12:44:01.16 k4BzYLTo.net
「これできれいな形になる」というのは事前に分かるものなのでしょうか？
とりあえずやってみればどんなどんな体での二重根号/根号でも綺麗にはなる？
168:１３２人目の素数さん
18/06/17 13:28:07.32 RU8snE82.net
>>161
d/dx(x^(n+1))=(n+1)x^n が使えないかどうかを考える。
169:１３２人目の素数さん
18/06/17 14:26:22.87 OPJPJ65l.net
URLﾘﾝｸ(i.imgur.com)
よかったら考えてもらえませんか？(2)から手も出ない状況です。
170:１３２人目の素数さん
18/06/17 14:41:32.98 z1smBPLA.net
わからないんですね
171:１３２人目の素数さん
18/06/17 14:51:29.77 Y+DpHGzn.net
Erdős–Gallaiの定理の等号が成立する事は、完全グラフである事と同値ですか?
172:１３２人目の素数さん
18/06/17 15:09:46.99 lI+JiKnS.net
>>161
S_n = Σ[k=0，n] (k+1)r^k (r≠1)
とおくと
(1-r)S_n = Σ[k=0,n] (k+1)r^k - Σ[k=0,n] (k+1)r^(k+1)
= Σ[k=0，n] (k+1)r^k - Σ[k=0，n+1] k r^k
= Σ[k=0，n] r^k - (n+1)r^(n+1)
= {1 - r^(n+1)}/(1-r) - (n+1)r^(n+1)
= 1/(1-r) -{(n+1) + 1/(1-r)}r^(n+1),
Σ[k=0，n] (k+1)/3^k = (9/4){1 -(1/3)^(n+1)} - (1/2)(n+1)(1/3)^n
= 9/4 - (2n+5)/{4(3^n)}
173:１３２人目の素数さん
18/06/17 16:00:45.21 lI+JiKnS.net
>>167
(1)
det(A-xI) = (5/2-x)^2 - (3/2)^2 = (x-1)(x-4),
題意より λ1 = 1, λ2 = 2.
T = [ t1，t2]
[-t1，t2]
T^(-1) = [t1，-t1]
[t2， t2]
t1 = ±1/√2，t2 = ±1/√2,
(2)
Ω = T Ωo T^(-1),
また定義により
exp(T Z T^(-1)) = T exp(Z) T^(-1),
∴ D(z) = exp(zΩo),
exp(zΩ) = T exp(zΩo) T^(-1),
(3)
(d/dz) exp(zΩo) = Ωo exp(zΩo),
(d/dz) exp(zΩ) = Ω exp(zΩ),
174:１３２人目の素数さん
18/06/17 16:29:58.08 otbRHpWQ.net
1/(p^2 + a^2) のフーリエ変換の積分を教えてください。量子力学の問題で出てきました。
解きたいのは
ψ(x) = ∫[ {1/(p^2 + a^2)} * exp(ipx) ] dp
です。積分区間は -∞～∞です。
答えは (π/a)*exp(-ax) とわかっているのですが、全然解き方がわかりません。
1/(p^2 + a^2) 部分が arctan で π/a はわかりますが、指数関数がどう出てくるのか…。
175:１３２人目の素数さん
18/06/17 16:59:56.91 QjvB9Pxf.net
>>172
ψ(x) = ∫[ {1/(p^2 + a^2)} * exp(ipx) ] dp
=2πiRes(Im p＞0)({1/(p^2 + a^2)} * exp(ipx))
=2πiRes(Im p＞0)(1/(2ai)*(1/(p-ai)-1/(p+ai))*exp(ipx))
=2πi[1/(2ai)*(exp(-ax))]
=π/a*exp(-ap)
176:１３２人目の素数さん
18/06/17 17:41:51.98 otbRHpWQ.net
>>173
このスピードでの回答、ありがとうございます。
留数定理、すっかり頭から抜けていました…。
177:１３２人目の素数さん
18/06/17 20:10:19.35 2jbfugSz.net
nを自然数、aを実数、αを複素数とする。
xについての以下の方程式が実数解を持つとき、aとαが満たす条件を求めよ。
(a-αx)^(1/n)=(1-x)^a
178:１３２人目の素数さん
18/06/17 20:37:05.81 S9i0Ooes.net
>>175
αが複素数なら左辺多価関数になるやん。
そこの扱いを明示しないと答えだせないやん。
logの分岐を一個指定してるのか、多価関数として答えるのかで大分ちがうでしょ？
その手のexcuseがいらないのは 正の実数^複素数 か 複素数^整数 の形に限られるやん。
179:１３２人目の素数さん
18/06/17 20:39:59.96 Rngd3+eh.net
>>176
＞その手のexcuseがいらないのは 正の実数^複素数 か 複素数^整数 の形に限られるやん。
なぜですか？
180:１３２人目の素数さん
18/06/17 20:51:18.40 S9i0Ooes.net
>>177
なぜもへったくれも
正の実数^複素数はa^b = exp(b log a)という定義でaが正の実数なら多価性なしに一意に定まるし
複素数^整数は帰納的に一意に値が定まる。
この２つの異なる冪の定義は定義域が共通のところでは値が一致するからどっちの意味で使われてるかは読者に自分で判断させるというのがみとめられてるけど、それ以外の場合ではlogの多価性のためにa^bは多価値になる。
だから関数論で複素数^複素数の型がでてきたら、まず１００％そこの扱いについて指示があるやん。たとえば数学辞典の特殊関数のコンタワー積分表示のとことかみてみるといい。全部 “ただしlog××の偏角は××とする” とかいちいちついてるから。
181:１３２人目の素数さん
18/06/17 21:01:09.38 SWiJOYRS.net
関数列 fn(x)=(x/(1+x^2))^n が一様収束か判定する問題なのですが
極限関数すら求められずに困ってますので助けて下さい
182:１３２人目の素数さん
18/06/17 21:01:41.43 Rngd3+eh.net
>>178
＞正の実数^複素数はa^b = exp(b log a)という定義でaが正の実数なら多価性なしに一意に定まるし
なぜですか？
183:１３２人目の素数さん
18/06/17 21:08:14.91 2jbfugSz.net
小さい方から数えてn番目の素数をpn、pnを3で割った余りをrnとする。
例えばp1=2,p2=3,...であり、r1=2,r2=0,...である。次の極限が収束するかどうかを判定せよ。
lim[n→∞] (Σ[i=1,...,n] ri)/(3n)
184:１３２人目の素数さん
18/06/17 21:24:57.39 S9i0Ooes.net
収束する。(∵算術級数の素数定理)
185:１３２人目の素数さん
18/06/17 22:18:09.95 2jbfugSz.net
>>182
極限値は？
186:１３２人目の素数さん
18/06/17 22:24:03.53 B7JlpROS.net
1/2
187:１３２人目の素数さん
18/06/17 23:00:56.55 iAMcL18Q.net
>>179
極限関数なら、単に (実数)^n の形の極限なので
|x/(1+x^2)| と 1 の大小を考えればわかる
188:１３２人目の素数さん
18/06/18 00:34:38.00 wEh7fB1P.net
>>145 >>150
頂点の座標を
A (0，0，a/√2)
B (0，0，-a/√2)
P (a/√2，0，0)
(-a/√2，0，0)、(0，±a/√2，0)
とおく。
平面Π： z=0 （xy-平面）
(1) 2平面
x+y+z = ±a/√2
の距離は
La = (√6)/3 a,
(2)
切断面と平面Πの交線を QQ~ とおく。
切断面は菱形で、対角線の長さは
AB = (√2)a,
QQ~ = (√2)/(|sinθ|+|cosθ|) a,
S(θ) = (1/2)AB･QQ~ = 1/(|sinθ|+|cosθ|) aa,
(3)
Sa = (2/π)∫[0，π/2] S(θ)dθ = {(2√2)/π｝log(1+√2) aa = 0.793515021 aa,
(4)
(Vの体積) = (√2)/3 a^3 = 0.47140452 a^3,
Sa・La / (Vの体積) = {2(√6)/π｝log(1+√2) = 1.374408333
189:１３２人目の素数さん
18/06/18 00:48:22.85 3Cw+4nP1.net
>>181
コピペ貼り付けするならコテ付けてくれ
NGしやすいように
190:１３２人目の素数さん
18/06/18 00:55:39.63 wEh7fB1P.net
>>144
(3)
a = b = c(cc + 3ddp),
m = n = d(3cc + ddp),
α = c + d√p,
β = c - d√p,
f(x) = g(x) = (x-c)^2 - pdd，
c，d は正の整数かつ、cc - ddp = αβ > 0,
191:１３２人目の素数さん
18/06/18 01:06:28.51 wEh7fB1P.net
>>188
> かつ、cc - ddp = αβ > 0,
は余計だったか…
192:１３２人目の素数さん
18/06/18 02:58:32.50 44buFaWH.net
教えちくり。
半径1の円に外接する三角形について、その面積が最小となるのは正三角形となるときであることを示し、最小値を求めよ。
193:１３２人目の素数さん
18/06/18 03:33:49.69 wEh7fB1P.net
>>190
教えちゃる。
内心Iから各辺に垂線を下ろす。垂線の長さ（=半径）は１である。
IA，IB，ICを斜辺とする直角⊿ が2つずつできる。
頂角は A/2，etc. で直角を挟む2辺が１とcot(A/2） etc. ゆえ面積は (1/2)cot(A/2),
S = cot(A/2) + cot(B/2) + cot(C/2) (← 下に凸)
≧ 3cot((A+B+C)/6)
= 3cot(π/6)
= 3√3,
これはπより大きい…
等号成立は A=B=C すなわち正3角形のとき。
194:１３２人目の素数さん
18/06/18 19:01:26.77 jvPmzxd+.net
C1＝1、Cn+1＝1+1/(Cn+1)
数列{Cn}は収束するか、収束するならば極限値を求めよ。
分かりづらくて申し訳ありませんが左辺はn+1項、右辺はn項に+1です
195:１３２人目の素数さん
18/06/18 22:05:57.84 2sMbSi4R.net
半径1の円板Cが空間に固定されている。
半径1の円板DがCと少なくとも1点を共有するように動く。
空間内の、Dの動きうる領域の体積を求めよ。
196:１３２人目の素数さん
18/06/18 22:16:38.43 c8NdDRcW.net
長方形+半円の回転体
197:１３２人目の素数さん
18/06/19 01:30:16.24 NgoCtSrw.net
こんな中学の先生がいるとは驚き。。
URLﾘﾝｸ(twitter.com)
198:１３２人目の素数さん
18/06/19 01:38:08.87 +Z0hi4Oo.net
(3a)/4は途中式だってことなんじゃないですか？
3a÷4を計算せよ、って問題で3a÷4とそのまま書いたらバツですよね
199:１３２人目の素数さん
18/06/19 02:10:31.87 N+E2FPMS.net
俺の教科書では(3a)/4としてもよいと書いてあったけど、指導要領が変わったんだろうか？
200:１３２人目の素数さん
18/06/19 02:12:48.29 8bViHTdF.net
>>197
何の話よ
201:１３２人目の素数さん
18/06/19 02:16:28.22 8eLVrD8z.net
>>192
(C_k - √2)/(C_k + √2) = a_k
とおくと、
a_1 = - (√2 -1)^2 = -0.171572875
a_n = r･a_{n-1} = … = r^(n-1)･a_1 = r^n,
ここに r = - (√2 -1)^2 = -0.171572875
C_n = (√2)(1+a_n)/(1-a_n) = (√2)(1+r^n)/(1-r^n),
C_n → √2 (n→∞),
202:１３２人目の素数さん
18/06/19 06:36:11.97 noTa1t1M.net
曲線C:y=x^3-xをx軸方向にp、y軸方向にqだけ平行移動した曲線をDとする。
（1）CとDが相異なる3点で交わるとき、p,qの満たす条件を求めよ。
（2）（1）の条件を満たすp,qに対し、平面上の点K(p,q)を考える。Kの存在領域に外周を加えた領域Tの面積を求めよ。
203:１３２人目の素数さん
18/06/19 06:40:00.91 48FIQA61.net
x^3 + ２次式 = x^3 + 2次式 が３個の解
204:１３２人目の素数さん
18/06/19 08:10:17.56 BJWITDp+.net
(3b^15)^0
の答えは1で良いですか？
1bと書くべきですか？
205:１３２人目の素数さん
18/06/19 09:22:44.83 1Mj7RPId.net
1です
1bやbはそもそも1と等しくないですよね
206:１３２人目の素数さん
18/06/19 09:25:22.41 YquE4xm8.net
b=0のときって定義されてるんだっけ？
207:１３２人目の素数さん
18/06/19 09:32:44.68 ciqxOwIe.net
>>203
0乗は1になるのにbに数値が代入されたら1に限らなくなってしまうわけですか!!ありがとうございました!!
208:１３２人目の素数さん
18/06/19 09:53:24.81 1Mj7RPId.net
>>205
日本語読めますか？
209:１３２人目の素数さん
18/06/19 11:35:16.31 efjbiFlj.net
>>204
0^0=1って定義した方が都合が良いから出来るようになってるはず
210:１３２人目の素数さん
18/06/19 11:47:36.38 Mylnxob8.net
不定もしくは1じゃね
それよか
x+y=0
が同次方程式というのは0が0次じゃないってことだけど
0は0次次数無し-∞次のどれが一番都合よいかな
211:１３２人目の素数さん
18/06/19 11:59:52.58 nOlLyEY1.net
>>208
それこそ不定次数で良くないか
212:１３２人目の素数さん
18/06/19 13:00:17.75 CB3KgAFL.net
∫(sinx)^2 dxについて
cosの倍角定理使えば求まるのはわかるのですが、部分積分を使ってやってみようと思い
∫(sinx)*(sinx)=(-cos x)*(sinx) - ∫(-cos x)*(cosx)
=(-cos x)*(sinx) + ∫(cos x)^2
∫(cos x)^2 = (sinx)*(cosx) - ∫(sinx)*(-sinx)=sinx*cosx + ∫(sinx)^2
代入して
∫(sinx)^2=(-cos x)*(sinx) + sinx*cosx + ∫(sinx)^2
∫(sinx)^2=0 となってしまいます
計算ミスのはずなのですが、どこに計算間違いがあるのか分からなくて困っています
どなたかご教授お願いしますm(_ _)m
213:１３２人目の素数さん
18/06/19 13:06:23.94 S2GWbT4K.net
元に戻って 0=0 となってるだけだろ
214:１３２人目の素数さん
18/06/19 13:14:16.98 CB3KgAFL.net
(sinx)^2=-(cos (2x))/2 + 1/2
なので∫(-(cos (2x))/2 + 1/2) = (x/2) - (1/4)*sin2x
が正答でゼロにはならないですよね？
215:１３２人目の素数さん
18/06/19 13:16:07.71 CB3KgAFL.net
すいません、錯乱してましたｗ
もうダメだ
216:１３２人目の素数さん
18/06/19 13:21:18.64 S2GWbT4K.net
それが何か？
>>210では部分積分を二回繰り返して ∫（sinx)^2dx=∫(sinx)^2dx となっただけ。 だから 0=0。
やってることは
A+B=0 のとき A=-B。 A+B=0なので -B=A。よって A=-B=A。
217:１３２人目の素数さん
18/06/19 13:28:08.67 S2GWbT4K.net
>>210
∫(sinx)^2dx=(-cos x)*(sinx) - ∫(-cos x)*(cosx)dx
=(-cos x)*(sinx) + ∫(cos x)^2dx
=(-cos x)*(sinx) + ∫(1-(sin x)^2)dx
=(-cos x)*(sinx) + x-∫(sin x)^2)dx
よって
2∫(sin x)^2)dx=(-cos x)*(sinx) + x
これより
∫(sin x)^2)dx=(-cos x)*(sinx)/2 + x/2=x/2-(1/4)sin2x
218:１３２人目の素数さん
18/06/19 13:35:06.13 YqLWwoX8.net
あぶねえ・・・>>215とほぼ同じことを書いて被るとこだったぜ。
確認してよかった。
219:１３２人目の素数さん
18/06/19 14:27:45.70 8eLVrD8z.net
>>200
(1)
D: y = (x-p)^3 -(x-p) +q
CとDの差をとって
p(-3xx+3px-pp+1)+q = 0
2次式が相異なる3個の解をもつ。 >>201
p=q=0
220:１３２人目の素数さん
18/06/19 14:31:48.43 48FIQA61.net
>>217
交わってへんやん
221:１３２人目の素数さん
18/06/19 14:44:49.93 8eLVrD8z.net
>>200 の〔類題〕
曲線C：y=x^3-xをx軸方向にp、y軸方向にqだけ平行移動した曲線をDとする。
（1）CとDが相異なる2点で交わるとき、p,qの満たす条件を求めよ。
（2）（1）の条件を満たすp,qに対し、平面上の点K(p,q)を考える。Kの存在領域に外周を加えた領域Tの面積を求めよ。
222:１３２人目の素数さん
18/06/19 14:47:35.00 Iaxt14ne.net
結局p=q=0も不適だから解無しね。面積は０？
223:１３２人目の素数さん
18/06/19 14:55:06.71 JN81VQn2.net
数学板の初心者はここを見てね
数学板の荒らし
ｽﾚﾘﾝｸ(math板)
224:１３２人目の素数さん
18/06/19 14:55:23.93 Iaxt14ne.net
>>219
(1)
Affine変換して条件は
(x+p/2)^3 = (x-p/2)^3 +qが異なる２解をもつ
と同値。これは
3px^2 = q - p^3/4
が異なる２つの実数解をもつとき。
p=0で解無し、
p>0においては q>p^3/4。
p<0においては q<p^3/4。
(2)∞
225:１３２人目の素数さん
18/06/19 15:04:40.15 Iaxt14ne.net
>>220
affine不変じゃなかったorz
226:１３２人目の素数さん
18/06/19 15:13:52.32 Iaxt14ne.net
(1)
条件:3px^2-3p^2x+p^3-q=0が異なる２つの実数解もつ。
p=0で解無し。
p>0で
9p^4-12p(p^3-q)>0
-3p^3+12q>0
q>p^3/4
p<0で
9p^4-12p(p^3-q)>0
-3p^3+12q<0
q<p^3/4
(2)∞
あ、やっぱりAffine不変や。y=x^3-xをy=x^3に移すAffine変換で平行移動と可換なものが存在するから大丈夫ね。
227:１３２人目の素数さん
18/06/19 15:16:10.92 8eLVrD8z.net
>>219
(1)
D：y = (x-p)^3 -(x-p) +q,
C，Dの交点では
3pxx -3ppx +p^3 -p = q, >>217
が異なる2つの実数解をもつとき。
xx -px +(1/3)(pp -1 -q/p) = 0,
p=0 では 解なし。
p≠0 においては
判別式 = pp - (4/3)(pp -1 -q/p)
= -(4/3)(pp/4 -1 -q/p)
> 0,
∴ q/p > pp/4 -1,
228:１３２人目の素数さん
18/06/19 15:19:36.47 Iaxt14ne.net
あ、やっぱりAffine不変でなかった？x軸方向への移動と可換じゃないのか。
229:１３２人目の素数さん
18/06/19 20:09:02.34 WST3noPr.net
カカンカンはあるのにキキンキンはないのですか？
230:１３２人目の素数さん
18/06/19 20:43:17.20 gD+xhkxK.net
ジョルダン零集合の定義において閉矩形を開矩形と変えても問題無いとあったのですが何故でしょうか
面積や被覆で問題が出てしまいそうなのですが
231:１３２人目の素数さん
18/06/19 20:54:08.80 Mylnxob8.net
>>210
>代入して
>∫(sinx)^2=(-cos x)*(sinx) + sinx*cosx + ∫(sinx)^2
そっから
>∫(sinx)^2=0 となってしまいます
に持って行くまでが遠足ですよ
232:１３２人目の素数さん
18/06/20 00:05:17.85 5T3XbaB3.net
師匠方はまさか、小平次元を説明できるのですか？
233:１３２人目の素数さん
18/06/20 01:16:30.10 NOqKZWNF.net
頭が良くなりたいのに全然よくなりません
自殺するべきでしょうか？
234:１３２人目の素数さん
18/06/20 01:46:42.77 ZoYl55O4.net
>>193
Dをやめて直径（長さL=2の線分）だけにしても、たぶん同じ。
∴ 凸体のシュタイナーの公式
V(L) = V(0) + S(0)L + M(0)LL + (4π/3)L^3
で V(0) = 0，S(0) = 2π，M(0) = ππ，L=2 とおく。
235:１３２人目の素数さん
18/06/20 01:59:50.27 JDo3l7mV.net
>>232
ぐぐってもでてこん。解説おながいします。
236:１３２人目の素数さん
18/06/20 02:57:36.67 JDo3l7mV.net
URLﾘﾝｸ(en.wikipedia.org)
かな？M(0) = C[3,2]Vol(K,B,B) の出し方がわからん。orz
237:230挑発吉川晃司
18/06/20 02:59:45.32 5T3XbaB3.net
わからないのなら、
「わかりません、すいません、そこまで頭良くありません。」
って言えよ。
238:１３２人目の素数さん
18/06/20 03:05:43.84 JDo3l7mV.net
>>235
わかりません、すいません、そこまで頭良くありません。
解説おながいします。
239:１３２人目の素数さん
18/06/20 03:33:31.34 ZoYl55O4.net
>>227
虫さされ かゆみ 肩こり 腰痛には もちろんキンカンです。
金冠堂
URLﾘﾝｸ(www.kinkan.co.jp)
240:１３２人目の素数さん
18/06/20 03:58:11.97 JDo3l7mV.net
M(0) = 周の長さ×π/2？明日考えよ。
241:１３２人目の素数さん
18/06/20 04:01:29.71 ZoYl55O4.net
をっと、間違った。
>>233 >>234
稜の両側の面の2面角θ，長さd とする。
体積の増分は、稜線を軸とする 半径L、中心角θの扇形柱なので、{(1/2)θLL}･d
M(0) = (1/2)Σ[i] θ_i d_i
となる。これは多面体の場合。
本問の∂Cは円周なので θ_ｉ = π（裏返し）、|∂C｜= 2π とする。
∴ M(0) = ππ
242:１３２人目の素数さん
18/06/20 04:34:05.77 JDo3l7mV.net
>>239
なるほどね。thx。
wikipediaに乗ってる定義なら一般の凸体で成立するけど、結局それではV(K,B,B)という厄介な量を計算しないといけないけど、多面体の場合には簡単に計算できるのね。
まだまだ知らないテクニックあるなぁ。
243:１３２人目の素数さん
18/06/20 05:43:47.75 ncjG5jjw.net
1辺の長さが1の正二十面体の体積をV1、1辺の長さが1の正十二面体の体積をV2とする。
（1）V1とV2の大小を比較せよ。
（2）比{min(V1,V2)}/{max(V1,V2)}の値をrとする。rと2/(1+√5)の大小を比較せよ。
244:１３２人目の素数さん
18/06/20 10:26:48.15 8JA5i2Ll.net
置換積分でわからなくなったので教えて下さい
∫((logx)/(x*(3+logx)))
t=3+logxと置換して
x=e^(t-3)
dx/dt=e^(t-3)
∫ (t-3)/ (e^t-3 * t) *(dx/dt) dt
=∫ (t-3)/ t dt
=∫1 - 3/t dt
=t - 3log t
t=3+logxを代入して
3+logx - 3log(3+logx)
が答えだと思ったのですが、どうやら違うようです
どこに計算間違いがあるのか教えていただけないでしょうか？
245:１３２人目の素数さん
18/06/20 11:04:21.71 XGO+oqvf.net
おかしくないけど
246:１３２人目の素数さん
18/06/20 11:09:42.57 boxszBlh.net
>>242
頭の 3 が積分定数と一緒になってるだけじゃね
あと最後の log は （ ） ではなくて ｜ ｜ じゃね
247:１３２人目の素数さん
18/06/20 13:32:54.24 8JA5i2Ll.net
あーそっか積分定数か！ありがとうございます！
wolframで調べたら絶対値ついてなかったのでこれでもいいのかな？と思ったけどやっぱダメなんですかね
248:１３２人目の素数さん
18/06/20 15:08:52.96 8JA5i2Ll.net
x>0でlog(4x)を微分すると1/xになりますが、これはlog(x)の微分と同じです
これはどういうことなんでしょう？
1/xを積分すると２通りの関数が出てきてしまうということにはならないのですか？
249:１３２人目の素数さん
18/06/20 15:44:05.10 iNfIsv53.net
log(4x)=log(4)+log(x)
250:１３２人目の素数さん
18/06/20 15:49:27.38 XGO+oqvf.net
原始関数には定数項の差の任意性があるということ。
小難しく言えば、ある関数の原始関数とは、単に微分してその関数になるという意味での個別関数のことではなく、
微分して当該関数になる関数全部がなす集合の任意の代
251:表元、と呼ぶべきもの。 だから関数からその原始関数を一意に指定することはできない。 それゆえ、原始関数を与える積分結果を不定積分、という。
252:１３２人目の素数さん
18/06/20 16:54:21.31 ZoYl55O4.net
>>241
(1)
V1 = (5/24)(1+√5)^2 = (5/6)φ^2 = 2.181695
V2 = (15+7√5)/4 = 7.663119
(2)
r = V1 / V2 = 0.284700
1/(1+√5) = 1/(2φ) = 0.309017
r < 1/(1+√5),
253:１３２人目の素数さん
18/06/20 17:31:23.82 xJ7BBWZ8.net
>>246
二通りどころか無限個出てくる
254:１３２人目の素数さん
18/06/20 18:34:09.52 dnhz9cGJ.net
R^2の自由度
255:１３２人目の素数さん
18/06/20 19:13:31.06 8JA5i2Ll.net
>>247
あ～～アホすぎてすみません・・・ありがとうございます！
もう一つ質問です
URLﾘﾝｸ(i.imgur.com)
この変形がなんで成り立つのか全く分かりません
誰か教えて下さい・・・・・・・・・・
256:１３２人目の素数さん
18/06/20 19:22:26.97 YxxCDPZE.net
>>246
積分定数
257:１３２人目の素数さん
18/06/20 19:29:22.46 MU54VnPY.net
>>252
sin x, cos x は、それぞれ x=π/2 を対称軸とした偶関数、奇関数みたいなもの
258:１３２人目の素数さん
18/06/20 19:38:05.25 8JA5i2Ll.net
>>254
すいません、全く分からないので
できれば具体的な式の変形を書いてもらえるとありがたいです。
259:１３２人目の素数さん
18/06/20 19:38:45.51 8JA5i2Ll.net
あーすいません分かりました！！！
アホすぎる・・・・・
260:１３２人目の素数さん
18/06/20 20:09:54.90 8JA5i2Ll.net
∫(0~1) x^2 * √(x-x^2) dx を積分しろという問題で
x-x^2を平方完成するために、x-1/2 = 1/2 sin θと置換して
(1/16)*∫(-π/2~π/2) (1+sinθ)^2 * (cosθ)^2 dθと変形できて
∫(-π/2~π/2) (1+sinθ)^2 * (cosθ)^2 dθ
=∫(-π/2~π/2) (1+2sinθ+(sinθ)^2) * (1 - (sinθ)^2) dθ
=∫(-π/2~π/2) 1+2sinθ+(sinθ)^2 - (sinθ)^2- 2(sinθ)^3 - (sinθ)^4
sinは奇関数なので、奇数乗の項は消えて
=∫(-π/2~π/2) 1- sin^4 θ
となってしまったんですが、これだとπと分数を含む汚い数値になってしまって、正解と異なります
式変形のどこでミスってしまったんでしょうか？
ご教授いただけると幸いです
261:１３２人目の素数さん
18/06/20 21:11:33.52 ncjG5jjw.net
>>255
式の変形はしない
グラフの形状をイメージして、積分値が0だと見抜いてるだけ
つまり君はグラフのイメージができてない。奇関数と偶関数の積分についてググってみな
262:１３２人目の素数さん
18/06/20 21:31:18.09 a0aEMeuS.net
「時間」とは何なのでしょうか？
263:１３２人目の素数さん
18/06/20 21:46:15.91 +37XW5M8.net
>>257
正解が違うんじゃない。
264:１３２人目の素数さん
18/06/20 22:13:07.29 8L/Iqnza.net
一行ごとにwolfram先生にうちこめばどこでミスったかわかる。
265:１３２人目の素数さん
18/06/20 22:15:55.26 9SbcWoaZ.net
wolfram様に少し募金したらどうだろ
266:１３２人目の素数さん
18/06/20 22:16:45.08 8JA5i2Ll.net
>>258 ありがとうございます。
>>260
すいません、最後の積分で自分が計算ミスをしてました。
式はこれであってました。ありがとうございます。
267:１３２人目の素数さん
18/06/20 23:02:46.22 9SbcWoaZ.net
グーグル経由の広告で
(x+15)^(1/2) + x^(1/2) = 15
を解けってのがあって、答え自体は49
もう少し一般化して、
(x+a)^(1/2) + x^(1/2) = a
の解は、
x=(a-1)^2/4
（a>=1）
なんだけど、この式って何か理由のある式なのでしょうか？
268:１３２人目の素数さん
18/06/21 00:02:11.97 NYFtL27Z.net
>>240
一般の凸体では、
(θ,φ) 方向に垂直な2枚の支持平面の間隔を H(θ,φ) とする。（支持函数）
M(0) = (1/2)∫ H(θ,φ) dΩ
= (1/2)∬ H(θ,φ) sinθ dθ dφ
= π∫[0,π] H(θ) sinθ dθ … V(K,B,B)/B^2 に相当
円板Cでは H(θ) = 2sinθ なので…
269:１３２人目の素数さん
18/06/21 00:05:28.73 hh8AvD/Y.net
>>259
空間は物理。
時間は数学。
時間は無限にさかのぼれれば、
あなたが生まれてくるその時に、
永遠にたどり着かないはず。
270:１３２人目の素数さん
18/06/21 00:48:45.73 cQbvPX+M.net
>>265
>M(0) = (1/2)∫ H(θ,φ) dΩ
はどうやって導くんですか？
271:１３２人目の素数さん
18/06/21 01:14:06.60 cQbvPX+M.net
あれ？
K={x^2+y^2≦1, |z|≦1}
の場合、H = 2min{|1/cosθ|, 1/sinθ}でM(O)=π^2だとおもうんですが
π∫[0,π] H(θ) sinθ dθ=π^2
にならん希ガス？log2でてくる……
272:１３２人目の素数さん
18/06/21 02:15:42.44 cQbvPX+M.net
>>264
いわゆる双曲線 X^2 - y~2 = 1のパラメータ表示
X = (m+1/m)/2, Y = (m-1/m)/2 (このとき X + Y = m, X - Y = 1/m)
を変形していったんでは？
ここから
(mX)^2 - (mY)^2 = m^2, mX + mY = m^2
m^2 = a, (mY)^2 = x とおけば (mX)^2 = x + aだから mY = x^(1/2), mX = (x+a)^(1/2) でこれを mX + mY = a に代入すると与式がでてくる。
273:１３２人目の素数さん
18/06/21 02:29:30.86 NYFtL27Z.net
>>267
つ [参考書] にあった希ガス
木原太郎：「分子間力」岩波全書 (1976)
234p．
木原太郎：「分子と宇宙 －幾何学的自然観－」岩波新書(黄104) (1979/Dec)
184p．756円
274:１３２人目の素数さん
18/06/21 03:18:39.12 kyHJ7w/u.net
>>270
でも計算あわない？>>268 まちがってます？M(0)は単位円盤のときと同じでr^2の項は(π^2) r^2。
（縦に伸びた分は Voll(K + r B) の r^0、r^1 の項にしか寄与しない)
一方
H(θ,φ) = 1/cosθ (0≦θ≦π/4)、1/sinθ (π/4≦θ≦π/2)、
で
π∫[0,π] H(θ) sinθ dθ
= 2π∫[0,π/4] tanθ dθ + 2π∫[π/4, π/2] dθ
= πlog 2 + π^2/2
になって合わない？？
275:１３２人目の素数さん
18/06/21 03:25:14.96 kyHJ7w/u.net
あ、うそいった。縦に伸びた体積は2π(1+r)^2だからM(0)は2πだけふえてる。orz
でもやっぱりlog2なんてでてこない？？？なんか計算ハマってる？？？イライラ……もう寝たいのに……orz
寝よ。明日にしよ。
276:１３２人目の素数さん
18/06/21 04:26:17.29 l/u89lRY.net
>>269
ありがとうございます
確かにこの計算でたどり着きますね。
まだくっきりとは理解できていませんが、もう少し考えてみたいと思います。
277:１３２人目の素数さん
18/06/21 07:35:07.14 CxJkN/HH.net
>>264
x^（1/2）を移行して両辺二乗すればいいんじゃ？
278:１３２人目の素数さん
18/06/21 08:05:30.04 XXXFiPqo.net
>>264
受験数学をまだ覚えている俺は、
(x+a)^(1/2) - x^(1/2)
を両辺に掛けるね
279:１３２人目の素数さん
18/06/21 21:36:40.89 eCX8bM64.net
因数分解教えて貰おうと思ってきたけど関数とか微積分ばっかで因数分解聞きに来たのが恥ずかしいわ
280:１３２人目の素数さん
18/06/21 23:36:50.69 +bPGPfUB.net
高校数学や大学数学の質問スレもあるよ
281:１３２人目の素数さん
18/06/21 23:39:10.73 BAR5dv6L.net
因数分解は代数学になるのかな
282:１３２人目の素数さん
18/06/21 23:41:41.01 EA5M/078.net
算数ですね
283:１３２人目の素数さん
18/06/21 23:43:50.06 NYFtL27Z.net
>>264
いわゆる放物線の頂部 √X + √Y = 1,
直線 Y-X = 1/a,
の交点
(X，Y) = (x/aa，(x+a)/aa)
284:１３２人目の素数さん
18/06/22 00:05:49.66 /GProLmv.net
もしかして >>232 の M(0) の M は mean の m?
285:１３２人目の素数さん
18/06/22 01:00:27.06 43qiRNVO.net
やっぱりそうや！我ながらいい感してる♪
URLﾘﾝｸ(web.math.unifi.it)
∂K上平均曲率を面積分したものがM。やっとわかった♪
286:１３２人目の素数さん
18/06/22 01:19:00.45 5dKvywCX.net
>>268
K(c) = {xx+yy≦1, |z|≦c}
の場合、H(θ) = 2sinθ + 2c|cosθ| で
M(0) = π∫[0,π] H(θ) sinθ dθ = π(π+2c),
S(0) = 2π(1+2c),
V(0) = 2πc,
だとおもうんですが…
287:１３２人目の素数さん
18/06/22 01:35:59.65 43qiRNVO.net
>>283
え？どうしてですか？Hって(θ,φ)方向にのびる直線∩Kの長さですよね？
x^2+y^2≦1、|z|≦cなら経度φには依存せず緯度θのみに依存する関数で
その値はxz平面で考えれば十分でxz平面∩Kは[-1,1]×[-c,c]の長方形ですよね？
よって
0≦θ≦arctan cのとき H(θ) = 2/cosθ
arctan c≦θ≦π/2のとき H(θ) = 2c/sinθ
だと思います。
それに>>282のサイトの情報だとMは平均曲率を面積分するとありますが、その計算でM出ます？
288:１３２人目の素数さん
18/06/22 01:52:07.65 43qiRNVO.net
あれ？もしかしてHの定義がちがう？(θ,φ)方向に伸びるベクトルを法線ベクトルとする２平面の距離ですか？
289:１３２人目の素数さん
18/06/22 02:01:31.40 43qiRNVO.net
>>283
ああ、やっぱりその値になるなら>>285の意味なんですね。
支持平面の意味を取り違えてました。すいません。
で、計算が合わないので自分で計算してみようとおもって、>>282のサイトの定義と同じ計算で出せるという結論に至りました。
で、あれ？もしかしてMってmean curvatureのM？と思って検索して>>282のサイト見つけてこりゃ間違いないと。
となるとこの “平均曲率を積分する” という素朴なアイデアで得られる値がなぜ “支持平面の間隔をRP2上積分する”
値と一致するのかという新たな疑問とともに今日がおわるwww。
290:１３２人目の素数さん
18/06/22 02:09:18.68 43qiRNVO.net
と思ったら、そんなことないやん。こっちのほうがよっぽど簡単www。
うわぁこの２つ一致するんや。感動……
291:１３２人目の素数さん
18/06/22 07:49:45.70 +uGZdJdk.net
p,q,rを複素数とする。
方程式px^2+qx+r=0は何個の異なる複素数解を持つか。p,q,rよ値により分類して答えよ。
292:１３２人目の素数さん
18/06/22 09:28:00.57 6sXySdLu.net
数３やってるのですが、積分で体積を求めることについて考えてたらよくわからなくなりました。
最初は「数直線上の一点変数xと極薄断面積f(x)が一対一対応してるので、これを足し合わせて体積が出る」という認識だったのですが、
断面に大して数直線の変数xは垂直に取らないと正しい答えがでないと教わりました。
これはなぜなのでしょうか？
293:１３２人目の素数さん
18/06/22 09:33:52.62 I747LC0H.net
>>278
ここは餓鬼のくるところではない、失せろ
294:１３２人目の素数さん
18/06/22 09:56:28.10 vZrUDGhP.net
>>290
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ
295:１３２人目の素数さん
18/06/22 10:43:35.19 nz+rOHcs.net
>>289
断面積 f (x) を足すのではない
これに厚み dx をかけたもの f (x) dx を総和して体積を求める
薄っぺらいハムのスライスを集めて肉の塊にするイメージ
垂直でないと厚みが正しく反映されない
296:１３２人目の素数さん
18/06/22 10:53:50.29 6sXySdLu.net
>>292
あーーなんとなくイメージできました。ありがとうございます
297:１３２人目の素数さん
18/06/22 11:12:57.30 9/13dEgW.net
アメリカは日本の不幸の元凶である。
・アメリカはインディアン殲滅と土地略奪、奴隷貿易で成立したキチガイ国家である。
・その汚らしい歴史を薄めるため、ありもしない南京大虐殺の罪を日本に被せ、自らは正義面をし世界に
アメリカ流をゴリ押ししている。
・中国共産党と北朝鮮そして韓国はアメリカが作った傀儡国である。
・これらの三か国に反日と憎悪を煽り日本への破壊行為の手助けをしてるのは紛れもなくアメリカである。
・北朝鮮にミサイルを打たせてるのはアメリカである。中国の日本領海の侵入を後押ししてるのもアメリカである。
・日本へのタカリ根性と乞食根性が染みついた韓国北朝鮮中国をとことん甘やかし増長させてるのもアメリカである。
・日本を滅ぼす行為を裏で操りながら、守ってやると偉そうに米軍基地を置き日本を監視し独立を
阻害してるのはアメリカである。
・GHQ体制以後、アメリカは在日朝鮮人を日本の間接支配の道具とし、様々な重要ポストを与え日本人を牽制かつ毀損し
日本人の監視を行わせている。
・芸能界において人気がないにもかかわらず、在日やハーフもしくは白人が起用されるのはアメリカの圧力があるからである。
・アメリカは貿易黒字のドルを金へ兌換することを日本に許さず。エンドレスに米国債を買わせアメリカ経済とドルを
支えることを強制している。
・アメリカは緊縮財政と消費増税かつ東京一極集中を日本政府に行わせ、日本人を貧乏かつ疲弊させ、国力低下と日本人削減を
徹底的に行わせている。
・アメリカは日本政府に移民を大量に入れることを命令し、日本の文化と秩序を壊し、日本を東南アジアのような貧乏かつ
売春大国にしようとしている。
・アメリカは自ら作った国際緊張で日本を脅し、日本の法律と憲法の上に位置するTPPもしくはFTAを結び、日本の主権を奪い
日本人を奴隷にしようとしている。
298:１３２人目の素数さん
18/06/22 11:22:37.33 /50kkeJt.net
>>291
劣等感婆物理板で相手してもらえ
299:１３２人目の素数さん
18/06/22 12:35:38.80 TmSzufY8.net
相手してもらえる所なんぞねーがな
300:１３２人目の素数さん
18/06/22 12:57:38.43 6sXySdLu.net
∫(0→π) √(1+cost) dt
を置換積分で求めたいのですが
cost=yとして
dy/dt= -sint dt/dy=-1/sint = -1/√(1-y^2) sintは値域で正なのでこれでok
∫(1→-1) √(1+y) * -1/√1-y^2 = ∫(-1→1) √1-y
となってしまいました
y→1で無限になるのでこれは積分できませんよね？
どこで間違ってしまったのでしょうか？
ご教授願いますm(_ _)m
半角公式使えば普通の積分にできるのは教わりましたが、置換でやってみたいのです。
301:IQの低い人
18/06/22 13:42:39.91 NZinmH5W.net
∫(-1→b) √1-y =4/3 (2)^(1/2)-(2/3)(1-b)^(3/2)
-->4/3 (2)^(1/2) as b->1
302:１３２人目の素数さん
18/06/22 15:19:13.90 WV8mGOz2.net
あほやのう～
303:１３２人目の素数さん
18/06/22 15:48:37.87 lzVJfIVC.net
E,FをE∩F=ΦとなるR^2上の閉集合として
0≦f(x)≦1
x∈E ⇒ f(x)=1
x∈F ⇒ f(x)=0
となるような連続関数fを挙げよという問題なのですが分からないのでお願いします
304:１３２人目の素数さん
18/06/22 16:43:34.44 5dKvywCX.net
>>297
右辺は
∫(-1,1) 1/√(1-y) dy = [ -2√(1-y) ](y=-1,1) = 2√2,
ぢゃね？
305:１３２人目の素数さん
18/06/22 17:00:30.39 MDX0xcMr.net
お願いします。
a_n=n^4, b_n=3n+7として、a_n/b_nが整数になるような正の整数nを全て求めよ。
306:１３２人目の素数さん
18/06/22 17:45:03.47 +uGZdJdk.net
>>302
b_nとa_nの奇偶が一致しなくない？問題文間違えてない？
307:１３２人目の素数さん
18/06/22 17:48:29.93 WV8mGOz2.net
しかし自演なんかして何が楽しいんやら。
308:１３２人目の素数さん
18/06/22 17:53:05.14 WV8mGOz2.net
それでは。
309:１３２人目の素数さん
18/06/22 17:57:34.65 gRyFVRNa.net
>>303
偶奇一致しなくても整数になることあるだろアホ
310:１３２人目の素数さん
18/06/22 19:05:41.70 6sXySdLu.net
すいません、∫(-1→1) 1/√1-yを書き間違えました。
しかしこれはy→1で1/0になってしまうので積分すると無限大になると思われるのですが、
どうなのでしょうか？
311:１３２人目の素数さん
18/06/22 19:08:23.87 6sXySdLu.net
ぜ、全然分からない・・・
なぜこれが積分できるのでしょうか？
これって無限大にはならないのですか？
URLﾘﾝｸ(i.imgur.com)
312:１３２人目の素数さん
18/06/22 19:30:26.07 YxoFt9AQ.net
>>308
関数のグラフと範囲が決まってるって分かってるのになんで無限大になると思うんだ？
313:１３２人目の素数さん
18/06/22 19:38:10.18 6sXySdLu.net
>>309
1の近辺は無限に大きくなるのにグラフを普段どおり積分できるのか？と思ったのですが、
おかしいでしょうか？
こういう場合はx=-1から1まで長方形で埋め尽くしていく方式の通常の積分は定義できないですよね？
314:１３２人目の素数さん
18/06/22 19:46:59.58 WV8mGOz2.net
>>310
これは公式で解く問題。
315:１３２人目の素数さん
18/06/22 20:16:20.54 6sXySdLu.net
>>311
原始関数の引き算で解けるのは分かりますが、
実際にはf(x)は発散するのに有限の数の引き算だけで答えが素朴に出て求積ができる（このグラフの図形に対して面積が定義できる）原理がいまいち納得いきません。
316:１３２人目の素数さん
18/06/22 20:21:07.45 /n4MN7g2.net
>>310
それは置換してるからや。
元の関数見てみぃ。元の関数を積分しやすいように変数を変えたのが置換積分や。
だからそのグラフはあくまでも元の関数を積分しやすいようにした関数であって元の関数が積分不可能な訳じゃない。置換した関数が定義上積分不可能だとしても別に不思議じゃない。
極論を言うと偽物の関数にこだわるなって話
317:１３２人目の素数さん
18/06/22 20:27:23.11 YxoFt9AQ.net
>>312
正確に言えば発散しないけどな。1に限りなく近い値取ってるから高さはめっちゃ大きな有限や。
区分求積法とかでも1/nΣ(k=0、n-1)f(k/n)でk=n-1までじゃん？
n等分した時に一番最後の点じゃなくて一個前の点を取るからな。
318:１３２人目の素数さん
18/06/22 20:36:00.45 l/kECj3I.net
(広義積分)
319:１３２人目の素数さん
18/06/22 20:40:01.57 8xrXbdQz.net
((3n)^4-7^4)/(3n+7).
320:１３２人目の素数さん
18/06/22 20:49:45.39 YxoFt9AQ.net
>>313
意味不
>>315
これやな
321:１３２人目の素数さん
18/06/22 21:09:54.22 WV8mGOz2.net
>>312
一般的な不定積分を求める規則は存在しないはずだよ。
322:１３２人目の素数さん
18/06/22 22:23:29.10 ZXM/iRNn.net
>>302
3n+7>1 より、3n+7 は少なくとも一つの素因数を持つ。
素因数の一つを p とおく。
（中略）
p=7 を得る。
よって 3n+7 は 7^k の形。
このとき分子も 7 の倍数だから、n は 7 の倍数。
次に n が 49 の倍数であると仮定すると
（中略）
矛盾。したがって、n は 7 の倍数だが 49 の倍数でない。
このことから、n^4 は 7^4 で割り切れるが 7^5 で割り切れない。
よって、k=1,2,3,4
（以下略）
323:１３２人目の素数さん
18/06/22 22:30:59.65 6sXySdLu.net
>>314
なるほど！？
>>315
wikipeみたかんじこれを表すズバリな言葉がある漢字ですか
ありがとうございます
324:１３２人目の素数さん
18/06/22 22:32:09.54 6sXySdLu.net
なるほど！？と思いましたが、
それだと下からの評価は確かにできるけど上からは抑えられなくないですか？
325:１３２人目の素数さん
18/06/22 22:32:09.55 6sXySdLu.net
なるほど！？と思いましたが、
それだと下からの評価は確かにできるけど上からは抑えられなくないですか？
326:１３２人目の素数さん
18/06/22 22:57:17.00 LJf5kLLI.net
>>308は広義積分です
普通の積分ではありません
それだけわかれば十分です
高校のうちは、積分には難しい理論がたくさんあるってことだけ知っとけば、あとは計算できるようにするだけで十分なのです
327:１３２人目の素数さん
18/06/22 23:07:39.99 Bs8Oplqm.net
∫[-1, 1] = lim[h→+0] ∫[-1, 1-h]
328:１３２人目の素数さん
18/06/22 23:21:03.11 5dKvywCX.net
>>319
n = (7^k -7)/3,
a_n = n^4,
b_n = 3n+7 = 7^k,
(k，n，a_n/b_n) = (1，0，0)、 (2，14，784)、 (3，112，458752)、 (4，798，168896016)
329:１３２人目の素数さん
18/06/22 23:21:48.09 WV8mGOz2.net
>>322
アホしかいないｗ
330:１３２人目の素数さん
18/06/22 23:28:31.97 WV8mGOz2.net
惑わされるなよ積分変数に。
331:１３２人目の素数さん
18/06/22 23:34:45.16 5dKvywCX.net
>>312
∫[0，∞] e^(-x) dx = 1
これの縦と横を入れ替えると
∫[0，1] log(1/y) dy = 1
ｙ→0 のとき log(1/y) → ∞ ですが、積分値は有限でつよん
332:１３２人目の素数さん
18/06/22 23:38:23.07 CeGYZ3NO.net
無限がからむ積分は広義積分です
広義積分以外の説明はすべて無意味ですよ
恥を晒すだけです
333:１３２人目の素数さん
18/06/22 23:49:30.03 /GProLmv.net
無限とは幻であった
334:１３２人目の素数さん
18/06/23 00:02:00.25 gfRs837l.net
普通の(リーマン)積分は有界関数でしか定義されてない(積分可能とは言ってない)のに、なんでこんなグダグダやってるん？
335:１３２人目の素数さん
18/06/23 00:08:57.57 YJJ516lQ.net
広義積分を完全に勘違いしている。
336:１３２人目の素数さん
18/06/23 02:29:10.82 ejVanftY.net
なんかれべるがさがったみたいだな
337:１３２人目の素数さん
18/06/23 04:54:13.74 shdFVkoM.net
角は数学辞典では
端点を共有する２つの半直線のなす図形
と定義れてて英語ではangleという単語が対応してますが、
端を共有する２つの半平面のなす図形
を “稜” と呼ぶようなんですが、これの数学用語として一般的に通用する英単語ってあります？
ネットで引くとCrestって単語がヒットしますが、Crest Mathematicsでググってもヒットしないようです。
338:１３２人目の素数さん
18/06/23 05:38:05.56 dwnA+Cpc.net
>>322
区間の端で関数が定義されてないのに普通のリーマン可積分の定義が使えると思うのが間違い
339:１３２人目の素数さん
18/06/23 05:48:13.59 MnHCGVk7.net
URLﾘﾝｸ(youtu.be)
僕の工作や絵や数字の動画です。
他にもあります。
７００００００００００７×１１１１１１１１１１１＝７７７７７７７７７７７７７７７７７７７７７７とか、そういうことを電卓で考えています。おパターン認識などです。
この動画では９の法則を考えました。工作、絵もありますが。
よろしく。他の動画もよろしく。
340:１３２人目の素数さん
18/06/23 07:42:18.13 dwnA+Cpc.net
>>322
あーでも
超準解析でなら無限小つかって何とかなるのかも？
いずれにせよ普通のリーマン積分じゃないけど
341:１３２人目の素数さん
18/06/23 07:48:02.87 +DLbwu6k.net
n=1,2,...に対し、小数点以下n^2桁目が1で他の桁が全て0であるような無限小数を考える。
この無限小数は循環小数でないことを示せ。
342:１３２人目の素数さん
18/06/23 07:51:55.61 dwnA+Cpc.net
>>338
(m+1)^2-m^2=(n+1)^2-n^2
m=n
343:１３２人目の素数さん
18/06/23 09:30:43.46 VyGl4kD6.net
>>337
超準解析使うとどのようになるんですか？
ちょっとかじったんですけど、具体的な計算はよくわかりませんでした
344:１３２人目の素数さん
18/06/23 12:18:48.57 YJJ516lQ.net
>>340
準同型とかの知識がないと理解したことにならないからやめとけ。
345:１３２人目の素数さん
18/06/23 12:22:14.27 F6CiNdZz.net
>>341
とりあえず、超積による超実数の構成や、Losの定理、移行原理、共起性定理、無限大自然数の存在性などは理解したつもりです
346:１３２人目の素数さん
18/06/23 12:44:31.84 YJJ516lQ.net
>>342
準同型について勉強してからおいで。
347:１３２人目の素数さん
18/06/23 12:51:28.99 F6CiNdZz.net
>>343
準同型くらいはわかりますけど、今回の話とどのような関係があるんですか？
348:１３２人目の素数さん
18/06/23 12:58:54.05 YJJ516lQ.net
>>344
全く関係ないよ。
349:１３２人目の素数さん
18/06/23 13:02:20.35 hZkdPDzR.net
準同型という言葉を使いたかっただけだろ
350:１３２人目の素数さん
18/06/23 13:02:26.07 F6CiNdZz.net
>>345
ないんですか？
それなら、>>341はどういうことですか？
あなたは超準解析わからないということですか？
351:１３２人目の素数さん
18/06/23 13:15:14.36 YJJ516lQ.net
どうやら昨夜の質問者じゃないみたいだな。
352:１３２人目の素数さん
18/06/23 13:18:40.39 H6w60CMB.net
劣等感の人じゃない？
353:１３２人目の素数さん
18/06/23 13:19:28.79 F6CiNdZz.net
>>348
だったらなんなんですか？
あなたが知ったかした事実は変わりませんよ
354:１３２人目の素数さん
18/06/23 17:41:34.20 4GlVkfoX.net
>>334
ridge
355:１３２人目の素数さん
18/06/23 19:29:07.67 +DLbwu6k.net
p,qは|p|<1,|q|<1である複素数の定数とする。
xについての方程式x^2+px+q=0が実数解αと実数でない解βを持つとき、|αβ|の取りうる値の範囲を求めよ。
356:１３２人目の素数さん
18/06/23 22:06:40.25 HATFbbTo.net
0≦t<1に対してα=ωt、β=tとおく。
357:１３２人目の素数さん
18/06/23 23:38:07.58 LKZfoglg.net
力の５０００題からの問題なんだけど１１４ページくらい
ある長方形２枚をはりあわせる
□■□ この■はのりしろでのしりろ幅は１センチやで周囲１７４
センチや
縦横変換して、
□■□にしたとき、最初の□■□はあとのより１０平方センチ横幅短い
このとき長方形の面積もとめよって問題や
ここで解説には１０平方センチを１０÷１で１０センチ短くなるとしてる
つまり最初の長方形の長辺と短辺の差が１０として計算しとるけど
これが理解できひん
２で割ったら５短くなるやん
５で割ったら２短くなるやんけ
ちなみに方程式つかったら
最後は （√６９＋５）（√６９－５）で答えの数字よりずっと大きくなってまちがいや
あたまおかしなるで
358:１３２人目の素数さん
18/06/24 01:35:39.01 h9KChfHr.net
自分は尋常じゃないくらい頭が悪いのですが、東京大学理学部数学科に入りたいと思っています。
猛烈に努力をすれば実現可能でしょうか？
それとも、東大の数学科ぐらいになると、馬鹿がどれだけ努力をしても無駄なのでしょうか？
359:１３２人目の素数さん
18/06/24 02:25:33.57 nUG4kBzA.net
本当の意味で頭が良くなりたいです
数学をどれだけ勉強しても、数学の知識ばかりが増えて頭が良くなりません
どうしたら頭が本当に良くなるんですか？
360:１３２人目の素数さん
18/06/24 02:54:13.94 BW6lbwPs.net
>>353
α = t，β = ω(1+ｔ)/2,
とおけば、
|p| = ｜α+β| = √{(3tt+1)/4} < 1,
|q| = |α| |β| = t (1+t)/2,
∴ 0 ≦ |αβ| < 1.
361:１３２人目の素数さん
18/06/24 03:03:34.91 BW6lbwPs.net
>>356
「アホは治るよこうすりゃ治る。
蚊取り線香を粉にして、蕎麦に降り掛け食ってみろ」
362:１３２人目の素数さん
18/06/24 04:51:25.51 OQ0+nvmp.net
わからないのでお願いします。
10個の整数a1～a10に対して、Tk=Σ[i=1,10]ai^k とおき、pを11以上の素数とする。
T1,T2,...T10が全てpで割り切れるならば、a1,a2,...a10も全てpで割り切れることを示せ。
363:１３２人目の素数さん
18/06/24 05:31:05.22 BW6lbwPs.net
>>338
a = Σ[n=1，∞] 1/10^(nn)
が有理数 p/q （p，qは自然数）だったと仮定する。
qは 2k ～ 2k+1 桁とする。
10^(2k-1) ≦ q < 10^(2k+1),
{10^(kk)}p = q {10^(kk) a}
= q Σ[n=1，k] 10^(kk-nn) + q Σ[n=k+1，∞] q/10^(nn-kk)
= q Σ[n=1，k] 10^(kk-nn) + q {1/10^(2k+1) + 1/10^(4k+4) + 1/10^(
364:6k+9) + …} 第1項は自然数、第2項は 0～1の間にある。 ∴ {10^(kk)}p は自然数でなく、pは自然数でない。(矛盾)
365:１３２人目の素数さん
18/06/24 09:37:19.10 BW6lbwPs.net
>>338 (続き)
一方、循環小数は その循環節をL桁として (10^L - 1) を掛けると有限桁で終わる。
∴ 有理数である。
以上により、aは循環小数でない。
366:１３２人目の素数さん
18/06/24 10:26:27.53 BW6lbwPs.net
>>359
〔補題〕
n個の整数 a_1～a_n に対して、T_k = Σ[i=1，n] (a_i)^k とおき、pを n+1以上の素数とする。
T_1，T_2，…，T_n が全てpで割り切れる ⇒ a_1，a_2，…，a_n も全てpで割り切れる。
(略証)
nについての帰納法による。
・n=1 のときは明らか。
・n≧2 のとき
n!･a_1･a_2…a_n は T_1～T_n の整多項式だから (*) 題意より
n!･a_1･a_2…a_n ≡ 0 (mod p)
0 < n < p だから
a_1･a_2…a_n ≡ 0 (mod p)
ある 1 ≦ i ≦ n について a_i ≡ 0 (mod p)
a_i 以外のn-1個については
(T_k)~ = T_k - (a_i)^k ≡ 0 (mod p)
帰納法の仮定から、1≦j≦n，j≠i に対して a_j ≡ 0 (mod p)
*) たとえば
1!･a_1 = T_1,
2!･a_1･a_2 = (T_1)^2 - 2･T_2,
3!･a_1･a_2･a_3 = (T_1)^3 - 3･T_1･T_2 + 2T_3,
367:１３２人目の素数さん
18/06/24 10:39:42.50 jLCQQPbm.net
>>357
(T+1)/2にしてるのはなぜ？
tωでもいいとおもうけど？
368:１３２人目の素数さん
18/06/24 16:03:01.68 GagEFgHQ.net
>>351
ネットで引いてみると微分幾何の用語でridge detectionというのは見つかるけど、>>334の意味で使われてる文書はヒットしないですね。まぁマイナーなジャンルだからかもしれないけど。定義知らなくても前後こ文脈から推定できなくもないし。
369:１３２人目の素数さん
18/06/24 18:38:01.13 BW6lbwPs.net
>>363
β=ωt とすると、t=0 のときβも実数となり、題意を満たさぬ。。。
370:１３２人目の素数さん
18/06/24 19:01:34.10 alg6k7ts.net
>>365
なるほど。
371:１３２人目の素数さん
18/06/24 19:51:29.82 5VHFc6gP.net
>>300
こちらわかる方いませんか？
372:１３２人目の素数さん
18/06/24 19:55:15.08 C9Q8KS7h.net
>>367
f(x,y) = |sin x|
E = {(x,y) | f(x,y) = 1}
F = {(x,y) | f(x,y) = 0}
373:１３２人目の素数さん
18/06/24 20:03:30.14 C9Q8KS7h.net
>>367
f(P) = atan2(dist(E,P), dist(F,P))×(2/π)
374:１３２人目の素数さん
18/06/24 22:31:23.07 5VHFc6gP.net
>>368
>>369
ありがとうございます
375:１３２人目の素数さん
18/06/24 23:03:31.04 BW6lbwPs.net
>>367
もう終わったけど…
f(P) = h( g(FP) / {g(EP） + g(FP)} ）,
g(0) = h(0) = 0，g(x) と h(x) は連続で単調増加。
376:１３２人目の素数さん
18/06/25 05:46:04.95 qOAzU6BU.net
> 普通の(リーマン)積分は有界関数でしか定義されてない
というのが（ｘ軸にこだわる）リーマン積分の限界ではないだろうか。
>>328 のように図形の面積と見做すことは、その限界を越えるための１方法かも知れない。
ともあれ、ルベーグ積分への自然な動機付けにはなると思う。
377:１３２人目の素数さん
18/06/25 07:41:42.02 PuT4iput.net
負でない整数m,nを用いて(2^m)*(3^n)の形で表される自然数を「mn数」と呼ぶこととする。
どのような自然数も、mn数であるか、または相異なるmn数の和で表せることを示せ。
378:１３２人目の素数さん
18/06/25 08:12:35.01 DK5b82Ew.net
２個までの和なら２３が無理
何個つかってもいいなら２進展開
379:１３２人目の素数さん
18/06/25 08:15:23.20 pYmKqi/x.net
どうでもいいけど「mn数」だと具体的な数値入れたときにわけわからんことになるから(m,n)数にしておいた方がいいと思うの
380:１３２人目の素数さん
18/06/25 17:31:17.99 RAzJToPD.net
物事をあるがままに受け入れるのと、リーマン予想を証明するのはどっちの方が凄いことですか？
381:１３２人目の素数さん
18/06/25 18:56:32.32 RcSMYH9T.net
y>0に対して、常にe^(-yx^2)より広義で大きく、また、0から∞までの積分が収束するxの関数を教えてください。
382:１３２人目の素数さん
18/06/25 19:39:02.32 RcSMYH9T.net
>>377
解決しました。
383:１３２人目の素数さん
18/06/25 20:16:25.32 PuT4iput.net
pを2以上の自然数とする。
以下の性質(C)を持つ自然数kをf(p)とおく。
(C):k以下のすべての自然数rに対し、pとp+rが互いに素である。またpとp+k+1は共通の素因数を持つ（1は素因数でない）。
以下の問
384:に答えよ。 （1）f(p)=p-1⇔pは素数、を示せ。 （2）自然数nを用いてp=n!と表せるとき、f(p)を求めよ。
385:１３２人目の素数さん
18/06/25 20:25:41.83 HXiGFzMn.net
>>376
鏡見てみろ、馬鹿、やる気のない、ナマポのおっさんが写ってるだろ
386:１３２人目の素数さん
18/06/25 21:32:30.42 xWSwFb4S.net
国民民主党の伊藤孝恵氏が発言に疑問を呈したのに対し、麻生氏は「マラハラ罪という罪はない。法律的にはございません」と強調。
「『マラセクハラ、罪ではない\単なる早漏』と書かれてみたり、セクハラと罪の間に金玉コンマをつけて『セクハラ・金玉罪はない』というような書き方をされたり。
いろいろ；マラをねじ曲げて伝えられて甚だ残念だ」と述べ、自身のマラ問題発言よりもむしろマスコミのアナル報道ぶりを問題視した。
387:１３２人目の素数さん
18/06/25 22:52:42.09 1sjLojKM.net
f(p)＝pの最小素因子－1
388:１３２人目の素数さん
18/06/26 15:44:07.62 uoh53rsf.net
∫[0,2π](sinθsin(nθ))/(1-2acosθ+a^2)dθ = πa^(n-1)を示して下さい
aの範囲は0≦a＜1です
389:１３２人目の素数さん
18/06/26 18:36:34.59 PjRQhOfe.net
ガウスやオイラーやラマヌジャンみたいな超絶天才数学者になりたい。
390:１３２人目の素数さん
18/06/26 18:38:44.81 sJlNM6cC.net
>>384
鏡見てみろ
391:１３２人目の素数さん
18/06/26 19:06:20.88 QYUm+eDt.net
ある直方体の高さを２ｃｍ短くすると表面積が２４０ｃｍ＾２少なくなる
同様に、横を３ｃｍ短くすると表面積２７０ｃｍ＾２少なくなり、
縦を４ｃｍ短くすると表面積が５２０ｃｍ＾２少なくなる
このある直方体の体積を求めよ
という問題で解説をみたら
２４０÷２÷２＝６０
２７０÷３÷２＝４５
５２０÷４÷２＝６５
・
・
と立式されてるが、最後の２で割る意味がわからない
というか、２，、３，４で割ってる意味もわからん
解説だれか頼む
392:１３２人目の素数さん
18/06/26 19:10:37.25 Y+XJm0lr.net
わからないんですね
393:１３２人目の素数さん
18/06/26 19:35:22.41 QYUm+eDt.net
解説の意味わかったわ
やーい、>>387おまえざまああああああ
つまり表面積が２４０少なくなる、高さ２短くする
となると、
（２・縦＋２・横）・２＝２４０だ、もしくは（２・横＋２・縦）・２＝２４０
これを縦＋横について解くと
２４０÷２÷２だ、
同様に３短くなって２７０なら
（２・高＋２・縦）・３＝２７０だ、（２・横＋２・高）・３＝２７０
よって２７０÷２÷２で高＋縦がでる
もちろん２・横＋２・縦
394:１３２人目の素数さん
18/06/26 19:47:48.67 Yp3dAEmj.net
>>383
2ai sin(θ)/(1-2acos(θ)+a^2)
=1/(2i)(1/(1-a cisθ) - 1/(1-a cis(-θ)))
=2iΣ[k] a^k sin kθ
∫[0,2π]sin kθsin nθdθ=πδ[k,n]
395:１３２人目の素数さん
18/06/26 20:00:17.50 o1lrNo9A.net
コンピュータによる定理の自動証明なるものがあるそうですが
今後は全ての定理はコンピュータがやるようになるのでしょうか？
396:１３２人目の素数さん
18/06/26 20:01:58.84 Yp3dAEmj.net
>>390
それがヒルベルトが超数学と名付けて夢見たのだけど、ゲーデルによって不可能であることが示された命題。
397:１３２人目の素数さん
18/06/26 20:11:18.76 qwrWm4Ev.net
>>391
不完全性定理を用いて>>390を証明する方法を教えてください
398:１３２人目の素数さん
18/06/27 00:09:57.87 2gEhKdLI.net
>>389
途中式もう少し書いて貰っていいですかね
399:１３２人目の素数さん
18/06/27 00:56:29.63 +BB8A0zO.net
途中式？？？
400:１３２人目の素数さん
18/06/27 01:16:02.89 PkqUm90n.net
スピーチの苦手・恐怖を克服 話し方の学校
URLﾘﾝｸ(www.youtube.com)
話し方教室と話し方の学校の大きな違い ～誰でも成長できる理由～
URLﾘﾝｸ(www.youtube.com)
「言葉にできない」ことは、「考えていない」のと同じである
URLﾘﾝｸ(www.youtube.com)
伝える力が飛躍的に伸びる2つのポイント ビジネス 話し方
URLﾘﾝｸ(www.youtube.com)
コミュニケーションがスムーズになるアドバイス
URLﾘﾝｸ(www.youtube.com)
何が人を動かすのか - コミュニケーションの科学
URLﾘﾝｸ(www.youtube.com)
もっと人を動かす講師になれるスピーチの極意『感情デリバリーマトリックス』
URLﾘﾝｸ(www.youtube.com)
感情を伝える表現力トレーニング 話し方の学校
URLﾘﾝｸ(www.youtube.com)
401:１３２人目の素数さん
18/06/27 01:16:55.33 PkqUm90n.net
スピーチにもう悩まない！相手を不愉快にさせない大人の話し方
URLﾘﾝｸ(www.youtube.com)
プレゼンやスピーチが苦手な人こそ実践するべき人前で話す３つのコツ
URLﾘﾝｸ(www.youtube.com)
意識的にスピーチ力を鍛える簡単アドバイス
URLﾘﾝｸ(www.youtube.com)
一目瞭然、プロとアマチュアの話し方の違いとは？
URLﾘﾝｸ(www.youtube.com)
スピーチが得意な人は事前に◯◯してる！
URLﾘﾝｸ(www.youtube.com)
仕事が出来る人かどうかは話し方で9割分かる
URLﾘﾝｸ(www.youtube.com)
スピーチ力をUPさせる簡単な方法
URLﾘﾝｸ(www.youtube.com)
人前で話す恐怖を克服して堂々とスピーチする2つの方法
URLﾘﾝｸ(www.youtube.com)
402:１３２人目の素数さん
18/06/27 03:33:49.52 vUXdnPuF.net
>>392
> >>391
> 不完全性定理を用いて>>390を証明する方法を教えてください
不完全性定理が証明なんじゃ？
403:１３２人目の素数さん
18/06/27 04:47:39.26 XfvCEgFW.net
>>393
sinθ = {e^(iθ) - e^(-iθ)}/(2i),
1 -2a cosθ + aa = 1 -a [e^(iθ) + e^(-iθ)] + aa = [1 -a e^(iθ)][1 -a e^(-iθ)],
より
a sinθ / (1 -a･2cosθ +aa)
= a {e^(iθ) - e^(-iθ)}/(2i) /{[1 -a e^(iθ)][1 -a e^(-iθ)]}
= {1/[1 -a e^(iθ)] - 1/[1 -a e^(-iθ)]} /(2i)
= Σ[k=0,∞] a^k {e^(ikθ) - e^(-ikθ)} /(2i)
= Σ[k=1,∞] a^k sin(kθ),
積和公式
sin(kθ) sin(nθ) = (1/2) {cos((k-n)θ) - cos((k+n)θ)},
∫[0,2π] sin(kθ) sin(nθ) dθ = (1/2) {2πδ[k,n] + 0} = π δ[k,n]
404:１３２人目の素数さん
18/06/27 08:45:54.22 CWWB6fZW.net
>>397
不完全性定理とは
ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできる
ということです
つながりがよくわかりません
405:１３２人目の素数さん
18/06/27 08:53:18.67 CX1HtDCp.net
指数や係数にも虚数単位が入っている場合、積分は定義できますか？
例えば ∫[0→π/2] exp(ix) dx のような。
406:１３２人目の素数さん
18/06/27 08:54:13.46 CWWB6fZW.net
はい
407:１３２人目の素数さん
18/06/27 10:56:37.11 CX1HtDCp.net
a,bを実数とする。
|√(a+b)|と|√(a)+b|の大小を比較せよ。
ただしcが負の実数のとき、iを虚数単位として√c=-√(c)iと定める。
408:１３２人目の素数さん
18/06/27 17:13:02.93 zJp65dVN.net
>>399
任意の無矛盾なはうそ。公理が帰納的に枚挙可能(recursively enumerable)じゃないと無理。
409:１３２人目の素数さん
18/06/27 17:28:15.32 L74yiFgl.net
>>390 サンプル本文の６ページの「定理証明支援系のもたらす可能性」
ってところにＳＦチックだけど面白いことが書いてある
URLﾘﾝｸ(www.morikita.co.jp)
410:１３２人目の素数さん
18/06/27 17:47:36.25 XfvCEgFW.net
>>400
その例では e^(ix) = cos(x) + i sin(x) と分けて別々に積分し、
最後に一緒にすると
[ -i･e^(ix) ](x=0,π/2) = 1+i
複素数Cを {1,i} を基底とするベクトル空間と見なす (?)
411:１３２人目の素数さん
18/06/27 18:09:12.43 4ICaZFXr.net
>>403
何のためにペアノ算術を含む、という条件が含まれてるのか考えましょうねー
412:１３２人目の素数さん
18/06/27 18:45:32.62 Z8PHHCZc.net
ペアノ算術を含む帰納的に枚挙不可能な公理を持つ理論なんかすぐ作れるじゃん。もしかして意味わかってないの？
413:１３２人目の素数さん
18/06/27 18:49:04.33 4ICaZFXr.net
>>407
>>406の意味わかってないんですね(笑)
414:１３２人目の素数さん
18/06/27 18:54:58.94 Z8PHHCZc.net
実は劣等感のひとが本当は基礎論まるでわかってないってことでしょうか？
415:１３２人目の素数さん
18/06/27 18:55:32.32 4ICaZFXr.net
403 名前:１３２人目の素数さん [sage] :2018/06/27(水) 17:13:02.93 ID:zJp65dVN
>>399
任意の無矛盾なはうそ。公理が帰納的に枚挙可能(recursively enumerable)じゃないと無理。
ペアノ算術含むだけでいいと言ってんのになんなんですか？これは
416:１３２人目の素数さん
18/06/27 19:08:19.37 Z8PHHCZc.net
マジっすか？PA含んでるだけで不完全性証明できるんすか！
私は勉強してたときは帰納的に枚挙可能でないとダメだったけどなぁ！www
417:１３２人目の素数さん
18/06/27 19:09:22.81 4ICaZFXr.net
勉強し直しましょうねー
418:１３２人目の素数さん
18/06/27 19:10:13.64 4ICaZFXr.net
てか、ぶっちゃけ計算理論はよくわからないんですけど、計算理論使うとそういう過程が必要になるってだけじゃないですか？
419:１３２人目の素数さん
18/06/27 19:29:06.79 Z8PHHCZc.net
ホンマに知らんかったんや？
PA含んで完全、無矛盾な理論なんかいくらでも作れる。
“PAを含む理論”という語は”PAの公理からなる理論”ではない。不完全性定理の主張は
PAの公理全部を含んでさえいれば、そこにいくらたくさん公理を追加しても、帰納的、無矛盾でさえあれば不完である。
であってPAだけが不完全と言ってるわけではない。
420:１３２人目の素数さん
18/06/27 19:31:01.68 4ICaZFXr.net
>>414
意味がわかりません
ペアノ算術に用いられる言語だけを用いればロッサー文を構築することができますよね
421:１３２人目の素数さん
18/06/27 19:33:48.35 Z8PHHCZc.net
だから？てか？もしかしてホントにわかってないの？
422:１３２人目の素数さん
18/06/27 19:34:34.72 4ICaZFXr.net
>>416
じゃ教えてください
423:１３２人目の素数さん
18/06/27 19:47:02.54 Z8PHHCZc.net
話をハナからPAに限るならもとから帰納性云々の議論はいらない。
しかしだったら”PAを含む理論”ではなく主張を”PAにおいては"にしないといかん。
でもそれでは単にPAの公理が足りてないだけでもっと沢山公理を追加すれば完全な理論ができる可能性が残る。
しかしゲーデルの主張は公理系か “帰納的に定められている限り” PAの場合と同様にして不完全である事が示せてしまうというもの。
そもそも原論文なんか読んでないから知らないけど不完全性定理をわざわざPAだけに限って証明してる教科書ある？
少なくとも一言 “一般に帰納的でさえあれば同様に不完全である" って書いてあるやろ？
"PAは不完全である、終わり" なんて聞いたことない。
424:１３２人目の素数さん
18/06/27 19:48:15.05 4ICaZFXr.net
どうして機能的である、という条件が必要なんですか？
PAを含めばどんなものでも不完全になるんではないんですか？
425:１３２人目の素数さん
18/06/27 20:10:40.83 4ICaZFXr.net
回答が途切れましたね
426:１３２人目の素数さん
18/06/27 20:24:20.60 tbwlyC1K.net
劣等感婆さんの勝利です！
おめでとうございます！
427:１３２人目の素数さん
18/06/27 21:27:45.2
428:9 ID:fmGQ4DiB.net
429:１３２人目の素数さん
18/06/27 21:37:27.87 Z8PHHCZc.net
仕事してた。
どうして帰納的が必要か？
理由その1
その理論に対するロッサー文に対応するものを構成するのに必要だから。
理由その2
帰納的でなければ反例があるから。
430:１３２人目の素数さん
18/06/27 21:38:33.91 4ICaZFXr.net
反例を教えてください
431:１３２人目の素数さん
18/06/27 21:42:58.98 fmGQ4DiB.net
ググレよババア（笑）
432:１３２人目の素数さん
18/06/27 21:43:18.82 Z8PHHCZc.net
Sを任意のPAを含む無矛盾な公理系とする。
TをSを含む公理系で無矛盾であるものの中で極大であるものとする。(Zornの補題より存在)
この時Tは無矛盾、完全でPAを含む。
433:１３２人目の素数さん
18/06/27 21:47:35.28 4ICaZFXr.net
>>426
＞TをSを含む公理系で無矛盾であるものの中で極大であるものとする。(Zornの補題より存在)
なぜですか？
434:１３２人目の素数さん
18/06/27 21:48:32.27 Z8PHHCZc.net
流石にそこは考えようよ
435:１３２人目の素数さん
18/06/27 21:48:52.70 4ICaZFXr.net
わからないんですか？
436:１３２人目の素数さん
18/06/27 21:50:17.15 4ICaZFXr.net
回答がなければわからないのだとみなします
437:１３２人目の素数さん
18/06/27 21:50:21.43 Z8PHHCZc.net
わかりませーん
438:１３２人目の素数さん
18/06/27 21:50:39.41 4ICaZFXr.net
わからないんですね(笑)
439:１３２人目の素数さん
18/06/27 21:55:32.10 Z8PHHCZc.net
ここはホントにわかってない可能性あるな。
なんでPAの話してたのにZなんでornの補題なんて出てくるんだ？そんなん使うの反則やろ？！と
わからんでもない、けどそこがミソだからしっかり考えてみるといいよ。
440:１３２人目の素数さん
18/06/27 21:56:41.10 4ICaZFXr.net
メタ論理ですよねそんなのはわかります
不完全性定理で使う極大無矛盾な公理系ってやつですね
わかりました
今回は負けを認めます
441:１３２人目の素数さん
18/06/27 21:58:40.69 4ICaZFXr.net
不完全ではなく完全でしたね
442:１３２人目の素数さん
18/06/27 22:00:14.11 Z8PHHCZc.net
誰も勝ってないし誰も負けてません。
楽しい数学のお話できてよかっただけです。
ありがとうございました
443:１３２人目の素数さん
18/06/27 22:12:14.98 +QjILrgv.net
>>434
君はいつも負けてばかりね
なぜかって分かってる？
444:１３２人目の素数さん
18/06/27 22:12:54.50 4ICaZFXr.net
>>437
なぜ単発なんですか？
445:１３２人目の素数さん
18/06/27 22:21:15.23 4ICaZFXr.net
819 名前:１３２人目の素数さん :2018/06/27(水) 02:12:37.03 ID:Zd/sPNRD
A={x∈R^2| 1≦∥x∥≦２}とB={x∈R^2| 0＜∥x∥＜1}って位相同型になりますか？証明も合わせてしていただけると助かります。
821 名前:１３２人目の素数さん :2018/06/27(水) 03:46:18.66 ID:+QjILrgv
>>819
A閉B開
822 名前:１３２人目の素数さん :2018/06/27(水) 08:46:26.41 ID:CWWB6fZW
↑わからないんですね
823 名前:１３２人目の素数さん [sage] :2018/06/27(水) 10:56:16.33 ID:Gj4WdGnJ
>>822
氏ね
証明問題です
821=823を示してください
446:１３２人目の素数さん
18/06/27 22:30:43.80 4ICaZFXr.net
>>439
そこまで難しくはないと思うので、ぜひよろしくお願いします
447:１３２人目の素数さん
18/06/27 22:31:03.43 +QjILrgv.net
>>439
分からないんですね
ちょっと可哀想かも
448:１３２人目の素数さん
18/06/27 22:32:22.48 4ICaZFXr.net
いや、結果は明らかなんですけどね(笑)
449:１３２人目の素数さん
18/06/27 22:55:32.90 +QjILrgv.net
>>442
君が分かってないって内容が分かってないってことが分かった
心安けく
450:１３２人目の素数さん
18/06/27 22:56:06.63 CWWB6fZW.net
なら、821からどのように証明するつもりだったんですか？
451:１３２人目の素数さん
18/06/27 22:56:24.95 CWWB6fZW.net
言ってみてください
452:１３２人目の素数さん
18/06/27 23:01:43.19 CWWB6fZW.net
あと一時間だから逃げ切ろうって感じですか？
453:１３２人目の素数さん
18/06/27 23:23:06.20 +QjILrgv.net
モノノアハレ
454:１３２人目の素数さん
18/06/27 23:28:47.40 CWWB6fZW.net
あと30分ですよ？
A閉B開
これの続きお願いしますね
455:１３２人目の素数さん
18/06/27 23:40:14.91 CWWB6fZW.net
あと20分ですね
456:１３２人目の素数さん
18/06/27 23:50:08.85 CWWB6fZW.net
あと10分ですね
457:１３２人目の素数さん
18/06/27 23:55:03.30 CWWB6fZW.net
あと5分ですね