15/05/22 13:22:01.33 KVBOnSTu.net
>>ｽﾚﾘﾝｸ(math板:994番)
切断面が4角形以上なら立方体の対面を含み、断面図形は平行辺を持つ
正五角形は平行辺を持たないから断面図形になりえない
3:１３２人目の素数さん
15/05/23 20:08:22.68 9Ox0BYbh.net
平面上に不等辺三角形ABCがあるとする。
このとき同じ平面上に点P,Q,R,S,T,Uが存在して次を満たすことを示せ。
三角形PQRおよびSTUはともに正三角形であり、それらの重心は一致し、
その重心をGとすると四角形GPAS,GQBT,GRCUはすべて平行四辺形である。
4:１３２人目の素数さん
15/05/24 00:37:22.14 MMPYJdfM.net
実数に対して定義され, 実数値をとる関数fであって, 任意の実数x, yに対して
f(xf(y))=f(xy)+x
が成り立つようなものをすべて求めよ.
(レベル1)
5:１３２人目の素数さん
15/05/24 01:19:51.34 Gnf8gD0x.net
a=f(0)とおく。
与式にy=0を代入するとf(ax)=x+a
a=0とするとa=xとなり矛盾。
よってa≠0なのでf(x)=x/a+a
与式にx=1を代入するとf(f(y))=f(y)+1
これよりa=1すなわちf(x)=x+1
6:１３２人目の素数さん
15/05/24 08:39:17.88 MMPYJdfM.net
>>3
x軸とy軸のなす角が60°の斜交座標上に△ABCを任意の向きで置く.
△ABCをy軸に沿って平行移動することで, 3頂点のx座標を変えないままy座標の和を0にできる.
同様に, △ABCをx軸に沿って平行移動することで, 3頂点のy座標を変えないままx座標の和を0にできる.
そのように平行移動したあとのA, Bの座標をA(x_1, y_1), B(x_2, y_2)とする.
a,b,p,qに関する連立方程式[a+p=x_1, b+q=y_1 -a-b+q=x_2, a-p-q=y_2]を解いてa,b,p,qの値を求め,G(0,0),P(a,b),Q(-a-b,a),R(b,-a-b),S(p,q),T(q,-p-q),U(-p-q,p)とすれば, これらの点が条件を満たす.
7:１３２人目の素数さん
15/05/24 09:32:05.44 MMPYJdfM.net
実数に対して定義され, 実数値をとる関数fであって, 任意の実数x, yに対して
f(xf(x)+f(x)f(y)+y-1)=f(xf(x)+xy)+y-1
が成り立つようなものをすべて求めよ.
(レベル1)
8:１３２人目の素数さん
15/05/24 10:22:05.32 X29tvW+c.net
N:正の整数全体 f,g,h はそれぞれNからNへの関数 f(f(f(n))) を fff(n)と書く
次の(1)(2)(3)を満たす f,g,h は存在するか。存在しないなら証明し、存在するなら例をあげよ
(1) ∀n∈N に対して fff(n) = n+2015
(2) ∀n∈N に対して ggg(n) = 2015n
(3) ∀n∈N に対して hhh(n) = n^2015
9:１３２人目の素数さん
15/05/24 23:15:58.78 Gnf8gD0x.net
>>7
与式にx=0を代入
f(f(0)f(y)+y-1)=f(0)+y-1・・・(#)
y=1-f(0)を代入
f(f(0)f(1-f(0))-f(0))=0
ここでa=f(0)f(1-f(0))-f(0)とおくと
f(a)=0
与式にx=a,y=1を代入すると
f(0)=f(a)=0
よって(#)よりf(y-1)=y-1
すなわちf(x)=x
10:１３２人目の素数さん
15/05/25 18:25:36.30 Ic4oaJR1.net
nを正の整数とする.以下の条件を満たす2n桁の整数Nを全て求めよ：
【条件】Nの上n桁と下n桁をそれぞれ1つの整数とみたとき,それらの積がNの約数になる.
11:１３２人目の素数さん
15/05/25 20:57:41.41 GTPxpkqC.net
>>10
11, 12, 15, 24, 36
1352, 1734
{(10^k+2)^2}/6
{(10^(6k-3)+1)^2}/7
12:１３２人目の素数さん
15/05/26 20:41:40.76 2aztPFyt.net
αを, α^7=1を満たす複素数のうち虚部が最大であるものとする.
1/|α^2+α+1|-1/|α+1|
の値を求めよ.
13:１３２人目の素数さん
15/05/26 21:45:25.08 MZa9woGS.net
>>8
(1) 存在しない
A={f(n):n∈N}
B={ff(n):n∈N}
C={fff(n):n∈N}とおくと
|N-A|=|A-B|=|B-C|
|N-A|+|A-B|+|B-C|=|N-C|=2015
2015は3の倍数でないので矛盾
(2) a(n)=Max{k∈N+{0}:n/2^k∈N}とおく
g(n)=2n (a(n)≡0,1(mod 3))
g(n)=2015n/4 (a(n)≡2(mod 3))
(3) b(n)=Max{k∈N:n^(1/k)∈N}とおく
h(1)=1
h(n)=n^2 (a(b(n))≡0,1(mod 3))
h(n)=n^(2015/4) (a(b(n))≡2(mod 3))
14:１３２人目の素数さん
15/05/26 21:47:07.46 MZa9woGS.net
>>13
あ、(3)はナシで
15:１３２人目の素数さん
15/05/26 22:36:13.03 dwAp1wFI.net
>>13
(1)(2)正解です
16:１３２人目の素数さん
15/05/27 01:21:13.29 dfnaaauX.net
Nは正の整数とする。
X+Y+Z≦Nを満たす正の整数の組(X,Y,Z)は何通りあるか？
17:１３２人目の素数さん
15/05/27 02:21:35.09 tuOMDtKz.net
>>16
宿題は他所で聞け！
18:１３２人目の素数さん
15/05/27 14:00:02.49 PZMJUt71.net
nを2以上の整数とする. 任意の正の整数kに対して, kと書かれたボールが1個ずつある.
これらのボール全てを, 以下の条件(1),(2)をともに満たすようにボールがいくらでも入るn個の袋に分け入れることは出来るか.
条件(1)：どの袋も空にはならない
条件(2)：n個の袋のうちどのn-1個を選び, 選んだ各袋からボールを無作為に1個ずつ取り出しても, 取り出したボールに書かれた数の和をSとすると, Sと書かれたボールは残り1個の袋に入っている.
19:１３２人目の素数さん
15/05/28 10:58:30.37 lVJ8cRpY.net
N：自然数全体の集合
R：自然数全体の集合
f ; R→N
∀x、∀y、f(x+f(x)) = (1+y)・f(x)
ときどき聞かれるが、自然数は 0 を含まない。
20:19
15/05/28 10:59:51.42 lVJ8cRpY.net
ゴメン訂正。左辺を書き間違った。あのままでも解けるならやって味噌。
N：自然数全体の集合
R：自然数全体の集合
f ; R→N
∀x、∀y、f(x+f(x)f(y)) = (1+y)・f(x)
ときどき聞かれるが、自然数は 0 を含まない。
21:１３２人目の素数さん
15/05/28 11:11:07.18 lVJ8cRpY.net
ゴメンもひとつ訂正。
N：自然数全体の集合
f ; N→N
∀x、∀y∈N、f(x+f(x)f(y)) = (1+y)・f(x)
22:１３２人目の素数さん
15/05/28 17:23:10.78 OzVozmQ7.net
>>12
複素数平面上で
4点A(1), B(cos2π/7+isin2π/7), C(α), D(α^2)にトレミーの定理を適用して
1/|α^3-1|-1/|α^2-1|=1/|α-1|
∴ 1/|α^2+α+1|-1/|α+1|=1
23:１３２人目の素数さん
15/05/28 23:08:18.47 OzVozmQ7.net
素数からなる数列{p_n}を以下のように定める：
p_1=2, n≧2においてp_nはΠ[k=1 to n-1]p_k +1の最大の素因数
(1)数列{p_n}に5は現れるか.
(2)数列{p_n}に11は現れるか.
24:１３２人目の素数さん
15/05/28 23:09:55.13 lVJ8cRpY.net
>>22
すごいな！
25:１３２人目の素数さん
15/05/28 23:42:41.84 61sb4mGP.net
>>22
おもすれー！
26:１３２人目の素数さん
15/05/29 00:13:33.28 O8xAIr5P.net
>>23
(1)はなんとかなった。
p_n=5のとき
Π[k=1 to n-1]p_k +1 = (3^a)*(5^b) ただし、aは非負整数，bは正の整数
ここで、p_2=3より左辺≡1 mod 3
よって、a=0
そのとき、右辺≡1 mod 4
よって、Π[k=1 to n-1]p_kは4の倍数となるが、それはありえない。
(2)も、
p_n=11のとき
Π[k=1 to n-1]p_k +1 = (3^a)*(5^b)*(7^c)*(11^d) ただし、a,b,cは非負整数，dは正の整数
とおくと、p_2=3とp_3=7より、a=c=0と、
mod 4とmod 6における考察からbとdは奇数というところまではわかるが、
矛盾がまだ導けない…
ちなみに、これだよな
URLﾘﾝｸ(oeis.org)
27:１３２人目の素数さん
15/05/29 07:55:46.24 7uOmhxTR.net
>>26
ものすごい速さで増加してるから気になって調べたけど、単調増加ではないことが証明されているらしい
28:１３２人目の素数さん
15/05/29 12:17:53.69 7uOmhxTR.net
>>26
そこまで来たらあとはmod○で見ればおしまいですぜ
29:１３２人目の素数さん
15/05/30 00:10:39.16 DTDtTIAa.net
>>23 (2)
>>26 のようにしてbは奇数
よって5^b≡3,5,6 , 11^d≡1,2,4 (mod 7)より
5^b・11^d≡1になりえないので矛盾
30:１３２人目の素数さん
15/05/30 01:08:03.54 cjrKKsVK.net
出題します
(1)無理数全体の集合は可付番か。
(2)有理数の無理数乗で有理数となるものは存在するか。
31:１３２人目の素数さん
15/05/30 01:11:41.16 8C3h28FU.net
0
1
32:１３２人目の素数さん
15/05/30 01:19:18.86 ALkUXCoP.net
>>30
なんで(1)を出題したのか泣くまで苛めたい
33:１３２人目の素数さん
15/05/30 01:40:28.38 DTDtTIAa.net
>>30 (2)
2^log_(2)3=3など無数
<類題>
無理数の無理数乗で有理数となるものは存在するか。
↑これの答え知ったときの感動といったらもう
34:１３２人目の素数さん
15/05/30 05:41:31.12 WTsTfqJY.net
>>33
あの証明は排中律のうさんくささを物語っているのであり、
感動しちゃイカン
URLﾘﾝｸ(ja.wikipedia.org)排中律
＞上記の例は直観主義では許されない「非構成的; non-constructive」証明の例である。
＞「この証明は、定理を満足する a と b という数を特定せずに可能性だけで論じているため、
＞非構成的である。実際には a=\sqrt{2}^{\sqrt{2}} は無理数だが、これを簡単に示す証明は
＞知られていない」(Davis 2000:220)
35:１３２人目の素数さん
15/05/30 10:50:46.63 DTDtTIAa.net
nを2以上の整数とする. 黒板にnがn個書かれている.
このとき, 以下の操作を繰り返し行う：
操作：黒板に書かれた数のうち2つを任意に選んでa, bとする. 黒板に書かれたa, bを1つずつ消し, 代わりに(a+b)/4を1つ黒板に書き加える.
初めの状態から上記の操作を(n-1)回繰り返して黒板に数が1つだけ残ったとき, その残った数は1以上であることを示せ.
36:１３２人目の素数さん
15/05/30 13:00:00.51 O0nWqd/h.net
１／ａ＋１／ｂ－４／（ａ＋ｂ）＝（ａ－ｂ）＾２／ａｂ（ａ＋ｂ）。
37:１３２人目の素数さん
15/05/30 16:11:45.43 DTDtTIAa.net
nを2以上の整数とする. 黒板にnがn個書かれている.
このとき, 以下の操作を繰り返し行う：
操作：黒板に書かれた数のうち2つを任意に選んでa, bとする. 黒板に書かれたa, bを1つずつ消し, 代わりに√(ab/2)を1つ黒板に書き加える.
初めの状態から上記の操作を(n-1)回繰り返して黒板に数が1つだけ残ったとき, その残った数は1以上であることを示せ.
38:１３２人目の素数さん
15/05/30 16:14:30.32 DTDtTIAa.net
訂正
✕1以上 ○√n以上
39:１３２人目の素数さん
15/05/31 00:33:48.52 fE/FMywr.net
(1/a)^2＋(1/b)^2－(1/√(ab/2))^2＝(a－b)^2/(a^2b^2)
40:１３２人目の素数さん
15/05/31 04:14:16.21 sfLdmxRv.net
平面上の相異なる6点A, B, C, D, E, Fは次の(i)～(iii)を全て満たす.
(i)AB//CD
(ii)4点A, B, E, Fは同一円周上にある
(iii)4点C, D, E, Fは同一円周上にある
このとき, 6点A, B, C, D, E, Fを全て通る二次曲線が存在することを示せ.
ただし, 「二直線」も二次曲線に含めるものとする.
41:１３２人目の素数さん
15/06/01 00:59:17.14 3Q/kEBod.net
>>30だけど(3)を書き忘れてつまらん問題になってるね
(3)任意の有理数と無理数の同数の組み合わせから四則演算とべき乗によって有理数を作ることは可能か。
あと>>33は例示が間違ってますね。無理数乗の要素も見当たらない
無理数の無視数乗の問題の方が簡単です。(2\を解く過程で背理法を使うと系として出てきます
有理数の無理数乗で無理数となるものも同様に存在します。
42:１３２人目の素数さん
15/06/01 06:39:28.92 3uXQ8gBK.net
>>41
2を底とする3の対数って有理数だったのか…
43:１３２人目の素数さん
15/06/01 14:31:50.05 e8HqnHNl.net
>>21
これか
URLﾘﾝｸ(www.toshin.com)
しかし、最後の３行が謎ちゅうか誤魔化してないか？誰か解説 please !
44:１３２人目の素数さん
15/06/01 20:16:36.54 3uXQ8gBK.net
>>43
f(xl=cx (cは定数)
の形だとわかって、それを元の式に代入してc=1がわかるって意味だよ
45:１３２人目の素数さん
15/06/01 20:22:57.45 oUH6EhHI.net
>>43
∀x、f(x) = f(1)xが成り立つので
元の式f(x+f(x)f(y)) = (1+y)f(x)にあてはめて
f(1)(x+f(x)f(y)) = (1+y)f(1)x
f(1)f(x)f(y) = f(1)xy
f(x)f(y) = xy
f(1)x・f(1)y = xy
f(1)^2=1
46:１３２人目の素数さん
15/06/01 23:21:16.89 e8HqnHNl.net
>>44-45
なるほど～、ありがとうございます！
47:１３２人目の素数さん
15/06/02 11:52:49.46 hznov9EH.net
ad-bc=1, ac+bd=72
を満たす正の整数a,b,c,dをすべて求めよ
48:１３２人目の素数さん
15/06/02 15:40:04.20 311eJ5rc.net
(ad-bc)^2+(ac+bd)^2=(a^2+b^2)(c^2+d^2)=5185=5*17*61
5=1^2+2^2,17*61=29^2+14^2=26^2+19^2
17=1^2+4^2,5*61=4^2+17^2=7^2+16^2
61=5^2+6^2,5*17=2^2+9^2=6^2+7^2
29*1-14*2=1,29*2+14*1=72
17*1-4*4=1,17*4+4*1=72
6*6-7*5=1,6*7+5*6=72
(a,b,c,d),(d,c,b,a)=(1,2,14,29),(1,4,4,17),(6,5,7,6)
49:１３２人目の素数さん
15/06/03 00:52:37.07 a8jU9vQT.net
y=ax^2 (a>0)で表される放物線はすべて相似であることを示せ
50:１３２人目の素数さん
15/06/03 06:27:25.51 aO76Pz1F.net
平面上に相異なる2015個の点を, 以下の(i)(ii)をともに満たすように配置できることを示せ.
(i)全ての点が同一円周上にある
(ii)どの2点間の距離も整数
51:１３２人目の素数さん
15/06/03 10:29:42.56 +7SpCnec.net
>>50
tanα=3/4（0<α<π/2）とすると、
α/πは無理数。（←これは別途証明要）
単位円周上に点P_1をとり、
中心から見てP_kを反時計回りに角度2αだけ回転させた点をP_{k+1}とする（k=1,…,2014）
α/πが無理数であることから、P_1～P_{2015}は全て異なる点。
このとき、２点P_i，P_j間の距離は｜2sin(j-i)α｜となるが、
sinα，cosαがともに有理数であることから数学的帰納法により自然数nに対しsin(nα)は有理数なので
P_1～P_{2015}のどの２点間の距離も有理数となる。
このようにして得られた全ての２点間距離を既約分数で表したときの分母の最小公倍数をNとし、
半径Nの円周上に同様に角度2αずつ離れた2015個の点を取ると、条件を満たす。
52:１３２人目の素数さん
15/06/03 11:49:30.77 aO76Pz1F.net
>>51
tを十分大きな有理数で
tan α=2t/(t^2-1) (0<α<π/2014)
を満たすようにとれば「別途証明」不要
53:１３２人目の素数さん
15/06/03 11:55:27.40 aO76Pz1F.net
nを4以上の整数とする.
凸n角形をその全ての対角線によっていくつかの小多角形に分割したとき, 小多角形の個数としてありうる最大値を, nの式で表せ.
54:１３２人目の素数さん
15/06/03 17:03:57.79 tA8LQoZR.net
(n-1)(n-2)(n^2-3n+12)/24 かな？
55:１３２人目の素数さん
15/06/03 17:50:39.91 4qlGfN1X.net
nが奇数のとき、(n-1)(n-2)(n^2-3b+12)/24
56:１３２人目の素数さん
15/06/03 17:51:59.01 4qlGfN1X.net
訂正
奇数のとき、(n-1)(n-2)(n^2-3n+12)/24
>>54と同じだった．．．
57:１３２人目の素数さん
15/06/03 17:57:16.64 4qlGfN1X.net
偶数のとき、1/24 (n^4-6 n^3+23 n^2-54 n+72)
58:１３２人目の素数さん
15/06/03 18:58:25.16 MHyXHGHf.net
>>54 が正解
59:１３２人目の素数さん
15/06/03 20:01:26.09 4qlGfN1X.net
>>58は不正解
n=6のときは24
60:１３２人目の素数さん
15/06/03 21:43:20.50 MHyXHGHf.net
>>59 は不正解
六角形の3本の対角線が1点で交わらないようにすれば25
61:１３２人目の素数さん
15/06/03 21:51:53.69 MHyXHGHf.net
>>60
無論頂点以外で
62:１３２人目の素数さん
15/06/03 22:19:26.59 DLQt16A/.net
むしろ正ｎ角形の場合はどうなるんだ？
63:１３２人目の素数さん
15/06/04 00:05:41.35 DlD1fgXL.net
>>62
www-math.mit.edu/~poonen/papers/ngon.pdf
64:１３２人目の素数さん
15/06/04 00:10:22.67 DlD1fgXL.net
>>62
すまん
the number of intersection points made by the diagonals of a regular polygon
っていう名のpdfがあるから検索してくれ
65:62
15/06/04 07:57:49.04 5CVBYIht.net
>>63-64 ありがとう
導入だけ読んでみたけど、けっこう面白いな
正奇数角形では、中心以外の点で３本以上の対角線が交わることがない
中心以外の点で８本以上の対角線が交わることがない
交点数は mod 2520 で場合分けされた多項式で表わせる、など
66:１３２人目の素数さん
15/06/04 09:47:21.93 DlD1fgXL.net
(1)n!がn^2+1で割り切れるような正の整数nが無限に存在することを示せ.
(2)n!+1が2nより大きな素数で割り切れるような正の整数nが無限に存在することを示せ.
67:１３２人目の素数さん
15/06/04 10:18:28.83 VK5AHYCS.net
最大値、1+C[n,2]-n+C[n,4]=(n-1)(n-2)(n^2-3n+12)/24
68:１３２人目の素数さん
15/06/04 11:37:55.53 VRhXXN4e.net
>>65
その議論の中で全ての三重点（３本以上の対角線が交わる点）が特定されることから
全ての整角四角形を特定できる。
69:１３２人目の素数さん
15/06/08 10:00:02.69 SYFaGsUd.net
「フィボナッチ時計」現る 時刻をフィボナッチ数の正方形で表現
URLﾘﾝｸ(www.itmedia.co.jp)
70:１３２人目の素数さん
15/06/08 14:18:26.14 kPVANlDn.net
サゲ
71:１３２人目の素数さん
15/06/08 18:02:19.48 tVQ59KCQ.net
各桁に0,1,2,3,4,5,6,7,8,9がいずれも等しい回数現れるような2015の倍数が無限個存在することを示せ
72:１３２人目の素数さん
15/06/08 23:21:01.18 C27RTUbC.net
2015=5×13×31
a=987654321098765432109876543210は5の倍数
1,10^30,10^60,... という長さ13×31の列の和bは13×31の倍数
abは2015の倍数
abは問題の条件を満たす
abを何回も繰り返した数も条件を満たす
このような数が無限に存在する
73:１３２人目の素数さん
15/06/09 13:49:00.57 T0GLx/6H.net
2^n+n=m!を満たす正の整数の組(m,n)を全て求めよ.
74:１３２人目の素数さん
15/06/09 23:44:26.68 C9PCsexr.net
m=4のとき、m!=24 は 2^3=8 の倍数。
2^n+n=m! が成り立つとすると、2^n+n は 2^3=8 の倍数。n自体が 2^3=8 の倍数。
すると 2^n+n は最低でも 2^8+8=264>24。関係式は成り立たない。
m≧5のときも同様
あとは m=1,2,3 の場合を考えれば n=2,m=3 でのみ成立
75:１３２人目の素数さん
15/06/10 00:24:56.38 7AH0/qSj.net
m!は2^kを因数に持つけど、kをmで表すことってできる？
76:１３２人目の素数さん
15/06/10 00:43:27.74 tY3zLt2n.net
k=[m/2]+[m/4]+[m/8]+[m/16]+…
（[]はガウス記号）
とかですかね
これから
(m-1)/2 ≦ k < m
が言える。（下はもう少しいい評価があるかも）
77:１３２人目の素数さん
15/06/10 00:53:05.27 bFulPhM4.net
73を解くのにあたってって話なら
4は2^2の倍数
それ以外の偶数は2の倍数って考えて
「m!の中の2の因子の数は最低でもこれ以上」っていう評価をすれば
じゅうぶんみたい
78:１３２人目の素数さん
15/06/11 22:17:10.16 bGUttT8X.net
ちょっと出題してみる。経験的に初学者がやりがちなミスについての問題だけど、お前らは大丈夫だよな？
問：S大学数学科1年生のT君は、以下の定理を次のように証明した。
定理 ｆ（P_1）∨ｆ（P_2）＝ｆ（P_1∨P_2）
（証明）
ｂ∈ｆ（P_1∨P_2） （1）
⇔ｆ（a）∈ｆ（P_1∨P_2） （2）
⇔a∈P_1∨P_2 （3）
⇔a∈P_1またはa∈P_2 （4）
⇔ｆ（a）∈ｆ（P_1）またはa∈ｆ（P_2） （5）
⇔ｆ（a）∈ｆ（P_1）∨ｆ（P_2） （6）
⇔ｂ∈ｆ（P_1）∨ｆ（P_2） （7）
（ただし、証明中の∨はcopを表している。）
（1）この定理は確かに正しいのだが、T君の証明には致命的な欠陥（誤り）がある。それはどの部分か。理由を含めて指摘せよ。
（2）T君の証明を正しく訂正せよ（誤っている部分のみでよい）。
（3）（2）に適切な証明を補い、定理の証明を完成させよ。
79:１３２人目の素数さん
15/06/11 22:22:33.65 bGUttT8X.net
>>78補足
ｆは集合Aから集合Bへの写像であり、a∈A、ｆ（a)=b∈Bとする。
80:１３２人目の素数さん
15/06/11 22:24:49.45 bGUttT8X.net
すいません訂正です。
⇔ｆ（a）∈ｆ（P_1）またはa∈ｆ（P_2） （5）
訂正 → ⇔ｆ（a）∈ｆ（P_1）またはｆ（a）∈ｆ（P_2） （5）
81:１３２人目の素数さん
15/06/11 22:26:02.12 wfdOlE04.net
aを実数とします。縦1/a，横aの長方形があるとして，その面積は１です。
しかし，ここでaを∞にすると，長方形は直線になりますが，直線には面積
がないにもかかわらず，面積１があることになってしまいます。これはどういう
ことなのでしょうか。
82:１３２人目の素数さん
15/06/11 22:35:03.48 bGUttT8X.net
>>81
長方形の面積をS（a）＝1/a * aとする。
この定義域は（0、∞）であるため、a=∞である場合にはこの式をそのまま用いてはならない。
そこで極限を利用するものとし、ロピタルの定理によれば、
lim[a→∞]S(a)（不定形）＝lim[a→∞]S’（a）＝-1/∞＝0
となり、直観に合う。
83:１３２人目の素数さん
15/06/11 22:45:55.24 wfdOlE04.net
意味が通らない。普通微分の世界では，h/hはh→∞の場合も１で
扱うことになっているから，a/aはa∞でも１である。これを否定するなら
微分を否定することになる。
84:１３２人目の素数さん
15/06/11 22:49:33.06 FCTGdr8N.net
「長方形は直線になります」が間違いなだけ
85:１３２人目の素数さん
15/06/11 22:53:42.28 wfdOlE04.net
半直線でもない，無限に長い直線になることは明らかである
86:１３２人目の素数さん
15/06/11 22:54:40.44 wfdOlE04.net
直線とは，縦の長さが∞で，横の長さが０であるものである
87:１３２人目の素数さん
15/06/11 22:55:04.31 3LGTbrht.net
>>78
>>79、>>80 を全部まとめて、 T 君の示した証明を”正確”に書き写すべし。
88:１３２人目の素数さん
15/06/11 22:55:38.31 3LGTbrht.net
>>85
ならない。
89:１３２人目の素数さん
15/06/11 22:57:23.86 bGUttT8X.net
>>83
お前の普通が普通じゃないだけ
h/hがh→∞のとき1っていうのは定義でもなんでもない。状況による
そうでないって言うなら証明しろ。
h/hの形で表される関数はh→∞において常に1である
90:１３２人目の素数さん
15/06/11 22:59:04.50 QtO61PaI.net
へんなのが湧いてきた
91:１３２人目の素数さん
15/06/11 23:02:33.19 kvq6G/61.net
超函数と似てる。
92:１３２人目の素数さん
15/06/11 23:02:39.28 bGUttT8X.net
>>87
（T君の示した証明）
ｂ∈ｆ（P_1∨P_2） （1）
⇔ｆ（a）∈ｆ（P_1∨P_2） （2）
⇔a∈P_1∨P_2 （3）
⇔a∈P_1またはa∈P_2 （4）
⇔ｆ（a）∈ｆ（P_1）またはｆ（a）∈ｆ（P_2） （5）
⇔ｆ（a）∈ｆ（P_1）∨ｆ（P_2） （6）
⇔ｂ∈ｆ（P_1）∨ｆ（P_2） （7）
各行末の（ ）は式番号を表しています。
証明の形式が一般的なものと外れているという問題ではなくて、
あからさまにおかしな点が一か所存在していますので、
それを式番号で指摘し、おかしい理由を説明してください。
（2）、（3）はこの定理に馴染みがない人のための補足のようなものですので、
別段興味がわかなければやらなくてもいいです。
93:１３２人目の素数さん
15/06/11 23:21:42.97 wfdOlE04.net
aを無限大にしていくと，直線に「なる」ことは明白である
94:１３２人目の素数さん
15/06/11 23:26:47.17 bGUttT8X.net
>>93
うだうだ言ってないではやく>>83にある普通とやらを微分の定義から証明しろ
それができないなら消えろ
95:１３２人目の素数さん
15/06/11 23:28:54.63 3LGTbrht.net
>>92
「式番号」というよりは 「⇔が成立していない箇所」というべきか。
96:１３２人目の素数さん
15/06/11 23:30:13.81 3LGTbrht.net
>>93
ならない。
aがどれほど大きくなろうとも、そこにあるのは一辺がaもう一辺が1/aの長方形である。
97:１３２人目の素数さん
15/06/11 23:36:37.66 bGUttT8X.net
>>95
確かに、この問題についてはその認識で間違っていませんね。
細部を直せば証明が合うというものではなく、この議論だけでは不十分である
ということを指摘していただきたいです。
98:１３２人目の素数さん
15/06/11 23:44:39.82 3LGTbrht.net
T君の頭のなかでは
任意のX⊂Aに対して X=f^(-1)(f（X)) となっているようなので
それを使った箇所は全て間違い。
99:１３２人目の素数さん
15/06/11 23:58:47.37 bGUttT8X.net
>>98
「逆”対応”はもとの集合に一致する」は明らかに真ですので、
正解は分かっていると思うんですが、その解答は誤りです。
その解答を正しく訂正すると、
∀a∈Aに対してf:a│→f(a)＝ｂならばｆ^（-1）：ｂ＝ｆ（a）│→aが誤りです。
つまりおかしいのは（5）で、例えばｆ（a）=f（a'）∈ｆ（P_2）であるときに
a∈P_2は成り立たないということを指摘すべきでした。
>>98さんは写像ｆにどのような条件が成り立てば元の証明が成り立つかということについて
考察し、集合に関する理解を深めてください。
100:１３２人目の素数さん
15/06/12 00:04:31.41 GlaDXgea.net
>>99
間違い。
101:１３２人目の素数さん
15/06/12 00:05:53.41 bcUTKLj5.net
(2)⇔(3)も間違いだよ。
102:１３２人目の素数さん
15/06/12 00:09:58.41 d0ufml/3.net
>「逆”対応”はもとの集合に一致する」は明らかに真
語弊がありました。つまり
ｂ∈Γ（a）⇔a∈Γ^（-1）（ｂ）
逆対応の定義によりこれが成り立つので、Aの任意の部分集合Xに対する写像ｆによる像の集合をｆ（X）とすれば
b∈ｆ（X）⇔a∈f^(-1)(f（X))
したがって、a∈f^(-1)(f（X))⇔a∈Xが確かに成立します。
103:１３２人目の素数さん
15/06/12 00:12:52.05 d0ufml/3.net
>>101
すいません確かにそうでした。
⇔∃a∈P_1∨P_2 （3）
（これが最適とは言えませんが）せめてこうするべきですね。
（すなわち、ｂ＝ｆ（a）を満たすaが存在して、の意）
104:１３２人目の素数さん
15/06/12 00:19:33.30 bcUTKLj5.net
>>102
A={1,2}、B={1}、X={1}⊂A、ｆ：A→B をf(1)=f(2)=1 とすれば
f^(-1)(f(X))={1,2}=A であり 明かにX≠f^(-1)(f(X))
105:１３２人目の素数さん
15/06/12 00:37:04.12 d0ufml/3.net
>>104
大変申し訳ありませんあなた様の御認識が正しくてわたくし目の節操のない
意見未満の戯言がすべて間違っています。
ご高説を参考にわたくし目の大変見苦しい証明を訂正いたしますと、
a∈X⇒a∈f^(-1)(f（X))
こうですね。
したがってX⊂f^(-1)(f（X))
106:１３２人目の素数さん
15/06/12 00:42:10.83 d0ufml/3.net
何度も書き込みして大変申し訳ないのですが、>>104様ありがとうございました。
具体的に考えてみればすぐに分かることとはいえ、長年勘違いしていたらしく、
恥ずかしい限りです。できれば貝になりたいです。
300年ROMります。
107:１３２人目の素数さん
15/06/12 01:12:17.78 bcUTKLj5.net
これで思い出した。
しばしば初心者が間違いに気付かないところ。
空でない集合A、B、写像ｆ：A→B、部分集合Y⊂Bに対して
（真）命題： f(f^(-1)(Y))⊂Y
（嘘）証明
任意のy∈f(f^(-1)(Y))をとればあるx∈f^(-1)(Y)があってy=f(x)。
f^(-1)の定義とxの取り方から f(x)∈Y これより y∈Y
即ち f(f^(-1)(Y))⊂Y。
108:１３２人目の素数さん
15/06/12 01:38:18.11 d0ufml/3.net
>>107
先生、これはどこがまずいんですか？
∀x(f(x)＝y)、f(x)∈Yはほぼ自明に成り立っていると思うのですが。
109:１３２人目の素数さん
15/06/12 04:06:22.05 d0ufml/3.net
あるxがあってy＝……の順序が逆なんですかね。
間違いと言うより書き方の問題のような気がしますが。
ろm言った後にしゃしゃってすみません。
>>107の等号成立条件は何か、という問題を置いて今度こそ去ります
110:１３２人目の素数さん
15/06/12 19:02:34.86 Baaq2w5d.net
>>107は釣り
111:１３２人目の素数さん
15/06/12 20:20:24.55 bcUTKLj5.net
>>108
f^(-1)(Y)=φのときを別に言っておかなければならない。
112:１３２人目の素数さん
15/06/12 20:21:59.81 Baaq2w5d.net
>>111
113:r> するとあなたは φ⊂A をどうやって証明すると思ってるの
114:１３２人目の素数さん
15/06/12 21:35:06.49 bcUTKLj5.net
釣りと言ったからには何かを言わなきゃ、ね
115:１３２人目の素数さん
15/06/12 21:42:06.44 Baaq2w5d.net
何を言ってるんだ
116:１３２人目の素数さん
15/06/13 00:38:40.24 qxL5Q/0+.net
v^3空間中にx軸、y軸をそれぞれ軸としてz軸方向に進行するコサインカーブ
E_x=A_xcos(k_0z-ωt)
E_y=A_ycos(k_0z-ωt)
を考える。軸上の任意の点からE_x、E_yに垂直な方向でそのz座標における各関数値と
同じ大きさを持つベクトルe_xおよびe_bを取り、そので表現されるベクトルの集合を考える。
z軸正方向無限遠点に立ち、xy平面を見るとき、このベクトルによってどのような軌跡が描かれるか。
また、E_y=A_ycos(k_0z-ωt-π/2)のときはどうか。
ただし A_x、A_y、k_0、ωは比例定数であり、考察上1と置いても構わない。
117:１３２人目の素数さん
15/06/13 00:42:07.76 qxL5Q/0+.net
>>115
……を、それぞれ軸として～は間違い。
軸はz軸に固定されていて、いわゆる振幅の方向がそれぞれx、yです。
数学ではあまり扱わない話題ですが、ぜひどうぞ。
118:１３２人目の素数さん
15/06/13 00:44:18.82 qxL5Q/0+.net
5行目、e_bはe_yに訂正。
その直後のそのではその和でに訂正。
119:１３２人目の素数さん
15/06/13 05:11:04.60 QxkJCEZQ.net
無駄に長い文章で読む者をヒかせるが、要するに
(x,y)=(A_xcos(k_0z-ωt),A_ycos(k_0z-ωt)),z∈実数
の軌跡を各 t ごとに求めよ ってことでしょ。
そう言えば簡単じゃない。
120:１３２人目の素数さん
15/06/13 17:29:00.06 qxL5Q/0+.net
>>118
前半はそうなんですが、後半はベクトル和であることで単なる軌跡ではない
ある特別な性質が見られるのです。
(数学ではありませんが)物理学的に重要なので、あえてまどろっこしい言い方をした次第です。
121:１３２人目の素数さん
15/06/13 22:19:15.17 QxkJCEZQ.net
>>119
物理方面の人は、ベクトルとか行列とかに
あらぬ感傷を抱きがちだけれど、ベクトルは
ベクトルに過ぎず、それ以外の意味は無い。
この問題の場合、「ベクトル和」は
x e_x + y e_y を構成しているだけだから、
単に (x,y) が直交座標になるだけ。
文系のロマンは、ここでは必要ない。
122:１３２人目の素数さん
15/06/13 22:31:30.86 qxL5Q/0+.net
>>120
ベクトル和の集合ですよ。
余弦波の変域がx、yの各定義域になりますので、当然直交座標にはなり得ません。
>ベクトルはベクトルに過ぎず～
位置ベクトルが指し示す座標の集合、と言い換えます。
恐らくは>>118の、単なる軌跡ではない、に引きづられているのかと思いますが、
これについては説明が不足していますのでお詫びして訂正します。
各点をzの値によって添数付けて、その順序を追って見てください。
すると軌跡上の各点に対して変化の方向を定義できます。
これが、例えば問題後半の-π/2を-3π/4としたときに
軌跡としては同じなのですが、実質的な大きな違いとして現れます。面白いですよ。
123:１３２人目の素数さん
15/06/13 23:25:10.90 QxkJCEZQ.net
ああ、e_x, e_y は定ベクトルではないのか、
それはすまなかった。しかし、
＞軸上の任意の点からE_x、E_yに垂直な方向で
＞そのz座標における各関数値と同じ大きさを持つ
＞ベクトルe_xおよびe_y
は、意味不明だな。言葉でうまく書けないなら、
式で定義したほうが伝わるんじゃないかね？
124:１３２人目の素数さん
15/06/13 23:41:28.88 qxL5Q/0+.net
>>122
そうですねえ……
すぐに定式化とはいかないのでやはり言葉での説明なのですが、要するに
あるz軸上の値を決めたときに最初に挙げた二つの関数が取る値をx、yとして、
これをそのz軸上の値における座標(x、y)としてxy平面にプロットする訳です。
そうするとxy平面にはzで添数づけられた連続なグラフのようなものが描けるはずなので、それを求めてください。
125:１３２人目の素数さん
15/06/13 23:55:31.45 qxL5Q/0+.net
問題（修正版）
V＾3空間においてｚ軸を変位中心とし、ｘ、ｙ軸に垂直な方向に変位する2つの余弦関数、
E_x=cos(z)、E_y=cos(z-φ)
を考える。あるｚにおける各関数の値をそれぞれｘ、ｙとし、
ｚにより添数づけられた座標（ｘ、ｙ）としてｘｙ平面にプロットするとき、
ｘｙ平面上の軌跡を求めよ。
ただし、関数中におけるφは初期位相を表しており、
今回は特にφ＝0、π/4、π/2、3π/4のいずれかであるものとする。
また、描かれた軌跡について添数ｚの値による変化の方向を調べ、
一方向に定まる場合には、それも併記すること。
126:１３２人目の素数さん
15/06/14 00:05:53.44 ovwdE92/.net
ああ、リサージュ曲線のこと話してたの
説明下手すぎでしょ…
最初の問題文のように下手な文章でわざわざ遠回しに表現する意味あったの？
127:１３２人目の素数さん
15/06/14 00:10:38.56 nchbPgqM.net
理紗汁
128:１３２人目の素数さん
15/06/14 00:28:15.70 yvZpfH/+.net
>>125今解いてきたけどリサージュ曲線じゃなくね？
0とπ/2のときはとりあえず直線になるね
π/4は円か？3π/4はまだやってない
129:１３２人目の素数さん
15/06/14 00:33:23.67 yvZpfH/+.net
すまん紛れもなくリサージュ曲線だったわ
130:１３２人目の素数さん
15/06/14 00:44:42.42 x/eXaC3E.net
lissajous は リサジュー と発音するんじゃね？
131:１３２人目の素数さん
15/06/14 00:47:22.00 yhbaX4/I.net
/ˈlɪsəʒuː/だそうです
132:１３２人目の素数さん
15/06/14 00:54:35.85 yvZpfH/+.net
>>130アクセントは？
133:１３２人目の素数さん
15/06/14 01:02:56.17 yhbaX4/I.net
第一音節です
かと思ったんですけど、元はフランス語なんですね
/lisaʒu/
フランス語にアクセントはないっぽいので、リサジュみたいな感じなんでしょうか
134:１３２人目の素数さん
15/06/14 01:03:00.80 GhoEuWAe.net
>>124
なんで3次元なの？
135:１３２人目の素数さん
15/06/14 01:04:45.60 yhbaX4/I.net
問題を複雑にするためだと思います
136:１３２人目の素数さん
15/06/14 01:09:17.92 ovwdE92/.net
そこは分かれよ
振動面の直交する電磁波の重ね合わせを定点観測する状況のことでしょ
137:１３２人目の素数さん
15/06/14 01:37:37.90 yvZpfH/+.net
>>135
物理どうのこうのだから多分それだよな
初期位相を変えるのは偏光のことを指していると思われ
138:１３２人目の素数さん
15/06/14 02:05:56.19 OzMn4BdF.net
黒４個、白４個、赤４個�
139:~形に繋いでネックレスを作る方法をエレガントに求めよ。 同色の玉は見分けがつかず、回転や裏返しで一致する繋ぎ方は同じものと見做す。
140:１３２人目の素数さん
15/06/14 03:22:07.16 yV4TcWxT.net
宿題は自分でやれ
141:１３２人目の素数さん
15/06/14 05:13:55.99 OzMn4BdF.net
>>138
まぁやってみろよ。
142:１３２人目の素数さん
15/06/14 09:24:00.27 Imd90ide.net
ただの数珠順列やん。
143:１３２人目の素数さん
15/06/14 09:28:00.96 r3//wh8S.net
>>123-125
なんだ。結局>>118でよかったのか。
簡単なことは、簡単にすまそうよ。
144:１３２人目の素数さん
15/06/14 10:56:06.46 OzMn4BdF.net
>>140
いかに上手に計算するかが問題なんだけどな。
145:１３２人目の素数さん
15/06/14 11:26:20.13 r3//wh8S.net
>>137 >>140 >>142
この問題だと、
裏返して重なる
が面倒だよね。
146:１３２人目の素数さん
15/06/14 11:42:56.16 0jPi0lqx.net
バーンサイドの定理
147:１３２人目の素数さん
15/06/14 11:48:33.06 iM/KqZS8.net
お前ら問題をよく読めよ。求めるのはネックレスを作る方法だぞ。
手芸板とかの方がいいんじゃないか？
そんなのあるのかどうか知らんけど。
148:１３２人目の素数さん
15/06/14 17:13:57.01 yvZpfH/+.net
>>141
他のレスも読んだらどうだ
149:１３２人目の素数さん
15/06/15 12:18:46.06 wIc3lRqX.net
>>137
答えは？
150:１３２人目の素数さん
15/06/15 14:02:26.11 jTvzDREJ.net
>>137
719
151:１３２人目の素数さん
15/06/15 14:13:39.05 1SLeoFUz.net
冗談は芳江さん
152:１３２人目の素数さん
15/06/15 22:59:41.61 w9Nq94Ln.net
7×7のマス目のいくつかのマスの中心に、以下の条件を満たすようにゴマを1つ置く。
条件：置かれたゴマのうちのどれか4つを頂点とする長方形で、その辺がマス目の辺に平行なものができてはならない。
最大でいくつゴマを置くことができるか。
153:１３２人目の素数さん
15/06/15 23:11:35.53 O9+dQNu/.net
なんか日本語おかしいよ
154:１３２人目の素数さん
15/06/16 00:24:40.43 fqscTCpW.net
>>137
最初地道にやった結果と、
wikipediaの「バーンサイドの補題」を参考にしてやった結果が一致したから
合ってるかな
1493通り
155:１３２人目の素数さん
15/06/16 00:43:12.01 fqscTCpW.net
>>150
7列からどの２列を選んで重ねても、ゴマのあるマスが２箇所以上重なることがない
という条件なので、多分21個。
例：
(1,1)(1,2)(1,3)
(2,1)(2,4)(2,5)
(3,1)(3,6)(3,7)
(4,2)(4,4)(4,6)
(5,2)(5,5)(5,7)
(6,3)(6,4)(6,7)
(7,3)(7,5)(7,6)
156:１３２人目の素数さん
15/06/16 01:14:16.63 H1/I840P.net
>>152
俺も地道に計算して1493通りになったんだけど、ネットで見つけた問題の模範解答は違っていた…
どう思う？
URLﾘﾝｸ(www.y-sapix.com)
157:１３２人目の素数さん
15/06/16 03:30:19.03 fqscTCpW.net
>>154
そのsapixの解答は、明らかに間違ってるな。
(C)以外の(A)の場合と、(D)以外の(B)の場合において、上下反転をダブルカウントしてる。
実際は、(A)も(B)も
(90-3!)/2+3で45通りなので
45*2+(2896-45*2)/2=1493
が正解。
そりゃ「優秀賞に値する答案はいただけませんでした」になるわな（苦笑）
その間違った模範解答をエスパーするのは無理。
sapix大丈夫？
158:１３２人目の素数さん
15/06/16 03:36:36.67 fqscTCpW.net
（それ、最終回の問題だったのか…とんだ有終の美だな…）
159:１３２人目の素数さん
15/06/16 03:57:44.00 H1/I840P.net
やはり間違っていたようですね。安心した。
2007年頃に塾のバイトしていたときに、m色n個ずつの円順列や数珠順列を
(m、n)=(2、4)、(3、3)、(3、4)の場合を出題した
160:ことがあったんだけど、 当時の解答の手書きメモと、最近ネットで見かけたsapixの解答が違っていて>>137に書いた次第。 ちなみに私の解法は黒玉の連続する個数で５通りに場合分けして、エレガントとは程遠い解法でしたが…。
161:１３２人目の素数さん
15/06/16 05:24:18.29 goQtvF3x.net
プログラムでカウントさせたところ、1493通りでした。
ちなみに、色を入れ替えて一致するものも同一視すると297通り
162:１３２人目の素数さん
15/06/16 06:06:45.29 H1/I840P.net
>>158
ありがとうございます。プログラムは ご自分で作られたのですか？
模範解答と答えが違うとき、まず自分を疑ってしまいがちですが、こんなこともあるのですね。
163:１３２人目の素数さん
15/06/16 08:49:30.12 deTZhkJL.net
>>159
こんな感じのもので確かめました。
URLﾘﾝｸ(codepad.org)
164:１３２人目の素数さん
15/06/16 13:35:34.98 TmgIPwFn.net
誰か>>18 >>40 >>66の解き方教えて
165:１３２人目の素数さん
15/06/16 21:57:51.55 LTpWN3vT.net
>>66 (1)は解けた
(50k^2+20k+2)^2+1=5(10k^2+6k+1)(50k^2+10k+1)
よりn=50k^2+20k+2(k≧1)のときn!はn^2+1で割り切れる
(2)は素数pが4n-1型のとき、((p-1)/2)!≡±1 (mod p) になることまでは分かったが…
166:１３２人目の素数さん
15/06/17 01:20:30.74 QCqizCQx.net
>>155-157
あまり責めないでやれ。
SAPIXというと、ある年代以降の生まれの人には
絶大な信用があるが、
要するに代ゼミだよと言えば、ある年代以前の人なら
多くを期待すべき相手でないことが解る。
M&Aは、ブランド名のロンダリングでもある。
167:１３２人目の素数さん
15/06/18 09:44:50.83 XPs4xt6p.net
2015個の連続する正の整数からなる列であって, ちょうど155個の素数を含むようなものが存在することを示せ
168:１３２人目の素数さん
15/06/18 11:26:36.76 pAuqikyi.net
>>164
nからn+2014までの自然数のうち素数の個数をf(n)とおくと、
f(1)=305であり、
素数定理などから、明らかにf(N)<155となるNが存在する。
ここで、任意の自然数nについて、
f(n+1)-f(n)は、1,0,-1のいずれかなので、
f(n)=155，1<n<Nを満たすnが存在する。
定義域が整数である場合の中間値の定理のようなものですな。
本当はf(N)<155となるNの具体例を示したかったのだが、
いきなりf(500000)=155となることを見つけてしまったので^^;
169:１３２人目の素数さん
15/06/18 19:54:40.67 /w4mTADd.net
>>165
f(N)<155となるNの存在をいうだけなら素数定理を持ちださなくても
あきらかにf(2016!+2)=0だよね
170:１３２人目の素数さん
15/06/19 18:55:13.73 n/Pn+0sj.net
>>40は上手くいきそうでいかない
「六角形」の辺を適当に結んで平行云々でパスカルの逆、って流れだと
いまいち綺麗にできない（場合分けが下手？）
数式に持ち込んでもごちゃごちゃ
前提条件が妙に強いからサクッとできるのだろうが
171:１３２人目の素数さん
15/06/21 14:51:11.58 eRDPXgWJ.net
>>66 (2)
まず, 条件を満たすnを具体的に構成する方法を示す.
kを3以上の奇数とする. k!+1は奇数なのでp|(k!+1)である奇素数pが存在する.
k!+1は1,2,...,kで割り切れず, またk,pはともに奇数なのでp-1>k
ここで, ウィルソンの定理より(p-1)!≡-1(mod p)なので,
-1≡(p-1)!
≡k!*(k+1)*...*(p-1)
≡(-1)*(k+1)*...*(p-1)
≡(-1)^(p-k)*(p-k-1)!
≡(p-k-1)! (∵p-kは偶数)
よ�
172:ﾁてp|((p-k-1)!+1) k+(p-k-1)=p-1<pより, kかp-k-1の一方はp/2より小さい. その小さい方をnとすれば, p|(n!+1)かつ2n<pが成り立つので, このnは条件を満たす. 次に条件を満たすnが無限個存在することを示す. 条件を満たすnとして n_1,n_2,...,n_m が与えられたとき, そのいずれとも異なるn_(m+1)が存在して条件を満たすことを示せばよい. (n_1)!+1,(n_2)!+1,...,(n_m)!+1の素因数全体の集合をPとする. Pの元のいずれよりも大きな3以上の奇数kをとり, 上記の構成法に従ってp,nを定める. このときp>kよりp∉Pなので, nはn_1,n_2,...,n_mのいずれとも異なる. よってn=n_(m+1)とすればよい. 以上より示された.
173:１３２人目の素数さん
15/06/21 14:59:56.59 eRDPXgWJ.net
正の整数からなる集合Aは次の条件(i),(ii),(iii)を全て満たす：
条件(i)：Aは3個以上の元を持つ
条件(ii)：a∈Aかつ d|a (d>0)ならばd∈A
条件(iii)：a, b∈Aかつ1<a<bならば1+ab∈A
このとき, Aは全ての正の整数を含むことを示せ.
174:１３２人目の素数さん
15/06/22 20:30:45.44 pYzkOfH1.net
>>169
条件より1<a<bなるa,bが存在して1,a,b,ab+1∈A
a,b,ab+1のうち少なくとも1つは偶数なので2∈A
よって2b+1,2(2b+1)+1∈A
b,2b+1,2(2b+1)+1のうち少なくとも1つは
3の倍数であるかまたは6で割った余りが2
前者の場合3∈A
後者の場合6k+2∈Aとして
3k+1∈A
2(3k+1)+1=3(2k+1)∈A
よって3∈A
ここまでで1,2,3∈Aが示せたので4,5∈Aもいえる
ここでn(≧5)以下の正整数が全てAに属すると仮定する
nが偶数のとき2<n/2∈Aよりn+1∈A
nが奇数のとき2<(n+1)/2∈Aよりn+2∈A
よってn(n+2)+1=(n+1)^2∈Aよりn+1∈A
以上よりAは全ての正整数を含む
175:１３２人目の素数さん
15/06/22 21:01:14.59 pYzkOfH1.net
>>170
抜けがあったので訂正
＞b,2b+1,2(2b+1)+1のうち少なくとも1つは
＞3の倍数であるかまたは6で割った余りが2
b≡5(mod 6)の場合これは成り立たないが
このときはb(2b+1)+1≡2(mod 6)がAに属するので
「後者の場合」に帰着する
176:１３２人目の素数さん
15/06/22 21:16:09.10 pYzkOfH1.net
＞よって2b+1,2(2b+1)+1∈A
＞b,2b+1,2(2b+1)+1のうち少なくとも1つは
よって2b+1,b(2b+1)+1∈A
b,2b+1,b(2b+1)+1のうち少なくとも1つは
とすればいいだけだった…
177:１３２人目の素数さん
15/06/23 05:42:15.74 bZvTLbCC.net
>>169の条件(iii)を改変したバージョンも解けたので問題として出しておく
正の整数からなる集合Aは次の条件(i),(ii),(iii)を全て満たす：
条件(i)：Aは3個以上の元を持つ
条件(ii)：a∈Aかつ d|a (d>0)ならばd∈A
条件(iii)：a, b∈Aかつ1<a<bならばab-1∈A
このとき, Aは全ての正の整数を含むことを示せ.
178:１３２人目の素数さん
15/06/23 23:32:20.59 rY+w350S.net
どことなくコラッツの問題に似てるから
実は解くのが難しいとかそういう話なのかと思ったら
解けるのか
179:１３２人目の素数さん
15/06/25 21:00:57.54 35Y69c7I.net
表裏の出る確率が均等でないコインが1枚ある。
これを繰り返し投げて出た結果によって、確率1/2の試行を実現したい。
投げる回数の期待値を最小にするにはどうすればいいか。
180:１３２人目の素数さん
15/06/25 22:22:23.83 2yBiznPm.net
右手か左手に表裏の出る確率が均等でないコインを隠し、選んで貰う
181:１３２人目の素数さん
15/06/26 10:13:21.94 5yy/K2nU.net
>>175
最初「期待値」の意味がわからなかったけど、例えばこういうことかな。（これが期待値最小かどうかはおいといて）
判定結果は○／×で表すものとします。
偶数回目のみにチェックポイントを設け、以下の判定を行う。
そこまでに投げた回数をN=2^n*a（aは奇数、nは正の整数）とする。
次の判定を、決着がつかない限り、k=1からnまで順に繰り返す。
・N回目とN-2^(k-1)回目のコインの表裏が異なる場合、N回目は表なら○、裏なら×で決着。そうでない場合は決着せず。
有限回数で必ず決着する手段が存在しない以上、「ある条件を満たせば決着」という手法を考え
その条件に至るまでの回数の期待値ってのが問題になるわけね
182:１３２人目の素数さん
15/06/26 10:42:50.12 5yy/K2nU.net
さっきの
183: >>177 の判定の意味がわかりにくいので補足。 基本となる手法は以下 偶数回目のみチェックする。 直前の２回が「裏表」なら○、「表裏」なら×で決着 それ以外は、その回では決着せず この手法では、決着せずに試行を繰り返さないといけないケースは ２回ずつまとめてみると「表表」もしくは「裏裏」のパターンのみをくりかえす場合。 その決着しないケースをなるべく救済するために、今度は4の倍数回にチェックポイントを設け 直前４回が「裏裏表表」なら○、「表表裏裏」なら×とする。 この手法を追加しても、決着せずに試行を繰り返さないといけないケースは ４回ずつまとめてみると「表表表表」もしくは「裏裏裏裏」のパターンのみをくりかえす場合。 それををなるべく救済するため、8の倍数回にチェックポイントを設け 直前８回が「裏裏裏裏表表表表」なら○、「表表表表裏裏裏裏」なら×とする。 （以下略） というのをまとめた結果。
184:１３２人目の素数さん
15/06/26 12:09:01.54 IIy/cicI.net
1/2を期待できる方法（小道具を使うが、１回で完了）
コインの表を偶数、裏を奇数に対応づけ、コインを振り、止まった瞬間に時計の秒針を見て
偶数か奇数かをチェック。コインの偶奇と一致するかどうかで判定
ほぼ1/2を期待できる方法
でやすい面を表、でづらい面を裏と表すこととし、表のでる確率をpとする
コインを繰り返し振り、n回目の裏がでたのが、偶数回目だったか、奇数回目だったかで判定
確率pに対応して、下のようなｎを採用すれば、最大誤差1%程度になる。
0.99<p<1 なら、n=1で十分。
初めて裏がでるのが偶数回目となる確率＝p(1-p)+p^3(1-p)+...=p/(1+p)
初めて裏がでるのが奇数回目となる確率＝(1-p)+p^2(1-p)+...=1/(1+p)
0.8<p<0.99 なら、n=2辺りを用いる
二回目の裏がでるのが偶数回目となる確率＝(1-p)^2+C[3,1]p^2(1-p)^2+...=(1+p^2)/(1+p)^2
二回目の裏がでるのが奇数回目となる確率＝2p/(1+p)^2
0.6<p<0.8 なら、n=3辺り
３回目の裏がでるのが偶数回目となる確率＝3p(1-p)^3+C[5,2]p^3(1-p)^3+...=(3p+p^3)/(1+p)^3
３回目の裏がでるのが奇数回目となる確率＝(3p^2+1)/(1+p)^3
0.5<p<0.6 なら、n=4
４回目の裏がでるのが偶数回目となる確率＝(1-p)^4+C[5,3]p^2(1-p)^4+...=(p^4+6p^2+1)/(1+p)^4
４回目の裏がでるのが奇数回目となる確率＝(4p^3+4p)/(1+p)^3
185:１３２人目の素数さん
15/06/26 12:13:45.71 ya3KuOPO.net
あ、最後の行、ミスってる
×：４回目の裏がでるのが奇数回目となる確率＝(4p^3+4p)/(1+p)^3
○：４回目の裏がでるのが奇数回目となる確率＝(4p^3+4p)/(1+p)^4
ごらんのように、パスカルの三角形が登場してます。
186:１３２人目の素数さん
15/06/26 12:44:04.27 /ysslOVn.net
コイン以外のところから、確率1/2の事象を引っ張ってくるのは出題者の意図とはたぶん違うんじゃないかね。
それだったら、コインいらないし……。
187:１３２人目の素数さん
15/06/26 20:46:11.23 h7iWFEKI.net
>>175
ちょっと考えた
pが既知かつ近似解で良い場合
中心極限定理で適当にやればp=0,1以外はどうにでもなる
pが既知かつ厳密解が欲しい場合
初めて表が出るまでの回数をNとしてNが特定の回数だった場合を
新たに「表」として定義する
N=nの確率はp*(1-p)^(n-1)となるので適当に組み合わせれば
p=0,1以外なら任意の精度で「表」の確率が定義できそう
pが未知の場合
ベイズ的には初回は必ず1/2
と言うのは冗談だがpを推定してから上記の場合に持ち込むのかな
188:１３２人目の素数さん
15/06/26 20:53:56.32 h7iWFEKI.net
>>182に補足
元のお題は最小回数の作り方だから
pが既知かつ厳密解が欲しい場合については
N回投げて各出目の確率の和が1/2になる
組み合わせが見つかったらそれが最小のN
189:１３２人目の素数さん
15/06/27 00:30:06.71 /+u9NzxP.net
>>175 は、確率は未知という設定じゃないとつまんないので、自分はそっちで考える。
確率は未知であっても、確実に1/2の確率を実現できる方法を考えて、
回数の期待値は、未知だけど実際には存在する確率pの関数として表す。
「期待値最小」ということを厳密にどう判定するかは難しいが、
まずはよりよい関数となる手法を考え、もしかしたら
「pが未知でも成り立つ手法の中では、どんなpに対しても最小の期待値を持つ」手法が
存在するのかもしれない。
ちなみに、>>178 の「基本となる手法」で期待値を計算すると1/(p(1-p))となる。
（p=1/2で最小値4をとる）
>>177 の手法ではそれよりもどんなpにおいても小さい値になるのは明らかだが、
うまい計算方法が見つからなくて困ってる。
190:１３２人目の素数さん
15/06/27 03:03:16.58 /+u9NzxP.net
>>177 の期待値
f(p) = Π[n=0,∞](1+p^(2^n)+(1-p)^(2^n))
となるようだ。
>>178 の「基本となる手法」の期待値
g(p) = 1/(p(1-p))
と比較すると、こんな感じ。
p g(p) f(p)
0.1 11.111 10.585
0.2 6.250 5.698
0.3 4.762 4.186
0.4 4.167 3.574
0.5 4.000 3.401
191:１３２人目の素数さん
15/06/27 03:30:28.63 /+u9NzxP.net
pが未知なら、>>177が最強な気がしてきた。
誰か証明もしくは反証よろしく
192:１３２人目の素数さん
15/06/27 09:14:57.33 S/MSoatr.net
>>177の判定原理は表と裏の回数が等しい試行を組にして
「表」「裏」と名づけていると見ることができる
ゆえに>>178が最短の判定方法となっていることが証明できる
193:１３２人目の素数さん
15/06/27 12:56:11.26 AqwryHTX.net
177(178)の方法において、どの出方はAが勝ちか、どの出方はBが勝ちか決めてみることにする。
その決め方は複数(多数)候補があるけれど、いいやりかたを選べば、
(177(178)の方法を使ったときに)ある場面において、表がでても裏が出てもAが勝ち(あるいはBが勝ち)
という場面を作り出すことができそう。
そういう場面が出来たなら、そこは実はコインを投げる必要がないということになる。
そして期待値は下がる。
となりそうな気がする。
194:１３２人目の素数さん
15/06/27 14:30:27.03 /+u9NzxP.net
>>188
なるほど。>>177 のルールのままだと、最後が表なら○と決めているので
最後まで決着しないけど、判定の部分のルールをたとえば
・N回目とN-2^(k-1)回目のコインの表裏が異なる場合、
kが奇数ならば、N回目は表なら○、裏なら×で決着。
kが偶数ならば、N回目は表なら×、裏なら○で決着。
としておけば、
表表裏
となった時点で、４回目は表でも裏でも○になるから
追加ルールとして
・その後のコインの表裏によらず、○か×かが確定した時点で、コインは投げない
というのを入れとくと、さらに回数の期待値は減るわけですね。
ううむ、最強からはほど遠かったか。
195:１３２人目の素数さん
15/06/27 14:33:16.85 /+u9NzxP.net
（さすがに、>>189 のルールでの期待値の計算はあきらめた）
196:１３２人目の素数さん
15/06/27 14:50:27.11 /+u9NzxP.net
>>188-190
よく考えたら、チェックポイントの２手以上前に○×が確定することは
ありえない（最後の２回が表裏と裏表で必ず○×が異なる）ので、
>>177のルール変更を
・N回目とN-2^(k-1)回目のコインの表裏が異なる場合、
N-1回目が表なら○、裏なら×で決着。
とでもしておくと、元のルールで表でも裏でも決着するケースでは
確実に１手減らすことができますね。
この方向性での改善としてはこれが最良かな。
197:１３２人目の素数さん
15/06/27 16:41:16.45 imKgYOrh.net
n次元空間にn+1個の頂点があり、全ての面が正三角形となる超立体の体積をエレガントに求めよ。
198:１３２人目の素数さん
15/06/27 19:40:48.41 n9T/LEaD.net
f(n)=2n^2+29と定める.
f(0),f)1),f(2),f(3)はいずれも素数であることが分かっている.
このとき,f(4),f(5),...,f(28)も全て素数であることを示せ.
ただし, 各fの値を実際に求めたり, 素数で順に割ったりしてはならない.
199:１３２人目の素数さん
15/06/27 19:41:47.15 iChne//v.net
>>175
これ、極端に考えればp=1.0でも題意を満たす必要があるんじゃ？
200:１３２人目の素数さん
15/06/27 20:29:05.21 iv70QRnH.net
p=1.0の場合はどのみち不可能なんだから期待値は∞ってことで問題なくね？
201:１３２人目の素数さん
15/06/27 21:37:06.11 1W0Ez/9a.net
(1)
202:自然数nに対して (Σ[k=1..n],1/k)=P(n)/Q(n) をみたす実数係数の多項式P(x),Q(x)は存在しないことを示せ (2) 数列a(n)を a(1)=2,a(n+1)=(1/(a(1)*a(2)*a(3)*....a(n)))-1 として定義する。 この時、nが偶然ならば、数列a(n)は定数数列であることを示し、その値を求めよ
203:１３２人目の素数さん
15/06/27 21:43:26.06 /+u9NzxP.net
>>192
1辺が1のn次元の正単体のn次元の体積をV(n)，中心から各頂点までの距離をR(n)とする。
V(1)=1，R(1)=1/2
n+1次元空間内に1辺1のn次元の正単体X(n)を配し、X(n)の各頂点から距離1となる点Aをとると、
AとX(n)はn+1次元の正単体X(n+1)を構成する。
AからX(n)におろした垂線の足をM、X(n+1)の中心をO、X(n)の1つの頂点をBとすると、
OA=OB=R(n+1)、MB=R(n)であり、
X(n+1)の各頂点に重さ1の質点を置いた時の重心がOであることからOA:OM=n+1:1となり、
OM=R(n+1)/(n+1)
OB^2-OM^2=MB^2（三平方の定理）より、整理すると(n(n+2)/(n+1)^2)(R(n+1))^2=(R(n))^2
∴ ((n+2)/(n+1))(R(n+1))^2=((n+1)/n)(R(n))^2=…=(2/1)(R(1))^2=1/2
∴ (R(n))^2=n/(2(n+1))
AM=((n+2)/(n+1))R(n+1)より、
V(n+1)=(1/(n+1))・AM・V(n)=((n+2)/(n+1)^2)R(n+1)V(n)
(V(n+1))^2=((n+2)^2/(n+1)^4)((n+1)/(2(n+2)))(V(n))^2=((n+2)/(2(n+1)^3))(V(n))^2
n≧2において
(V(n))^2=Π[k=1,n-1]((k+2)/(2(k+1)^3))
=((n+2)!/2)/(2^(n-1)・(n!)^3)=(n+1)/(2^n・(n!)^2)
∴ V(n)=(1/n!)√((n+1)/2^n)
n次元の錐体の体積が (1/n)・底面積・高さ であることは断りなく使った。
エレガント、ではない。
204:１３２人目の素数さん
15/06/27 21:45:05.79 1W0Ez/9a.net
(3)
面積および外接円の半径が全て整数であるような三角形は無数に存在することを示せ。
ただし相似な三角形は除く。
205:１３２人目の素数さん
15/06/27 21:48:38.69 /+u9NzxP.net
（数式を、カッコ多用ではなくちゃんと紙に書けば、そんなにゴチャゴチャはしてないんだよ…）
206:１３２人目の素数さん
15/06/27 21:52:29.64 /+u9NzxP.net
>>198
辺の長さは整数じゃなくていいのか？
207:１３２人目の素数さん
15/06/27 21:58:42.68 1W0Ez/9a.net
>>200
どちらでも構わない
208:１３２人目の素数さん
15/06/29 04:10:45.50 jBA8xQxN.net
>>196
(1) そのようなP(x),Q(x)が存在するとして矛盾を導く。
lim[n→∞](1/log n)Σ[k=1..n],1/k＝1であるから、
lim[n→∞](1/log n)(P(n)/Q(n))＝1 でなければならないが、
P(x)とQ(x)の最高次数に注目して計算すると矛盾することが分かる。■
(2) nが偶数なら a(n)＝－1/2, nが3以上の奇数なら a(n)＝－2が
成り立つことが数学的帰納法で証明できる。■
209:１３２人目の素数さん
15/06/29 04:31:16.19 jBA8xQxN.net
>>198
そのような三角形の無限列であって、互いに相似でないものが
構成できることを証明しようかと思ったが、別にその必要はなかった。
(3) 面積と外接円の半径が整数であるような三角形の集合をMと置く。
M上の二項関係～を以下のように定義する。
a,b∈Mに対して、a～b ⇔ aとbは相似.
このとき、～はM上の同値関係となることが分かる。
a∈Mの同値類を[a]と書くことにする。同値類の集合M/～は
M/～＝{ [a]｜a∈M }と表せる。このM/～が無限集合であることを
示せばよい。以下の補題を使う(証明は後回しにする)。
補題：任意の正整数nに対して、次を満たすA⊂Mが存在する。
・Aはn元集合.
・Aの任意の異なる2元は相似でない.
この補題により、各nに対して対応するA⊂Mを取れば、次が成り立つ。
・{ [a]｜a∈A }⊂M/～.
・{ [a]｜a∈A }はn元集合.
従って、M/～は少なくともn個の元を含む。nは任意だから、
M/～は無限集合である。最後に、上の補題を証明する。
210:１３２人目の素数さん
15/06/29 04:43:55.79 jBA8xQxN.net
補題の証明：半径がnの円Sを用意し、S上の3点A,B,Cを、三角形ABCが正三角形であるように取る。
円Sにおける弧BCは2つあるが、その中で短い方の弧をL1とする。L1から両端点B,Cを除いたものをL2とする。
L2上の点Pを任意に取ると、三角形APBについて、次が成り立つことが分かる。
(i) ∠PAB ＜ 60°＜∠PBA.
(ii) ∠APB＝60°.
(iii) APBの面積をs(P)と置くと、0＜s(P)＜(3√3/4)n^2 が成り立つ.
(iv) P→Bのときs(P)→0であり、P→Cのときs(P)→(3√3/4)n^2 である.
さて、s(P)はP∈L2に関して連続関数であるから、(iii)と(iv)にも注意して、中間値の定理から、
任意のλ∈(0, (3√3/4)n^2) に対して、s(P)＝λを満たすようなP∈L2が存在する。
特に、λが正整数のときを考える。(3√3/4)n^2＞nであるから、λとしては
少なくとも1,2,…,nまでが選べる。対応するPをP_1,…,P_n とする。
三角形AP_iBをa_iと置けば、a_iの面積は i であり、a_iの外接円の半径はnである。
従って、a_i∈Mである。A＝{ a_1,…,a_n } と置けば、このAが題意を満たす。
実際、Aがn元集合であることは明らか。Aの任意の異なる2元が相似でないことは、
a_iの3頂点の角度に注目すればすぐに従う(具体的には(i),(ii)を使う)。■
211:１３２人目の素数さん
15/06/30 20:34:38.25 H5GoaVHE.net
>>198
3辺の長さを
4n+2, 4n^2*4n, 4n^2+4n+2
とすれば、面積は4n(n+1)(2n+1), 外接円の半径は2n^2+2n+1
212:１３２人目の素数さん
15/06/30 22:09:05.54 M1LX+grn.net
>>198
0より大きく1未満の任意の有理数 t を持ってきて、それを t=b/a と表したとき
(つまり、aとbは互いに素で、0<b<aの整数)
a^2-b^2,2ab,a^2+b^2
の3数は、原始ピタゴラス三角形の3辺を成す。その二倍形
2(a^2-b^2),4ab,2(a^2+b^2)
は、>>198の条件を満たす。
なお、205の例(4n^2*4nは4n^2+4nの誤植と思われる)は、ここに挙げたもので
a=b+1 としたものにあたる
213:１３２人目の素数さん
15/07/01 01:01:33.17 rdTrEG2D.net
>>205-206
その答えは、おととい
「高校生が自作問題を世に問うスレ」
の ≫584 に書いといたのと、同じものだな。
214:１３２人目の素数さん
15/07/03 23:23:02.20 rGXRJhyh.net
一次独立な２つのベクトルx↑、y↑について
|x↑|≦|x↑+y↑|が成り立っているならば
任意の実数a≧1に対して |x↑+y↑|≦|x↑+a*y↑|となることを示せ。
215:１３２人目の素数さん
15/07/03 23:43:12.41 hJIQsZ5a.net
最近話題のルーローの三角形形の掃除機ロボットを見て思いついた問題。
直径１の正方形の内部で、直径１のルーローの三角形が滑らかに回転するとき、
ルーローの三角形が通過する領域の面積を求めよ。
216:１３２人目の素数さん
15/07/04 13:02:24.94 fKcIqKgn.net
わりときれいな値になるんだな。
それに検索してみると、この動き自体がなかなかおもしろい。
217:１３２人目の素数さん
15/07/04 13:20:18.83 ZDm2eXaJ.net
内部に入らない。
218:209
15/07/04 21:29:26.26 TU5VZOTE.net
ちなみに俺は解けなかったぜ
219:209
15/07/04 23:13:12.35 TU5VZOTE.net
解けたかも
2√3+Π/6-3=0.9877…
あってる？
220:１３２人目の素数さん
15/07/05 00:09:18.45 yb6nmQkj.net
>>213
πが大文字なのを除けば、同じ答えになった。
221:１３２人目の素数さん
15/07/05 00:26:02.25 xGfPr6DD.net
たぶんそれであってる
URLﾘﾝｸ(mathworld.wolfram.com)
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(ddincrement.blog.shinobi.jp) <
222:small style="color: #999;">👀Rock54: Caution(BBR-MD5:18e3ad85d511352dc19ab55963b20571)
223:209
15/07/05 09:16:02.23 38VAmmOq.net
おお、スッキリした。
正三角形の頂点の軌跡を求めて解いたけど、
頂点以外の部分がこの領域からはみ出ないことを示すのは、
（直感的には明らかだけど）まじめに証明するのは結構大変な気がする。
224:１３２人目の素数さん
15/07/05 19:10:04.37 xGfPr6DD.net
たしかに証明しろって言われたら
えっ・・・ってなる
225:１３２人目の素数さん
15/07/05 22:24:37.43 KtOLXaqd.net
>>169の条件(iii)を
「a, b∈Aかつ1<a<bならばa^2+b^2∈A」
に置き換えた場合を考えてみたんだけど、
「4n+3型の素因数をもたない正整数は全てAに属する」
ということが言えそうなのに、惜しくも証明ができない。
Aに必ず含まれるような正整数からなる集合をSとすると
1,2,5∈S
a,b∈Sならばab∈S
が証明できるので、
4n+1型の素数がすべてSに属することを示せればいいんだけど。
とりあえず200以下の4n+1型素数についてはSに属することが確認できた。
あとは誰かに任せた。
226:１３２人目の素数さん
15/07/05 23:32:25.53 xGfPr6DD.net
コラッツの問題に似てるから
実は超難問みたいな地雷を踏みそうでこわい
227:１３２人目の素数さん
15/07/08 16:40:03.46 dTJ+Tbfl.net
eを自然対数の底とする.
正の整数nに対して, 関数f_n(x), およびF_n(x)を
f_n(x)=x^n(1-x)^n/(n!), F_n(x)=∑[k=0~2n](-1)^k f_n{k}(x) と定める.
(ただし, f_n{k}(x)はf_n(x)の第k次導関数を表す)
(1) 任意のnに対して, ∫[0 to 1]e^x f_n(x) dx=eF_n(1)-F_n(0) が成り立つことを示せ.
(2) eは無理数であることを示せ.
228:１３２人目の素数さん
15/07/09 07:56:40.26 cP+R7nhb.net
>>218 ちょっと考えてみたけど、
pを4n+1型の素数とすると
平方剰余の相互法則から、1≦k≦p-1 に対して
n^2 + k^2 = 0 (mod p) となる nが存在する
このnをn(k)とおくと、各kに対してn(k)は２つある
また、aとbが異なるとき、a+b=p なら n(a)=n(b)
それ以外のとき、n(a)とn(b)は全て異なる
n(n(k))=k,p-k が成り立つ
よって、n(k)をうまく選べば、 k → n(k) は
{1,2,・・・,p-1} から {1,2,・・・,p-1} への全単射となる
仮に、各pに対して、{1,2,・・・,p-1} のうち(p+3)/2個以上の数がAに含まれる・・・（※）
が証明できれば、鳩の巣原理より、あるkが存在して、
k,n(k)≠1 かつ kとn(k)が両方Aに含まれる
この時、n(k)^2 + k^2 ∈A となり、 p|n(k)^2 + k^2 より p∈A が示せる
(※)の証明はわかりません
229:１３２人目の素数さん
15/07/09 16:16:04.07 cP+R7nhb.net
と思ったけど、（※）は成り立ちそうにないな・・・・
230:１３２人目の素数さん
15/07/19 22:16:09.84 4WcEMeLJ.net
任意の2以上の整数nに対して,
不等式 tan(π/(2n))≦2/((n-1)*n^(1/(n-1)))
が成り立つことを示せ.
231:１３２人目の素数さん
15/07/21 11:08:25.82 kYxHbe+8.net
タスケテ。
複素数xyzがx+y+z=1,x³+y³+z³=10,xyz=2の時
xy+yz+zxとx²+y²+z²を求めよ。
またこの時x,y,zの値の組をそれぞれ求めよ。
232:１３２人目の素数さん
15/07/21 12:32:55.45 yFoYYNcQ.net
スレ違い。最低限のルールを守れないやつは相手にしない
233:１３２人目の素数さん
15/07/21 22:33:29.92 rZmsaMCj.net
>>218に書いた問題、証明できたっぽい。
あらためて書くと、こういう問題。
[問題]
正の整数からなる集合Aは次の条件(i),(ii),(iii)を全て満たす：
条件(i)：Aは3個以上の元を持つ
条件(ii)：a∈Aかつ d|a (d>0)ならばd∈A
条件(iii)：a, b∈Aかつ1<a<bならばa^2+b^2∈A
このとき, Aは4n+3型の素因数をもたない正整数を全て含むことを示せ.
証明は結構長くなってしまったけど、せっかくなので投稿する。
[1,2,4∈Aの証明]
1<a<bなるa,b∈Aをとるとa^2+b^2,b^2+(a^2+b^2)^2∈Aで、
b,a^2+b^2,b^2+(a^2+b^2)^2のどれかは4以上の偶数（=2dとおく）。
2d∈Aより2∈Aおよび(2d)^2+2^2=4(d^2+1)∈Aとなり、1,2,4∈Aがいえる。
[Sの定義]
{1,2,4}から出発し、この集合に属する数の約数(>0)をこの集合に付け加える、
またはこの集合に属する2つの数(≧2)の平方の和をこの集合に付け加える、
ということを繰り返して得られる数全体からなる集合をSとする。
Sは明らかに条件(i)～(iii)を満たす最小の集合である。
つづく。
234:１３２人目の素数さん
15/07/21 22:34:56.32 rZmsaMCj.net
[a∈S⇒2a∈Sの証明]
a=1のときは明らか。a≧2とする。
あるk(≧2)が存在してa∈Sかつak∈Sならば、
2a|akまたは2a|a^2+(ak)^2より2a∈Sがいえる。
このようなkが存在しないような最小のa∈Sがあると仮定すると、
Sの定義より、あるb,c∈Sによってa=b^2+c^2と表せる。
b,c<aより2b,2c∈Sなので、(2b)^2+(2c)^2=4a∈Sとなり矛盾。
以上よりa∈S⇒2a∈Sが示せた。
[a,b∈S⇒ab∈Sの証明]
a,b∈Sとすると2a,4a∈Sである。
Sの定義で述べた方法によってbを生成する数列が存在するが、
この数列の各項をa倍したものを考えると、これはabを生成する数列となる。
（x,y,x^2+y^2をa倍するとax,ay,a(x^2+y^2)となるが、
(ax)^2+(ay)^2からa(x^2+y^2)が得られるので問題ない。）
よってSの定義によりab∈Sである。
[Sの性質]
a∈Sとすると、2a∈Sより(2a)^2+2^2=4(a^2+1)∈Sからa^2+1∈Sがいえる。
またa^2∈Sおよび2a^2∈Sもいえる。
これにより、Sにおいては条件(iii)の1<a<bは不要となる。
ここまでをまとめると、Sは次の性質をもつ。
(1)1,2,4∈S
(2)a∈Sかつd|a(d>0)ならばd∈S
(3)a,b∈Sならばa^2+b^2∈S
(4)a,b∈Sならばab∈S
る。
235:１３２人目の素数さん
15/07/21 22:35:54.68 rZmsaMCj.net
[Sの元は4n+3型の素因数をもたないこと]
p=4n+3なる素数pについて、p|aなるa∈Sが存在すると仮定すると、
b^2+c^2≡0(mod p)なるb,c∈S（pの倍数ではない）があって、
b^2≡(-1)c^2(mod p)となるが、-1はmod pで平方非剰余なので矛盾。
よってSの元の素因数は2または4n+1型の素数となる。
よってもし
「任意の4n+1型素数はSに属する」
ということがいえれば、Sの性質(1),(4)より
「Sは4n+3型の素因数をもたない正整数からなる集合である」
といえ、Sの元が全て確定する。
[Mの定義]
4n+1型素数でSに属さないものがあると仮定し、その最小のものをpとする。
Sの元をpで割った剰余類として得られるもの全体からなる集合をMとする。
Mは
Z/pZ={[0],[1],…,[p-1]}（[a]はaを代表元とする剰余類）
の部分集合である。
pはSに属さないので、[0]はMの元ではない。
なお、以下の記述においてaと[a]を区別しない場合がある。
[Mの性質]
Sの性質(1),(3),(4)はそのまま（剰余類の演算として）Mにもあてはまる。
ただし(2)はMにおいては使えなくなる。
また、pより小なる4n+1型素数は全てMの元であり、
Sの性質(4)より、これらおよび[2]からなる積は全てMの元である。
236:１３２人目の素数さん
15/07/21 22:36:27.59 rZmsaMCj.net
[Mは乗法に関して巡回群であること]
Mは乗法について閉じており、x∈Mなるxについてxの冪は全てMに属する。
x^m=1なるmが存在し、x^(m-1)がxの逆元となる。
よってMは乗法に関して群である。
とくにMはZ/pZ-{[0]}（巡回群）の部分群なので、あるg∈Sにより
M={[1],[g],[g]^2,…,[g]^(m-1)}
と表される。ただしmはMの位数であり[g]の位数である。
[m≡2(mod 4)の証明]
mが奇数と仮定すると、Mの任意の元[a]=[g]^kについて、
[a+1]=[a]+[1]=[g]^k+[1]={[g]^(m+1)}^k+[1]={[g]^(k(m+1)/2)}^2+[1]^2∈M
がいえるが、これにより[0]∈Mとなり矛盾。
mが偶数のとき、{[g]^(m/2)}^2=[1]より[g]^(m/2)=[-1]がいえる。
とくにmが4の倍数と仮定すると、{[g]^(m/4)}^2=[-1]より
237: {[g]^(m/4)}^2+[1]^2=[0]∈Mとなり矛盾。 以上よりm≡2(mod 4)である。 このことから、[-1]は[g]の奇数冪となる。 [q,rの仮定] q<r<pなる素数q,rが存在して[q],[r]はMに属さないと仮定する。 （pはMの定義で登場した、Sに属さない最小の4n+1型素数） ただしrより小なるq以外の素数は全てMに属するとする。 q,rは4n+3型の素数である。
238:１３２人目の素数さん
15/07/21 22:36:59.06 rZmsaMCj.net
[命題P]
「rより小なるq以外の任意の素数sについて、
sがmod qで平方剰余ならば[s]は[g]の偶数冪
sがmod qで平方非剰余ならば[s]は[g]の奇数冪
である」
という命題Pを考える。
Pを満たさないような最小のsが存在すると仮定する。
このとき、[-1]が[g]の奇数冪であることから、
sはmod qで平方剰余であり、かつ[-s]は[g]の偶数冪
-sはmod qで平方剰余であり、かつ[s]は[g]の偶数冪
のいずれかが成り立つ。
前者の場合、s≡a^2(mod q)なるa(1≦a≦(q-1)/2)があり、
[-s]=[g]^(2k)と表せる。
よって[a^2-s]=[a]^2+([g]^k)^2∈Mとなるが、
(a^2-s)/qは整数でありその絶対値はqより小さいので
[(a^2-s)/q]∈Mであるから、
[q]=[a^2-s]*[(a^2-s)/q]^(m-1)∈M
となって矛盾（ここでmはMの位数）。
後者の場合も、sと-sを入れ替えて同様に矛盾。
したがって命題Pは成り立つ。
[命題Pからいえること]
平方剰余は乗法性をもつので、
「qの倍数を除いて、rより小なる任意の正整数sについて、
sがmod qで平方剰余ならば[s]は[g]の偶数冪
sがmod qで平方非剰余ならば[s]は[g]の奇数冪
である」
といえる。
239:１３２人目の素数さん
15/07/21 22:37:21.75 rZmsaMCj.net
[q,rの仮定による矛盾]
(r+q)/2≡(r-q)/2(mod q)より、
(r+q)/2,(r-q)/2がともに[g]の偶数冪であるか、
または、-(r+q)/2,-(r-q)/2がともに[g]の偶数冪である。
よって[(r+q)/2]+[(r-q)/2]=[r]∈M
または[-(r+q)/2]+[-(r-q)/2]=[-r]∈Mより[r]∈M
となって矛盾。
[[1],[2],…,[p-1]∈Mの証明]
Mに属さない素数でpより小なるものが存在するならばただ1つである。
これをqとすると、(p+q)/2はpより小さくqの倍数でないので
[q]=[p+q]=[(p+q)/2]*[2]∈M
となって矛盾。
したがって、pより小なる任意の素数がMの元であり、
それらの積もMの元であるから[1],[2],…,[p-1]∈M
[Mは存在しない]
pは4n+1型の素数なので、p=a^2+b^2を満たすa,bが存在する。
よって[a],[b]∈Mより[a]^2+[b]^2=[p]=[0]∈Mとなって矛盾。
したがって、Mの定義を満たすpは存在しない。
すなわち、「任意の4n+1型素数はSに属する」。おしまい。
240:１３２人目の素数さん
15/07/22 00:36:28.04 7w9t1PZg.net
4=b^2+c^2.
241:１３２人目の素数さん
15/07/22 07:32:30.94 qRulk97x.net
>>232
>>226で4∈Aは証明してある。
4自体がb^2+c^2と表せる必要はない。
242:１３２人目の素数さん
15/07/28 00:04:52.15 V0v013Ov.net
プログラムの問題
入力ストリームと出力ストリームととn個のスタックがある。
n個のスタックを使って入力の順番を入れ替えて出力へ出すことを考える。
１ステップで次のことができるとする
(1)入力ストリームから一文字取り出しスタックへ積む
(2)スタックから一文字取り出しほかのスタックへ積む
(3)スタックから一文字取り出し出力ストリームへ出力する
n個のスタックを使うと入力k文字に対して任意の順番に入れ替えて出力できるとき
n個のスタックはk文字互換完備であるという。
ある定数cに対しc個のスタックが任意の有限の数mに対しm文字互換完備であるとき
c個のスタックは任意互換完備であるという。
任意互換完備となる定数cは存在するか？
存在するとしたらその最少の数はいくつか？
243:１３２人目の素数さん
15/07/28 02:28:28.92 QlC/V4UF.net
2
244:１３２人目の素数さん
15/07/28 03:03:42.46 dO/BAI9e.net
スタックって何かわからんハノイの塔みたいなことが出来るってことでいいのか
245:１３２人目の素数さん
15/07/28 06:14:44.23 A50AzsVE.net
思考停止のことじゃない？
246:１３２人目の素数さん
15/07/28 08:22:48.08 V0v013Ov.net
同じスタックに何回も積みなおしていいんなら２個のスタックで簡単にできちゃうなぁ
各スタックに番号を振って、スタックからスタックへ積みなおすのは
取りだすスタックが積むスタックより番号が若いときに限る、
としたらちょっとは面白くなるかな？
247:１３２人目の素数さん
15/07/29 16:20:02.76 CZbY/wc3.net
(cos(2π/7))^(1/3)+(cos(4π/7))^(1/3)+(cos(8π/7))^(1/3)の値を求めよ.
248:１３２人目の素数さん
15/07/29 17:11:12.92 PHmkOzke.net
234-238のスタック２個っていうのは
入力から文字 x_i を取り出す前に
最終的な出力での登場位置が x_i より早い文字をスタック1に
最終的な出力での登場位置が x_i より遅い文字をスタック2に
集めるみたいなことをしてけばいいってことかな
スタック1個だと、x_1x_2x_3->x_3x_1x_2 みたいなことができなそうだな
249:１３２人目の素数さん
15/07/29 19:47:09.55 s8W1tV31.net
スタック２個あれば取り出したい文字の上に積んであるやつを全部もう一個のスタックに移せば好きな文字が取り出せる。
250:１３２人目の素数さん
15/07/29 19:52:11.28 /rcHIzs4.net
むしろ、スタック１つでできる置換できない置換の判別法が知りたい。簡明なものがあるか？
251:１３２人目の素数さん
15/07/29 20:31:05.18 s8W1tV31.net
スタック１個なら入力からスタックへ積むかスタックから出力へ出すかだけだから、
探索しても分岐は起きないんじゃない？
252:１３２人目の素数さん
15/07/29 22:18:24.98 PHmkOzke.net
ああ
スタックへの積み方を工夫する必要すらないのか
スタックが２つあれば、取り出したいものをどんなタイミングでも取り出せる
253:１３２人目の素数さん
15/07/29 22:41:11.60 zneU1ISF.net
>>234
スタックを2個として、入力長Mの任意の置換に対して
a)最大スタック操作回数が最小となる手順とその回数
b)平均スタック操作回数が最小となる手順とその回数
254:１３２人目の素数さん
15/07/30 04:50:38.94 2OyXzzbU.net
>>237
ギャザか
255:１３２人目の素数さん
15/07/31 22:10:58.36 xqLCoXx2.net
スタックの操作の総数＜m文字の置換の総数
がいえれば任意互換完備がないことが言えるかな？
無理筋かな？
256:１３２人目の素数さん
15/08/01 00:55:39.15 XcDx3Z/K.net
(a-x)(b-x)(c-x)......(z-x)=?
257:１３２人目の素数さん
15/08/01 01:32:08.16 vYFLauxI.net
夏よのぉ…
258:１３２人目の素数さん
15/08/01 02:02:17.28 6mU/08Ur.net
1/(a-x)(b-x)(c-x)......(z-x)=?
259:１３２人目の素数さん
15/08/06 22:03:58.71 oMuFm5JZ.net
一辺の長さが１の正四面体に内接する球の半径を求めよ
260:１３２人目の素数さん
15/08/07 00:18:58.40 eaPa7vGl.net
一辺の長さが１の正四面体に内接する球の直径を求めて1/2をかければいいんじゃね
261:１３２人目の素数さん
15/08/07 00:23:09.54 hrxJfg1J.net
表面積×r×1/3=体積
262:１３２人目の素数さん
15/08/07 00:35:20.90 q1KsZIY4.net
正四面体A(1,1,1),B(1,-1,-1),C(-1.1.-1),D(-1.-1.1)
正四面体ABCDの1辺の長さ2√2
原点から平面BCDx+y+z+1=0までの距離√3/3
x:√3/3=1:2√2 x=√6/12
263:１３２人目の素数さん
15/08/16 15:05:36.67 Mpo3tyZH.net
cos(2π/n)が有理数係数の499次以下の方程式の解としては表せず、500次方程式の解としては表せる最小の自然数nを求めよ
264:１３２人目の素数さん
15/08/17 17:57:52.99 nbwm9TMT.net
ルーレットで赤か黒に賭けて勝つ確率は、どちらも9/19。
毎回1ドルずつ賭け、元金900ドルを1000ドルに増やしたい。
1000ドルになるか、0ドルになるまで続ける。
p=9/19、x=900、y=1000 とおくとき、1000ドルに達する確率は
(((1-p)/p)^x-1)/(((1-p)/p)^y-1) で表せることを証明せよ。
265:１３２人目の素数さん
15/08/17 19:48:33.53 5vZcEIGg.net
>>256
３SATをランダムウォークしたときに解にたどり着く確率みたいなもんか？
266:１３２人目の素数さん
15/08/17 20:42:52.40 5vZcEIGg.net
pに1/2を代入して確かめてみようとしたら０割になったでござる。
怪しいな、ほんとに式あってる？
1/2が特殊な値になる理由がわからないんだが。
267:１３２人目の素数さん
15/08/17 21:41:15.35 nbwm9TMT.net
P-1/2なら0になっても仕方ないでしょ。
268:１３２人目の素数さん
15/08/17 21:56:22.05 5vZcEIGg.net
なぜ？
式が正しいなら勝つ確率が赤黒どちらも1/2のときも成り立たないとおかしいだろが。
269:１３２人目の素数さん
15/08/17 23:21:39.04 5vZcEIGg.net
URLﾘﾝｸ(research.preferred.jp)
とりあえず参考になるかもしれないから3SATランダムウォークのページ張っとくわ
そんな簡単�
270:ﾈ式にはならねーんじゃねーの ２項係数とか出てきそう
271:１３２人目の素数さん
15/08/18 03:35:25.69 wBRgC8p/.net
>>258
さきに分母分子 ((1-p)/p)-1 で割ればいい
ちなみに 9/10 になるぞ
272:１３２人目の素数さん
15/08/18 19:41:02.65 MskCv1Rn.net
どれに何を代入すると9/10になるって？
273:１３２人目の素数さん
15/08/18 20:52:40.48 Mzx5k9aX.net
父親と母親の血液型は共にAOです。
2人の間には子が1人います。
①子の血液型がAOである確率は？
②子の血液型を調べると、A型(AAまたはAO)であることが分かった。
この子の血液型がAOである確率は？
274:１３２人目の素数さん
15/08/19 00:11:37.17 xDAP6+8Q.net
それは、数学じゃない。
生理学の板で訊け。
計算以前に、
配偶子の接合率、受精卵の着床率、胎児の成育率等
に対する血液型遺伝子の影響について
データが必要になるからな。
275:１３２人目の素数さん
15/08/19 00:31:53.34 iEpfrIWD.net
そういうこと聞いてるんじゃないだろ
276:１３２人目の素数さん
15/08/19 00:42:11.10 pWhVseNF.net
ていうか、別に質問じゃなくて出題してるんだろうに
277:１３２人目の素数さん
15/08/19 05:29:44.81 JCfyF7oM.net
>>263
(((1-p)/p)^900-1)/(((1-p)/p)^1000-1)
の分母分子を ((1-p)/p)-1 で割ったもの
に p=1/2 を代入
(A^n-1)/(A-1)=A^(n-1)+A^(n-2)+…+A+1
くらい知ってるよな？
p=1/2 は「特殊な値」じゃないんだよ
いわゆる除去可能特異点だ
lim_{p→1/2} (((1-p)/p)^900-1)/(((1-p)/p)^1000-1) = 9/10
278:１３２人目の素数さん
15/08/19 05:49:06.29 M30G+BZt.net
>>264
中学の宿題です。宿題は質問スレに書いてください。
279:１３２人目の素数さん
15/08/19 12:32:34.01 PxSTIIXg.net
cos(n°)が有理数係数の二次方程式の解として表せる最小の自然数nを求めよ
280:１３２人目の素数さん
15/08/19 22:47:59.59 9q/Al0IK.net
>>268
計算機で検算しようとしたけど値が収束するのかなり遅いっぽいね。
漸化式はかなり複雑なんだが。
どうやって極限もとめるのかアイディアわかない。
281:１３２人目の素数さん
15/08/19 23:07:41.48 9q/Al0IK.net
x,yに小さな値入れて試してみたけどやっぱ値合わねぇなぁ
俺がなんか間違ってんのかなぁ
282:１３２人目の素数さん
15/08/19 23:10:44.74 9q/Al0IK.net
値合ったっぽい
283:１３２人目の素数さん
15/08/19 23:20:13.20 9q/Al0IK.net
計算機の検算では>>256の式は正しいっぽい。
どうやって導き出すのかはさっぱりわからんが。
284:１３２人目の素数さん
15/08/19 23:44:32.69 xl3Qr54D.net
n=0,m=900からスタートし、m=0になることがないように移動し、n回目に初めてmが1000となる
経路の数をC(n,1000)として、n回目に1000ドルになる確率は
P(n,1000)=C(n,1000)(9/19)^n
285:１３２人目の素数さん
15/08/19 23:57:41.89 eYTQUPX+.net
遷移行列の固有ベクトル計算したら(（1-p）/p)^nの項が
ずらっと出てくるから真面目に展開すれば解けると思うよ
286:１３２人目の素数さん
15/08/20 22:45:14.68 art7FZLZ.net
あくしろよ！
287:１３２人目の素数さん
15/08/20 23:13:30.49 xC1gH3/Y.net
>>264
①2/4
②2/3
288:１３２人目の素数さん
15/08/21 05:26:12.66 cSey0xr3.net
>>256
どうやって証明するん？あく答えろよ！
289:１３２人目の素数さん
15/08/21 10:52:26.15 cSey0xr3.net
あくしろよ
290:１３２人目の素数さん
15/08/21 13:07:14.28 2OkXIMlt.net
命令すんな
291:１３２人目の素数さん
15/08/21 18:22:13.66 cSey0xr3.net
あくしてね
292:１３２人目の素数さん
15/08/21 21:02:40.64 cSey0xr3.net
あくあく！
293:１３２人目の素数さん
15/08/22 04:43:36.55 fYdC/ab3.net
>>256
あくおしえろよ！
>>261
何か言うことはないの？ああ？
294:１３２人目の素数さん
15/08/23 10:38:50.36 nzgmHyP9.net
URLﾘﾝｸ(suseum.jp)
これコンテスト問題にしては面白い
高級な匂いがするし
295:１３２人目の素数さん
15/08/25 04:40:01.08 QdxBqZp1.net
>>285
n≡r (mod p-1)
r=0,1,...,p-2
とするとき、rが奇数だとダメで、r=2だとOKであることはすぐ示せるのだが、
rが2以外の偶数の場合がよくわからない。
296:１３２人目の素数さん
15/08/25 21:03:17.71 37rXHgeW.net
偏りのない１枚のコインを繰り返し投げるとき、表がn回連続するまでの投げる回数の期待値を求めよ。
297:１３２人目の素数さん
15/08/26 15:52:24.71 soY25NWM.net
>>287
期待値が有限値であることを仮定して、それをa(n)とおく
表がn回連続した状態からn+1回連続するまでに投げる回数の期待値は
1+a(n+1)/2と表せるので，
a(n+1)=a(n)+1+a(n+1)/2、すなわち
a(n+1)=2a(n)+2
という漸化式が成り立つ
これとa(0)=0より
a(n)=2^(n+1)-2
298:１３２人目の素数さん
15/08/26 19:46:25.90 9nc0affB.net
n=2～4までの期待値
31/4(n=2)、88(n=3)、416(n=4)
299:１３２人目の素数さん
15/08/26 20:23:09.30 qCO/zAhu.net
意外と多いな。
表だけだからか？
300:287
15/08/26 20:32:01.77 BOAIrO3E.net
正解です。私も漸化式を立てる同じ解法でした。
問題を次のように変えたものを考えていますが、まだ解けていません。
偏りのない１枚のコインを繰り返しn回投げるとき、表が連続する最大回数の期待値を求めよ。
301:１３２人目の素数さん
15/08/26 21:14:00.77 9nc0affB.net
n回投げたときに、表の確率をq(n)、裏となる確率をt(n)とすると
q(n)=t(n-1)/2
t(n)=(q(n-1)+t(n-1))/2
t(n+2)=t(n+1)/2+t(n)/4
t(1)=1/2 t(2)=1/2
T(n)=t(n)*2^nとするとT(n)はフィボナッチ数列であり
T(n+2)=T(n+1)+T(n)
T(0)=1 T(1)=1
となる。
n回投げたときに3回連続表が出る確率をp(n)とすると
2回連続するのは、表が出てから裏表表と出る場合か
裏が出てから2回表が連続する場合だから
p(n)=q(n-3)/8+t(n-2)/4
q(n)=t(n-1)/2から
p(n)=t(n-4)/16+t(n-2)/4
P(n)=p(n)*2^nとすると
P(n)=T(n-2)+T(n-4)=2*T(n-2)-T(n-3) (n≧5)
が成立する。
t(n)=C1((1+√5)/4)^n+C2((1-√5)/4)^n
t(1)=1/2 t(2)=1/2から
C1=(5+√5)/10 C2=(5-√5)/10
t(n)=(5+√5)((1+√5)/4)^n/10+(5-√5)((1-√5)/4)^n/10
E(n)=Σ[k=2,n]p(k)*k=p(2)*2+p(3)*3+p(4)*4+Σ[k=5,n]p(k)*k
=1/4*2+1/8*3+1/8*4+Σ[k=5,n]p(k)*k
=11/8+51/8=31/4
302:１３２人目の素数さん
15/08/26 22:29:07.04 soY25NWM.net
すみません、 >>289 >>292 さんはどの問題の話をされているのでしょうか？
>>291
念のため確認ですが、正解というのは >>288 のことでいいのですよね
303:１３２人目の素数さん
15/08/27 22:33:42.84 LWtuunFN.net
>>292
２行目で既に分からないのですが…
304:１３２人目の素数さん
15/08/27 22:36:16.76 LWtuunFN.net
>>292
> n回投げたときに、表の確率をq(n)、裏となる確率をt(n)とすると
どういうこと？
n回投げたときに、n回目が表の確率をq(n)ということなのかな？
305:１３２人目の素数さん
15/08/27 22:46:51.26 gn1uHFUy.net
>>295
この解は以前に検討して書いたもので正確性は定かではありません。
2回連続して表が出ると試行が終わるので、q(n)はn回目の試行で表が出て
n>1ではn-1回目に裏になっている確率という意味です。
306:１３２人目の素数さん
15/08/27 22:49:33.65 gn1uHFUy.net
>>292 自己レス、11行目を
n回投げたときに2回連続表が出る確率をp(n)とすると
に訂正
307:１３２人目の素数さん
15/08/27 23:01:04.87 LWtuunFN.net
>>291
> 偏りのない１枚のコインを繰り返しn回投げるとき、表が連続する最大回数の期待値を求めよ。
念のため、n=3 の場合で説明する。
表が連続する最大回数を kとおく。表を○、裏を×で表す。
k=0のとき、×××となる確率は、1/8
k=1のとき、○××、×○×、××○、○×○となる確率は、4/8
k=2のとき、○○×、×○○となる確率は、2/8
k=3のとき、○○○となる確率は、1/8
したがって、表が連続する最大回数の期待値 E(3) は、
E(3) = 0・(1/8) + 1・(4/8) + 2・(2/8) + 3・(1/8) = 11/8
308:１３２人目の素数さん
15/08/28 00:00:14.03 pJoVXbh5
309:.net
310:１３２人目の素数さん
15/08/28 00:08:09.53 pJoVXbh5.net
>>288 と >>291 で話が完結していることに気付いていないのか
あえて無視しているのか、何がやりたいんだ >>292は
311:１３２人目の素数さん
15/08/28 04:18:33.21 LeKTMziP.net
>>298
表が連続する最大の回数の期待値は、表がn回連続するまでの回数の期待値とは違う。
>>300
前に検討した結果と異なるから書いているだけ。
312:287=298です
15/08/28 05:23:15.87 UDTInPuv.net
>>301
> 表が連続する最大の回数の期待値は、表がn回連続するまでの回数の期待値とは違う。
そんなこと分かりきっていますが…
313:１３２人目の素数さん
15/08/28 05:26:14.98 UDTInPuv.net
整理しておきます。
問題>>287
> 偏りのない１枚のコインを繰り返し投げるとき、表がn回連続するまでの投げる回数の期待値を求めよ。
解答>>288
> 期待値が有限値であることを仮定して、それをa(n)とおく
> 表がn回連続した状態からn+1回連続するまでに投げる回数の期待値は
> 1+a(n+1)/2と表せるので，
> a(n+1)=a(n)+1+a(n+1)/2、すなわち
> a(n+1)=2a(n)+2
> という漸化式が成り立つ
> これとa(0)=0より
> a(n)=2^(n+1)-2
問題>>291
> 偏りのない１枚のコインを繰り返しn回投げるとき、表が連続する最大回数の期待値を求めよ。
例(n=3の場合)>>298
> 念のため、n=3 の場合で説明する。 表が連続する最大回数を kとおく。表を○、裏を×で表す。
>
> k=0のとき、×××となる確率は、1/8
> k=1のとき、○××、×○×、××○、○×○となる確率は、4/8
> k=2のとき、○○×、×○○となる確率は、2/8
> k=3のとき、○○○となる確率は、1/8
>
> したがって、表が連続する最大回数の期待値 E(3) は、
>
> E(3) = 0・(1/8) + 1・(4/8) + 2・(2/8) + 3・(1/8) = 11/8
314:256=287=291
15/08/28 05:34:33.89 UDTInPuv.net
まだ解かれていないもの
問題>>256
> ルーレットで赤か黒に賭けて勝つ確率は、どちらも9/19。
> 毎回1ドルずつ賭け、元金900ドルを1000ドルに増やしたい。
> 1000ドルになるか、0ドルになるまで続ける。
> p=9/19、x=900、y=1000 とおくとき、1000ドルに達する確率は
> (((1-p)/p)^x-1)/(((1-p)/p)^y-1) で表せることを証明せよ。
315:１３２人目の素数さん
15/08/28 05:37:28.31 UDTInPuv.net
>>291
念を押すけど、>>291は答えが準備できていません。
>>299
> ちなみに、 >>292 氏が書いてるのは、
> >>291 の問題ではなく、 >>287 の問題のn=2のケースのようだぞ？
なるほど。
てっきり>>292氏が、>>291の問題を勘違いして解いていたのかと思っていました。
316:１３２人目の素数さん
15/08/28 05:45:42.43 UDTInPuv.net
あたりき しゃりきの こんこんちき
317:１３２人目の素数さん
15/08/29 14:49:44.64 lXTUasUq.net
>>256,304
xから始めて yに達する確率を P(x)とすると
P(0)=0, P(x) = (1-p)P(x-1) + pP(x+1) (0<x<y), P(y)=1.
これを解けば、 P(x) = (((1-p)/p)^x-1)/(((1-p)/p)^y-1).
318:１３２人目の素数さん
15/08/29 16:06:35.07 YCiHvtOJ.net
この問題と同等の問題が、過去スレのどっかにあるはず。
出題者が「高校生に解けるはず」とか書いていたが、
ここで言うところのP(1)を結論から持ってきたようで、
P(0)、P(1)と漸化式から一般式を導いていたようだ。
確かに、P(0)、P(1)と漸化式があれば、高校生でも回答可能だ
だが、P(1)の計算方法を具体的に示し、
「このようにP(1)の計算は困難だが、それでも高校生に可能か」
のような質問をしたが、返答が無かったように記憶している。
その時の出題者と同一人物か？
319:１３２人目の素数さん
15/08/29 17:05:44.69 SyRxSJon.net
どっちの出題者でもないけど、P(1)は P(y)=1 があるからわかる。
P(0)=0, P(x) = (1-p)P(x-1) + pP(x+1) (0<x<y), P(y)=1.
漸化式を変形すると、
P(x+1) - P(x) = ((1-p)/p) {P(x) - P(x-1)} (0<x<y).
数列{P(x+1) - P(x)}は初項 P(1)-P(0)、公比 r := (1-p)/p の等比数列だから、
P(x+1) - P(x) = r^x {P(1) - P(0)} (0<=x<y).
よって、
P(x) = P(0) + Σ[k=0, x-1] {P(k+1) - P(k)} = P(0) + {(1 - r^x)/(1-r)} {P(1) - P(0)}.
P(0)=0 より、P(x) = {(1 - r^x)/(1-r)}P(1).
P(y)=1 より、P(1) = (1-r)/(1 - r^y).
したがって、
P(x) = (1 - r^x)/(1 - r^y) = (((1-p)/p)^x-1)/(((1-p)/p)^y-1).
320:１３２人目の素数さん
15/08/29 17:18:49.71 GXuWDarj.net
>>309
答えありきで逆算するならそれでもいいけど
真面目にやるなら下式で証明しないとダメでしょ
P(x,t+1) = (1-p)P(x-1,t) + pP(x+1,t) (0<x<y)
まあ、やることは大して変わらないけど
321:１３２人目の素数さん
15/08/29 17:24:03.87 9tBeoMHo.net
>>308
別人だよ
322:１３２人目の素数さん
15/08/30 21:55:58.20 lCKX1Y5g.net
pを奇素数とするとき, 任意の相異なる5つの正の整数に対して, そのうち2つを上手く選ぶことで, 選んだ2数の和がpでない奇素数で割り切れるようにできることを示せ.
323:１３２人目の素数さん
15/08/30 22:32:00.01 /oWHA1w4.net
>>312
なんか微妙な表現で分かりにくくしてあるけど
うまく選ぶことで3で割り切れるようにすることもできるし
5で割り切れるようにすることもできることを示せばいいだけのような
324:１３２人目の素数さん
15/08/31 12:27:28.60 YiMuchNW.net
>>313
5つとも15で割って1余る整数のとき、どの2つの和も3や5で割り切れない
325:１３２人目の素数さん
15/08/31 13:09:06.91 yUZ5qTrj.net
>>314
あそうか、なんか問題読み違えてた。
任意の5つの正の整数があれば、
2数の和を割り切る奇素数が少なくとも2つ存在することを言えばいいのかな。
326:１３２人目の素数さん
15/09/02 17:35:22.12 XNWv0rxl.net
>>312
S={a,b,c,d,e}をa<b<c<d<eなる5つの正整数からなる集合とし、
どの2つを選んでもその和はp以外の奇素数で割り切れないとする。
Sの元に共通因数があれば、それで割った数からなる集合S'も
やはり上の条件を満たす。
よって最初からSの元に共通因数は無いものとする。
このような集合Sが存在しないことを示せばよい。
A,B,C(A<B<C)をSの中から任意に選んだとき、
A+CとB+Cがともに2の冪乗と仮定すると2(A+C)≦B+C<2Cとなり矛盾。
よってA+CとB+Cのうち一方はpの倍数である。
よってa+d,b+d,c+dのうち2つはpの倍数。
同じくa+e,b+e,c+eのうち2つはpの倍数。
よってa+dとa+eがともにpの倍数であるか、
またはb+dとb+eがともにpの倍数であるか、
またはc+dとc+eがともにpの倍数である。
いずれの場合もe-dはpの倍数となる。
ここでd+eがpの倍数でないと仮定するとa+e,b+e,c+eはpの倍数。
よってc-aとc-bはともにpの倍数。
またa+cまたはb+cのうち一方はpの倍数。
よって(c-a)+(a+c)=(c-b)+(b+c)=2cはpの倍数なのでcはpの倍数。
これとc+eがpの倍数であることからeはpの倍数。
続いてa,b,dもpの倍数であることがいえる。
よってSの元に共通因数pがあることになり矛盾。
したがってd+eはpの倍数である。（続く）
327:１３２人目の素数さん
15/09/02 17:36:14.61 XNWv0rxl.net
d+e,e-dがともにpの倍数であることからd,eはpの倍数。
これとa+d,b+d,c+dのうち2つはpの倍数であることから
a,b,cのうち2つはpの倍数。
これとa+c,b+cのうち一方がpの倍数であることからcはpの倍数。
さらにa,bがともにpの倍数とするとSの元に共通因数pが
あることになり矛盾するので、a,bのうち一方はpの倍数でない。
以下、aがpの倍数でないとする。
bがpの倍数でないとしても同様なのでこの場合は省略。
c,d,eはpの倍数でありaはpの倍数でないから、
a+b,a+c,a+d,a+eはpの倍数でないので2の冪乗である。
よってa+c,a+d,a+eは4の倍数でありe-c,e-dは4の倍数となる。
ここでc+eとd+eのうち一方が4の倍数と仮定すると、
(e-c)+(c+e)=(e-d)+(d+e)=2eは4の倍数となりeは偶数となる。
これとa+eが2の冪乗であることからaは偶数。
続いてb,c,dも偶数であることがいえる。
よってSの元に共通因数2があることになり矛盾。
したがってc+eとd+eはどちらも4の倍数ではない。
e-cとe-dが偶数であることからc+eとd+eはともに偶数である。
よって整数s,t(0<s<t)を用いて
c+e=2p^s
d+e=2p^t
と表せるが、
p(c+e)=2p^(s+1)≦2p^t=d+e<2eとなり矛盾。
したがって、条件を満たすような集合Sは存在しない。
ちなみに4つの場合は1,5,7,11のような例がある。
328:１３２人目の素数さん
15/09/03 07:36:05.84 bNPipVA3.net
>>312
五つの相異なる正整数a,b,c,d,eに対し、十通りの和 a+b、a+c、a+d、．．．、d+e全てが、2^m*p^n 型になるような5数の選び方は無いことを証明すればよい。
これが示されれば、五つの相異なる正整数を選べば、必ずその中に、2^m*p^n型で無い二数の和が有ることになり、それは、2、p以外の素因数を持つ。
そのような5数a,b,c,d,eが見つかったとすると、2a,2b,2c,2d,2e、も自動的に条件を満たすので、５数の内少なくとも一つは奇数としてよい。（※）
同様に、pa,pb,pc,pd,pe、も自動的に条件を満たすので、５数の内少なくとも一つはpで割り切れないとしてよい。（※※）
(a+b)+(a+c)+(b+c)=2(a+b+c)なので、(a+b),(a+c),(b+c)の中に奇数は０個か２個ある → a,b,cに奇数は１個か３個ある。
同様の議論を、(a+c),(a+d),(c+d)の間等でも行い、（※）も考慮すると、結局、a,b,c,d,e全てが奇数であるとしてよい。
(a+b)、(a+c)、(b+c)はいずれもpの倍数だとすると、(a+b) + (b+c) = (a+c) + 2b であるから、bもpの倍数でなければならない。
すると、aもc、pの倍数となる。この検討を(a+c),(a+d),(c+d)等へ波及していくと、結局、abcde全てが、pの倍数でなければならなくなり、(※※)に違反する
つまり、(a+b)、(a+c)、(b+c)の中に、2^m型の数がある。(mは明らかに2以上)
仮にそれをa+b=2^sとし、b+c=2^x*p^y,a+c=2^u*p^vとすると、(a+b) + (b+c) = 2^s + 2^x*p^y = (a+c) +2b = 2^u*p^v + 2b
b= 2^(s-1) + 2^(x-1)*p^y - 2^(u-1)*p^v となるが、bは奇数なので、xかuの一方は1、他方は2以上でなければならない。
つまり、(a+b)、(a+c)、(b+c)のように、a,b,c,d,e中から3数を選び、その中の組み合わせで作った三つの和は、
一つは2^m型（以後Ａ型）、一つは2*p^n型（Ｂ型）、一つは、2^s*p^t ただしs≧2（Ｃ型）と、明確に3種類に分けることができる。
しかし、十通りの和を、矛盾無くこの3種類に分類することはできなく（下参照）、文頭の命題が証明される。
329:１３２人目の素数さん
15/09/03 07:36:34.50 bNPipVA3.net
４つならば、a=1、b=5、c=7、d=11の時
a+b
a+c b+c
a+d b+d c+d とすると
06(Ｂ型)
08(Ａ型) 12(Ｃ型)
12(Ｃ型) 16(Ａ型) 18(Ｂ型) の様に可能。
２段目までは必然、3段目一番左a+dの位置を仮にＡ型にすると、b+dの位置はＣ型になるが、b+c、b+d、c+dの関係が矛盾する
従って3段目一番左a+dの位置はＣ型になり、残りも確定。このように、型の入れ替えを除いて、可能なパターンはこれだけ
５つならば
a+b
a+c b+c
a+d b+d c+d
a+e b+e c+e d+e
a+bがＢ型なので、a+eをＡ型とすると、b+eはＣ型とせねばならないが、b+cがＣ型なので、無理
従って、a+eをＣ型、b+eはＡ型となるが、b+dがＡ型なので、やはり矛盾する。