- 1 名前:132人目の素数さん [2009/10/05(月) 06:00:00 ]
- 面白い問題、教えてください
- 166 名前:132人目の素数さん mailto:sage [2010/05/04(火) 00:56:26 ]
- >>164
(1) の補足 2^(p-1)≡1 (mod p) (← フェルマーの小定理) n = ki + r, (0≦r<i) (← nをiで割った) i|n とpの定義より i=1 または i≧p, i<p-1 より i=1, (2) の補足 2^n + 1 = (3-1)^2 + 1 = Σ(h=1,n) C(n,h)・(-1)^(n-k)・3^h (←二項定理) = 3^(k+1)・d - Σ(h=2,k+1) C(n,h)・(-3)^h + N・3^(k+2), (n:奇数) h≧2 のとき C(n,h) = n(n-1)・・・(n-h+1)/h! = (3^k)d・(n-1)・・・・・(n-h+1)/h!, h! の素因数分解における3の冪指数は h/2 未満。 (←補題) ∴ C(n,h)・3^h 中の3の冪指数は k-(h/2)+h = k+(h/2) ≧ k+1 より大きい。 ∴ 3^(k+2) | C(n,h)・3^h 題意より 3^(k+2) | 3^(2k) | (2^n + 1), ∴ 3^(k+2) | 3^(k+1)・d ∴ 3 | d (dの定義に矛盾) 〔補題〕 h! の素因数分解におけるpの冪指数I(h,p)は h/(p-1) 未満。 I(h,p) = Σ(e=1,h) [h/(p^e)] ≦ Σ(e=1,h) h/(p^e) = {h/(p-1)}{1 - 1/(p^h)} < h/(p-1), (終) 〔参考書〕 秋山 仁+ピーター・フランクル 共著「完全攻略 数学オリンピック」日本評論社 (1991/11/20) ISBN 4-535-78185-0 p.68〜70 (ミスプリント有り) www.math.s.chiba-u.ac.jp/~ando/imo.pdf 第1回(1959) 〜 第40回(1999)の問題
- 167 名前:132人目の素数さん mailto:sage [2010/05/04(火) 01:51:56 ]
- (1)の「nの最小素因数をpとする」を「nの素因数の1つをpとする」に書き換えれば
簡単になるのでは。
- 168 名前:132人目の素数さん [2010/05/04(火) 20:30:48 ]
- hoge
- 169 名前:132人目の素数さん mailto:sage [2010/05/04(火) 20:46:34 ]
- >>165
〔補題〕 gcd(q^a -1, q^b -1) = q^gcd(a,b) - 1, ……… (☆) を利用する手もある。 (ヒント) ユークリッドの互除法で… 〔参考書〕 秋山 仁+ピーター・フランクル (共著) 「数学オリンピック全問題 1984〜1990」日本評論社 (1990/09/10) ISBN 4535781869 p.118〜119 >>167 i|n, i<p-1 から i=1 を出ませぬ〜〜
- 170 名前:165 mailto:sage [2010/05/05(水) 16:01:51 ]
- >>166 補足してくれてありがとう
>>168 自分なりに解いてみました。面白いです。 ただ補題の結果(+導出過程)を事前に知っていないと思いつくのはかなり難しいかも これは有名な定理?何か名前が付いているのでしょうか? 〔補題〕 (q^a-1, q^b-1)=q^(a,b)-1 f(x)=x^a-1, g(x)=x^b-1 と置き、最大公約多項式 (f(x), g(x)) を h(x) と置く。 代数式f(x)=0 と g(x)=0 の解集合は其々位数 a,b の巡回群を形成する。(中略{真面目に書くと長い・・・}) h(x)=x^(a,b)-1。 ユークリッドの互除法により、α(x)・f(x)+β(x)・g(x)=h(x) (α(x),β(x)は適当な多項式)、 即ち α(x)・f(x)/h(x)+β(x)・g(x)/h(x)=1 と表せる事から、x に q を代入すると、(f(q)/h(q), g(q)/h(q))=1 つまり互いに素である。 よって、(q^a-1, q^b-1) = (f(q), g(q)) = (f(q)/h(q)・h(q), g(q)/h(q)・h(q)) = h(q) = q^(a,b)-1。[補題の証明終了] 〔本題〕 n>1 で n^2|2^n+1 が成り立つと仮定する。 nが奇数なのは明らか。 a,bが共に奇数の場合は、補題の証明途中で x に -q を代入することにより、関係式 (q^a+1, q^b+1) = q^(a,b)+1 が得られる。 ここで q=2, a=3, b=n と置けば、(9, 2^n+1) = 2^(9,n)+1。 (9,n)=1 の場合は、(3,n)=1。これは >165 の(1)の結果と矛盾するのでありえない。 (9,n)=3 の場合は、n=3d、但し(3,d)=1。以降は >165 の(3)と同じ。 (9,n)=9 の場合は、9≧(9, 2^n+1)=2^9+1=513>9 となるのでありえない。 よって、n=3 の場合のみ成り立つ。[証明終了] >165 の(2)での二項定理の部分(たぶん一番の山場)が省けました。
- 171 名前:165 mailto:sage [2010/05/05(水) 19:36:04 ]
- > f(x)=x^a-1, g(x)=x^b-1 と置き、最大公約多項式 (f(x), g(x)) を h(x) と置く。
> 代数式f(x)=0 と g(x)=0 の解集合は其々位数 a,b の巡回群を形成する。(中略{真面目に書くと長い・・・}) h(x)=x^(a,b)-1。 ↑あとで見直してみたら、この部分の証明は小難しく考える必要は無かったですねw f(x)=x^a-1, g(x)=x^b-1, h(x)=x^(a,b)-1 と置く。 ユークリッドの互除法により、sa +tb=(a,b) と書ける。ただしs,tは適当な整数係数 連立式 f(x)=0,g(x)=0 の任意の解ζについて、ζ^(a,b) = ζ^(sa +tb) = 1^s ・ 1^t = 1。 すなわち h(x)=0 の解である。 またh(x)=0 の任意の解ξについては、ξ^a = ξ^{(a,b)・a/(a,b)} = 1^{a/(a,b)} = 1、 ξ^b = ξ^{(a,b)・b/(a,b)} = 1^{b/(a,b)} = 1。すなわち 連立式 f(x)=0,g(x)=0 の解である。 以上の結果と各多項式の(複素数)一次式分解を考慮すれば、(f(x), g(x))=h(x) は明らか。 [証明終了]
- 172 名前:165 mailto:sage [2010/05/05(水) 21:25:58 ]
- >170 の訂正・・・あぁぁ・・・
[間違い] > ここで q=2, a=3, b=n と置けば、(9, 2^n+1) = 2^(9,n)+1。 > (9,n)=1 の場合は、(3,n)=1。これは >165 の(1)の結果と矛盾するのでありえない。 > (9,n)=3 の場合は、n=3d、但し(3,d)=1。以降は >165 の(3)と同じ。 > (9,n)=9 の場合は、9≧(9, 2^n+1)=2^9+1=513>9 となるのでありえない。 [訂正] ここで q=2, a=3, b=n と置けば、(9, 2^n+1) = 2^(3,n)+1。 (3,n)=1 の場合は、>165 の(1)の結果と矛盾するのでありえない。 (3,n)=3 の場合は、n=3d、但し(3,d)=1 と置ける。以降は >165 の(3)と同じ。
- 173 名前:165 mailto:sage [2010/05/05(水) 22:00:19 ]
- しつこくてすみません。
> (3,n)=3 の場合は、n=3d、但し(3,d)=1 と置ける。以降は >165 の(3)と同じ。 [再訂正] (3,n)=3 の場合は、n=3^k・d、但しk≧1, (3,d)=1 〜〜〜 んー、結局 >165 の(1), (2), (3) が全部必要になってしまう・・・。
- 174 名前:132人目の素数さん mailto:sage [2010/05/09(日) 20:22:35 ]
- 平成教育委員会で出た
「円の中に3つの同じ長さの線(直線でなくてもいい)を引いて10個の領域に分けろ」 って問題が答えが何でもアリすぎて別の意味で面白かったsage
- 175 名前:132人目の素数さん mailto:sage [2010/05/09(日) 21:45:34 ]
- 覚えがないなー
8の字をもっとつなげた曲線1個で何個でも分けれるんじゃないの?
- 176 名前:132人目の素数さん [2010/05/14(金) 14:01:46 ]
- このスレのurlに0が多いのが一番面白い
- 177 名前:132人目の素数さん mailto:sage [2010/05/14(金) 21:16:02 ]
- x(1)、x(2)、…、x(n)を自然数として、n変数関数f(x(1), x(2), …, x(n))=Σ[k=1,n]x(k)が f< 1を満たす範囲で最大値を取るとき、x(k)は平方数にならない。
○か×か
- 178 名前:132人目の素数さん [2010/05/15(土) 06:07:17 ]
- Σ[k=1,n]x(k)が f< 1
- 179 名前:132人目の素数さん [2010/05/15(土) 10:46:55 ]
-
職場の同僚が、ガソリン価格が、値上がり中に満タンにするのと、値下がり中に満タンにするの とでは、値上がりに、中に満タンにするほうが得だと言う。 そいつが、自信有りげに言うんで色々ググッたけどわからなかったんで、微積得意な人がいたら 本当かウソか、わかりやすく教えてもらえないだろうか? スレチだったらスマン。
- 180 名前:132人目の素数さん mailto:sage [2010/05/15(土) 12:29:05 ]
- >>163
以前考えたアイデア。 誰かのと重複してるかも。 ------------------------------------------------------------------------------- 【n=3^m の場合の nCi・3^i (i≧2) が 3^(m+2) で割り切れることの証明】 ( i !の 3のべき数) < (i/3)+(i/3^2)+...= i/2 より ( nCi の 3のべき数) > m−i/2 よって i≧2 のとき ( nCi・3^i の 3のべき数) > m−i/2+i=m+i/2≧m+1より ( nCi・3^i の 3のべき数) ≧m+2 ------------------------------------------------------------------------------- 【n=k・3^m の場合】 n は奇数で 3 の倍数の必要があり、 n=(2k+1)・3^m (2k+1not≡0 (mod 3)) とかけます。(not≡ は合同でないの意味です) このとき、p=3^m として (2^n+1)/n^2={ ( 2^p)^(2k+1)+1}/{ (2k+1)^2・p^2 } ( 2^p)^(2k+1)+1=(2^p+1) { (2^p)^(2k)−(2^p)^(2k-1)+...−2^p+1} ここで (2^p)^(2k)≡−(2^p)^(2k-1)≡...≡−2^p≡1 (mod 3) より (2^p)^(2k)−(2^p)^(2k-1)+...−2^p+1≡2k+1≡not≡0 (mod 3) よって、 (2^n+1)/n^2 が整数 ⇒ { 2^(3^m)+1} /(3^m)^2 が整数
- 181 名前:132人目の素数さん [2010/05/15(土) 13:44:28 ]
- >>179
値上がり中→最高値→値下がり中→最安値→値上がり中→最高値→の繰り返しだとして 一番いいのは最安値のときだけどその時点で最安値かはわからない まだ下がるかもしれないし上がるかもしれない だから値上げに転じた時点でガソリン満タンにするのがいい
- 182 名前:132人目の素数さん mailto:sage [2010/05/15(土) 15:47:07 ]
- >>181
どうもありがとう m(_ _)m
- 183 名前:132人目の素数さん mailto:sage [2010/05/20(木) 02:40:03 ]
- 3つの実数x,y,z ( x+y+z > 0 , y < 0 )を (x,y,z) → (x+y,−y,z+y)
とする変換を考えます。変換後、負の数のどれか(存在するとき)をyとして残りをx、zと して同じ変換を繰り返します。このとき変換のときにどのように負の数を選んでも 必ず有限回の変換後に3つの数すべてが非負実数になることを証明せよ。
- 184 名前:132人目の素数さん mailto:sage [2010/05/20(木) 23:47:57 ]
- >>183
IMOに似た問題が無かったっけか
- 185 名前:132人目の素数さん mailto:sage [2010/05/21(金) 00:54:10 ]
- Art of Problem Solving ? International Competitions IMO
www.artofproblemsolving.com/Forum/resources.php?c=1&cid=16&sid=7988762b3885fc8ef8aa05e690a4ebfc どれのことだろう?
- 186 名前:132人目の素数さん mailto:sage [2010/05/21(金) 08:45:41 ]
- 時計の時針・分針・秒針の全てが同じ長さ・同じ重さだったとする。
時計が一番つらい時間は何時何分何秒か?
- 187 名前:132人目の素数さん [2010/05/21(金) 09:09:24 ]
- つらい時間wwww
3時15分15秒あたりなんだろうがおもしろい問題だww
- 188 名前:132人目の素数さん mailto:sage [2010/05/21(金) 12:30:24 ]
- >>186
便乗 3つの針がどれも重なっていないのに 針の区別が付かない時刻はあるか? 針は連続に動くものとする。
- 189 名前:132人目の素数さん [2010/05/21(金) 15:43:29 ]
- ある日蛙が深さ30フィートの井戸の中に落ちてしまいました
蛙は昼の間3フィート井戸の壁をのぼる事ができ、夜の間2フィート下がってしまいます 蛙が井戸を抜け出すのに何日かかるでしょう?
- 190 名前:132人目の素数さん mailto:sage [2010/05/21(金) 17:40:44 ]
- >>188
いっぱいあるくない? 2つの針の角の二等分線上に残りの針が来るとき
- 191 名前:132人目の素数さん mailto:sage [2010/05/21(金) 23:39:30 ]
- 186 だが、無意識に投稿した時間がかなり辛そうで自分で笑ってしまったw
あと4秒遅れてたら… 時計の死亡時刻ってだいたいこの辺に集中してるでしょ >>187 3時15分15秒はふくらはぎが筋肉痛になる時間
- 192 名前:132人目の素数さん mailto:sage [2010/05/22(土) 00:23:11 ]
- >>185
86年の3番が似ている
- 193 名前:132人目の素数さん mailto:sage [2010/05/22(土) 01:21:31 ]
- >>190
なんでそれで区別が付かないの? たとえば3時0分7.5秒ちょっとの時は 短針と長針の間に秒針が来るけど 3の針はその位置関係から区別が付くと思うんだが。
- 194 名前:132人目の素数さん mailto:sage [2010/05/23(日) 03:03:36 ]
- 1周の角度を 1、時針分針秒針を h, m, s とすると
それが「時計として正しい」とは、 12h-m が整数 60m-s が整数 が成り立っていることに同値。時計の公理、とでも名付けよう。 これから、「入れ替わりの時刻も正しい」は、式をいじると、 それぞれ以下の数が整数になることと同値となる。 (1) m⇔s : 43188h (2) h⇔s : 518399h (3) h⇔m : 43188h (4) s→m m→h h→s : 414672h (5) s→h h→m m→s : 576h 時計の定理1 (1)と(3)は見分けが付かないので、 時針のみ確定できること、または、秒針のみ確定できること、はどちらもあり得ない。 時計の定理2 これらのどの入れ替わりかも見分けが付かないのは 9283932178928064h が整数の時。 1日に 18567864357856128 回だけ起こる。
- 195 名前:132人目の素数さん mailto:sage [2010/05/23(日) 03:29:16 ]
- >>188 にさらに便乗。
入れ替えてもばれない時刻に、 時計は、こっそり入れ替えてもばれない針同士を交換できるとする。 時計が「0時0分0秒を再度再現する」という 普段 12 時間かかってやっている仕事をサボろうとしたら、 最短で何分で達成できるか?
- 196 名前:194 mailto:sage [2010/05/23(日) 04:00:17 ]
- (3) を間違った。
(1) m⇔s : 43188h (2) h⇔s : 518399h (3) h⇔m : 143h (4) s→m m→h h→s : 414672h (5) s→h h→m m→s : 576h 時計の定理1 これらのどの入れ替わりかも見分けが付かないのは 1327602301586713100h が整数の時。 1日に 2655204603173426200 回だけ起こる。 200倍くらい増えた。
- 197 名前:132人目の素数さん mailto:sage [2010/05/23(日) 11:35:14 ]
- >>196
> 3つの針がどれも重なっていないのに
- 198 名前:132人目の素数さん mailto:sage [2010/05/23(日) 12:06:50 ]
- >>196
> これらのどの入れ替わりかも見分けが付かないのは 1327602301586713100h が整数の時。 どうしてそういう理屈になるん? とりあえず、 hが 1/1327602301586713100 のとき mの位置は 60/1327602301586713100 s は 3600/1327602301586713100 だけど この位置ではどの針が交換可能なんだろう? オレがなにかかん違いしてる?
- 199 名前:132人目の素数さん mailto:sage [2010/05/23(日) 22:17:29 ]
- >>196
hの針の位置が決まれば m, s の針の位置が自動で決まるので、m <=> s はありえない。 複素数浸かって、z = e^iθ を時針の位置にして、 (z, z^12, z^(12*60)) = (z1^12, z1, z1^(12*60)) (z, z^12, z^(12*60)) = (z2^12, z2^(12*60), z2) (z, z^12, z^(12*60)) = (z3^(12*60), z3, z3^12) (z, z^12, z^(12*60)) = (z4^(12*60), z4^12, z4) を計算すればいいんじゃないだろうか、計算していないけど。
- 200 名前:194 mailto:sage [2010/05/24(月) 23:03:16 ]
- なんか全般的に間違ったな。
正しい時計であるために ・12h-m が整数 A ・720h-s が整数 B ここまではいいとして、 重なる条件: m=s:12h-A = 720h-B がなりたつとき → 708h = 2*2*3*59h が整数の時 h=m:12h-h = 11h が整数の時 h=s:720h-h = 719h が整数の時 交換できる条件: m⇔s: h で m, s が一意に決まるので m=s の時以外はない。 s⇔h: 12s-m = 12(720h-B)-(12h-A) が整数 → 2*2*3*59h が整数 720s-h = 720h-(12h-A) が整数 → 8628h = 2*2*3*719h が整数 よって 2h、3h が整数のときのみ。 しかしそのときは必ず m=s となる h⇔m: 12m-h = 12(12h-A)-h が整数 → 11*13h が整数 720m-s = 720(12h-A)-(720h-B) が整数 → 2^4*3^2*5*11h が整数 よって 11h が整数の時。しかしそのとき必ず h=m となる。 s→m m→h h→s: 12m-s = 12(12h-A)-(720h-B) が整数 → 2^6*3^2h が整数 720m-h = 720(12h-A)-h が整数 → 53*163h が整数 よって h が整数の時。しかしそのとき必ず m=s=h となる。 s→h h→m m→s: 12s-h = 12(720h-B)-h が整数 → 53*163h が整数 720s-m = 720(720h-B)-(12h-A) が整数 →2^2*3*13*3323 が整数 よって h が整数の時。しかしそのとき必ず m=s=h となる。 よって、重なるとダメとすると解なし?
- 201 名前:132人目の素数さん mailto:sage [2010/05/25(火) 02:38:26 ]
- なるほど、時計の針の長さがちがうのは見易さのためであって
長さを違える必要はないのか
- 202 名前:132人目の素数さん mailto:sage [2010/05/25(火) 11:27:51 ]
- (面白い問題かどうかわかりませんが、他に適してるスレが見当たらないので質問させてください)
塾講師してるんですが、 生徒が4人の一斉授業で、 4人は横一列に並んでます。 で、4人をできるだけ同確率で指名しつつ、 生徒としては、アットランダムに指名されてるように感じる、 そんな方法ってないでしょうか? なお、時計を使うのはなしで。 (ありなら、現在秒を4で割ったあまりで、指名できますけど、 あんま時計みるわけにいかないので) あと、連続で同じ人をあて「すぎる」のも避けたいです。 たまに「連続であてる」のなら、むしろそのほうがアットランダム(てかフェイント)で、 望ましいかもしれませんが。 「僕には、円周率の各桁を4で割ったあまり」しか思いつきません。 (でもいちいち円周率みてらんない) フィボナッチ数列の各項を4で割ったあまり・・・てのはどうなんでしょう? (思いつきですが)
- 203 名前:132人目の素数さん mailto:sage [2010/05/25(火) 13:53:23 ]
- >>202
生徒の面前で4面体さいころを振る
- 204 名前:132人目の素数さん mailto:sage [2010/05/25(火) 16:26:19 ]
- 普通のサイコロでいい。鉛筆でもいい。
1〜4が出るまで振るだけ。
- 205 名前:132人目の素数さん mailto:sage [2010/05/25(火) 16:47:49 ]
- 振り直しはだれる。一発で決まる方がいい。
- 206 名前:132人目の素数さん mailto:sage [2010/05/25(火) 20:18:08 ]
- 板書した文字数%4で。
- 207 名前:132人目の素数さん mailto:sage [2010/05/25(火) 23:01:42 ]
- 分かってるか怪しそうな顔の奴に当てる
- 208 名前:132人目の素数さん mailto:sage [2010/05/25(火) 23:07:11 ]
- 四面体サイコロでなくても紙で四角い筒を作ればいい
- 209 名前:132人目の素数さん mailto:sage [2010/05/26(水) 00:59:42 ]
- なにもふり直しをするひつようはない。
生徒に0〜3の番号をつけ mod(先ほど当てた生徒+サイコロの目,4)とすれば十分だ
- 210 名前:132人目の素数さん mailto:sage [2010/05/26(水) 10:03:06 ]
- >>186
掛け時計で文字盤の12を上にして一点でぶら下がってる状態だとして、 「一番つらい」の意味が力のモーメントが最大になるということだとすると |sinθ+sin(12θ)+sin(720θ)|を最大にするθの値を求める必要があるな
- 211 名前:132人目の素数さん mailto:sage [2010/05/26(水) 13:58:45 ]
- www.csicop.org/news/show/the_death_of_our_beloved_colleague_martin_gardner
- 212 名前:132人目の素数さん mailto:sage [2010/05/27(木) 13:53:20 ]
- パズルの国のアリス
www.nikkei-science.com/page/magazine/alice/ 最新号に4月にやった問題の発展問題が載ってる
- 213 名前:>>202 mailto:sage [2010/05/30(日) 21:20:49 ]
- >>209
お、それいいっすね。 まあサイコロをふったり板書した文字の数数えるのは時間かかるので、 (脳内で一瞬で決めたいので) てきとーな数字思い浮かべて、 mod 4か?とか思ったけど、 数理心理学(っていうの?)的に、かたよりがあるかなーーーとおもってて。。。 でも、3けたとか4けたの数字を4でわるのは少し時間かかるし・・・って思ってた・・・。 で、mod(先ほど当てた生徒+「1から100までからランダムで連想」,4) だったら、まあ現実的ですかねえ? === mod(先ほど当てた生徒+「1から32までからランダムで連想」,4) だと、人間の心理的に、偏りでる? あ、でも、連想する数に偏りでても、「先ほど当てた生徒+」があるからいいのかな???あれ?わかんなくなってきた
- 214 名前:132人目の素数さん mailto:sage [2010/05/30(日) 23:03:08 ]
- トランプを十分に切る
スートに生徒を対応させる 52回目の指名が近づくと確率がばれてゆくのが弱点
- 215 名前:132人目の素数さん mailto:sage [2010/05/31(月) 01:02:26 ]
- >>214
引いたカードを毎回戻せばいい。
- 216 名前:132人目の素数さん mailto:sage [2010/05/31(月) 01:06:40 ]
- >>213
連想する数字が偶数ばかりだったら、当たる生徒に偏りが出るなどの欠点はあると思うが 思いつく数字に多少の偏りがあっても、数と生徒を直接対応させるよりは さっきの生徒+のほうが偏りにくいと思う。
- 217 名前:132人目の素数さん mailto:sage [2010/05/31(月) 01:16:12 ]
- >>215
大数の法則で満足するならそれでもいいけれど… 可能な限り回数が違いすぎないことを保証したい場合はどうだろうと考えて このような結果に…
- 218 名前:>>213 mailto:sage [2010/05/31(月) 08:42:45 ]
- >>216
>連想する数字が偶数ばかりだったら、当たる生徒に偏りが出るなどの欠点はあると思うが そういえば自分、数字連想するときって、素数が多いようなきが。ということはほとんど奇数になってしまうわw
- 219 名前:132人目の素数さん mailto:sage [2010/05/31(月) 09:56:32 ]
- >>217
> 可能な限り回数が違いすぎないことを保証したい場合 それならカードは4枚だろ
- 220 名前:132人目の素数さん mailto:sage [2010/05/31(月) 09:57:59 ]
- >>218
奇数ばかりなのは、次に当たらない生徒を予想しやすくなるだけで 偏りはあまり生まれない。
- 221 名前:132人目の素数さん mailto:sage [2010/06/02(水) 22:33:47 ]
- >>202 これ面白いなぁ
以前カジノの持ち込み不可の計算機類を持ちこまずに 身体と脳だけでルーレットやブラックジャックの類の必勝法を計算する方法を 考えていたことがあるけど、なんか似てる
- 222 名前:132人目の素数さん mailto:sage [2010/06/03(木) 00:14:44 ]
- >>202
4枚のエースを生徒に割り当てる。 この4枚と1枚のジョーカーの計5枚を持ち、 「一番下のカードを上に乗せる」を繰り返しながら授業をする。 問題の時は一番上に来たカードの主を回答者に指名する。 ジョーカーが出た時はそのさらに下のカードの主を回答者に指名する。 回答が終わると毎回、他のカードの順はそのままで 回答者のカードをジョーカーの上に移動させる。 こうすると「一番当たってない人」がジョーカーの下にくるようになって、 その人は他の人の2倍の確率で当たるようになって均等性が比較的早く自己回復し、 その上「当たりにくい人」の候補が3人になって「俺は次当たらないだろ」的予想もできなくなる。
- 223 名前:132人目の素数さん mailto:sage [2010/06/03(木) 01:49:21 ]
- 曲面の鏡だけを使って、
通常の時計の秒針・分針・時針と全く同じ動きを 影で再現する日時計はどうすれば作れるか?
- 224 名前:132人目の素数さん mailto:sage [2010/06/03(木) 02:00:24 ]
- >>210
つまり裏側に仕込んだギアかなにかを使って 相反する力の相殺をしてもいいというモデルかな? それがOKだと、表の針と 180°の角をなして長さと密度が同じ「裏側の針」を仕込めば、 初期速度のみそれぞれ与えてあとは慣性の法則で時計は仕事をしなくてよくなるかな
- 225 名前:132人目の素数さん mailto:sage [2010/06/03(木) 02:27:59 ]
- >>223
何の影で?
- 226 名前:132人目の素数さん mailto:sage [2010/06/03(木) 02:28:39 ]
- >>223
問題の意図がよくわからん。 もうすこし条件等を詳しく。
- 227 名前:132人目の素数さん mailto:sage [2010/06/03(木) 02:29:07 ]
- >>223
夜は影ができないから無理…だとただのとんちだな でも他に思いつかない。どうするんだろ
- 228 名前:132人目の素数さん mailto:sage [2010/06/03(木) 02:40:02 ]
- >>223
巨大なスリットを使って…だめかな
- 229 名前:132人目の素数さん mailto:sage [2010/06/03(木) 08:30:44 ]
- >>224
う〜ん、なんとなくわかるが その場合「裏側の針」の力のモーメントが もともとの針の力のモーメントを打ち消すように働いてるんだよね
- 230 名前:223 mailto:sage [2010/06/03(木) 23:07:52 ]
- 自作自演的に答えをひとつ。
巨大な3階建ての鏡のビルを作る。 3階の天井に小さな穴をひとつだけ空けて、 3階の床に光ファイバーの入口を敷き詰める。 2階でファイバーをくねらせて1階で時計を再現。 これはエレガントじゃないけどこれでとりあえずできるでしょ。 ただ太陽に視直径が存在して3階の光の点がそれほどくっきり出ないから秒針がぼやけるのが難点。 凹面鏡か何かで平行光線に補正するのが必要かも。 >>225 もちろん鏡の影
- 231 名前:132人目の素数さん mailto:sage [2010/06/04(金) 11:22:34 ]
- 全部鏡面仕上げした部品で機械時計を作ってあとは適当に。
- 232 名前:132人目の素数さん mailto:sage [2010/06/04(金) 15:33:32 ]
- 多胡輝も降参
- 233 名前:132人目の素数さん mailto:sage [2010/06/04(金) 16:18:50 ]
- 単純化のために春分秋分の日の日中だけに使える短針だけの時計で考える。
太陽は黄道を約12時間かけて半周するわけだよね。 その間光りの方向は半周しか変わらない しかしその間に針は一周しなくてはならない。 影は光りの向きの反対にしかできないのだから なんとかして光りの方向を一周させる必要があるてこと? 秒針まで考えたら720周も?
- 234 名前:132人目の素数さん mailto:sage [2010/06/04(金) 23:48:46 ]
- bit.ly/9EhDX9 のような "デバイス" を使えば、
ファイバー内の光の角度を 0 < x < arctan(1 - d/2√2h)-45°に制限できる。 h を大きくし d を小さくすることで任意の精度で 0 に近づけられる。 ファイバーの断面は正方形で、"デバイス" は正方形の1辺の厚みを持つ平たい形とする。 このデバイスを違う方向に2回通すことで、光は断面にほぼ垂直な成分のみとなる。 >>230 の「2階」から「鑑賞部屋」とは別部屋の1階にある、 このデバイスがたくさんある「デバイス部屋」に光を連れていき平行光線以外を消した後、 「鑑賞部屋」でプラネタリウムばりに時計を再現すればおk
- 235 名前:234 mailto:sage [2010/06/05(土) 00:08:45 ]
- 完成した bit.ly/dgsbcQ
- 236 名前:132人目の素数さん mailto:sage [2010/06/05(土) 09:43:57 ]
- 曲面の鏡「だけ」を使って、という問題じゃないのか?
- 237 名前:132人目の素数さん mailto:sage [2010/06/06(日) 01:53:44 ]
- >>236 その前提内で解けてると思うが
光ファイバーもスリットも曲面の鏡のひとつだし
- 238 名前:132人目の素数さん mailto:sage [2010/06/06(日) 08:40:08 ]
- 実際の時計のように針が連続で動く必要はないのか?
- 239 名前:132人目の素数さん [2010/06/11(金) 04:22:29 ]
- age
- 240 名前:132人目の素数さん mailto:sage [2010/06/17(木) 23:01:13 ]
- >>238
・太陽は点で視直径 0 とする ・分針、時針との同時表示はとりあえずあきらめて秒針のみ ・秒針の表現も針の先の直系 0 の点だけでよい とりあえずこの制約でいくと、 太陽→天井の1点スリット→地面に置いた斜め平面鏡→天井にある曲面鏡→地面 という構成で別解はありそう。 スリットを通った光が当たる曲面鏡上の点の座標を 0<t<T として 地面座標系 (x,y) にて x=sin(43200t/T) y=cos(43200t/T) という位置に反射するように角度を構成すれば、連続も一応できる。 曲面鏡の連続性のために、 「曲面鏡は位置的に平面にあるけどその反射はさまざま」 のような配置はできないから、 z 方向にも波打たせて辻褄合わせないといけないけど。 43200個のコブがジグザグに並ぶ鏡面鏡が解になりそう。
- 241 名前:240 mailto:sage [2010/06/17(木) 23:05:53 ]
- ・秒針・分針・時針、同時表示したい
なら、3点スリット使えばできそう。 ・針を長さのある線分で表現したい これを入れるには、スリットを線分にして、 角度と射影先の線分が映したい針に対応するようにすればいいけど、 曲面鏡の各点の角度と位置が微分可能な平面で3次元内の2次元曲面で構成できるかが ちょっと分からない。
- 242 名前:240 mailto:sage [2010/06/18(金) 00:53:17 ]
- とりあえず、
天井の点スリット→地面に曲面鏡→天井の裏面を鏡じゃなくして、 点スリットを中心とする半径 c の位置にある点で秒針の先を表現 で考える。 bit.ly/9IQGPP 座標系は3次元直交座標右手系で ・点スリットが原点、 ・地面方向が y 軸プラス、 ・西方向と天井の時計の 12 時が x 軸プラス、 ・北方向と天井の時計の 15 時が z 軸プラス。 太陽光のスリット点からの出射角を θ、 曲面鏡の光が落ちる表面の位置ベクトルを F(θ) = (r(θ)sinθ,0,0)、 F(θ)の点での曲鏡の単位法線ベクトルを N(θ)、 秒針 (second Hand) の先端の位置ベクトルを H(θ) とする。 秒針を再現するために H(θ) = (csin43200θ,ccos43200θ,0) 。 曲面鏡のベクトル方向の単位ベクトルを F'(θ)、 「鏡から秒針先端」のベクトル方向の単位ベクトルを H'(θ) とすると、 F'(θ) = F(θ)/|F(θ)|、 H'(θ) = (H(θ)-F(θ))/|H(θ)-F(θ)|、 N(θ) = (∂F/∂x)×(∂F/∂y)。 光と鏡の入射角と反射角の一致の法則から、 ・F'(θ)・N(θ) = N(θ)・H'(θ)。 曲面鏡の微分可能性から、 ・∃R∀θ(dr(θ)/dθ < R) この2式を満たすr(θ)を求めればよい。
- 243 名前:132人目の素数さん mailto:sage [2010/06/18(金) 16:55:01 ]
- その鏡って、その日用に設計されるもので翌日にはもう使えないんじゃね?
先のほうに夜は陽が出てないから無理というのがあったけど 夜使えないどころか日付限定用てこと?
- 244 名前:132人目の素数さん mailto:sage [2010/06/19(土) 01:44:15 ]
- >>243
点スリットのさらに上に、 特定の1日だけその点スリットに光がくるように設計された円弧スリットを設ければ、 特定の1日だけ時計を表示することができる。 それを 365 日分作ってどれも同じ鑑賞部屋に照射するようにしておけばおk
- 245 名前:132人目の素数さん mailto:sage [2010/06/22(火) 20:20:24 ]
- とある国のお話。
この国には無限の住人がおり、1番から順に、それぞれ自然数で番号付けされています。 この国の住人は皆、正直者か嘘つきのどちらかであり、 正直者は正しいことだけを言い、嘘つきは間違ったことだけを言います。 ある時、この国の住人たち全員が一斉に、次のような発言をしました。 「私より大きい番号の住人の中に、少なくとも1人嘘つきがいる」 さて、この事態について言えることは何でしょうか?
- 246 名前:132人目の素数さん mailto:sage [2010/06/22(火) 20:44:00 ]
- むげにん
- 247 名前:132人目の素数さん mailto:sage [2010/06/22(火) 22:53:51 ]
- >>245
出題者が 嘘吐きである。
- 248 名前:132人目の素数さん mailto:sage [2010/06/24(木) 21:51:46 ]
- 嘘つきのパラドックスは自己言及が原因だと思いきや、
>>245の場合、どの住人も自分以外の住人にしか言及しておらず、 間接的な自己言及も発生していない。 では、このパラドックスを生じさせているものは何か?
- 249 名前:132人目の素数さん mailto:sage [2010/06/24(木) 23:23:18 ]
- パラドクスがおきているのか? 俺にはわからん。
どこで起きているのか具体的に指摘してもらえないだろうか?
- 250 名前:132人目の素数さん mailto:sage [2010/06/24(木) 23:39:41 ]
- この世には少なくとも一人の嘘つきがいる
- 251 名前:132人目の素数さん mailto:sage [2010/06/25(金) 23:53:35 ]
- >>245を実現する 正直者・嘘つき の配置は存在しないことを証明する。
1番の人間が嘘つきか正直者かで場合分けする。 1番が嘘つきなら、2番以降は全て正直者。…(1) 特に2番は正直者。よって、3番以降の人間で 嘘つきが居ることになる。これは(1)に矛盾。 1番が正直者なら、2番以降の住人の中に嘘つきが 少なくとも1人居る。i番が嘘つきだとすると、 i+1番以降は全て正直者。…(2) 特にi+1番は正直者。よって、i+2番以降の中に 嘘つきが少なくとも1人は居る。これは(2)に矛盾。 よって、どちらも起こりえない。すなわち、>>245の状況を 実現する 正直者・嘘つき の配置は存在しない。 パラドックスでも何でも無い。 解が存在しない方程式を提示してるだけ。
- 252 名前:132人目の素数さん mailto:sage [2010/06/26(土) 09:41:59 ]
- パラドクスではなかったが
解が存在しない式であった。
- 253 名前:132人目の素数さん mailto:sage [2010/06/26(土) 11:09:44 ]
- では数学的な形で書き直してみよう。
Nを1以上の自然数として、命題P(N)を次のように定義する。 「N+1以上の自然数nが存在して、P(n)は偽である」 P(1)が真だとしても偽だとしても、パラドックスが生じる。 これをパラドックスと言わないというのであれば、 パラドックスの定義が食い違ってる。
- 254 名前:132人目の素数さん mailto:sage [2010/06/26(土) 11:28:33 ]
- 一読して主張が明快な命題の場合にこそパラドックスの名が相応しい。
そうでなければ、単なる背理法により棄却される命題。
- 255 名前:132人目の素数さん mailto:sage [2010/06/26(土) 11:33:13 ]
- >>253
> P(1)が真だとしても偽だとしても、パラドックスが生じる。 すまんが 、P(1)が真だとして、 どこでパラドクスが生じるのかを 解説してもらえないだろうか? できればP(1)が偽とした場合も。 どうもパラドクスの定義がくい違っているような気がしてならない。
- 256 名前:132人目の素数さん mailto:sage [2010/06/26(土) 11:35:16 ]
- >>254
> 一読して主張が明快な命題の場合にこそパラドックスの名が相応しい。 パラドクスの定義の話ならば、 そんなことはない。 パラドクスはそうあってほしいという願いならば そのように(理解しやすい単純な形に))書き直してみてはどうだろうか?
- 257 名前:132人目の素数さん mailto:sage [2010/06/26(土) 12:21:33 ]
- >>255
>>251
- 258 名前:132人目の素数さん mailto:sage [2010/06/26(土) 12:26:08 ]
- >>256
> そのように(理解しやすい単純な形に))書き直してみてはどうだろうか? それがあなたの当為
- 259 名前:132人目の素数さん mailto:sage [2010/06/26(土) 15:32:29 ]
- >>257の真意がわからない。
- 260 名前:132人目の素数さん mailto:sage [2010/06/26(土) 15:35:05 ]
- >>258
>> パラドクスはそうあってほしいという願いならば そこの意味は 「>>254がそのように願っている、という仮定の下において >>254書きなおしをに勧めている」 というものであって 願っているのは>>256ではないよ。
- 261 名前:132人目の素数さん mailto:sage [2010/06/26(土) 16:27:32 ]
- 逃げ口上だけはお上手。
- 262 名前:132人目の素数さん mailto:sage [2010/06/26(土) 16:51:46 ]
- >>253
無限大超自然数 ω をひとつ固定する。 P(N) を N<ω と定義すれば、 「N+1以上の自然数nが存在して、P(n)は偽である」 はすべて正しい。
- 263 名前:132人目の素数さん mailto:sage [2010/06/26(土) 17:27:25 ]
- wikiのパラドックスの項目。
ttp://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 岩波 数学辞典の内容も引用されているので、ここに書かれていることが パラドックスの標準的な定義だと思って差し支えないだろう。 そして、>>253は標準的な「パラドックス」とは定義もニュアンスも全然異なる。
- 264 名前:132人目の素数さん mailto:sage [2010/06/27(日) 23:36:37 ]
- >>248
メタレベルが無限になって、自然数メタレベルではなくなるからでは? 自己言及も、元はと言えば自分のメタレベルをLとすると自分のメタレベルはL−1となって 自分のメタレベルが一意に定まらないことから来てるはず。 禁則を少し一般化して、「自己言及の文章は命題になるとは限らない」から 「メタレベルが自然数で表せない文章は命題になるとは限らない」に パラダイムシフトすると解消できるかと。
- 265 名前:132人目の素数さん mailto:sage [2010/06/28(月) 00:09:46 ]
- >>264
あーでもそうすると「2は最小の偶数である」とかも命題じゃなくなって ちょっと困るな。
- 266 名前:132人目の素数さん mailto:sage [2010/06/28(月) 08:26:19 ]
- >>261
当然逃げるよ。 できるかどうかもわからないのに 自分の興味のないものに労力は使いたくない。
|
|