２ちゃんねる ■掲示板に戻る■ 全部 1- 最新50

■ このスレッドは過去ログ倉庫に格納されています

面白い問題おしえて～な二十問目

1 ：１３２人目の素数さん：2012/12/22(土) 13:17:38.28 .net: 過去ログ
http://www3.tokai.or.jp/meta/gokudo-/omoshi-log/
まとめwiki
http://www6.atwiki.jp/omoshiro2ch/

1 http://cheese.2ch.net/test/read.cgi/math/970737952/
2 http://natto.2ch.net/test/read.cgi/math/1004839697/
3 http://science.2ch.net/test/read.cgi/math/1026218280/
4 http://science.2ch.net/test/read.cgi/math/1044116042/
5 http://science.2ch.net/test/read.cgi/math/1049561373/
6 http://science.2ch.net/test/read.cgi/math/1057551605/
7 http://science2.2ch.net/test/read.cgi/math/1064941085/
8 http://science3.2ch.net/test/read.cgi/math/1074751156/
9 http://science3.2ch.net/test/read.cgi/math/1093676103/
10 http://science4.2ch.net/test/read.cgi/math/1117474512/
11 http://science4.2ch.net/test/read.cgi/math/1134352879/
12 http://science6.2ch.net/test/read.cgi/math/1157580000/
13 http://science6.2ch.net/test/read.cgi/math/1183680000/
14 http://science6.2ch.net/test/read.cgi/math/1209732803/
15 http://science6.2ch.net/test/read.cgi/math/1231110000/
16 http://science6.2ch.net/test/read.cgi/math/1254690000/
17 http://kamome.2ch.net/test/read.cgi/math/1284253640/
18 http://kamome.2ch.net/test/read.cgi/math/1307923546/
19 http://uni.2ch.net/test/read.cgi/math/1320246777/
565 ：１３２人目の素数さん：2014/03/18(火) 07:59:49.58 .net: 何かもっとパズルっぽい問題無いの？？？
1,1,5,8で10を作れみたいなやつとか
566 ：１３２人目の素数さん：2014/03/18(火) 08:35:50.36 .net: >>565
パズル
http://ikura.2ch.net/puzzle/
567 ：１３２人目の素数さん：2014/03/18(火) 12:26:47.18 .net: 4つの4を使って149を作ってください
ただし使っていい記号は以下の通り
•四則演算(+-×÷)
•括弧()
•小数点 (例 .4=0.4)
•根号(√ )
•階乗( ! )
•指数( ^ )
568 ：１３２人目の素数さん：2014/03/18(火) 12:35:06.51 .net: どこがどう面白いのかさっぱり分からん
569 ：１３２人目の素数さん：2014/03/18(火) 14:00:00.25 .net: √（√（√（（√（４）／．４）＾（４！））））＋４！＝１４９。
570 ：１３２人目の素数さん：2014/03/20(木) 15:55:16.50 .net: a[n+1]=√{(1+a[n])/2}
b[n+1]=(1-a[n])b[n]
a[1]=0,b[1]=1

数列a[n],b[n]の一般項を求めよ
571 ：１３２人目の素数さん：2014/03/20(木) 15:57:17.88 .net: つまらん
572 ：１３２人目の素数さん：2014/03/21(金) 19:30:02.31 .net: a＞0、b＞0、c＞0、d＞0、abcd＝1のとき、(1/a)＋(1/b)＋(1/c)＋(1/d)＋9/(a＋b＋c＋d)≧25/4 を証明せよ
573 ：１３２人目の素数さん：2014/03/21(金) 20:57:35.99 .net: >>572
分からない問題はここに書いてね388
http://ai.2ch.net/test/read.cgi/math/1391965739/872
高校数学の質問スレPART368
http://ai.2ch.net/test/read.cgi/math/1393860594/615
知恵袋
ttp://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1185526616
574 ：１３２人目の素数さん：2014/03/22(土) 18:06:21.04 .net: 数列a(n)は、以下の漸化式を満たす
a(n+3)=-a(n+2)+2a(n+1)+8a(n),
a(1)=a(2)=a(3)=1
このとき、a(n)のすべての項は平方数であることを証明せよ
575 ：１３２人目の素数さん：2014/03/22(土) 20:00:07.95 .net: x^2+3x+4=0の2解 α,β
a(n)=2^(n+1)/7-α^n/7-β^n/7
576 ：１３２人目の素数さん：2014/03/22(土) 20:40:27.12 .net: 数列 b(n) を b(n+2)=b(n+1)-2b(n), b(1)=b(2)=1 とおくと、
すべての自然数 n で a(n)=(b(n))^2 となることを、帰納法で示せばいい。
577 ：１３２人目の素数さん：2014/03/22(土) 22:57:51.74 .net: >>554の出題者だがこの問題についてはすでにワイルの均等分布定理という定理があるらしい
これを知っている人からすれば私の問題は全く面白くなかったでしょう
本当に申し訳ない
578 ：１３２人目の素数さん：2014/03/22(土) 23:04:00.71 .net: >>572
これはググれば答えがヒットするが、かなりの難問
579 ：１３２人目の素数さん：2014/03/22(土) 23:10:36.14 .net: 自演乙
580 ：１３２人目の素数さん：2014/03/23(日) 01:33:01.01 .net: >>572
ラグランジュ未定乗数法を使えば解けるが…
不等式の証明で解析を使うのはイケナイことだけど
581 ：１３２人目の素数さん：2014/03/25(火) 19:22:28.36 .net: 逝けない女だと他人は言ふけれど、イイじゃないの、(略証)ならば。
582 ：１３２人目の素数さん：2014/03/25(火) 20:00:04.61 .net: >>574

xx-x+2=0 の2解
　γ = (1-ｉ√7)/2,
　δ = (1+ｉ√7)/2,
を使えば、
　b(n) = (δ^n - γ^n)/(i√7),
　２ = γδ,
　α = γγ,
　β = δδ,
583 ：１３２人目の素数さん：2014/03/25(火) 20:41:29.08 .net: >>576

　b[n] = 2^{(n-1)/2}･U_n(1/√8),
ここに U_n は第2種チェビシェフ多項式。
　sin(nθ) = (sinθ)U_n(cosθ),
584 ：１３２人目の素数さん：2014/03/30(日) 23:38:20.60 .net: nを正の整数とする。
3点(0,0)、(n√2,0)、(0,n√3)を頂点に持つ三角形の内部にある格子点の数をnで表せ。
585 ：１３２人目の素数さん：2014/03/31(月) 05:02:01.95 .net: ([n√2]+2)([n√3]+2)/2
586 ：１３２人目の素数さん：2014/03/31(月) 05:10:40.80 .net: n=1でもう違った
587 ：１３２人目の素数さん：2014/03/31(月) 23:45:33.87 .net: (0,0)、(√2,0)、(√2,√3)、(0,√3)を4頂点にもつ長方形自体、
内部の格子点は(1,1)の1点だけだから、対角線に関して対称じゃないんだよね。
これ解けるんだろうか？
588 ：１３２人目の素数さん：2014/03/31(月) 23:57:46.81 .net: 数論に出てくる名前のついているようなナントカ数の類が現れそうだな
589 ：１３２人目の素数さん：2014/04/01(火) 06:03:07.64 .net: √3+√2>√6
590 ：１３２人目の素数さん：2014/04/01(火) 06:33:50.07 .net: x>0, y>0
x√3+y√2<6n
591 ：１３２人目の素数さん：2014/04/01(火) 08:32:04.24 .net: 訂正　x√3+y√2<n√6
592 ：１３２人目の素数さん：2014/04/02(水) 01:13:56.89 .net: >>584
近似式：{√(3/2)}n^2-{√(5/2)-0.008}n
593 ：１３２人目の素数さん：2014/04/03(木) 13:55:43.07 .net: 次の漸化式：a_1=p,a_(n+1)=-1+([1/a_n]+1)*a_n
で表される数列{a_n}は0に収束することを示せ
ただしpは無理数である．また実数xに対して[x]でxの整数部分を表すものとする
594 ：１３２人目の素数さん：2014/04/03(木) 17:45:11.50 .net: -1+([1/(-1)]+1)(-1)=-1
595 ：１３２人目の素数さん：2014/04/03(木) 18:06:45.47 .net: ただしpは無理数である．
596 ：１３２人目の素数さん：2014/04/03(木) 19:05:01.35 .net: ↑バカ
597 ：１３２人目の素数さん：2014/04/03(木) 20:19:57.09 .net: 負の数だと成り立たない気がするような
もし間違ってたら馬鹿と罵ってもらってかまわん
598 ：１３２人目の素数さん：2014/04/03(木) 20:47:06.65 .net: p は -1 より大きい無理数とすれば成り立つようだ
599 ：１３２人目の素数さん：2014/04/03(木) 22:18:20.77 .net: 593の出題者です
はじめp=√２で成立したから多分無理数ならなんでも大丈夫なんだろなって思っていたのでpが正の場合しか考えていませんでした
"ただしpは無理数である"→"ただしpは正の無理数である"と訂正します
>>598さんの言うように正よりもっと範囲を拡張できるのかもしれませんが，まだ私自身検討中です
600 ：１３２人目の素数さん：2014/04/04(金) 00:40:05.28 .net: 極限lim(n→∞)tan{2^(1/n) nπ}を求めよ
601 ：１３２人目の素数さん：2014/04/04(金) 00:47:09.76 .net: tan(πlog2)
602 ：１３２人目の素数さん：2014/04/04(金) 18:48:58.18 .net: >>593,599
a_n > 1 のとき a_(n+1) = a_n - 1 だから
0 < a_n < 1 のときを考えればよい
x = 1/a_n とする
x の小数部分を {x} と書く ({x} = x - [x])
a_(n+1) = ([x] + 1)/x - 1 = (1 - {x})/x
1/a_(n+1) = x/(1 - {x}) = x + x{x}/(1 - {x})
x > 1, 0 < 1-{x} < 1 だから
1/a_(n+1) > x + {x} = [x] + 2{x}
1/a_(n+1) > [1/a_n] + 2{1/a_n}
つまり 1/a_(n+1) は 1/a_n より整数部分が大きいか、小数部分が2倍以上

1/a_n (n = 1,2,...) の小数部分は 0 になることはないので、
上から明らかに 1/a_n → ∞ (n→∞)
603 ：１３２人目の素数さん：2014/04/04(金) 22:44:10.22 .net: >>600
え？
604 ：abc：2014/04/11(金) 15:37:39.19 .net: 突然ですが、平方根などの根の計算方法を発見しましたけど、どうしたらよいか分かりません。誰か教えて下さい。複雑な計算や難しい理論を必要とせず、微分積分も使いません。ネットで調べても同じものは無いようです。
605 ：１３２人目の素数さん：2014/04/11(金) 16:30:10.68 .net: 近所の３流以下の大学数学教授にメール、という考えがちらついた
606 ：１３２人目の素数さん：2014/04/11(金) 17:00:47.48 .net: ポエムスレで発表すればいいよ
607 ：１３２人目の素数さん：2014/04/11(金) 17:13:15.08 .net: 適当な学会に入って論文投稿すればー
金払えば入会できるぞ
608 ：１３２人目の素数さん：2014/04/11(金) 22:22:08.68 .net: 近隣の中高教師の勉強会に相談してみては？
あなたの県名＋数学＋指導法＋研究会でggr,
609 ：１３２人目の素数さん：2014/05/03(土) 19:46:07.96 ID:CJIvXJKsu: >>564

(2k-1)(2k+1) = 2kk +2kk -1 = 2kk(2k+1) -2kk(2k-1) -1,
を kk(2k-1)(2k+1) で割って
1/kk = 2/(2k-1) -2/(2k+1) -1/{kk(2k-1)(2k+1)},
k=1～∞ でたして6倍すると
π^2 = 12 - Σ[k=1,∞) 6/{kk(2k-1)(2k+1)}
　≦ 12 -2 -1/10 -2/105
　≦ 12 -2 -1/10 -19/1000
　= 9.881

　√24 = 24/√(25-1) > 24/(5-0.1) > (24/5*5)*(5+0.1) = 0.96*5.1 = 4.896
(√2 +√3)^2 = 5 +√24 > 5 + 4.896 = 9.896
610 ：１３２人目の素数さん：2014/05/03(土) 20:29:41.33 ID:CJIvXJKsu: >>563

0<θ<π/2 のとき、マクローリン展開から
　sinθ > θ - (1/6)θ^3,
　sinθ > θ - (1/6)θ^3,
　tanθ > θ + (1/3)θ^3,
辺々たすと
　2sinθ + tanθ > 3θ,
これは Snellius-Huygensの不等式として知られている。

この不等式で θ= π/4 - π/6 = π/12 として
　sinθ = sin(π/4 -π/6) = (√3 -1)/√8,
　tanθ = tan(π/4 -π/6) = 2-√3,
を使えば
　2(4-√2 -2√3 +√6) > π,

一方、
　√2 + √3 -2(4-√2 -2√3 +√6) = (√2 -1)^2･(2-√3)^2･(√3 -√2) > 0,
なので、(1)とあわせて
　√2 + √3 > π.
611 ：１３２人目の素数さん：2014/04/20(日) 01:06:46.65 .net: 幅→0の長方形
612 ：１３２人目の素数さん：2014/04/20(日) 01:23:59.44 .net: >>611
？
613 ：１３２人目の素数さん：2014/04/20(日) 03:52:09.18 .net: 細い長方形なら格子点沢山覆えるだろう
614 ：１３２人目の素数さん：2014/04/20(日) 09:38:28.99 .net: どんな形状であってもn+1個の格子点を含むように配置できる
と読むのであろう。
615 ：１３２人目の素数さん：2014/04/20(日) 11:09:51.99 .net: 配置は平行移動だけ？　回転も含まないと無理？
616 ：１３２人目の素数さん：2014/04/20(日) 13:15:50.69 .net: ある点P,Qのx座標の差・y座標の差がいずれも整数であるとき、「PとQは同値である」ということにする。

問の平面図形をA、その面積をS(A)とする。
また、0 ≦ x < 1, 0 ≦ y < 1 に対して、
f(x,y) = [Aの内部にある点で、点 (x,y) と同値であるものの個数]
とする。
すると、S(A) =∫[0,1]∫[0,1] f(x,y) dxdy が成り立つ。

また、S(A) < n より、
f(x,y) ≧ n+1 を満たすような (x,y) が必ず存在する。
(「常にf(x,y) ≦ nが成り立つ」と仮定すると S(A) ≦ ∫[0,1]∫[0,1] n dxdy = n となり矛盾)

そのような (x,y) を一つ取り、点 (x,y) が原点にくるように図形を平行移動させると、
A内部には原点と同値な点 (すなわち格子点) がn+1個以上含まれることになる。
617 ：609：2014/04/20(日) 13:40:56.94 .net: >>616
おお、定式化するとそういう風に証明するんでしょうね。

私が見た解説は、以下のようなものでした。
(1) 平面図形Aを、格子の升目の上に適当に置く。
(2) Aが含まれる1x1の升目を、バラバラに切り取る。
(3) 升目を全部重ねる。
(4) 升目の何処かの座標には、元Aの領域の重なりがn+1以上の箇所がある。
＿(そうでなければ、Aの面積がn以下になるため)
(5) その座標が格子点になるように、平行移動すれば良い。
618 ：１３２人目の素数さん：2014/04/21(月) 05:40:12.75 .net: コインを投げて表が出れば1点を加え、裏が出れば1点引く
ただし、0点の場合は引かない
初めの持ち点は0点とする
n回投げたとき、持ち点がk点となる確率を求めよ

答え
C[n,(n+k)/2](1/2)^n (n+kが偶数)
C[n,(n+k+1)/2](1/2)^n (n+kが奇数)

らしいんだが解き方分かる人いるかな

あと、単位円に内接する正n角形の頂点から3点選んでできる三角形の面積の期待値
619 ：１３２人目の素数さん：2014/04/21(月) 07:29:49.30 .net: >>618
そもそも誤答じゃね？(n,k)=(2,0)とかどうよ
>ただし、0点の場合は引かない

|sin(2πu/n)+sin(2πv/n)-sin{2π(u+v)/n}|/2 (0<u,v),(u+v<n)の期待値あたりか?めんどくさ
620 ：１３２人目の素数さん：2014/04/21(月) 21:10:23.10 .net: n=2,k=0だと表裏と裏裏で1/2
C[2,(2+0)/2](1/2)^2=1/2だが
621 ：１３２人目の素数さん：2014/04/21(月) 22:08:16.13 .net: 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　／:::::; -‐''"　　　　　　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　　　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　　　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　
.　　　　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　
　　　　 | 　　　　l＾,人| 　` `-' 　　ゝ　 |　　　　　　　　
　　　 | 　　　　 ` -'＼　　　　　ｰ' 　人　　　　　　　　　　　私は死なないわよ。
　　　　|　　　　　　　 /(l 　　　＿＿／　ヽ、　　　　　　　　　　　でも最近一寸太ったかしら。
　　　 |　　　　　　　（:::::`‐-､__ 　|::::`､　　ﾋﾆﾆヽ、　　　　　　　　　　Windows ver.10 で　　　　
　　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　元の痩せた姿にしてよね。
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　ﾋﾆ二、　＼　　　　　　　　　　　　　
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼　 |　'､　　＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
622 ：618：2014/04/21(月) 22:32:22.29 .net: >>620
すまん間違えた
623 ：１３２人目の素数さん：2014/04/22(火) 12:20:00.40 .net: 数学的帰納法。
624 ：１３２人目の素数さん：2014/04/22(火) 23:35:36.42 .net: 教科書傍用の下みたいな練習問題
Σ[m=1→n]｛Σ[l=1→m]（Σ[k=1→l]）｝
これを式の意味を解釈して簡単に計算できないかな

たとえばΣ[k=1→n](k-1)(n-k)は
(k-1)(n-k)は1～nの整数の中から3個取り出す方法のうち
2番目に大きい数字がkとなるような取り出しかただから
Σ[k=1→n](k-1)(n-k)=C[n,3]
625 ： ◆BhMath2chk ：2014/04/23(水) 00:00:00.94 .net: ■
□■
■□■
□■□■
■□■□■
□■□■□■
■□■□■□■
□■□■□■□■

　　　　　　　 ■
　　　　　　 ■　 □
　　　　　 ■　 ■　 □
　　　　 ■　 ■　 □　 □
　　　 ■　 ■　 ■　 □　 □
　　 ■　 ■　 ■　 □　 □　 □
　 ■　 ■　 ■　 ■　 □　 □　 □
■　 ■　 ■　 ■　 □　 □　 □　 □
626 ：１３２人目の素数さん：2014/05/04(日) 02:42:40.97 .net: test
627 ：１３２人目の素数さん：2014/05/04(日) 02:53:40.74 .net: 　>>563

0<θ<π/2 のとき、マクローリン展開から
　sinθ > θ - (1/6)θ^3,
　sinθ > θ - (1/6)θ^3,
　tanθ > θ + (1/3)θ^3,
辺々たすと
　2sinθ + tanθ > 3θ,
これは Snellius-Huygensの不等式として知られている。

この不等式で θ= π/4 - π/6 = π/12 として
　sinθ = sin(π/4 -π/6) = (√3 -1)/(2√2),
　tanθ = tan(π/4 -π/6) = 2-√3,
を使えば
　4{(√3 -1)/√2 +(2-√3)} > π,

√2 + √3 = 4{(√3 -1)/√2 +(2-√3)} + (√2 -1)^2･(2-√3)^2･(√3 -√2)
> 4{(√3 -1)/√2 +(2-√3)}
> π,
628 ：１３２人目の素数さん：2014/05/04(日) 23:07:43.00 .net: a_0=0, a_1=1, a_(n+2)=a_(n+1)+a_n （n=0,1,2,…）とする。
（１）lim(n→∞）a_n/a_(n-1)を求めよ。
（２）（１）で求めた値をzとする。z^x(xは整数）はxが十分に大きいとき、ほぼ整数となる
ことを示せ。
629 ：１３２人目の素数さん：2014/05/13(火) 00:05:49.55 .net: (1)(1+√5)/2
(2)b[n]=[z^n+1/2],z^n=b[n]+c[n]とする
このとき、-1/2≦c[n]<1/2…①
また、z^(n+2)=z^(n+1)+z^n,
c[2]=(-3+√5)/2,c[3]=-2+√5

2≦nでc[n]/c[n+1]=-zを数学的帰納法で示す
まずn=2のとき成り立つ
n=kで成り立つとする
z^(k+2)=z^(k+1)+z^k=b[k+1]+b[k]+c[k+1]+c[k]
c[k+1]+c[k]についてc[k]とc[k+1]は異符号で①より-1/2<c[k+1]+c[k]<1/2
よってc[k+2]=c[k+1]+c[k]
=(1-z)c[k+1]
c[k+1]/c[k+2]=1/(1-z)=-z
よってn=k+1で成り立つ

これらよりc[n]=c[2]/(-z)^(n-2)
となり示される
630 ：１３２人目の素数さん：2014/05/23(金) 20:35:05.31 ID:giHHhsRIW: 開き括弧'('と閉じ括弧')'のみからなる記号列
（ただし'('と')'が正しく対応付けられるもの）
があるとする。
この記号列のある部分に対し、
(X(Y)Z)→(XYZ)(XYZ)...(XYZ)
という置き換えを考える。
(X(Y)Z)の外側および内側の括弧はそれぞれ対応する括弧であるものとし、
X,Y,Zはそれぞれ任意の記号列（長さ0でもよい）とする。
(XYZ)(XYZ)...(XYZ)は、(XYZ)を任意個（0個でもよい）並べたものである。
このような置き換えを無限に繰り返し行うことは不可能であることを示せ。
631 ：１３２人目の素数さん：2014/05/23(金) 20:37:21.90 .net: 開き括弧'('と閉じ括弧')'のみからなる記号列
（ただし'('と')'が正しく対応付けられるもの）
があるとする。
この記号列のある部分に対し、
(X(Y)Z)→(XYZ)(XYZ)...(XYZ)
という置き換えを考える。
(X(Y)Z)の外側および内側の括弧はそれぞれ対応する括弧であるものとし、
X,Y,Zはそれぞれ任意の記号列（長さ0でもよい）とする。
(XYZ)(XYZ)...(XYZ)は、(XYZ)を任意個（0個でもよい）並べたものである。
このような置き換えを無限に繰り返し行うことは不可能であることを示せ。
632 ：１３２人目の素数さん：2014/05/23(金) 20:54:04.69 .net: >>628　(2)
{(1+√5)/2}^n+{(1-√5)/2}^n　は、{1,3,4,7,11,18,...}という整数値を取り、
(1-√5)/2=-0.618...なので、{(1-√5)/2}^nは、nが大きくなるとどんどん小さくなる
ことより、題意は示される。
633 ：１３２人目の素数さん：2014/05/24(土) 17:35:50.66 .net: >>631
記号列を成す、全ての開き括弧“(”、及び、閉じ括弧“)”に対し、
次のルールで「深さ」という値プロパティを与えることとする
・“(”に対しては、「注目している記号より左側の全ての“(”の数」－「注目している記号より左側の全ての“)”の数」
・“)”に対しては、対応する“(”と同じ値

ところで、「置き換え」ルール：(X(Y)Z)→(XYZ)(XYZ)...(XYZ) を適用すると、Y内部の「深さ」は置き換え前に比べ、１減る。
元々の記号列は有限個からなるものなので、「最大の深さ」が存在するため、無限に行うことはできない。
634 ：１３２人目の素数さん：2014/05/24(土) 18:50:08.43 .net: >>633
XとZの内部の深さは変わらないので、最大の深さは変わらない場合もある。
よってこれだけでは証明になっていないと思われるが。
635 ：１３２人目の素数さん：2014/05/24(土) 21:02:16.76 .net: >>634
なるほど、空振りなら、無限回可能ということですね

では、この修正ではどうでしょう。

一番最初に、(X(Y)Z)型の部分列全てに対して、({X}(Y){Z})と、仮想括弧{}を補ってしまいます。
そして、仮想括弧を通常の括弧と同一視した状態で、「深さ」を考えることにします。すると、
>>(X(Y)Z)→(XYZ)(XYZ)...(XYZ)
という置き換えで、X,Y,Z　の（修正版の）深さは、1ずつ減ることになります。
636 ：１３２人目の素数さん：2014/05/24(土) 21:24:58.94 .net: >>635
(A(B)C(D)E)という部分列があるとき、
({A}(B){C(D)E})
({A(B)C}(D){E})
という2通りの仮想括弧の付け方がある。
上の説明だと、この場合の考え方が分からない。
637 ：１３２人目の素数さん：2014/05/24(土) 21:37:32.88 .net: >>635
そもそも、例えば((()))に仮想括弧を付けて({(}(){)})とすると
括弧の対応関係がクロスした状態になってしまう。
これはマズいのでは。
638 ：１３２人目の素数さん：2014/05/24(土) 22:04:00.24 .net: グラフ木と対応させればいいんじゃないかな

((()))(()())()なら
●
┃
●●●
┃┣┛
●●　 ●
┣┻━┛
●
みたいな
639 ：１３２人目の素数さん：2014/05/24(土) 22:12:01.78 .net: なるほど、確かにその通りです。では、素直にいきます。これではどうでしょう。

記号列を食べる関数を考えます。
その関数は、>>633の方法の深さを全ての括弧についてチェックし、

深さ0の括弧のペアの数は、○個
深さ1の括弧のペアの数は、△個
...
と言うように、深さと、その括弧の数を返します。

そして、この返り値は、次の方法で比較可能で、
最大の深さの大小、同じなら、その深さの数の大小、
同じなら、次の深さの大小、同じならその深さの数の大小、．．．
で判断します。
この関数を使えば、置き換え前と、置き換え後を比べると、必ず小さくなっていきます。
640 ：１３２人目の素数さん：2014/05/24(土) 22:19:30.43 .net: >>637
仮想括弧は、「置き換え」に対応させて考えていたものなので、
そのようなクロスは、題意から除かれています。
641 ：１３２人目の素数さん：2014/05/24(土) 22:23:48.80 .net: >>637
失礼、よく読むと、そのようなクロスは、題意から除かれて「いない」んですね。
642 ：１３２人目の素数さん：2014/05/24(土) 22:33:53.50 .net: >>639
X=Y=空列,Z="()"として
(()())→(())(())(())
という置き換えを行うと、最大の深さ2の括弧が2個から3個に増える。

>>640
ちょっとよく分からない。
((()))は置き換えの対象になる記号列だと思うんだけど。
X,Y,Zで表される記号列は、必ずしもその内部だけで
括弧の整合性が取れている必要は無い。
643 ：１３２人目の素数さん：2014/05/24(土) 22:35:44.64 .net: >>641
そういうこと。
644 ：１３２人目の素数さん：2014/05/25(日) 09:17:59.51 .net: >>642
「深さ」の他に、「並列度」とでも言うべき値も考えると、どうだろうか？
直接の「親」に当たる括弧の中に、自分と同じ「深さ」をもつ括弧がいくつかあるか、
それを「並列度」とします。
家系図なんかに例えると、「深さ」は「世代」に、「並列度」は「兄弟の数」に相当します。

>> X=Y=空列,Z="()"として
>> (()())→(())(())(())
>> という置き換えを行うと、最大の深さ2の括弧が2個から3個に増える。
深さ2,並列度2の括弧が二つあったものが、置き換え後は、
深さ2,並列度1の括弧が三つ（or任意個）と数えることになります。
645 ：１３２人目の素数さん：2014/05/25(日) 16:53:53.63 .net: 次の方程式が表す図形を座標平面に図示せよ。（ただしひとつの平面に書き込むこと）

ｘ^2＋ｙ^2＝1

ｘ^2＋ｙ^2＝4

ｙ＝±ｘ　(－4≦ｘ≦－3,3≦ｘ≦4）

ｙ＝0　（－4≦ｘ≦－3,3≦ｘ≦4）

ｘ＝0
646 ：１３２人目の素数さん：2014/05/25(日) 17:16:00.99 .net: この類か
https://www.wolframalpha.com/input/?i=graph+hatune+miku+curve
647 ：１３２人目の素数さん：2014/05/25(日) 19:06:43.66 .net: >>644
((())())→((()))((()))
深さ3並列度1が1個→深さ3並列度1が2個
648 ：１３２人目の素数さん：2014/05/25(日) 20:21:30.19 .net: っつうかグラフ木から順序数に対応付けすればいいだけじゃん
そうすれば置き換えによって順序数は必ず減少するんだから
649 ：１３２人目の素数さん：2014/05/25(日) 20:54:39.85 .net: 具体的に
650 ：１３２人目の素数さん：2014/05/25(日) 23:44:50.14 .net: >>631
なかなかいい問題やねｗ出典が知りたいｗ

>>638のような木構造で考えると、「置き換え」による操作は以下の通り
・根と一致しない部分木を1つ指定する。ただし、部分木は2以上の高さを持つものとする
　(X(Y)Z)
・部分木に属する任意の頂点を1つ消去し、頂点の子以下の部分木をもとの頂点の親に接続する
　(X(Y)Z) --> (XYZ)
・変形した部分木を任意個複製する
　(XYZ) --> (XYZ)...(XYZ)

あとは木の複雑度を数に対応付けて、それらが単調減少することを示せばおｋ
数列 a_n の一般項を（外側から n 番目の括弧の組の数）で（その内側にある括弧の組の数）を割った値
とすれば、変形によりある p, q （p＜q）について a_p が増えて a_q が減るので収束が示せる

注意すべきは、>>637のように X, Y, Z が外側と同じレベル以下の括弧を含む場合で
この場合は無限に増殖できることが示せる

例えば (())(()) で、X="", Y="", Z=")(()" とおくと
　(())(()) --> ()(()) が任意個
となって、1操作につき3個以上増やせば操作が無限に行える
651 ：１３２人目の素数さん：2014/05/26(月) 00:02:26.41 .net: 具体的に
652 ：１３２人目の素数さん：2014/05/26(月) 00:09:55.58 .net: > 数列 a_n の一般項を（外側から n 番目の括弧の組の数）で（その内側にある括弧の組の数）を割った値
の部分は、分母を（その内側にある（n+1）番目の括弧の組の数）としても同じ結果になる

>>644の言葉を借りれば、全体について「並列度」を「子供の数の平均」と定義し直して0世代目から並べるイメージ

複雑度が上昇しないことは示せても、最終的に ()()...() の形に収束することは示せないので
厳密な証明には別のアプローチが必要になりそう

あと、具体例を無理に想像するとアッカーマン関数のように急激に増加するのでおすすめしない
653 ：１３２人目の素数さん：2014/05/26(月) 00:41:37.68 .net: >629
> (X(Y)Z)の外側および内側の括弧はそれぞれ対応する括弧であるものとし

仮定から、この操作が可能ならばX,Y,Zにまたがる括弧の組は無い。
従ってこの操作で生成される(XYZ)内の括弧の組は(X(Y)Z)より一つ少なく、
かつ、(XYZ)をいくつ繋げても(XYZ)をまたぐ括弧の組は生まれない。
ゆえに(XYZ)の繰り返し回数が有限ならばこの操作は有限回で収束する。
654 ：１３２人目の素数さん：2014/05/26(月) 01:10:19.38 .net: 具体的に書かないのは反論させないためか。
655 ：１３２人目の素数さん：2014/05/26(月) 01:12:04.91 .net: ((()))=(X(Y)Z)
X=(
Y=
Z=)
656 ：１３２人目の素数さん：2014/05/26(月) 07:20:59.41 .net: >>652=>>652です

>>653
> 仮定から、この操作が可能ならばX,Y,Zにまたがる括弧の組は無い。
「X,Y,Zにまたがる」を「X,Y,Zとその外側にまたがる」
と言いかえれば成り立ちますね。

確かに、外側同士が「対応する括弧」ですから
選んだ部分列の内側に低レベルの括弧は存在しないといえます。
657 ：１３２人目の素数さん：2014/05/26(月) 12:57:51.49 .net: 何度かトライ(631,633,637,642)しましたが、結局、

記号列を食べるある関数F[]を用意し、それが、
F[A(X(Y)Z)B] ＝ F[A(XYZ)B]　＋　α
F[A(XYZ)(XYZ)...(XYZ)B]　＝　F[A(XYZ)B]　＋β
　ただし、常に、α＞β≧０　　（「任意個」のβが積み重なっても、αより小さい）
を満たせばよいということですよね。

そのようなF[]が存在するのは確かっぽいけど、具体的な中身は、当初の予想とは異なり面倒そうです。
658 ：１３２人目の素数さん：2014/05/26(月) 13:05:54.05 .net: 具体的に書こうとしないからはっきりしないが
(()()())()()
->
(()())(()())(()())()()
が反例じゃないか。
659 ：１３２人目の素数さん：2014/05/26(月) 13:58:04.27 .net: >>658は確かに、>>652と>>652の反例になってますね
（単純に平均値を取っただけでは、ゴミを巻き込むことで
評価関数が 3/3 --> 6/5 と増えてしまう）

出題者の>>657さんは解決に近づいているようなので
本職の数学者の降臨を待ちつつ様子見
660 ：１３２人目の素数さん：2014/05/26(月) 14:13:52.78 .net: 出題者は>>631だが
661 ：１３２人目の素数さん：2014/05/26(月) 20:25:57.86 .net: >>650
一応自作なので出典は無し。
同じような問題はどこかにあるかも。

>>659
>>657は出題者ではないよ。
662 ：１３２人目の素数さん：2014/05/26(月) 21:23:06.93 .net: これは「ヒドラゲーム」と同じ類の問題だな
下のリンク先にグラフ木と順序数との対応付けの方法が載ってる

http://math.andrej.com/2008/02/02/the-hydra-game/
http://ja.googology.wikia.com/wiki/%E3%83%92%E3%83%89%E3%83%A9%E3%82%B2%E3%83%BC%E3%83%A0
663 ：１３２人目の素数さん：2014/05/29(木) 09:53:05.43 .net: >>465
> 面積nを超える平面図形は、内側(境界含む)に
> n+1個の格子点を含むように配置できることを示せ。
>
> ってのが面白かった。

ブリクフェルトの定理。有界がいる。
664 ：１３２人目の素数さん：2014/06/05(木) 03:17:39.63 .net: 四角形の４辺と２本の対角線の長さが全て奇数であるものは存在しないことを証明せよ。

総レス数 1003
251 KB

新着レスの表示

掲示板に戻る全部前100 次100 最新50

read.cgi ver.24052200