面白い問題教えて〜な 24問目

1 名前：１３２人目の素数さん [2017/08/06(日) 19:43:43.46 ID:Yz98zcu8.net] 過去ログ www3.tokai.or.jp/meta/gokudo-/omoshi-log/ まとめwiki www6.atwiki.jp/omoshiro2ch/ 1 cheese.2ch.net/test/read.cgi/math/970737952/ 2 natto.2ch.net/test/read.cgi/math/1004839697/ 3 science.2ch.net/test/read.cgi/math/1026218280/ 4 science.2ch.net/test/read.cgi/math/1044116042/ 5 science.2ch.net/test/read.cgi/math/1049561373/ 6 science.2ch.net/test/read.cgi/math/1057551605/ 7 science2.2ch.net/test/read.cgi/math/1064941085/ 8 science3.2ch.net/test/read.cgi/math/1074751156/ 9 science3.2ch.net/test/read.cgi/math/1093676103/ 10 science4.2ch.net/test/read.cgi/math/1117474512/ 11 science4.2ch.net/test/read.cgi/math/1134352879/ 12 science6.2ch.net/test/read.cgi/math/1157580000/ 13 science6.2ch.net/test/read.cgi/math/1183680000/ 14 science6.2ch.net/test/read.cgi/math/1209732803/ 15 science6.2ch.net/test/read.cgi/math/1231110000/ 16 science6.2ch.net/test/read.cgi/math/1254690000/ 17 kamome.2ch.net/test/read.cgi/math/1284253640/ 18 kamome.2ch.net/test/read.cgi/math/1307923546/ 19 uni.2ch.net/test/read.cgi/math/1320246777/ 20 wc2014.2ch.net/test/read.cgi/math/1356149858/ 21 wc2014.2ch.net/test/read.cgi/math/1432255115/ 22 rio2016.2ch.net/test/read.cgi/math/1464521266/ 23 itest.2ch.net/rio2016/test/read.cgi/math/1497416499/ 331 名前：￥ mailto:sage [2017/08/20(日) 06:20:21.97 ID:vRIJh8/a.net] ￥ 332 名前：￥ mailto:sage [2017/08/20(日) 06:20:39.93 ID:vRIJh8/a.net] ￥ 333 名前：１３２人目の素数さん mailto:sage [2017/08/20(日) 08:40:11.59 ID:CA5pAFRj.net] 前々スレの>>797で出てきた距離空間(Y,D)について、A∈Yを中心とした半径rの開球を U(A,r)と表記する。 非可算で非交和なT字(と同相な図形)の集合をΛとおき、 各λ∈Λに対して ε_λ = sup{ε≧0 | U(λ,ε)∩Λ は高々可算 } と定めると、距離空間(Y,D)の第二可算性、すなわち強リンデレフ性より、 ∪(U(λ,ε_λ)∩Λ) λ∈Λ ε_λ>0 は、高々可算な部分被覆 ∪(U(λ,ε_λ)∩Λ) λ∈Λ' を持つ。 Λ''=Λ＼Λ' とおけば、任意のλ∈Λ''とε>0について U(λ,ε)∩Λ'' は非可算となることがわかる。 334 名前：１３２人目の素数さん [2017/08/20(日) 12:49:07.23 ID:JLMgw50d.net] >>331 位相は軽く知識は入れたがまだ使いこなせるレベルではないのだが... Λ'と相異なる集合を持ってきて非可算だから矛盾とはならない気がしている 335 名前：￥ mailto:sage [2017/08/20(日) 13:30:53.58 ID:vRIJh8/a.net] ￥ 336 名前：１３２人目の素数さん mailto:sage [2017/08/20(日) 13:34:52.13 ID:xe9ko7E/.net] >>318 ありがとう、そっちの方が、わかりがいいね 337 名前：￥ mailto:sage [2017/08/20(日) 13:55:26.27 ID:vRIJh8/a.net] ￥ 338 名前：￥ mailto:sage [2017/08/20(日) 13:55:44.79 ID:vRIJh8/a.net] ￥ 339 名前：￥ mailto:sage [2017/08/20(日) 13:56:01.71 ID:vRIJh8/a.net] ￥ 340 名前：￥ mailto:sage [2017/08/20(日) 13:56:18.34 ID:vRIJh8/a.net] ￥ 341 名前：￥ mailto:sage [2017/08/20(日) 13:56:36.83 ID:vRIJh8/a.net] ￥ 342 名前：￥ mailto:sage [2017/08/20(日) 13:56:52.08 ID:vRIJh8/a.net] ￥ 343 名前：￥ mailto:sage [2017/08/20(日) 13:57:07.94 ID:vRIJh8/a.net] ￥ 344 名前：￥ mailto:sage [2017/08/20(日) 13:57:23.82 ID:vRIJh8/a.net] ￥ 345 名前：￥ mailto:sage [2017/08/20(日) 13:57:41.83 ID:vRIJh8/a.net] ￥ 346 名前：￥ mailto:sage [2017/08/20(日) 13:57:59.07 ID:vRIJh8/a.net] ￥ 347 名前：１３２人目の素数さん mailto:sage [2017/08/20(日) 14:58:03.66 ID:3G28KL4V.net] >>332 うん。まだ矛盾までは行ってない。 ただ、もしある非可算なΛが存在するとしたら、その部分集合Λ''で 任意のλ∈Λ''がΛ''の非可算個の点の集積点になっているようなものが存在する、ということ。いくらでも近い点が欲しい時に使えるかもと思って示した 348 名前：￥ mailto:sage [2017/08/20(日) 15:29:18.95 ID:vRIJh8/a.net] ￥ 349 名前：１３２人目の素数さん [2017/08/20(日) 21:22:40.84 ID:JLMgw50d.net] まあ無事解決されたようだね... 2つの自然数n,mがある。 350 名前： n,mを素数pで割った余りをn_p,m_pとして、 全ての素数pに対しn_p≦m_pとなる時、n=mとなる事を証明せよ。 [] [ここ壊れてます] 351 名前：￥ mailto:sage [2017/08/20(日) 22:02:16.00 ID:vRIJh8/a.net] ￥ 352 名前：￥ mailto:sage [2017/08/20(日) 22:39:23.16 ID:vRIJh8/a.net] ￥ 353 名前：￥ mailto:sage [2017/08/20(日) 22:39:39.85 ID:vRIJh8/a.net] ￥ 354 名前：￥ mailto:sage [2017/08/20(日) 22:39:55.32 ID:vRIJh8/a.net] ￥ 355 名前：￥ mailto:sage [2017/08/20(日) 22:40:11.57 ID:vRIJh8/a.net] ￥ 356 名前：￥ mailto:sage [2017/08/20(日) 22:40:29.56 ID:vRIJh8/a.net] ￥ 357 名前：￥ mailto:sage [2017/08/20(日) 22:40:50.06 ID:vRIJh8/a.net] ￥ 358 名前：￥ mailto:sage [2017/08/20(日) 22:41:05.02 ID:vRIJh8/a.net] ￥ 359 名前：￥ mailto:sage [2017/08/20(日) 22:41:20.69 ID:vRIJh8/a.net] ￥ 360 名前：￥ mailto:sage [2017/08/20(日) 22:41:37.99 ID:vRIJh8/a.net] ￥ 361 名前：306 mailto:sage [2017/08/20(日) 23:23:56.50 ID:PI3mCvs6.net] >>319 思うんだけど、Tと同相な図形まで一般化すると、反例がでてくるのかも まだあんまり確かめてないからわからんけど、角度とかないぐらい二本の直線の間を狭めればなんかできそうな 362 名前：￥ mailto:sage [2017/08/20(日) 23:34:29.67 ID:vRIJh8/a.net] ￥ 363 名前：１３２人目の素数さん [2017/08/20(日) 23:47:37.52 ID:UScuK3/3.net] 同相なら「の形でもいいから、左上の点を対角線上に配置するようにすれば非可算個いけるはず 364 名前：306 mailto:sage [2017/08/21(月) 00:12:01.62 ID:QeouXuhX.net] さっきちょっと考えたのは例えば、 p>1に対して （-1,1）上のx^pのグラフと、 （0,1上の）x^p+e^｛-1/x｝のグラフを合わせたもの 掛けたりlogにしたりの調整は必要かもしれないが、これならpを動かして非可算個かけるんじゃないかと思ってる まとまったらまた 365 名前：306 mailto:sage [2017/08/21(月) 00:12:48.39 ID:QeouXuhX.net] >>360 棒はTとは同型にならないんじゃないか？ 366 名前：306 mailto:sage [2017/08/21(月) 00:12:59.33 ID:QeouXuhX.net] 同型じゃないや同相 367 名前：306 mailto:sage [2017/08/21(月) 00:32:23.39 ID:QeouXuhX.net] 実数には無限小はないから、二本の線分の角度をどんなに小さくとって重ねていこうとしても、稠密性から有理数と対応ついちゃってだめだけど 実数パラメータpに対応するx^pに対してならlogxみたいなある意味無限小に対応するものがあるので、議論を正当化できる、みたいな 実際線分に限定する時点で自由度はある意味でℵ_2からℵ_1におちてるので、曲線を自由に取れる場合にはℵ_2のままなので非可算個書けるというのは自然な帰結かもしれない 368 名前：１３２人目の素数さん [2017/08/21(月) 00:53:24.66 ID:cODrTQNN.net] >>362 いや棒じゃなくて「ね Lでもいいけど 369 名前：￥ mailto:sage [2017/08/21(月) 01:12:37.37 ID:zqnQwMkT.net] ￥ 370 名前：￥ mailto:sage [2017/08/21(月) 01:12:58.69 ID:zqnQwMkT.net] ￥ 371 名前：￥ mailto:sage [2017/08/21(月) 01:13:16.81 ID:zqnQwMkT.net] ￥ 372 名前：￥ mailto:sage [2017/08/21(月) 01:13:35.13 ID:zqnQwMkT.net] ￥ 373 名前：￥ mailto:sage [2017/08/21(月) 01:13:52.84 ID:zqnQwMkT.net] ￥ 374 名前：￥ mailto:sage [2017/08/21(月) 01:14:10.78 ID:zqnQwMkT.net] ￥ 375 名前：￥ mailto:sage [2017/08/21(月) 01:14:27.54 ID:zqnQwMkT.net] ￥ 376 名前：￥ mailto:sage [2017/08/21(月) 01:14:46.69 ID:zqnQwMkT.net] ￥ 377 名前：￥ mailto:sage [2017/08/21(月) 01:15:03.65 ID:zqnQwMkT.net] ￥ 378 名前：￥ mailto:sage [2017/08/21(月) 01:15:21.78 ID:zqnQwMkT.net] ￥ 379 名前：１３２人目の素数さん mailto:sage [2017/08/21(月) 07:58:20.65 ID:7qnBXiRY.net] >>365 なんだこいつ 棒と「 と L は同相だろ んで棒と T は同相ではない (よって 「 と T は同相ではなく、L と T は同相ではない) 380 名前：￥ mailto:sage [2017/08/21(月) 08:21:09.79 ID:zqnQwMkT.net] ￥ 381 名前：306 mailto:sage [2017/08/21(月) 10:32:18.57 ID:mBbzGmPU.net] >>361 >>364 やっぱりこの方法じゃ駄目でした… よく考えてみたら連続関数は自由度ℵ_1 ですしね ちょっと難しい問題なのでまた答えがわかるまでおいて置きます 382 名前：￥ mailto:sage [2017/08/21(月) 10:37:28.93 ID:zqnQwMkT.net] ￥ 383 名前：￥ mailto:sage [2017/08/21(月) 12:37:17.02 ID:zqnQwMkT.net] ￥ 384 名前：￥ mailto:sage [2017/08/21(月) 12:37:33.44 ID:zqnQwMkT.net] ￥ 385 名前：￥ mailto:sage [2017/08/21(月) 12:37:49.82 ID:zqnQwMkT.net] ￥ 386 名前：￥ mailto:sage [2017/08/21(月) 12:38:06.90 ID:zqnQwMkT.net] ￥ 387 名前：￥ mailto:sage [2017/08/21(月) 12:38:24.28 ID:zqnQwMkT.net] ￥ 388 名前：￥ mailto:sage [2017/08/21(月) 12:38:42.29 ID:zqnQwMkT.net] ￥ 389 名前：￥ mailto:sage [2017/08/21(月) 12:38:59.79 ID:zqnQwMkT.net] ￥ 390 名前：￥ mailto:sage [2017/08/21(月) 12:39:16.51 ID:zqnQwMkT.net] ￥ 391 名前：￥ mailto:sage [2017/08/21(月) 12:39:33.80 ID:zqnQwMkT.net] ￥ 392 名前：１３２人目の素数さん mailto:sage [2017/08/21(月) 12:48:33.20 ID:EUiKP99w.net] >>297の解決の糸口になるかも知れないから一応書いておく。 結論から言うと、『存在しない』が答だと思う。 (証明) X=[0,1]^2 とおく。X上の文字Tを T={(x,y)∈X | y=0 または x=1/2 } とおき、Xの閉集合でTと同相なもの全体からなる集合をYとおく。 Y上の距離Dを D(A,B) = inf_[同相写像ψ:A→B] max_[a∈A] d(a,ψ(a)) により定める。 …(★0) この時、距離空間(Y,D)は第二可算 393 名前：公理を満たす。 …(★1) Yの部分集合Λについて、Λのどの異なる2つの元も共通部分を持たないならば、Λの各元は孤立点である。 …(★2) (★1)と(★2)より、Λは可算集合でなければならない。□ ★0が実際に距離を定めることは確認したから、あとは★1と★2が示せたら証明が完成する。 ★1はおそらく、有理点を頂点に持つ有限な折れ線をうまく使えば、可算で稠密な部分集合を構成できると思う。 ★2は、どんなλ∈Λについても、ε>0を十分小さくとれば ( D(λ,y)<ε ならば λ∩y≠φ ) が成り立つ、という方法が吉かと [] [ここ壊れてます] 394 名前：１３２人目の素数さん mailto:sage [2017/08/21(月) 12:50:04.43 ID:EUiKP99w.net] 『存在しない』じゃない、『不可能』ね 395 名前：￥ mailto:sage [2017/08/21(月) 13:51:09.48 ID:zqnQwMkT.net] ￥ 396 名前：￥ mailto:sage [2017/08/21(月) 13:51:26.46 ID:zqnQwMkT.net] ￥ 397 名前：￥ mailto:sage [2017/08/21(月) 13:51:41.32 ID:zqnQwMkT.net] ￥ 398 名前：￥ mailto:sage [2017/08/21(月) 13:51:57.73 ID:zqnQwMkT.net] ￥ 399 名前：￥ mailto:sage [2017/08/21(月) 13:52:14.08 ID:zqnQwMkT.net] ￥ 400 名前：￥ mailto:sage [2017/08/21(月) 13:52:31.79 ID:zqnQwMkT.net] ￥ 401 名前：￥ mailto:sage [2017/08/21(月) 13:52:49.15 ID:zqnQwMkT.net] ￥ 402 名前：￥ mailto:sage [2017/08/21(月) 13:53:06.67 ID:zqnQwMkT.net] ￥ 403 名前：￥ mailto:sage [2017/08/21(月) 13:53:23.79 ID:zqnQwMkT.net] ￥ 404 名前：￥ mailto:sage [2017/08/21(月) 13:53:41.16 ID:zqnQwMkT.net] ￥ 405 名前：１３２人目の素数さん mailto:sage [2017/08/21(月) 18:04:12.14 ID:THxs4ELM.net] >>389を直接やるより多少簡単な方法があった TからXへの連続写像全体の集合をY'とおき、Y'上の距離D'を D'(f,g) = max_[t∈T] d(f(t),g(t)) により定めると、距離空間(Y',D')は第二可算公理を満たす。 >>389と同様にΛをとり、各λ∈Λに対して同相写像ψ_λを１つ定め、 Λ' = { ψ_λ∈Y' | λ∈Λ } とおくと、Λ'⊂Y'は離散集合である。 ゆえに、Λ'は可算集合でなければならない □ 特に★1にあたる部分が大幅に簡単になったお陰でようやく示すことができたから後で清書する予定。 あとは★2にあたる部分だけ 406 名前：￥ mailto:sage [2017/08/21(月) 18:39:36.99 ID:zqnQwMkT.net] ￥ 407 名前：￥ mailto:sage [2017/08/21(月) 18:39:54.99 ID:zqnQwMkT.net] ￥ 408 名前：￥ mailto:sage [2017/08/21(月) 18:40:10.83 ID:zqnQwMkT.net] ￥ 409 名前：￥ mailto:sage [2017/08/21(月) 18:40:26.24 ID:zqnQwMkT.net] ￥ 410 名前：￥ mailto:sage [2017/08/21(月) 18:40:42.63 ID:zqnQwMkT.net] ￥ 411 名前：￥ mailto:sage [2017/08/21(月) 18:40:58.00 ID:zqnQwMkT.net] ￥ 412 名前：￥ mailto:sage [2017/08/21(月) 18:41:14.53 ID:zqnQwMkT.net] ￥ 413 名前：￥ mailto:sage [2017/08/21(月) 18:41:29.99 ID:zqnQwMkT.net] ￥ 414 名前：￥ mailto:sage [2017/08/21(月) 18:41:47.00 ID:zqnQwMkT.net] ￥ 415 名前：￥ mailto:sage [2017/08/21(月) 18:42:03.11 ID:zqnQwMkT.net] ￥ 416 名前：216 mailto:sage [2017/08/23(水) 02:42:38.67 ID:/2bRMp5Z.net] >>216の(1) 1+2^a+2^(2a+1)=b^2 を満たす自然数の組 【解答】 (与式) ⇔2^a*(1+2^(a+1))=(b+1)(b-1)　…★ b+1,b-1の偶奇は一致する。 左辺は偶数だから、b+1,b-1はともに偶数である。このとき、どちらか一方は4の倍数である。 よって左辺は8の倍数でありa≧3。 (i)　b+1が偶数かつ4で割りきれない、b-1が4で割りきれるとき b-1は2^(a-1)で割りきれて2^aで割りきれないから、b-1=2^(a-1)*m（mは奇数）とおける。 これを★に代入すると 2^a*(1+2^(a+1))=2^(2a-2)*m^2+2^a*m ⇔1+2^(a+1)=2^(a-2)*m^2+m ⇔1-m=2^(a-2)*(m^2-8) m=1で左辺が0、右辺が負 m≧3で左辺が負、右辺が正 だから、これを満たす奇数mはない。 (ii)　b+1が4で割りきれる、b-1が偶数かつ4で割りきれないとき 同様にb+1=2^(a-1)*mとおいて★に代入して整理すると 1+m=2^(a-2)*(m^2-8)　…☆ ∴1+m≧2*(m^2-8) 2m^2-m-17≦0を満たす奇数mはm=1,3 m=1で☆の左辺は2、右辺は7の倍数で不適 m=3で☆よりa=4、よってb=2^3*4-1=23 (a,b)=(4,23)は与式を満たす。 以上より、(a,b)=(4,23)　■ 417 名前：216 mailto:sage [2017/08/23(水) 02:44:58.98 ID:/2bRMp5Z.net] b+1,b-1の素因数に含まれる2の数で分類している。 元の問題では全ての整数の組を求めさせていた。 明らかにa≧0とb≠0 a=0でb=±2 (a,b)が答えのとき(a,-b)も答えだから、a>0でb>0として以下同じ。 (a,b)=(0,2),(0,-2),(4,23),(4,-23)　■ 出典：IMO2006-4 418 名前：￥ mailto:sage [2017/08/23(水) 04:45:08.78 ID:7o98x7xr.net] ￥ 419 名前：￥ mailto:sage [2017/08/23(水) 04:45:25.52 ID:7o98x7xr.net] ￥ 420 名前：￥ mailto:sage [2017/08/23(水) 04:45:43.40 ID:7o98x7xr.net] ￥ 421 名前：￥ mailto:sage [2017/08/23(水) 04:46:00.05 ID:7o98x7xr.net] ￥ 422 名前：￥ mailto:sage [2017/08/23(水) 04:46:17.01 ID:7o98x7xr.net] ￥ 423 名前：￥ mailto:sage [2017/08/23(水) 04:46:34.48 ID:7o98x7xr.net] ￥ 424 名前：￥ mailto:sage [2017/08/23(水) 04:46:51.14 ID:7o98x7xr.net] ￥ 425 名前：￥ mailto:sage [2017/08/23(水) 04:47:09.16 ID:7o98x7xr.net] ￥ 426 名前：￥ mailto:sage [2017/08/23(水) 04:47:26.63 ID:7o98x7xr.net] ￥ 427 名前：￥ mailto:sage [2017/08/23(水) 04:47:43.15 ID:7o98x7xr.net] ￥ 428 名前：１３２人目の素数さん [2017/08/23(水) 19:24:57.49 ID:UkFhzZzs.net] 相加・相乗平均の大小関係(a>0,b>0の時 (a+b)/2>=√(a×b)) を図を使 429 名前：って証明せよ [] [ここ壊れてます] 430 名前：１３２人目の素数さん mailto:sage [2017/08/23(水) 20:08:20.52 ID:2WLZ1Wh5.net] 431 名前：１３２人目の素数さん [2017/08/23(水) 20:21:30.48 ID:hpry1v4G.net] √a,√bの長さをもつ長方形の面積S=√(ab) その対角線の長さは√(a+b)で三角形2つの面積を足し合わせれば S≦1/2*(√(a+b)/2)*√(a+b)*2=(a+b)/2 (上の不等号は0＜x＜πのとき0＜sinx≦1による) 432 名前：￥ mailto:sage [2017/08/23(水) 21:00:22.11 ID:7o98x7xr.net] ￥ 433 名前：￥ mailto:sage [2017/08/23(水) 21:00:39.63 ID:7o98x7xr.net] ￥ 434 名前：￥ mailto:sage [2017/08/23(水) 21:00:57.64 ID:7o98x7xr.net] ￥ 435 名前：￥ mailto:sage [2017/08/23(水) 21:01:13.81 ID:7o98x7xr.net] ￥ 436 名前：￥ mailto:sage [2017/08/23(水) 21:01:30.08 ID:7o98x7xr.net] ￥ 437 名前：￥ mailto:sage [2017/08/23(水) 21:01:44.91 ID:7o98x7xr.net] ￥ 438 名前：￥ mailto:sage [2017/08/23(水) 21:02:00.81 ID:7o98x7xr.net] ￥ 439 名前：￥ mailto:sage [2017/08/23(水) 21:02:15.99 ID:7o98x7xr.net] ￥ 440 名前：￥ mailto:sage [2017/08/23(水) 21:02:31.91 ID:7o98x7xr.net] ￥ 441 名前：￥ mailto:sage [2017/08/23(水) 21:02:51.95 ID:7o98x7xr.net] ￥ 442 名前：１３２人目の素数さん mailto:sage [2017/08/24(木) 06:59:31.96 ID:X6+LM4eC.net] 3^m+4^n=5^kを満たす非負整数の組(m,n,k)をすべて求めよ。 443 名前：￥ mailto:sage [2017/08/24(木) 07:39:00.31 ID:kEDrltmW.net] ￥ 444 名前：￥ mailto:sage [2017/08/24(木) 14:25:29.70 ID:kEDrltmW.net] ￥ 445 名前：￥ mailto:sage [2017/08/24(木) 14:27:07.39 ID:kEDrltmW.net] ￥ 446 名前：１３２人目の素数さん [2017/08/24(木) 17:11:32.47 ID:iOKrimyq.net] あんまり面白くなかったですね 1〜6までの目が等確率で出るサイコロをn回振り、出た目の総積をp_nとする。 p_nを10で割った余りをr_nとする。 (1)r_1=1となる確率はいくらか？ (2)r_2=2となる確率はいくらか？ (3)r_3=3となる確率はいくらか？ (4)n→∞のとき、r_nはいくらになる可能性が最も高いか？ 447 名前：￥ mailto:sage [2017/08/24(木) 17:47:31.46 ID:kEDrltmW.net] ￥ 448 名前：￥ mailto:sage [2017/08/24(木) 17:47:49.61 ID:kEDrltmW.net] ￥ 449 名前：￥ mailto:sage [2017/08/24(木) 17:48:04.47 ID:kEDrltmW.net] ￥ 450 名前：￥ mailto:sage [2017/08/24(木) 17:48:20.56 ID:kEDrltmW.net] ￥ 451 名前：￥ mailto:sage [2017/08/24(木) 17:48:40.16 ID:kEDrltmW.net] ￥ 452 名前：￥ mailto:sage [2017/08/24(木) 17:48:56.75 ID:kEDrltmW.net] ￥ 453 名前：￥ mailto:sage [2017/08/24(木) 17:49:11.93 ID:kEDrltmW.net] ￥ 454 名前：￥ mailto:sage [2017/08/24(木) 17:49:47.45 ID:kEDrltmW.net] ￥ 455 名前：￥ mailto:sage [2017/08/24(木) 17:50:03.97 ID:kEDrltmW.net] ￥ 456 名前：￥ mailto:sage [2017/08/24(木) 17:50:20.60 ID:kEDrltmW.net] ￥ 457 名前：１３２人目の素数さん mailto:sage [2017/08/25(金) 01:23:16.86 ID:oetrvUQn.net] >>441 (1) 1/6 (2) (1,2) (2,1) (2,6) (3,4) (4,3) (6,2) の6とおりで、1/6 (3) (1,1,3) (1,3,1) (3,1,1) の3とおりで、1/72 (4) 偶数も5も（１回も）出ない確率は（1/3)^n 偶数は出ないが5は出る確率は（1/2)^n - (1/3)^n 偶数は出るが5は出ない確率は（5/6)^n - (1/2)^n 偶数も５も出る確率　１-（5/6)^n 偶数も5も、1回は出る確率 → 1, r_n=0 458 名前：１３２人目の素数さん mailto:sage [2017/08/25(金) 01:28:46.38 ID:oetrvUQn.net] >>437 3^0 + 4^1 = 5^1, 3^2 + 4^2 = 5^2, 459 名前：￥ mailto:sage [2017/08/25(金) 06:25:00.87 ID:TrbQa07i.net] ￥ 460 名前：￥ mailto:sage [2017/08/25(金) 06:25:20.54 ID:TrbQa07i.net] ￥ 461 名前：￥ mailto:sage [2017/08/25(金) 06:25:38.36 ID:TrbQa07i.net] ￥ 462 名前：￥ mailto:sage [2017/08/25(金) 06:25:56.61 ID:TrbQa07i.net] ￥ 463 名前：￥ mailto:sage [2017/08/25(金) 06:26:13.40 ID:TrbQa07i.net] ￥ 464 名前：￥ mailto:sage [2017/08/25(金) 06:26:30.85 ID:TrbQa07i.net] ￥ 465 名前：￥ mailto:sage [2017/08/25(金) 06:26:49.39 ID:TrbQa07i.net] ￥ 466 名前：￥ mailto:sage [2017/08/25(金) 06:27:07.50 ID:TrbQa07i.net] ￥ 467 名前：￥ mailto:sage [2017/08/25(金) 06:27:24.76 ID:TrbQa07i.net] ￥ 468 名前：￥ mailto:sage [2017/08/25(金) 06:27:40.85 ID:TrbQa07i.net] ￥ 469 名前：１３２人目の素数さん [2017/08/25(金) 15:27:14.09 ID:FNkoKdXq.net] 441 せっかくなので(5)追加。 nが十分大きいとき、 r_n=2,4,6,8となる確率の比はどのくらいか？ 470 名前：１３２人目の素数さん mailto:sage [2017/08/25(金) 15:52:25.72 ID:24yAEQLc.net] >>401の清書 (第二可算公理のくだりについて) 各自然数nに対して K_n = { (x,y)∈T | 2nxも2nyも整数 } (⊂T) と定め、 C_n = { c:T→X | cはK_nでは有理点の値をとり、K_n以外の各区間では直線的に変化する } (⊂Y') とおく。 f∈Y'とε>0を任意にとると、fの一様連続性より ( d(t,t')<1/2N ならば d(f(t),f(t'))<ε ) を満たす自然数Nが存在する。 有理点全体の集合はX上で稠密であるから、任意のk∈K_Nについて d(c(k),f(k))<ε を満たすようなc∈C_Nが存在する。 ここで、t∈Tを任意にとると、T上でtを挟むような位置にある隣り合ったk,k'∈K_Nを選べば、 d(c(t),f(t)) ≦d(c(t),c(k)) + d(c(k),f(k)) + d(f(k),f(t)) <d(c(k'),c(k)) + 2ε ≦d(c(k'),f(k')) + d(f(k'),f(k)) + d(f(k),c(k)) + 2ε <5ε となる。したがって、 C = ∪_[nは自然数] C_n とおくと、CはY'の稠密な可算部分集合。 471 名前：￥ mailto:sage [2017/08/25(金) 16:03:13.33 ID:TrbQa07i.net] ￥ 472 名前：￥ mailto:sage [2017/08/25(金) 16:03:32.23 ID:TrbQa07i.net] ￥ 473 名前：￥ mailto:sage [2017/08/25(金) 16:03:47.51 ID:TrbQa07i.net] ￥ 474 名前：￥ mailto:sage [2017/08/25(金) 16:04:03.92 ID:TrbQa07i.net] ￥ 475 名前：￥ mailto:sage [2017/08/25(金) 16:04:19.76 ID:TrbQa07i.net] ￥ 476 名前：￥ mailto:sage [2017/08/25(金) 16:04:35.23 ID:TrbQa07i.net] ￥ 477 名前：￥ mailto:sage [2017/08/25(金) 16:05:20.16 ID:TrbQa07i.net] ￥ 478 名前：￥ mailto:sage [2017/08/25(金) 16:05:38.05 ID:TrbQa07i.net] ￥ 479 名前：￥ mailto:sage [2017/08/25(金) 16:05:54.95 ID:TrbQa07i.net] ￥ 480 名前：￥ mailto:sage [2017/08/25(金) 16:06:13.5 ] [ここ壊れてます] 481 名前：7 ID:TrbQa07i.net mailto: ￥ [] [ここ壊れてます] 482 名前：１３２人目の素数さん mailto:sage [2017/08/25(金) 17:40:54.76 ID:24yAEQLc.net] >>401 (Λ'が離散集合であることについて) Λの元は全て領域 (0,1)^2⊂X に収まっていると仮定してよい。λ~∈Λを任意に固定する。 Jordan Schoenflies Theoremより、ある同相写像σ:(0,1)^2→(0,1)^2が存在して σ(ψ_λ~([0,1]×{0})) = [1/4,3/4]×{1/2} かつ σ(ψ_λ~((1/2,0))) = (1/2,1/2) を満たす。 σ･ψ_λ~ (σとψ_λ~の合成) をψ'とおく。 ( 0≦e≦ε ならば ψ'((1/2,e)))∈[3/8,5/8]×[1/2-δ~,1/2+δ~] ) …(※) を満たすような正の数δ~とεをとり、(ε,δ)が(※)を満たすような最小の正の数δをとる。 (つまり、0≦e_0≦εであってψ'((1/2,e_0))のy座標が1/2±δであるような実数e_0が存在する。 上の複号(±)がプラスの方であると仮定して一般性を失わないので、以降そのように仮定する) f∈Y'が D'(f,ψ')<min(δ,1/8) を満たしていると仮定すると、 (i)f((1/2,0))のy座標が1/2以上の場合はf([0,1]×{0})が、 (ii)そうでない場合はf({1/2}×[0,1])が それぞれψ'(T)と交わりを持つことがわかる。 したがって、ψ'=σ･ψ_λ~はσ･Λ'={σ･ψ_λ|λ∈Λ}における孤立点であるから、 ψ_λ~はΛ'の孤立点。ゆえにΛ'は離散集合。□ まだまだ細かい補足が必要な箇所はあるだろうけどもう疲れたので>>297の証明はこの辺で終わりにしときます　誤りの指摘や疑問点は受けるけど 483 名前：￥ mailto:sage [2017/08/25(金) 17:46:29.68 ID:TrbQa07i.net] ￥ 484 名前：￥ mailto:sage [2017/08/25(金) 17:46:46.68 ID:TrbQa07i.net] ￥ 485 名前：￥ mailto:sage [2017/08/25(金) 17:47:03.88 ID:TrbQa07i.net] ￥ 486 名前：￥ mailto:sage [2017/08/25(金) 17:47:19.59 ID:TrbQa07i.net] ￥ 487 名前：￥ mailto:sage [2017/08/25(金) 17:47:35.00 ID:TrbQa07i.net] ￥ 488 名前：￥ mailto:sage [2017/08/25(金) 17:47:52.71 ID:TrbQa07i.net] ￥ 489 名前：￥ mailto:sage [2017/08/25(金) 17:48:09.15 ID:TrbQa07i.net] ￥ 490 名前：￥ mailto:sage [2017/08/25(金) 17:48:26.07 ID:TrbQa07i.net] ￥ 491 名前：￥ mailto:sage [2017/08/25(金) 17:48:45.23 ID:TrbQa07i.net] ￥ 492 名前：￥ mailto:sage [2017/08/25(金) 17:49:04.14 ID:TrbQa07i.net] ￥ 493 名前：１３２人目の素数さん mailto:sage [2017/08/25(金) 21:03:31.53 ID:07BQhbja.net] >>453 他にはないの？ 494 名前：￥ mailto:sage [2017/08/25(金) 21:16:42.77 ID:TrbQa07i.net] ￥ 495 名前：１３２人目の素数さん mailto:sage [2017/08/26(土) 01:23:14.61 ID:a5WQhO5r.net] >>464 (5) 5が1回も出ない確率は（5/6)^n 5が1回は出る確率は１-（5/6)^n 　r_n=5 となる確率は（1/2)^n -（1/3)^n 　r_n=0 となる確率は 1 - (5/6)^n -（1/2)^n +（1/3)^n 偶数が1回も出ない確率は（1/2)^n 　r_n=1,3,7,9 となる確率は（1/3)^n 偶数が1回は出る確率は１-（1/2)^n 　r_n=2,4,6,8 となる確率は（5/6)^n -（1/3)^n 5が1回も出ないとき 　2･3 ≡ 1　（mod 5) より 　p_n =（2^i)(3^j）≡ 2^(i-j)　（mod 5) これを 10 で割った余りは、 　r_n = 6　　　i-j≡0　（mod 4) 　r_n = 2　　　i-j≡1　（mod 4) 　r_n = 4　　　i-j≡2　（mod 4) 　r_n = 8　　　i-j≡3　（mod 4) nが十分大きいとき、r_n=2,4,6,8 となる確率の比は 　１：１：１：１ に近づく。 496 名前：１３２人目の素数さん [2017/08/26(土) 01:47:06.70 ID:8Eex8fjJ.net] この証明において、収束性は前提として認められている、ということでいいのですかね？ 497 名前：１３２人目の素数さん [2017/08/26(土) 02:07:17.33 ID:8Eex8fjJ.net] 収束性の証明はどうでしょう 498 名前：￥ mailto:sage [2017/08/26(土) 02:33:06.55 ID:Nv7xuP/c.net] ￥ 499 名前：￥ mailto:sage [2017/08/26(土) 02:33:26.02 ID:Nv7xuP/c.net] ￥ 500 名前：￥ mailto:sage [2017/08/26(土) 02:33:44.90 ID:Nv7xuP/c.net] ￥ 501 名前：￥ mailto:sage [2017/08/26(土) 02:34:05.80 ID:Nv7xuP/c.net] ￥ 502 名前：￥ mailto:sage [2017/08/26(土) 02:34:25.41 ID:Nv7xuP/c.net] ￥ 503 名前：￥ mailto:sage [2017/08/26(土) 02:34:45.15 ID:Nv7xuP/c.net] ￥ 504 名前：￥ mailto:sage [2017/08/26(土) 02:35:07.95 ID:Nv7xuP/c.net] ￥ 505 名前：￥ mailto:sage [2017/08/26(土) 02:35:26.84 ID:Nv7xuP/c.net] ￥ 506 名前：￥ mailto:sage [2017/08/26(土) 02:35:47.42 ID:Nv7xuP/c.net] ￥ 507 名前：￥ mailto:sage [2017/08/26(土) 02:36:09.18 ID:Nv7xuP/c.net] ￥ 508 名前：１３２人目の素数さん [2017/08/26(土) 12:54:57.55 ID:8Eex8fjJ.net] >>491 収束性(i-jが周期4で振動すると言えばいいのかな)も証明になっている気がするのだが 509 名前：￥ mailto:sage [2017/08/26(土) 12:56:17.67 ID:Nv7xuP/c.net] ￥ 510 名前：１３２人目の素数さん mailto:sage [2017/08/26(土) 17:04:25.41 ID:a5WQhO5r.net] >>502 5面、5面 サイコロの出目によって、i-j （mod 5）は（初期値によらず） 1　→　0, 2　→　+1, 3　→　-1, 4　→　+2, 6　→　0, だけ変わるけど、nが十分大きいとき、等分配に近づくか？ 511 名前：￥ mailto:sage [2017/08/26(土) 17:21:02.86 ID:Nv7xuP/c.net] ￥ 512 名前：￥ mailto:sage [2017/08/26(土) 17:21:21.09 ID:Nv7xuP/c.net] ￥ 513 名前：￥ mailto:sage [2017/08/26(土) 17:21:38.18 ID:Nv7xuP/c.net] ￥ 514 名前：￥ mailto:sage [2017/08/26(土) 17:21:55.95 ID:Nv7xuP/c.net] ￥ 515 名前：￥ mailto:sage [2017/08/26(土) 17:22:15.04 ID:Nv7xuP/c.net] ￥ 516 名前：￥ mailto:sage [2017/08/26(土) 17:22:33.28 ID:Nv7xuP/c.net] ￥ 517 名前：￥ mailto:sage [2017/08/26(土) 17:22:49.94 ID:Nv7xuP/c.net] ￥ 518 名前：￥ mailto:sage [2017/08/26(土) 17:23:08.76 ID:Nv7xuP/c.net] ￥ 519 名前：￥ mailto:sage [2017/08/26(土) 17:23:25.79 ID:Nv7xuP/c.net] ￥ 520 名前：￥ mailto:sage [2017/08/26(土) 17:23:43.73 ID:Nv7xuP/c.net] ￥ 521 名前：１３２人目の素数さん [2017/08/26(土) 17:25:35.67 ID:8Eex8fjJ.net] >>504 まずi-jの値によって、周期4で等分配を仮定して、 それをもと� 522 名前：ﾉ数学的帰納法でやると次の代も等分配 [] [ここ壊れてます] 523 名前：￥ mailto:sage [2017/08/26(土) 17:33:22.62 ID:Nv7xuP/c.net] ￥ 524 名前：１３２人目の素数さん [2017/08/26(土) 17:54:11.89 ID:8Eex8fjJ.net] 帰納法使うんだから或るn∈ℕが存在して1:1:1:1になってなきゃいけないよね？ 極限とったら近づくって収束性を仮定してるし、近似に対して上の議論は使えないはず 525 名前：￥ mailto:sage [2017/08/26(土) 19:04:58.72 ID:Nv7xuP/c.net] ￥ 526 名前：￥ mailto:sage [2017/08/26(土) 19:05:14.53 ID:Nv7xuP/c.net] ￥ 527 名前：￥ mailto:sage [2017/08/26(土) 19:05:46.71 ID:Nv7xuP/c.net] ￥ 528 名前：￥ mailto:sage [2017/08/26(土) 19:06:04.20 ID:Nv7xuP/c.net] ￥ 529 名前：￥ mailto:sage [2017/08/26(土) 19:06:20.99 ID:Nv7xuP/c.net] ￥ 530 名前：￥ mailto:sage [2017/08/26(土) 19:06:38.52 ID:Nv7xuP/c.net] ￥ 531 名前：￥ mailto:sage [2017/08/26(土) 19:06:56.60 ID:Nv7xuP/c.net] ￥ 532 名前：￥ mailto:sage [2017/08/26(土) 19:07:13.73 ID:Nv7xuP/c.net] ￥ 533 名前：￥ mailto:sage [2017/08/26(土) 19:07:32.86 ID:Nv7xuP/c.net] ￥ 534 名前：￥ mailto:sage [2017/08/26(土) 19:07:51.93 ID:Nv7xuP/c.net] ￥ 535 名前：１３２人目の素数さん [2017/08/26(土) 19:47:41.18 ID:8Eex8fjJ.net] n回目、 2、4、6、8にいる確率をそれぞれa_n、b_n、c_n、d_nとする。 このとき、a_n + b_n + c_n + d_n=1とする。 a_(n+1)=(2*a_n + b_n + c_n + d_n)/5 =1/5 + a_n よって、n→∞でa_nは1/4に収束する。 b_n、c_n、d_nについても同様1/4に収束する。 これで説明になるかしら 536 名前：￥ mailto:sage [2017/08/26(土) 21:14:32.69 ID:Nv7xuP/c.net] ￥ 537 名前：１３２人目の素数さん [2017/08/27(日) 01:32:32.60 ID:REH5mTah.net] >>528 ダメっしょ 538 名前：１３２人目の素数さん [2017/08/27(日) 02:03:02.96 ID:+jqGXYY6.net] >>530 ええどうして？ 539 名前：￥ mailto:sage [2017/08/27(日) 04:50:35.66 ID:1CP0LksB.net] ￥ 540 名前：￥ mailto:sage [2017/08/27(日) 04:50:51.24 ID:1CP0LksB.net] ￥ 541 名前：￥ mailto:sage [2017/08/27(日) 04:51:06.34 ID:1CP0LksB.net] ￥ 542 名前：￥ mailto:sage [2017/08/27(日) 04:51:22.35 ID:1CP0LksB.net] ￥ 543 名前：￥ mailto:sage [2017/08/27(日) 04:51:38.62 ID:1CP0LksB.net] ￥ 544 名前：￥ mailto:sage [2017/08/27(日) 04:51:53.82 ID:1CP0LksB.net] ￥ 545 名前：￥ mailto:sage [2017/08/27(日) 04:52:08.93 ID:1CP0LksB.net] ￥ 546 名前：￥ mailto:sage [2017/08/27(日) 04:52:24.59 ID:1CP0LksB.net] ￥ 547 名前：￥ mailto:sage [2017/08/27(日) 04:52:42.64 ID:1CP0LksB.net] ￥ 548 名前：￥ mailto:sage [2017/08/27(日) 04:53:17.39 ID:1CP0LksB.net] ￥ 549 名前：１３２人目の素数さん [2017/08/27(日) 15:22:09.47 ID:+jqGXYY6.net] >>15の問題で>>96が正解となっているが ハンターの戦略を仮定して「追いつくことができない」と結論づけるのには、「その戦略が最適手であること」を示さないと、別の戦略で追いつけるかもしれないのでは？ っていう問題の性質上、答えは追いつけるものだと思っているのだが、どうなのだろう 550 名前：￥ mailto:sage [2017/08/27(日) 15:26:05.37 ID:1CP0LksB.net] ￥ 551 名前：￥ mailto:sage [2017/08/27(日) 15:58:51.79 ID:1CP0LksB.net] ￥ 552 名前：￥ mailto:sage [2017/08/27(日) 15:59:08.13 ID:1CP0LksB.net] ￥ 553 名前：￥ mailto:sage [2017/08/27(日) 15:59:26.13 ID:1CP0LksB.net] ￥ 554 名前：￥ mailto:sage [2017/08/27(日) 15:59:43.90 ID:1CP0LksB.net] ￥ 555 名前：￥ mailto:sage [2017/08/27(日) 16:00:03.22 ID:1CP0LksB.net] ￥ 556 名前：￥ mailto:sage [2017/08/27(日) 16:00:21.47 ID:1CP0LksB.net] ￥ 557 名前：￥ mailto:sage [2017/08/27(日) 16:00:42.36 ID:1CP0LksB.net] ￥ 558 名前：￥ mailto:sage [2017/08/27(日) 16:00:59.09 ID:1CP0LksB.net] ￥ 559 名前：￥ mailto:sage [2017/08/27(日) 16:01:16.03 ID:1CP0LksB.net] ￥ 560 名前：１３２人目の素数さん mailto:sage [2017/08/27(日) 18:11:24.80 ID:hu8Dlrep.net] >>542 >>96ではハンターの戦略を特別に仮定してるわけではない (…ようには見えない書き方だったけど、>>126と>>129のやりとりを見てもらえたら仮定してる訳じゃないって事がわかると思う) ハンターがどんな戦略をとろうとも、>>126で言われてる不運な状況が起こり続ければ、二点の距離は>>96の計算の通り増え続けるということ。 561 名前：￥ mailto:sage [2017/08/27(日) 18:31:05.42 ID:1CP0LksB.net] ￥ 562 名前：１３２人目の素数さん [2017/08/27(日) 19:29:09.23 ID:+jqGXYY6.net] ウサギが最善手を打てばハンター最善手を打っても追い付けないのであれば、追い付けないで正しいかな... そういう方法をひとつでも見つけられるか？というのが問題の肝だと思う 563 名前：￥ mailto:sage [2017/08/27(日) 19:52:26.34 ID:1CP0LksB.net] ￥ 564 名前：￥ mailto:sage [2017/08/27(日) 19:52:45.05 ID:1CP0LksB.net] ￥ 565 名前：￥ mailto:sage [2017/08/27(日) 19:53:03.01 ID:1CP0LksB.net] ￥ 566 名前：￥ mailto:sage [2017/08/27(日) 19:53:21.23 ID:1CP0LksB.net] ￥ 567 名前：￥ mailto:sage [2017/08/27(日) 19:53:38.37 ID:1CP0LksB.net] ￥ 568 名前：￥ mailto:sage [2017/08/27(日) 19:53:56.33 ID:1CP0LksB.net] ￥ 569 名前：￥ mailto:sage [2017/08/27(日) 19:54:13.10 ID:1CP0LksB.net] ￥ 570 名前：￥ mailto:sage [2017/08/27(日) 19:54:31.02 ID:1CP0LksB.net] ￥ 571 名前：￥ mailto:sage [2017/08/27(日) 19:54:47.09 ID:1CP0LksB.net] ￥ 572 名前：￥ mailto:sage [2017/08/27(日) 19:55:04.99 ID:1CP0LksB.net] ￥ 573 名前：１３２人目の素数さん mailto:sage [2017/08/27(日) 20:46:12.93 ID:yFV6g72J.net] まだよくわかってないけど、>>96のハンターは最善手をうってるの？ Pに向かってまっすぐ垂直に進み続ければそんなに離されないような気もするけど 574 名前：￥ mailto:sage [2017/08/27(日) 21:15:51.47 ID:1CP0LksB.net] ￥ 575 名前：１３２人目の素数さん mailto:sage [2017/08/27(日) 22:08:10.86 ID:KoRlg+Jm.net] ハンターの最善手だけを想定してるわけじゃないから関係ない。 追跡装置はある時点のハンターとうさぎを通る直線上をハンターから遠ざかる方向に進み うさぎは少しだけ追跡装置の直線の右側へ進んでいくか少しだけ追跡装置の直線の左側へ進んでいく。 ハンターが直線の右側へ進むと左側へ進んだうさぎと遠ざかり 直線の左側へ進むと右側へ進んだうさぎと遠ざかって両方に近づくことはできない。 576 名前：￥ mailto:sage [2017/08/27(日) 22:35:31.34 ID:1CP0LksB.net] ￥ 577 名前：￥ mailto:sage [2017/08/27(日) 22:35:50.05 ID:1CP0LksB.net] ￥ 578 名前：￥ mailto:sage [2017/08/27(日) 22:36:06.61 ID:1CP0LksB.net] ￥ 579 名前：￥ mailto:sage [2017/08/27(日) 22:36:24.17 ID:1CP0LksB.net] ￥ 580 名前：￥ mailto:sage [2017/08/27(日) 22:36:39.28 ID:1CP0LksB.net] ￥ 581 名前：￥ mailto:sage [2017/08/27(日) 22:36:56.07 ID:1CP0LksB.net] ￥ 582 名前：￥ mailto:sage [2017/08/27(日) 22:37:13.18 ID:1CP0LksB.net] ￥ 583 名前：￥ mailto:sage [2017/08/27(日) 22:37:32.07 ID:1CP0LksB.net] ￥ 584 名前：￥ mailto:sage [2017/08/27(日) 22:37:50.08 ID:1CP0LksB.net] ￥ 585 名前：￥ mailto:sage [2017/08/27(日) 22:38:06.83 ID:1CP0LksB.net] ￥ 586 名前：１３２人目の素数さん [2017/08/28(月) 02:52:12.08 ID:AhUD1mtk.net] 自分で作った問題が難しすぎて解けない... 相異なる3つの立方数が等差数列をなすことはあるか 587 名前：１３２人目の素数さん [2017/08/28(月) 03:12:15.13 ID:AhUD1mtk.net] >>579 0や負の数は立方数とはみなさないことにします、つまり-1,0,1というのは不適です 588 名前：１３２人目の素数さん mailto:sage [2017/08/28(月) 04:59:34.41 ID:5fSCJlWV.net] 1,1,1 8,8,8 … 589 名前：１３２人目の素数さん mailto:sage [2017/08/28(月) 05:44:46.78 ID:5fSCJlWV.net] 整数a,b,cについてa^3,b^3,c^3がこの順で等差数列になるとき a^3+c^3=2b^3 になるが gcd(a,b,c)=1かつabc≠0,±1で解は存在しない つまり自然数解はa=b=c=kのみ 整数範囲で x^n+y^n=2z^n (n≧3) に非自明解がないことの証明 www.math.mcgill.ca/darmon/pub/Articles/Research/18.Merel/paper.pdf （n=3は先行研究があるようだが） 590 名前：￥ mailto:sage [2017/08/28(月) 06:10:31.41 ID:p9719kiw.net] ￥ 591 名前：￥ mailto:sage [2017/08/28(月) 06:10:52.35 ID:p9719kiw.net] ￥ 592 名前：￥ mailto:sage [2017/08/28(月) 06:11:08.12 ID:p9719kiw.net] ￥ 593 名前：￥ mailto:sage [2017/08/28(月) 06:11:24.27 ID:p9719kiw.net] ￥ 594 名前：￥ mailto:sage [2017/08/28(月) 06:11:39.41 ID:p9719kiw.net] ￥ 595 名前：￥ mailto:sage [2017/08/28(月) 06:11:56.47 ID:p9719kiw.net] ￥ 596 名前：￥ mailto:sage [2017/08/28(月) 06:12:14.09 ID:p9719kiw.net] ￥ 597 名前：￥ mailto:sage [2017/08/28(月) 06:12:33.84 ID:p9719kiw.net] ￥ 598 名前：￥ mailto:sage [2017/08/28(月) 06:12:52.08 ID:p9719kiw.net] ￥ 599 名前：￥ mailto:sage [2017/08/28(月) 06:13:08.60 ID:p9719kiw.net] ￥ 600 名前：１３２人目の素数さん [2017/08/28(月) 12:55:03.28 ID:AhUD1mtk.net] >>582 ありがとうございます やっぱりむずかしすぎたみたいですね 601 名前：￥ mailto:sage [2017/08/28(月) 13:05:38.87 ID:p9719kiw.net] ￥ 602 名前：１３２人目の素数さん mailto:sage [2017/08/28(月) 15:51:46.74 ID:4VsD2YTN.net] >>579 a^3 + c^3 = 2b^3 とする。 a，cとも偶数 または a，cとも偶数。 　a = m-h，c = m+h とおける。 　m(mm + 3hh）= b^3 m<b ゆえ 　3mhh = 3b(b-m)m +（b-m)^3 m と b-m は公約数dをもつ。 さて、どうするか… 603 名前：１３２人目の素数さん [2017/08/28(月) 16:45:45.40 ID:xZuc4FA/.net] 1.立方体の体積をV,表面積をSとする。一辺の長さがx(x≧0)である立方体について、V+1/Sの最小値と、その時のxの値を求めよ。 2.一辺の長さが1の立方体ABCD-EFGHがある。Aを中心としてB,D,Eを通る球面をK,Gを中心としてC,F,Hを通る球面をK'とするとき,KとK'で囲まれる部分の体積Vを求めよ。 604 名前：￥ mailto:sage [2017/08/28(月) 16:59:07.06 ID:p9719kiw.net] ￥ 605 名前：￥ mailto:sage [2017/08/28(月) 16:59:23.83 ID:p9719kiw.net] ￥ 606 名前：￥ mailto:sage [2017/08/28(月) 16:59:40.42 ID:p9719kiw.net] ￥ 607 名前：￥ mailto:sage [2017/08/28(月) 16:59:56.25 ID:p9719kiw.net] ￥ 608 名前：￥ mailto:sage [2017/08/28(月) 17:00:14.06 ID:p9719kiw.net] ￥ 609 名前：￥ mailto:sage [2017/08/28(月) 17:00:30.91 ID:p9719kiw.net] ￥ 610 名前：￥ mailto:sage [2017/08/28(月) 17:00:47.23 ID:p9719kiw.net] ￥ 611 名前：￥ mailto:sage [2017/08/28(月) 17:01:05.26 ID:p9719kiw.net] ￥ 612 名前：￥ mailto:sage [2017/08/28(月) 17:01:23.28 ID:p9719kiw.net] ￥ 613 名前：￥ mailto:sage [2017/08/28(月) 17:01:40.72 ID:p9719kiw.net] ￥ 614 名前：１３２人目の素数さん [2017/08/28(月) 17:29:33.26 ID:Mvm0p/2D.net] >>596 1、V = x^3, S = 6x^2 より V + 1/S = x^3 + 1/(6x^2) xについて微分して d/dx(V+1/S) = 3x^2 - 1/(3x^3) (上式) = 0 を解くと x = 1/3^(2/5) 符号の変化を見ると、このとき極小値をとることがわかる よって最小値はx=1/3^(2/5)のとき5/6(3^(1/5)) 615 名前：￥ mailto:sage [2017/08/28(月) 18:24:13.11 ID:p9719kiw.net] ￥ 616 名前：１３２人目の素数さん [2017/08/28(月) 19:07:08.83 ID:0qW+wpPH.net] n回6面サイコロを振った時、それぞれの出目の積をkとする。kがm (2≦m)の倍数になる確率を求めよ。ただしmは整数とする 617 名前：￥ mailto:sage [2017/08/28(月) 19:18:48.16 ID:p9719kiw.net] ￥ 618 名前：￥ mailto:sage [2017/08/28(月) 19:57:54.57 ID:p9719kiw.net] ￥ 619 名前：￥ mailto:sage [2017/08/28(月) 19:58:12.16 ID:p9719kiw.net] ￥ 620 名前：￥ mailto:sage [2017/08/28(月) 19:58:28.46 ID:p9719kiw.net] ￥ 621 名前：￥ mailto:sage [2017/08/28(月) 19:58:46.49 ID:p9719kiw.net] ￥ 622 名前：￥ mailto:sage [2017/08/28(月) 19:59:04.78 ID:p9719kiw.net] ￥ 623 名前：￥ mailto:sage [2017/08/28(月) 19:59:21.11 ID:p9719kiw.net] ￥ 624 名前：￥ mailto:sage [2017/08/28(月) 19:59:40.93 ID:p9719kiw.net] ￥ 625 名前：￥ mailto:sage [2017/08/28(月) 19:59:5 ] [ここ壊れてます] 626 名前：9.41 ID:p9719kiw.net mailto: ￥ [] [ここ壊れてます] 627 名前：￥ mailto:sage [2017/08/28(月) 20:00:16.81 ID:p9719kiw.net] ￥ 628 名前：１３２人目の素数さん mailto:sage [2017/08/28(月) 21:38:23.91 ID:skWlGNP0.net] >>596 1. 相加相乗平均を利用した解法 V + 1/S = x^3 + 1/(6x^2) = (x^3)/2 + (x^3)/2 + 1/(18x^2) + 1/(18x^2) + 1/(18x^2) ≥ 5 * ( ((x^3)/2)^2 * (1/(18x^2))^3 )^(1/5) = 5 * (1/(2^2 * 18^3))^(1/5) = 5/6 * 1/(3^(1/5)) 等号は (x^3)/2 = 1/(18x^2) のとき すなわち x = 1/(3^(2/5)) のとき成立 2. 半径 r の球体 x^2 + y^2 + z^2 ≤ r^2 のうち x ≥ a（但し -r < a < r）の部分を球帽といい、 その体積は (π/3)*(2r + a)(r - a)^2 | xy 平面上の領域 0 ≤ y ≤ √(r^2 - x^2) の | x 軸周りの回転体として | ∫[a, r] π(r^2 - x^2) dx で求められる K, K' はいずれも半径 1 で、 中心間距離は √3 だから、 求める体積は r = 1, a = (√3)/2 の球帽を 2つ貼り合わせたものである。 求める体積は 2*(π/3)*(2 + (√3)/2)(1 - (√3)/2)^2 = (16 - 9√3)π/12 629 名前：￥ mailto:sage [2017/08/28(月) 21:42:56.29 ID:p9719kiw.net] ￥ 630 名前：￥ mailto:sage [2017/08/28(月) 21:43:14.92 ID:p9719kiw.net] ￥ 631 名前：￥ mailto:sage [2017/08/28(月) 21:43:32.60 ID:p9719kiw.net] ￥ 632 名前：￥ mailto:sage [2017/08/28(月) 21:43:50.48 ID:p9719kiw.net] ￥ 633 名前：￥ mailto:sage [2017/08/28(月) 21:44:08.83 ID:p9719kiw.net] ￥ 634 名前：￥ mailto:sage [2017/08/28(月) 21:44:26.96 ID:p9719kiw.net] ￥ 635 名前：￥ mailto:sage [2017/08/28(月) 21:44:43.49 ID:p9719kiw.net] ￥ 636 名前：￥ mailto:sage [2017/08/28(月) 21:45:01.56 ID:p9719kiw.net] ￥ 637 名前：￥ mailto:sage [2017/08/28(月) 21:45:17.90 ID:p9719kiw.net] ￥ 638 名前：￥ mailto:sage [2017/08/28(月) 21:45:35.74 ID:p9719kiw.net] ￥ 639 名前：１３２人目の素数さん mailto:sage [2017/08/28(月) 22:07:42.63 ID:4VsD2YTN.net] >>609 ・m≠(2^p)(3^q)(5^r) のとき（7以上の奇素数を含むとき）、確率 0 ・m =（2^p)(3^q)(5^r）と表わせる場合 　各kに対して（p,q,r）がただ１つ決まる。(UFD) k が 2^p の倍数となる確率は ｛(3+2x+xx)/6}^n の（p〜2n次の係数の和）= 1 -（p次未満の係数の和) k が 3^q の倍数となる確率は ｛(2+x)/3}^n の（q〜n次の係数の和）= 1 -（q次未満の係数の和) kが5^rの倍数となる確率は ｛(5+x)/6}^n の（r〜n次の係数の和）= 1 -（r次未満のお係数の和) だが、これらは互いに独立とは言えないので悩ましい。 640 名前：１３２人目の素数さん mailto:sage [2017/08/28(月) 22:23:52.17 ID:YFm3aleG.net] >>582 この論文は n≧7 が素数のときの話をしていて、 n＝3 のときは先行論文によって省略しているように見える。 つまり、n＝3 がどのくらい難しいのかは、 この論文からは判断できない感じがする 641 名前：￥ mailto:sage [2017/08/28(月) 22:29:48.32 ID:p9719kiw.net] ￥ 642 名前：１３２人目の素数さん mailto:sage [2017/08/28(月) 22:49:33.78 ID:PyLeA47q.net] n=3 のときの話は分からない問題スレのレスにあったリンク先のpdfに出てる 643 名前：￥ mailto:sage [2017/08/29(火) 05:01:06.07 ID:TbkIY/Vo.net] ￥ 644 名前：￥ mailto:sage [2017/08/29(火) 05:01:23.64 ID:TbkIY/Vo.net] ￥ 645 名前：￥ mailto:sage [2017/08/29(火) 05:01:40.61 ID:TbkIY/Vo.net] ￥ 646 名前：￥ mailto:sage [2017/08/29(火) 05:01:58.86 ID:TbkIY/Vo.net] ￥ 647 名前：￥ mailto:sage [2017/08/29(火) 05:02:16.90 ID:TbkIY/Vo.net] ￥ 648 名前：￥ mailto:sage [2017/08/29(火) 05:02:36.85 ID:TbkIY/Vo.net] ￥ 649 名前：￥ mailto:sage [2017/08/29(火) 05:02:55.50 ID:TbkIY/Vo.net] ￥ 650 名前：￥ mailto:sage [2017/08/29(火) 05:03:13.35 ID:TbkIY/Vo.net] ￥ 651 名前：￥ mailto:sage [2017/08/29(火) 05:03:32.71 ID:TbkIY/Vo.net] ￥ 652 名前：￥ mailto:sage [2017/08/29(火) 05:03:51.23 ID:TbkIY/Vo.net] ￥ 653 名前：１３２人目の素数さん mailto:sage [2017/08/29(火) 07:26:02.84 ID:xnTl6wHS.net] 一応できたっぽいけど、計算ミスが怖い。 定理：x^3＋y^3＝2z^3 を満たす x,y,z∈Z は (x−y)(x＋y)＝0 を満たす。 特に、異なる3つの正の立法数が等差数列を成すことは無い。 証明：x＝z＋a, y＝z＋b, a,b∈Z と表せば、(z＋a)^3＋(z＋b)^3＝2z^3となるので、 3(a＋b)z^2＋3(a^2＋b^2)z＋(a^3＋b^3)＝0 となる・・・(1) このとき (6(a＋b)z＋3(a^2＋b^2))^2 ＝ 3(−a^4−4a^3b＋6a^2b^2−4ab^3−b^4) ＝ 3(−(a＋b)^4＋12(ab)^2) となるので、c＝(6(a＋b)z＋3(a^2＋b^2)) と置けば、cは整数であり、かつ c^2 ＝ 3(−(a＋b)^4＋12(ab)^2) となる。よって、c＝3dと表せて、 3d^2 ＝ −(a＋b)^4＋12(ab)^2 となる。よって、3｜(a＋b) が成り立ち、しかも d^2 ＝ −27((a＋b)/3)^4＋4(ab)^2 となる。すなわち、 a,b,d∈Z,　3｜(a＋b),　d^2＋27((a＋b)/3)^4＝4(ab)^2 となる。このとき、以下に示す補題により a＋b＝0 となる。 すると、a^3＋b^3＝(a＋b)(a^2−ab＋b^2)＝0 となるので、(1)から 3(a^2＋b^2)z＝0 となり、よって 654 名前：a^2＋b^2＝0 または z＝0 となる。 いずれの場合も、(x−y)(x＋y)＝0 となることが分かる。 よって、題意が成り立つ。(あとは、以下に示す補題を証明すればよい) (続く) [] [ここ壊れてます] 655 名前：１３２人目の素数さん mailto:sage [2017/08/29(火) 07:28:56.21 ID:xnTl6wHS.net] (続き) 補題：x,y,z∈Z は 3｜(x＋y) を満たし、かつ z^2＋27((x＋y)/3)^4＝4(xy)^2 を 満たすとする。このとき、x＋y＝0 である。 証明：(x,y,z)が題意を満たすなら、(−x,−y,z)も題意を満たし、(x,y,−z)も題意を満たす。よって、 x＋y＞0,　z≧0,　3｜(x＋y),　z^2＋27((x＋y)/3)^4＝4(xy)^2 を満たす x,y,z∈Z が存在しないことを示せば十分である。 背理法で示す。そのようなx,y,zがあったとする。 z≧0 が最小であるものを1つ取って再び x,y,z と置いておく。 もし z＝0 ならば、27((x＋y)/3)^4＝4(xy)^2 となるので、簡単な考察により x＋y＝0 となって x＋y＞0 に矛盾する。よって、z≧1 ということになる。 もし 3｜z ならば、簡単な考察により、z の最小性に矛盾するような 別の解 (a,b,c) が取れることが分かる。よって、z は 3 の倍数ではない。 もし gcd(x, z)≠1 ならば、p｜x かつ p｜z となるような素数 p が取れる。 もし p＝3 ならば、3｜z となって矛盾するので、p≠3 である。このとき、 簡単な考察により、z の最小性に矛盾するような別の解 (a,b,c) が取れることが分かる。 よって、gcd(x, z)＝1 である。同様にして、gcd(y, z)＝1 である。 (続く) 656 名前：１３２人目の素数さん mailto:sage [2017/08/29(火) 07:32:37.40 ID:xnTl6wHS.net] (続き) さて、27((x＋y)/3)^4 ＝ (2xy−z)(2xy＋z) であるから、場合分けする。 (x＋y)/3 が奇数のとき：簡単な考察により、gcd(2xy−z, 2xy＋z)＝1 となることが分かる。 よって、27｜(2xy−z) であるか、もしくは 27｜(2xy＋z) であるかのいずれかである。 27｜(2xy−z) のときは、((x＋y)/3)^4 ＝ ((2xy−z)/27) * (2xy＋z) となり、 右辺の2項は互いに素であるから、(2xy−z)/27＝s^4, (2xy＋z)＝t^4, s,t≧0 と表せる。 x＋y＞0 に注意して、(x＋y)/3＝st である。特に、s,t≧1 である。また、4xy＝27s^4＋t^4, x＋y＝3st となる。 27｜(2xy＋z) のときは、((x＋y)/3)^4 ＝ ((2xy＋z)/27) * (2xy−z) となり、 右辺の2項は互いに素であるから、(2xy＋z)/27＝s^4, (2xy−z)＝t^4, s,t≧0 と表せる。 x＋y＞0 に注意して、(x＋y)/3＝st である。特に、s,t≧1 である。また、4xy＝27s^4＋t^4, x＋y＝3st となる。 よって、いずれの場合も 4xy＝27s^4＋t^4, x＋y＝3st, s,t≧1 という形になる。 (x＋y)^2−4xy＝9s^2t^2−(27s^4＋t^4), (x＋y)^2−4xy＝(x−y)^2≧0 より、9s^2t^2−(27s^4＋t^4)≧0 となるので、27s^4＋t^4−9s^2t^2≦0 となる。 これを4倍して、4*27s^4＋4t^4−36s^2t^2≦0 となる。すなわち、 (9s^2−2t^2)^2＋27s^2≦0 となる。特に、s＝0 となる。しかし、s≧1だったから矛盾する。 (続く) 657 名前：１３２人目の素数さん mailto:sage [2017/08/29(火) 07:35:26.77 ID:xnTl6wHS.net] (続き) よって、(x＋y)/3 は偶数になるしかない。27((x＋y)/3)^4 ＝ (2xy−z)(2xy＋z) だったから、 2xy−z と 2xy＋z のうち、少なくとも片方は偶数である。どちらの場合でも、z は偶数となるので、 z＝2c と表せて、 27 * 4 * ((x＋y)/6)^4 ＝ (xy−c)(xy＋c) となる。よって、xy−c と xy＋c の少なくとも片方は偶数である。どちらの場合でも、 もう片方も自動的に偶数となるので、 27((x＋y)/6)^4 ＝ ((xy−c)/2) * ((xy＋c)/2) となり、右辺の2項はともに整数である。簡単な考察により、gcd((xy−c)/2, (xy＋c)/2)＝1 となることが分かる。 よって、27｜(xy−c)/2 であるか、もしくは 27｜(xy＋c)/2 であるかのいずれかである。 27｜(xy−c)/2 のときは、((x＋y)/6)^4 ＝ ((xy−c)/54) * ((xy＋c)/2) となり、 右辺の2項は互いに素であるから、(xy−c)/54＝s^4, (xy＋c)/2＝t^4, s,t≧0 と表せる。 x＋y＞0 に注意して、(x＋y)/6＝st である。特に、s,t≧1 である。また、xy＝27s^4＋t^4, x＋y＝6st となる。 27｜(xy＋c)/2 のときは、((x＋y)/6)^4 ＝ ((xy＋c)/54) * ((xy−c)/2) となり、 右辺の2項は互いに素であるから、(xy＋c)/54＝s^4, (xy−c)/2＝t^4, s,t≧0 と表せる。 x＋y＞0 に注意して、(x＋y)/6＝st である。特に、s,t≧1 である。また、xy＝27s^4＋t^4, x＋y＝6st となる。 よって、いずれの場合も xy＝27s^4＋t^4, x＋y＝6st, s,t≧1 という形になる。 ((x＋y)/2)^2−xy＝9s^2t^2−(27s^4＋t^4), ((x＋y)/2)^2−xy＝((x−y)/2)^2≧0 より、9s^2t^2−(27s^4＋t^4)≧0 となるので、27s^4＋t^4−9s^2t^2≦0 となる。 よって、さっきと同じ計算で s＝0 となるが、s≧1だったから矛盾する。 以上より、上記の補題が成り立つ。 658 名前：￥ mailto:sage [2017/08/29(火) 07:58:52.85 ID:TbkIY/Vo.net] ￥ 659 名前：￥ mailto:sage [2017/08/29(火) 07:59:10.03 ID:TbkIY/Vo.net] ￥ 660 名前：￥ mailto:sage [2017/08/29(火) 07:59:29.16 ID:TbkIY/Vo.net] ￥ 661 名前：￥ mailto:sage [2017/08/29(火) 07:59:48.11 ID:TbkIY/Vo.net] ￥ 662 名前：￥ mailto:sage [2017/08/29(火) 08:00:05.77 ID:TbkIY/Vo.net] ￥ 663 名前：￥ mailto:sage [2017/08/29(火) 08:00:23.80 ID:TbkIY/Vo.net] ￥ 664 名前：￥ mailto:sage [2017/08/29(火) 08:00:42.32 ID:TbkIY/Vo.net] ￥ 665 名前：￥ mailto:sage [2017/08/29(火) 08:01:01.71 ID:TbkIY/Vo.net] ￥ 666 名前：￥ mailto:sage [2017/08/29(火) 08:01:21.36 ID:TbkIY/Vo.net] ￥ 667 名前：￥ mailto:sage [2017/08/29(火) 08:01:41.12 ID:TbkIY/Vo.net] ￥ 668 名前：１３２人目の素数さん [2017/08/29(火) 22:43:40.32 ID:nsGTgtdB.net] 空間内に直方体Xと直方体Yがあり、Yに属する点は全てXにも属している。 またXの互いに垂直な3辺の長さをa,b,cとし、Yについてはl,m,nとする。 (1) rは正数として立体Kについて新たな立体K_rを次のように定める。 K_r={p �T あるk∈Kが存在して、2点k,pの距離がr以下} 立体X_rの体積を求めよ。 (2) 次を示せ。 a+b+c≧l+m+n 一見自明かに思えるが直方体の位置関係は斜めでもよいし、(2)だけだと証明しにくい。 しかし新たな概念を持ち出すことで証明できるという不思議な問題 669 名前：。 [] [ここ壊れてます] 670 名前：￥ mailto:sage [2017/08/29(火) 23:11:16.99 ID:TbkIY/Vo.net] ￥ 671 名前：１３２人目の素数さん mailto:sage [2017/08/29(火) 23:23:48.42 ID:zgJ4+pZp.net] >>659 (2) では極限とるの？ 672 名前：￥ mailto:sage [2017/08/29(火) 23:25:00.41 ID:TbkIY/Vo.net] ￥ 673 名前：￥ mailto:sage [2017/08/29(火) 23:33:47.13 ID:TbkIY/Vo.net] ￥ 674 名前：￥ mailto:sage [2017/08/29(火) 23:34:03.78 ID:TbkIY/Vo.net] ￥ 675 名前：￥ mailto:sage [2017/08/29(火) 23:34:19.71 ID:TbkIY/Vo.net] ￥ 676 名前：￥ mailto:sage [2017/08/29(火) 23:34:34.34 ID:TbkIY/Vo.net] ￥ 677 名前：￥ mailto:sage [2017/08/29(火) 23:34:51.02 ID:TbkIY/Vo.net] ￥ 678 名前：￥ mailto:sage [2017/08/29(火) 23:35:09.16 ID:TbkIY/Vo.net] ￥ 679 名前：￥ mailto:sage [2017/08/29(火) 23:35:27.10 ID:TbkIY/Vo.net] ￥ 680 名前：￥ mailto:sage [2017/08/29(火) 23:35:45.87 ID:TbkIY/Vo.net] ￥ 681 名前：￥ mailto:sage [2017/08/29(火) 23:36:04.30 ID:TbkIY/Vo.net] ￥ 682 名前：１３２人目の素数さん [2017/08/29(火) 23:58:18.39 ID:bpRbK8qA.net] 点Pは次のルールで12角形を移動する。 (i)1〜6の目が等確率で出るサイコロを振る。 1、2の場合はその場に留まる。 3、4の場合は点Pの現在いる番号の分だけ時計回りに進む。 5、6の場合は点Pの現在いる番号の2倍の数だけ時計回りに進む。 (例えば点Pが3にいて、4の目が出た場合は3だけ時計回りに進む。) (ii)点Pははじめ1にいる。 [問題] サイコロをn回振った。 (1)n→∞で点Pはどの番号の点にいる？ (2)点Pが3にいる確率は？ (3)点Pが4にいる確率は？ i.imgur.com/cx6oogI.jpg 683 名前：１３２人目の素数さん [2017/08/30(水) 00:04:31.19 ID:vMdLb/bK.net] >>672 もうちょっと面白くできそうなアイデアあれば教えてください 684 名前：￥ mailto:sage [2017/08/30(水) 03:44:50.21 ID:xZ8twSlP.net] ￥ 685 名前：￥ mailto:sage [2017/08/30(水) 03:45:09.96 ID:xZ8twSlP.net] ￥ 686 名前：￥ mailto:sage [2017/08/30(水) 03:45:28.44 ID:xZ8twSlP.net] ￥ 687 名前：￥ mailto:sage [2017/08/30(水) 03:45:45.82 ID:xZ8twSlP.net] ￥ 688 名前：￥ mailto:sage [2017/08/30(水) 03:46:03.50 ID:xZ8twSlP.net] ￥ 689 名前：￥ mailto:sage [2017/08/30(水) 03:46:21.99 ID:xZ8twSlP.net] ￥ 690 名前：￥ mailto:sage [2017/08/30(水) 03:46:41.47 ID:xZ8twSlP.net] ￥ 691 名前：￥ mailto:sage [2017/08/30(水) 03:46:59.19 ID:xZ8twSlP.net] ￥ 692 名前：￥ mailto:sage [2017/08/30(水) 03:47:17.59 ID:xZ8twSlP.net] ￥ 693 名前：￥ mailto:sage [2017/08/30(水) 03:47:36.38 ID:xZ8twSlP.net] ￥ 694 名前：１３２人目の素数さん mailto:sage [2017/08/30(水) 05:27:33.17 ID:fuWh8DFv.net] 同心円である2円を外周とするリング状の形がある。 ◎←コレ 長さを1箇所だけ測ってこのリングの面積を求めるにはどうすればいいか？ 695 名前：￥ mailto:sage [2017/08/30(水) 05:38:02.18 ID:xZ8twSlP.net] ￥ 696 名前：１３２人目の素数さん mailto:sage [2017/08/30(水) 05:47:00.99 ID:4Q4sm7+y.net] >>684 楽勝。 大きい円の弦で、小さい円に接するものの長さを測ればよい。 中学生に出題したら喜びそうな問題だな。 697 名前：￥ mailto:sage [2017/08/30(水) 06:21:33.25 ID:xZ8twSlP.net] ￥ 698 名前：￥ mailto:sage [2017/08/30(水) 06:22:04.22 ID:xZ8twSlP.net] ￥ 699 名前：￥ mailto:sage [2017/08/30(水) 06:22:21.99 ID:xZ8twSlP.net] ￥ 700 名前：￥ mailto:sage [2017/08/30(水) 06:22:39.83 ID:xZ8twSlP.net] ￥ 701 名前：￥ mailto:sage [2017/08/30(水) 06:22:56.98 ID:xZ8twSlP.net] ￥ 702 名前：￥ mailto:sage [2017/08/30(水) 06:23:13.53 ID:xZ8twSlP.net] ￥ 703 名前：￥ mailto:sage [2017/08/30(水) 06:23:30.72 ID:xZ8twSlP.net] ￥ 704 名前：￥ mailto:sage [2017/08/30(水) 06:23:47.56 ID:xZ8twSlP.net] ￥ 705 名前：￥ mailto:sage [2017/08/30(水) 06:24:08.15 ID:xZ8twSlP.net] ￥ 706 名前：￥ mailto:sage [2017/08/30(水) 06:24:25.17 ID:xZ8twSlP.net] ￥ 707 名前：１３２人目の素数さん mailto:sage [2017/08/30(水) 07:03:44.37 ID:ByLuAEx8.net] >>661 それが一番記述量少ないかな 708 名前：￥ mailto:sage [2017/08/30(水) 07:12:09.21 ID:xZ8twSlP.net] ￥ 709 名前：１３２人目の素数さん mailto:sage [2017/08/30(水) 09:10:29.91 ID:rPeCY3BJ.net] >>697 r が小さいときは K_r の主要項は K の体積そのものだったのが、 r が大きくなるにつれ頂点由来の体積が 主要項となっていくわけだが、 頂点由来の体積は同等だから、 次の項、すなわち辺由来の体積が 効いてくるというわけですね。 なかなか面白いです。 710 名前：￥ mailto:sage [2017/08/30(水) 09:47:52.97 ID:xZ8twSlP.net] ￥ 711 名前：￥ mailto:sage [2017/08/30(水) 09:48:11.87 ID:xZ8twSlP.net] ￥ 712 名前：￥ mailto:sage [2017/08/30(水) 09:48:28.20 ID:xZ8twSlP.net] ￥ 713 名前：￥ mailto:sage [2017/08/30(水) 09:48:43.80 ID:xZ8twSlP.net] ￥ 714 名前：￥ mailto:sage [2017/08/30(水) 09:48:59.11 ID:xZ8twSlP.net] ￥ 715 名前：￥ mailto:sage [2017/08/30(水) 09:49:14.22 ID:xZ8twSlP.net] ￥ 716 名前：￥ mailto:sage [2017/08/30(水) 09:49:29.94 ID:xZ8twSlP.net] ￥ 717 名前：￥ mailto:sage [2017/08/30(水) 09:49:46.90 ID:xZ8twSlP.net] ￥ 718 名前：￥ mailto:sage [2017/08/30(水) 09:50:03.23 ID:xZ8twSlP.net] ￥ 719 名前：￥ mailto:sage [2017/08/30(水) 09:50:19.21 ID:xZ8twSlP.net] ￥ 720 名前：１３２人目の素数さん mailto:sage [2017/08/30(水) 10:33:20.90 ID:ZNhlB+7p.net] >>686 なるほど 721 名前：￥ mailto:sage [2017/08/30(水) 10:45:41.80 ID:xZ8twSlP.net] ￥ 722 名前：１３２人目の素数さん [2017/08/30(水) 11:41:25.04 ID:qCocPFOq.net] >>699 おもしろいな 723 名前：￥ mailto:sage [2017/08/30(水) 12:03:33.73 ID:xZ8twSlP.net] ￥ 724 名前：１３２人目の素数さん mailto:sage [2017/08/30(水) 13:21:40.09 ID:BK+APDDw.net] >>659 >>661 >>697 >>699 (1) 凸体Kをｒだけ膨らませたもの K_r の体積をｒの多項式で表わす Steinerの公式ですね。 V(r）= V(0) + S(0)･r + M(0)r^2 +（4π/3)r^3 直方体では 　V(0）= abc, 　S(0）= 2(ab+bc+ca), 　M(0）= π(a+b+c) (2) 0 ≦｛V(X_r）- V(Y_r)}/rr → π(a+b+c-l-m-n)　（r→∞） 参考書 ￣￣￣ 1．木原太郎「分子と宇宙」岩波新書(黄版）104� 725 名前：@(1979) 　第7章　分子の中に凸体のコアを置く 2．木原太郎「分子間力」岩波全書（1976) [] [ここ壊れてます] 726 名前：１３２人目の素数さん mailto:sage [2017/08/30(水) 14:10:01.79 ID:ByLuAEx8.net] やっぱりそこまで難しくはないか まあそれがいいんだけどね X_r⊇Y_rの証明もそこそこ大事なポイントではあったんだけど簡単だしいらないね 727 名前：１３２人目の素数さん mailto:sage [2017/08/30(水) 15:18:35.90 ID:sQgFBPXt.net] >>659 これの2次元版を考えると、次の問題が同じやり方で証明できた。 問題： A⊂R^2 は凸多角形とする(外周と内部は含むものとする)。 B⊂R^2 は凸多角形とする(外周と内部は含むものとする)。 A,B の外周の長さをそれぞれ l(A), l(B) とする。 もし A⊂B ならば、l(A)≦l(B) が成り立つことを示せ。 この問題自体は幾何的にやっても普通に解けるんだが、 >>659 のやり方だと考えることが少なくてお手軽な感じがするｗ 728 名前：１３２人目の素数さん mailto:sage [2017/08/30(水) 20:03:42.90 ID:i2T0fEiN.net] 荒らし（◆2VB8wsVUoo）の正体は元筑波大学准教授で数学者の増田哲也。 増田哲也は2007年に痴漢で逮捕され、精神を病んで2ch数学板を荒らすようになった。 自ら増田哲也とカミングアウトしている。父は植物学者の増田芳雄。 荒らしが酷く、数学板で専用スレが10スレ以上立てられた。 ↓確認できる最初のスレ science6.2ch.net/test/read.cgi/math/1243605006/ 　■徳島で痴漢の准教授を解雇　筑波大 （2007年8月5日　毎日新聞） 徳島県警阿南署などは５日未明、東京都足立区千住寿町、筑波大学准教授、増田哲也容疑者（５０）を 県迷惑行為防止条例違反（痴漢行為）容疑で逮捕した。 調べでは、増田容疑者は、４日午後４時２０分ごろから約５０分にわたり、ＪＲ牟岐線の列車内で、県内の 専門学校生の女性（２１）の胸や太ももなどを触った疑い。調べに対し、「夏休み期間に、講演活動を兼ね て旅行していた。好みの女性だったのでムラムラした」と話しているという。 science6.2ch.net/test/read.cgi/math/1262704792/ もともとは「狢」や「猫」、「狸」などと名乗っていた。トリップも変わっている。 wc2014.2ch.net/test/read.cgi/math/1384592236/ 増田哲也→猫◆→狢◆→狸◆ ☆数学コテ紹介☆ ・猫 本名、増○哲也。筑波大准教授の頃、徳島で痴漢をやらかし職を失う。 それを期に数学界から身を引いた(←アフォー)。 逮捕されてからは精神を病み、2ch荒らしが生きがいとなった。また父の芳雄に虐待されたと思い込んでいる。 もともとは大数学者アラン・コンヌに直々教えを乞うていたほどのやり手（らしい）。 数々のお涙頂戴昔話には定評あり。本人曰く「しつこさ」のみが自身の売りなのだそう。 馬鹿を煽って2ch潰しをしているのだそう。規制されてもプロバイダーを変えて復活する。 最近、院生disが激しい。日本語、英語、フランス語をしゃべる。だが、猫語はしゃべらない。 率直に言って、客観的に人生を無駄に過ごしている希 729 名前：ガスる。 2ch潰しどころか数学板さえ潰すことの出来ないでいる希ガスる。 作戦倒れしている希ガスる。 でも本人はなんとも思ってないんだろうな。哀れ。哀れ。哀れ。 [] [ここ壊れてます] 730 名前：１３２人目の素数さん [2017/08/31(木) 13:20:19.12 ID:Grk7OUTw.net] 2^α+3^α=7^αを満たす実数αは無理数であることを証明せよ 731 名前：１３２人目の素数さん mailto:sage [2017/08/31(木) 16:20:11.44 ID:lN6IG7Wg.net] フェルマーの最終定理を使っていいなら… 732 名前：１３２人目の素数さん [2017/08/31(木) 19:07:44.49 ID:VNnTuIzv.net] >>719 使ったところでどうにもならんと思うけどどうぞ使って 733 名前：$ [2017/09/01(金) 09:32:19.67 ID:pFwPB2Aw.net] >>718 反例 2^2+3^1=7^1 734 名前：１３２人目の素数さん mailto:sage [2017/09/01(金) 09:45:23.38 ID:hOuEPHyT.net] >>721 735 名前：￥ mailto:age [2017/09/01(金) 14:27:33.84 ID:7A4+w7Rv.net] ￥ 736 名前：１３２人目の素数さん [2017/09/01(金) 15:47:09.90 ID:RJADBIXW.net] >>721 あのさぁ… 737 名前：￥ mailto:age [2017/09/01(金) 17:29:36.34 ID:7A4+w7Rv.net] ￥ 738 名前：￥ mailto:age [2017/09/01(金) 18:20:16.67 ID:7A4+w7Rv.net] ￥ 739 名前：１３２人目の素数さん mailto:sage [2017/09/01(金) 22:17:03.29 ID:y0RDvvfx.net] ヒントあく 740 名前：￥ mailto:sage [2017/09/01(金) 22:26:12.49 ID:7A4+w7Rv.net] ￥ 741 名前：￥ mailto:sage [2017/09/01(金) 22:26:31.99 ID:7A4+w7Rv.net] ￥ 742 名前：￥ mailto:sage [2017/09/01(金) 22:26:50.11 ID:7A4+w7Rv.net] ￥ 743 名前：￥ mailto:sage [2017/09/01(金) 22:27:08.82 ID:7A4+w7Rv.net] ￥ 744 名前：￥ mailto:sage [2017/09/01(金) 22:27:27.84 ID:7A4+w7Rv.net] ￥ 745 名前：￥ mailto:sage [2017/09/01(金) 22:27:45.45 ID:7A4+w7Rv.net] ￥ 746 名前：￥ mailto:sage [2017/09/01(金) 22:28:03.41 ID:7A4+w7Rv.net] ￥ 747 名前：￥ mailto:sage [2017/09/01(金) 22:28:22.76 ID:7A4+w7Rv.net] ￥ 748 名前：￥ mailto:sage [2017/09/01(金) 22:28:41.98 ID:7A4+w7Rv.net] ￥ 749 名前：￥ mailto:sage [2017/09/01(金) 22:28:59.96 ID:7A4+w7Rv.net] ￥ 750 名前：１３２人目の素数さん mailto:sage [2017/09/01(金) 22:31:19.76 ID:Vn9CxV/f.net] >>727 αが有理数と仮定すると αが整数と絞り込めて、余りを考えて矛盾が言える 751 名前：１３２人目の素数さん mailto:sage [2017/09/01(金) 22:41:17.93 ID:y0RDvvfx.net] α＞0は自明でさらに3.5^α-0.5^α=1だからα＜1となって0＜α＜1は分かるな あとはα整数を示すのか 752 名前：￥ mailto:sage [2017/09/01(金) 22:59:45.28 ID:7A4+w7Rv.net] ￥ 753 名前：￥ mailto:sage [2017/09/01(金) 23:00:02.18 ID:7A4+w7Rv.net] ￥ 754 名前：￥ mailto:sage [2017/09/01(金) 23:00:18.91 ID:7A4+w7Rv.net] ￥ 755 名前：￥ mailto:sage [2017/09/01(金) 23:00:36.11 ID:7A4+w7Rv.net] ￥ 756 名前：￥ mailto:sage [2017/09/01(金) 23:00:53.08 ID:7A4+w7Rv.net] ￥ 757 名前：￥ mailto:sage [2017/09/01(金) 23:01:11.23 ID:7A4+w7Rv.net] ￥ 758 名前：￥ mailto:sage [2017/09/01(金) 23:01:30.33 ID:7A4+w7Rv.net] ￥ 759 名前：￥ mailto:sage [2017/09/01(金) 23:01:54.60 ID:7A4+w7Rv.net] ￥ 760 名前：￥ mailto:sage [2017/09/01(金) 23:02:11.90 ID:7A4+w7Rv.net] ￥ 761 名前：￥ mailto:sage [2017/09/01(金) 23:02:32.66 ID:7A4+w7Rv.net] ￥ 762 名前：１３２人目の素数さん [2017/09/01(金) 23:56:53.42 ID:X+zBfw26.net] 出題者だけど整数を示す方針はよく分からん 想定してた解法は拡大体の理論を使う 763 名前：１３２人目の素数さん mailto:sage [2017/09/02(土) 00:10:26.27 ID:uC5hC4E/.net] へい！高校数学ちゃうんかい！ 764 名前：１３２人目の素数さん [2017/09/02(土) 00:11:43.33 ID:EaRJl5xV.net] >>738 >αが有理数と仮定すると >αが整数と絞り込めて どうして？ 765 名前：１３２人目の素数さん [2017/09/02(土) 00:12:08.08 ID:PwtoVOt8.net] >>751 複素の因数分解使えば高校生でも出来んことはない 766 名前：１３２人目の素数さん mailto:sage [2017/09/02(土) 00:59:21.87 ID:3JI2dd7J.net] >>752 α=p/q （p，q は互いに素）として 両辺 q 乗からの2項定理でいいんじゃね 767 名前：￥ mailto:sage [2017/09/02(土) 02:15:58.40 ID:z17/uuYO.net] ￥ 768 名前：￥ mailto:sage [2017/09/02(土) 02:16:16.28 ID:z17/uuYO.net] ￥ 769 名前：￥ mailto:sage [2017/09/02(土) 02:16:31.28 ID:z17/uuYO.net] ￥ 770 名前：￥ mailto:sage [2017/09/02(土) 02:16:49.61 ID:z17/uuYO.net] ￥ 771 名前：￥ mailto:sage [2017/09/02(土) 02:17:04.50 ID:z17/uuYO.net] ￥ 772 名前：￥ mailto:sage [2017/09/02(土) 02:17:22.35 ID:z17/uuYO.net] ￥ 773 名前：￥ mailto:sage [2017/09/02(土) 02:17:41.32 ID:z17/uuYO.net] ￥ 774 名前：￥ mailto:sage [2017/09/02(土) 02:18:01.86 ID:z17/uuYO.net] ￥ 775 名前：￥ mailto:sage [2017/09/02(土) 02:18:20.72 ID:z17/uuYO.net] ￥ 776 名前：￥ mailto:sage [2017/09/02(土) 02:18:39.64 ID:z17/uuYO.net] ￥ 777 名前：１３２人目の素数さん [2017/09/02(土) 02:30:55.07 ID:kgWZgt7O.net] >>754 二項定理使うまでは合ってます その後の厳密な議論で体論を使う必要があると思うんだけど 778 名前：￥ mailto:sage [2017/09/02(土) 03:21:42.37 ID:z17/uuYO.net] ￥ 779 名前：￥ mailto:sage [2017/09/02(土) 03:21:59.19 ID:z17/uuYO.net] ￥ 780 名前：￥ mailto:sage [2017/09/02(土) 03:22:16.33 ID:z17/uuYO.net] ￥ 781 名前：￥ mailto:sage [2017/09/02(土) 03:22:34.18 ID:z17/uuYO.net] ￥ 782 名前：￥ mailto:sage [2017/09/02(土) 03:22:52.05 ID:z17/uuYO.net] ￥ 783 名前：￥ mailto:sage [2017/09/02(土) 03:23:09.28 ID:z17/uuYO.net] ￥ 784 名前：￥ mailto:sage [2017/09/02(土) 03:23:30.65 ID:z17/uuYO.net] ￥ 785 名前：￥ mailto:sage [2017/09/02(土) 03:23:48.94 ID:z17/uuYO.net] ￥ 786 名前：￥ mailto:sage [2017/09/02(土) 03:24:05.59 ID:z17/uuYO.net] ￥ 787 名前：￥ mailto:sage [2017/09/02(土) 03:24:22.19 ID:z17/uuYO.net] ￥ 788 名前：１３２人目の素数さん mailto:sage [2017/09/02(土) 11:27:33.18 ID:Po7d73tU.net] 体論 ＝ Field Theory ＝ 場の理論 類体論にもフィールズ賞を 789 名前：￥ mailto:sage [2017/09/02(土) 11:33:59.24 ID:z17/uuYO.net] ￥ 790 名前：￥ mailto:sage [2017/09/02(土) 11:34:17.70 ID:z17/uuYO.net] ￥ 791 名前：￥ mailto:sage [2017/09/02(土) 11:34:34.54 ID:z17/uuYO.net] ￥ 792 名前：￥ mailto:sage [2017/09/02(土) 11:34:52.32 ID:z17/uuYO.net] ￥ 793 名前：￥ mailto:sage [2017/09/02(土) 11:35:07.58 ID:z17/uuYO.net] ￥ 794 名前：￥ mailto:sage [2017/09/02(土) 11:35:24.57 ID:z17/uuYO.net] ￥ 795 名前：￥ mailto:sage [2017/09/02(土) 11:36:07.86 ID:z17/uuYO.net] ￥ 796 名前：￥ mailto:sage [2017/09/02(土) 11:36:24.45 ID:z17/uuYO.net] ￥ 797 名前：￥ mailto:sage [2017/09/02(土) 11:36:42.45 ID:z17/uuYO.net] ￥ 798 名前：￥ mailto:sage [2017/09/02(土) 11:36:59.02 ID:z17/uuYO.net] ￥ 799 名前：１３２人目の素数さん mailto:sage [2017/09/02(土) 20:44:20.65 ID:bRO6cAi2.net] x=(2/n)・(cosx)^n-(1/2)sin(2x) かつ 0＜x＜π/2 なるxをnについて定めるとき nxのn→∞における極限を求めよ。 単 800 名前：にわからないだけですが教えて下さい n=1000で試した結果1らしいです [] [ここ壊れてます] 801 名前：１３２人目の素数さん mailto:sage [2017/09/02(土) 23:10:56.54 ID:M3m7eKH6.net] >>787 x ~ 0 のとき、1次近似で (2/n)(cos(x))^n - (1/2)sin(2x) ~ 2/n - x よって x ~ 2/n - x より nx ~ 1 802 名前：１３２人目の素数さん mailto:sage [2017/09/02(土) 23:12:39.17 ID:M3m7eKH6.net] フォント修正 >>787 x 〜 0 のとき、1次近似で (2/n)(cos(x))^n - (1/2)sin(2x) 〜 (2/n)・1 - (1/2)・2x = 2/n - x よって x 〜 2/n - x より nx 〜 1 803 名前：１３２人目の素数さん mailto:sage [2017/09/02(土) 23:28:55.65 ID:bRO6cAi2.net] 厳密にお願いします 804 名前：１３２人目の素数さん mailto:sage [2017/09/03(日) 00:19:52.98 ID:lS4umc9s.net] >>790 それはお前の仕事 805 名前：１３２人目の素数さん mailto:sage [2017/09/03(日) 06:44:37.11 ID:gi3KPdYZ.net] ガイジきた 806 名前：１３２人目の素数さん mailto:sage [2017/09/04(月) 20:49:09.80 ID:sRxrMf0e.net] 　 p,q,rは正整数とする。f(x),g(x),h(x)は複素数係数の多項式で、少なくとも1つは 定数関数では無いとする。また、f(x)とg(x)は共通の根を持たないとする。 また、f(x)^p＋g(x)^q＝h(x)^r が成り立つとする。 このとき、1＜(1/p)＋(1/q)＋(1/r) が成り立つことを示せ。 807 名前：１３２人目の素数さん mailto:sage [2017/09/05(火) 01:44:47.96 ID:q778+o9X.net] 東大作問スレって今はないんですね。 808 名前：１３２人目の素数さん mailto:sage [2017/09/05(火) 01:49:32.41 ID:RNbHjn56.net] >>794 その代替となりそうなスレならある↓ みんなで高校生に問題を出すスレ [無断転載禁止](c)2ch.net rio2016.2ch.net/test/read.cgi/math/1486554217/ 809 名前：216 mailto:sage [2017/09/06(水) 02:08:56.27 ID:IZlBJmBS.net] >>216の(2) a^(bb)=b^a を満たす自然数の組 【解答】 a,bの最大公約数をdとしてa=du, b=dv（u,vは互いに素）とおくと、与式は (du)^(ddvv)=(dv)^(du) 両辺を1/d乗すると (du)^(dvv)=(dv)^(u)　…★ 両辺の指数の大小関係で場合分けをする。 (i)　dvv=uのとき du=dvよりu=v u,vは互いに素だからu=v=1 ∴d=1, a=1*1=1, b=1*1=1 (ii)　dvv>uのとき ★の両辺をd^uで割ると d^(dvv-u)*u^(dvv)=v^u すなわちv^uはu^(dvv)を約数に持つが、u,vは互いに素だからu=1 ∴d^(dvv-1)=v d=1のときv=1でdvv>uと矛盾 d≧2のときd^(dvv-1)≧2^(2vv-1)≧2^(2v-1)>v　…♯ でd^(dvv-1)=vと矛盾 (iii)　dvv<uのとき ★の両辺をd^(dvv)で割ると u^(dvv)=d^(u-dvv)*v^u すなわちu^(dvv)はv^uを約数に持つが、u,vは互いに素だからv=1 よって u^d=d^(u-d)　…☆ u>dだからd<(u-d) ☆より、uの任意の素因数pはdの素因数でもある。u,dを素因数分解したときのpの個数をそれぞれy,zとすると(p^y)^d=(p^z)^(u-d) よってy*d=z*(u-d)、d<(u-d)だからy>z y>zは任意の素因数pについて成り立つから、dはuの約数である。 u=kd（kは自然数）とおくと、☆より(kd)^d=d^(kd-d) 両辺を1/d乗してdで割ると k=d^(k-2) d=1のとき、k=1, u=1*1=1でu>dと矛盾するから、d≧2 k=1のときd=1でd≧2と矛盾 k=2のとき2=d^0=1で矛盾 k=3のときd=3, u=3*3=9, a=3*9=27, b=3*1=3 k=4のときd=2, u=4*2=8, a=2*8=16, b=2*1=2 k≧5のときd^(k-2)≧2^(k-2)>kで矛盾　…♭ 以上より、(a,b)=(1,1),(27,3),(16,2) これらは全て与式を満たす。　■ 810 名前：216 mailto:(a,b)=(n,n),(2,4),(4,2) [2017/09/06(水) 02:11:52.74 ID:IZlBJmBS.net] ♯・♭の一番右の不等号は帰納法で簡単に示せる。 出典：IMO1997-5 有名な類題でa^b=b^aを満たす自然数の組を求める問題がある（答えはメール欄に記載）。 811 名前：￥ mailto:sage [2017/09/06(水) 05:33:09.66 ID:nJ0wcqLn.net] ￥ 812 名前：￥ mailto:sage [2017/09/06(水) 05:33:31.03 ID:nJ0wcqLn.net] ￥ 813 名前：￥ mailto:sage [2017/09/06(水) 05:33:52.11 ID:nJ0wcqLn.net] ￥ 814 名前：￥ mailto:sage [2017/09/06(水) 05:34:10.55 ID:nJ0wcqLn.net] ￥ 815 名前：￥ mailto:sage [2017/09/06(水) 05:34:28.96 ID:nJ0wcqLn.net] ￥ 816 名前：￥ mailto:sage [2017/09/06(水) 05:34:47.19 ID:nJ0wcqLn.net] ￥ 817 名前：￥ mailto:sage [2017/09/06(水) 05:35:23.93 ID:nJ0wcqLn.net] ￥ 818 名前：￥ mailto:sage [2017/09/06(水) 05:35:42.45 ID:nJ0wcqLn.net] ￥ 819 名前：￥ mailto:sage [2017/09/06(水) 05:36:00.38 ID:nJ0wcqLn.net] ￥ 820 名前：￥ mailto:sage [2017/09/06(水) 05:36:1 ] [ここ壊れてます] 821 名前：9.16 ID:nJ0wcqLn.net mailto: ￥ [] [ここ壊れてます] 822 名前：１３２人目の素数さん mailto:sage [2017/09/06(水) 07:45:12.64 ID:MJe8ew9i.net] タネがバレバレかなっていう気もするけど問題。 2017個の箱 B1 〜 B2017 がある。 箱 Bk の中には k 枚のコインが入っている(1≦k≦2017)。 次の2種類の操作を考える。 (1) 1≦k≦2016 の空でない Bk を選び、コインを1枚取り去って B(k+1) にコインを α枚入れる。ただし、αの値は 0, 1, 2 の中から好きなものを選べる。 (2) 1≦k≦2016 の「空でもよい」 Bk を選ぶ。Bk, B(k+1) のコインの枚数を順番に a ，b とするとき、 Bk, B(k+1) のコインの枚数を [ (a＋b)/2 ] ，a に差し替える。ただし、[ ] はガウス記号とする。 操作 (1), (2) を有限回行って、B2 〜 B2017 が空で、かつ、B1 にちょうど 4 枚のコインが入っている状態にできるか。 823 名前：￥ mailto:sage [2017/09/06(水) 07:46:26.10 ID:nJ0wcqLn.net] ￥ 824 名前：￥ mailto:sage [2017/09/06(水) 07:46:44.18 ID:nJ0wcqLn.net] ￥ 825 名前：￥ mailto:sage [2017/09/06(水) 07:47:01.24 ID:nJ0wcqLn.net] ￥ 826 名前：￥ mailto:sage [2017/09/06(水) 07:47:17.64 ID:nJ0wcqLn.net] ￥ 827 名前：￥ mailto:sage [2017/09/06(水) 07:47:33.42 ID:nJ0wcqLn.net] ￥ 828 名前：￥ mailto:sage [2017/09/06(水) 07:47:48.74 ID:nJ0wcqLn.net] ￥ 829 名前：￥ mailto:sage [2017/09/06(水) 07:48:04.85 ID:nJ0wcqLn.net] ￥ 830 名前：￥ mailto:sage [2017/09/06(水) 07:48:21.83 ID:nJ0wcqLn.net] ￥ 831 名前：￥ mailto:sage [2017/09/06(水) 07:48:38.79 ID:nJ0wcqLn.net] ￥ 832 名前：￥ mailto:sage [2017/09/06(水) 07:48:56.98 ID:nJ0wcqLn.net] ￥ 833 名前：フロベニウス数 [2017/09/07(木) 01:40:03.00 ID:J3m5+o6m.net] では10円硬貨と11円硬貨の2種類のみが発行されている。 この2種類の硬貨をどう組み合わせても支払えない金額のうち、最大のものはいくらか？ 証明は不要。 834 名前：フロベニウス数 [2017/09/07(木) 01:40:37.75 ID:IyycAyAP.net] ある国では〜 のミス 835 名前：１３２人目の素数さん mailto:sage [2017/09/07(木) 02:24:01.94 ID:vqX7J2tG.net] >>808 ある時点でのB_kに入っているコインの枚数をx(k)とする。 各時点での状態値Sを以下のように定める。 S=Σ[k=1〜2017](x(k)/2^(k-1)) するとこの状態値Sは、操作(1)、操作(2)のいずれにおいても増加することはない。 操作(1)ではα=2のときは変化せずα=0,1のときは減少。 操作(2)ではa+bが偶数のときは変化せず、奇数のときは減少。 初期状態では S = S_0 = Σ[k=1〜2017](k/2^(k-1))=4-2019/2^2016 目指すゴールの状態では S = 4 S_0 < 4 より、与えられた初期状態から目指すゴールに到達することは不可能。 836 名前：１３２人目の素数さん mailto:sage [2017/09/07(木) 02:27:53.65 ID:vqX7J2tG.net] >>819 89 837 名前：１３２人目の素数さん mailto:sage [2017/09/07(木) 02:49:34.98 ID:vqX7J2tG.net] >>808 >>821 なお、初期状態で、B_2016までは番号と同じ枚数入っており、B_2017には4036枚入っていれば 最後にB_1に4枚入っている状態にすることができる。 一般に、n個の箱の場合、 初期状態が 　k=1〜n-1において　x(k)=k 　x(n)=2n+2 であれば 最後にB_1に4枚入っている状態にできる。 838 名前：￥ mailto:sage [2017/09/07(木) 03:45:49.76 ID:6DNo3zLu.net] ￥ 839 名前：￥ mailto:sage [2017/09/07(木) 03:46:06.86 ID:6DNo3zLu.net] ￥ 840 名前：￥ mailto:sage [2017/09/07(木) 03:46:24.90 ID:6DNo3zLu.net] ￥ 841 名前：￥ mailto:sage [2017/09/07(木) 03:46:42.16 ID:6DNo3zLu.net] ￥ 842 名前：￥ mailto:sage [2017/09/07(木) 03:46:59.01 ID:6DNo3zLu.net] ￥ 843 名前：￥ mailto:sage [2017/09/07(木) 03:47:16.08 ID:6DNo3zLu.net] ￥ 844 名前：￥ mailto:sage [2017/09/07(木) 03:47:33.31 ID:6DNo3zLu.net] ￥ 845 名前：￥ mailto:sage [2017/09/07(木) 03:47:52.61 ID:6DNo3zLu.net] ￥ 846 名前：￥ mailto:sage [2017/09/07(木) 03:48:18.84 ID:6DNo3zLu.net] ￥ 847 名前：￥ mailto:sage [2017/09/07(木) 03:48:36.75 ID:6DNo3zLu.net] ￥ 848 名前：フロベニウス数 [2017/09/07(木) 07:26:26.71 ID:33xc8sua.net] >>822 🙆 849 名前：１３２人目の素数さん mailto:sage [2017/09/07(木) 07:28:41.42 ID:yJyxch+Q.net] >>821, 823 正解です。こちらが想定していた解法そのものです。 850 名前：￥ mailto:sage [2017/09/07(木) 07:42:53.16 ID:6DNo3zLu.net] ￥ 851 名前：￥ mailto:sage [2017/09/07(木) 07:43:10.06 ID:6DNo3zLu.net] ￥ 852 名前：￥ mailto:sage [2017/09/07(木) 07:43:27.12 ID:6DNo3zLu.net] ￥ 853 名前：￥ mailto:sage [2017/09/07(木) 07:43:43.99 ID:6DNo3zLu.net] ￥ 854 名前：￥ mailto:sage [2017/09/07(木) 07:44:00.24 ID:6DNo3zLu.net] ￥ 855 名前：￥ mailto:sage [2017/09/07(木) 07:44:17.39 ID:6DNo3zLu.net] ￥ 856 名前：￥ mailto:sage [2017/09/07(木) 07:44:35.58 ID:6DNo3zLu.net] ￥ 857 名前：￥ mailto:sage [2017/09/07(木) 07:44:52.27 ID:6DNo3zLu.net] ￥ 858 名前：￥ mailto:sage [2017/09/07(木) 07:45:08.13 ID:6DNo3zLu.net] ￥ 859 名前：￥ mailto:sage [2017/09/07(木) 07:45:57.98 ID:6DNo3zLu.net] ￥ 860 名前：１３２人目の素数さん mailto:sage [2017/09/07(木) 10:28:43.37 ID:vqX7J2tG.net] >>808 の問題で 1≦k≦2017において箱B_kにはk枚のコインが入っている初期状態に対して、 ある１つの箱を選んでコインを１枚だけ追加すると、 操作(1)，(2)を有限回行って、B_1に４枚のコインが入っている状態にできる。 そのときに選ぶ箱をB_mとするとき、mの最大値を求めよ。 861 名前：￥ mailto:sage [2017/09/07(木) 10:46:27.83 ID:6DNo3zLu.net] ￥ 862 名前：￥ mailto:sage [2017/09/07(木) 10:46:42.96 ID:6DNo3zLu.net] ￥ 863 名前：￥ mailto:sage [2017/09/07(木) 10:46:58.65 ID:6DNo3zLu.net] ￥ 864 名前：￥ mailto:sage [2017/09/07(木) 10:47:13.30 ID:6DNo3zLu.net] ￥ 865 名前：￥ mailto:sage [2017/09/07(木) 10:47:30.29 ID:6DNo3zLu.net] ￥ 866 名前：￥ mailto:sage [2017/09/07(木) 10:47:47.51 ID:6DNo3zLu.net] ￥ 867 名前：￥ mailto:sage [2017/09/07(木) 10:48:05.83 ID:6DNo3zLu.net] ￥ 868 名前：￥ mailto:sage [2017/09/07(木) 10:48:23.77 ID:6DNo3zLu.net] ￥ 869 名前：￥ mailto:sage [2017/09/07(木) 10:48:40.65 ID:6DNo3zLu.net] ￥ 870 名前：￥ mailto:sage [2017/09/07(木) 10:48:59.98 ID:6DNo3zLu.net] ￥ 871 名前：１３２人目の素数さん mailto:sage [2017/09/07(木) 15:50:14 ] [ここ壊れてます] 872 名前：.24 ID:VZbg+gG6.net mailto: 自分ルールのゲーム解析して言うほど面白いか？ ありそうなゲームなら面白いとは思うけど [] [ここ壊れてます] 873 名前：￥ mailto:sage [2017/09/07(木) 15:51:37.40 ID:6DNo3zLu.net] ￥ 874 名前：￥ mailto:sage [2017/09/07(木) 15:53:34.02 ID:6DNo3zLu.net] ￥ 875 名前：￥ mailto:sage [2017/09/07(木) 15:53:51.40 ID:6DNo3zLu.net] ￥ 876 名前：￥ mailto:sage [2017/09/07(木) 15:54:06.48 ID:6DNo3zLu.net] ￥ 877 名前：￥ mailto:sage [2017/09/07(木) 15:54:22.25 ID:6DNo3zLu.net] ￥ 878 名前：￥ mailto:sage [2017/09/07(木) 15:54:40.32 ID:6DNo3zLu.net] ￥ 879 名前：￥ mailto:sage [2017/09/07(木) 15:54:56.77 ID:6DNo3zLu.net] ￥ 880 名前：￥ mailto:sage [2017/09/07(木) 15:55:14.58 ID:6DNo3zLu.net] ￥ 881 名前：￥ mailto:sage [2017/09/07(木) 15:55:30.99 ID:6DNo3zLu.net] ￥ 882 名前：￥ mailto:sage [2017/09/07(木) 15:55:46.81 ID:6DNo3zLu.net] ￥ 883 名前：１３２人目の素数さん mailto:sage [2017/09/08(金) 08:59:08.35 ID:T2f/teQa.net] 方々に出ているので今さら解答は作らないが (1)　y=x^(1/x) (x>0)のグラフを描け。 (2)　a^b=b^aを満たす自然数の組(a,b)を求めよ。 (1)　y=x/(logx) (x>0)のグラフを描け。 (2)　99^100と100^99の大小を比較せよ。 884 名前：１３２人目の素数さん mailto:sage [2017/09/08(金) 09:02:27.08 ID:iwl1FmH8.net] 今更な問題で出題するのも憚れる。 885 名前：１３２人目の素数さん mailto:sage [2017/09/08(金) 09:03:15.74 ID:N4FpDCh2.net] パンル〜まるヴェ〜 886 名前：１３２人目の素数さん mailto:sage [2017/09/08(金) 09:04:02.72 ID:N4FpDCh2.net] あ、誤爆だった。 887 名前：１３２人目の素数さん mailto:sage [2017/09/08(金) 09:05:59.75 ID:T2f/teQa.net] 追加 (1)　y=x+1/x (x>0)のグラフを描け。 (2)　正数p,qについてp/q+q/pの最小値を求めよ。 888 名前：１３２人目の素数さん mailto:sage [2017/09/08(金) 09:19:59.85 ID:T2f/teQa.net] >>868の2つの(1)が逆でも y=x/(logx) は1<x<eで減少、e<xで増加 a<bとするとaの候補は2, このときb=4 確かに2^4=4^2 は示せるし y=x^(1/x)のグラフから 99^(1/99)>100^(1/100) ⇔99^100>100^99 は示せるね 889 名前：１３２人目の素数さん [2017/09/08(金) 09:54:52.47 ID:mOYWCJV+.net] >>872 (1) dy/dx = 1-1/x^2 dy/dx=0とすると x=±1、x>0よりx=-1は不適である x=1ときy=2で、dy/dxの符号の変化よりこのとき極小値をとる lim[x->+0] y = ∞ より、直線x=0は漸近線である lim[x->∞](y-x)=0より、直線y=xは漸近線である (グラフはこれで描けるので省略) (2) p>0, q>0より相加相乗平均の関係から p/q + q/p ≧ 2√(p/q × q/p) = 2 等号成立はp=qのとき したがって p=qのとき, 最小値2 890 名前：１３２人目の素数さん mailto:sage [2017/09/08(金) 10:18:27.56 ID:p1NQ0XTB.net] 誘導がね 891 名前：￥ mailto:sage [2017/09/08(金) 10:59:55.89 ID:6ibQhXIy.net] ￥ 892 名前：￥ mailto:sage [2017/09/08(金) 11:00:14.43 ID:6ibQhXIy.net] ￥ 893 名前：￥ mailto:sage [2017/09/08(金) 11:00:31.52 ID:6ibQhXIy.net] ￥ 894 名前：￥ mailto:sage [2017/09/08(金) 11:00:49.19 ID:6ibQhXIy.net] ￥ 895 名前：￥ mailto:sage [2017/09/08(金) 11:01:06.66 ID:6ibQhXIy.net] ￥ 896 名前：￥ mailto:sage [2017/09/08(金) 11:01:22.99 ID:6ibQhXIy.net] ￥ 897 名前：￥ mailto:sage [2017/09/08(金) 11:01:40.71 ID:6ibQhXIy.net] ￥ 898 名前：￥ mailto:sage [2017/09/08(金) 11:02:04.39 ID:6ibQhXIy.net] ￥ 899 名前：￥ mailto:sage [2017/09/08(金) 11:02:21.18 ID:6ibQhXIy.net] ￥ 900 名前：￥ mailto:sage [2017/09/08(金) 11:03:04.63 ID:6ibQhXIy.net] ￥ 901 名前：１３２人目の素数さん [2017/09/08(金) 11:56:43.67 ID:judDWqHk.net] (1)tan1°は超越数か？ そうでなければ最低何次の有理数係数の多項式の解になるか (2)(tan1°)^20は無理数であることを証明せよ 902 名前：￥ mailto:sage [2017/09/08(金) 12:00:24.08 ID:6ibQhXIy.net] ￥ 903 名前：￥ mailto:sage [2017/09/08(金) 12:00:40.52 ID:6ibQhXIy.net] ￥ 904 名前：￥ mailto:sage [2017/09/08(金) 12:00:58.56 ID:6ibQhXIy.net] ￥ 905 名前：￥ mailto:sage [2017/09/08(金) 12:01:15.94 ID:6ibQhXIy.net] ￥ 906 名前：￥ mailto:sage [2017/09/08(金) 12:01:33.89 ID:6ibQhXIy.net] ￥ 907 名前：￥ mailto:sage [2017/09/08(金) 12:01:51.30 ID:6ibQhXIy.net] ￥ 908 名前：￥ mailto:sage [2017/09/08(金) 12:02:10.01 ID:6ibQhXIy.net] ￥ 909 名前：￥ mailto:sage [2017/09/08(金) 12:02:29.10 ID:6ibQhXIy.net] ￥ 910 名前：￥ mailto:sage [2017/09/08(金) 12:02:53.75 ID:6ibQhXIy.net] ￥ 911 名前：￥ mailto:sage [2017/09/08(金) 12:03:13.62 ID:6ibQhXIy.net] ￥ 912 名前：1３２人目の素数さん [2017/09/08(金) 13:02:50.76 ID:yJsxuIEN.net] a,b,cをa=b+cである正の整数とするとき Σ[n=0〜∞]{1/(an+b)^2+1/(an+c)^2}={π/(asin(πb/a))}^2 が成り立つことを示せ 913 名前：￥ mailto:sage [2017/09/08(金) 13:08:14.84 ID:6ibQhXIy.net] ￥ 914 名前：￥ mailto:sage [2017/09/08(金) 13:08:34.54 ID:6ibQhXIy.net] ￥ 915 名前：￥ mailto:sage [2017/09/08(金) 13:08:51.28 ID:6ibQhXIy.net] ￥ 916 名前：￥ mailto:sage [2017/09/08(金) 13:09:07.94 ID:6ibQhXIy.net] ￥ 917 名前：￥ mailto:sage [2017/09/08(金) 13:09:26.53 ID:6ibQhXIy.net] ￥ 918 名前：￥ mailto:sage [2017/09/08(金) 13:09:43.78 ID:6ibQhXIy.net] ￥ 919 名前：￥ mailto:sage [2017/09/08(金) 13:10:00.37 ID:6ibQhXIy.net] ￥ 920 名前：￥ mailto:sage [2017/09/08(金) 13:10:16.91 ID:6ibQhXIy.net] ￥ 921 名前：￥ mailto:sage [2017/09/08(金) 13:10:34.84 ID:6ibQhXIy.net] ￥ 922 名前：￥ mailto:sage [2017/09/08(金) 13:10:55.53 ID:6ibQhXIy.net] ￥ 923 名前：１３２人目の素数さん mailto:sage [2017/09/08(金) 18:20:24.88 ID:Xvh/PpT+.net] >>868 {(n-1)/n}^n = e^{-1 -1/(2n）-1/(3nn）-1/(4n^3）+ …｝ < 1/e, (n-1)^n / n^(n-1) =（n/e）e^{-1/(2n）-1/(3nn）+ …｝ < n/e, 924 名前：￥ mailto:sage [2017/09/08(金) 18:25:16.34 ID:6ibQhXIy.net] ￥ 925 名前：￥ mailto:sage [2017/09/08(金) 18:25:35.75 ID:6ibQhXIy.net] ￥ 926 名前：１３２人目の素数さん mailto:sage [2017/09/08(金) 18:25:51.27 ID:Xvh/PpT+.net] >>868 (n-1)^n / n^(n-1）<（n - 1/2)/e を示せ。 ぢゃね？ 927 名前：￥ mailto:sage [2017/09/08(金) 18:25:53.22 ID:6ibQhXIy.net] ￥ 928 名前：￥ mailto:sage [2017/09/08(金) 18:26:11.32 ID:6ibQhXIy.net] ￥ 929 名前：￥ mailto:sage [2017/09/08(金) 18:26:28.01 ID:6ibQhXIy.net] ￥ 930 名前：￥ mailto:sage [2017/09/08(金) 18:26:45.71 ID:6ibQhXIy.net] ￥ 931 名前：￥ mailto:sage [2017/09/08(金) 18:27:02.92 ID:6ibQhXIy.net] ￥ 932 名前：￥ mailto:sage [2017/09/08(金) 18:27:21.17 ID:6ibQhXIy.net] ￥ 933 名前：￥ mailto:sage [2017/09/08(金) 18:27:39.05 ID:6ibQhXIy.net] ￥ 934 名前：￥ mailto:sage [2017/09/08(金) 18:28:03.95 ID:6ibQhXIy.net] ￥ 935 名前：￥ mailto:sage [2017/09/08(金) 18:28:21.86 ID:6ibQhXIy.net] ￥ 936 名前：￥ mailto:sage [2017/09/08(金) 18:28:39.20 ID:6ibQhXIy.net] ￥ 937 名前：１３２人目の素数さん mailto:sage [2017/09/09(土) 12:24:23.47 ID: ] [ここ壊れてます] 938 名前：XnQE3OqS.net mailto: >>886 面白い問題というより、むしろ、何かつまらないな。 余りよろしくありません。そう感じるのは気のせいですかね。 [] [ここ壊れてます] 939 名前：１３２人目の素数さん [2017/09/09(土) 13:49:24.63 ID:rohOwJh1.net] >>922 気のせい 940 名前：￥ mailto:sage [2017/09/09(土) 14:04:27.74 ID:RUcvU26A.net] ￥ 941 名前：１３２人目の素数さん mailto:sage [2017/09/09(土) 14:33:13.11 ID:SoNY1DX2.net] 【問題】 ある正の整数Nは,10％増にすると,その各桁の数字の和が9.99％減になる. そのような最小のNの桁数を求めよ. 942 名前：￥ mailto:age [2017/09/09(土) 14:56:27.41 ID:RUcvU26A.net] ￥ 943 名前：１３２人目の素数さん mailto:sage [2017/09/09(土) 22:57:40.99 ID:FXdYbqUA.net] >>925 明記されてないが、10％増されたものも整数であるとして考える。 Nの各桁の数字の和をKとすると、 1.1Nも0.9001Kも整数なので、N=10n，K=10000k（n,kは自然数）とおける。 mod 9において、10n≡10000k，11n≡9001kより、n≡k≡0が言えるので、 kは9の倍数で，k=9x（xは自然数）とおける。そのとき， 1.1N=10n+nであり，10n，nの各桁の数字の和はいずれも90000x， 1.1Nの各桁の数字の和は9001k=81009xなので， 10進法の筆算で10nとnの和を求める際に繰り上がりが発生する回数をcとすると 81009x = 90000x+90000x-9c となり、c=10999x ここで、xは自然数なので、c≧10999 cは高々nの桁数なので、nの桁数の最小値は10999 よって、Nの桁数の最小値は11000 なお、そのような最小のNは、11000桁の数であり、 左端から1998桁は909090…を繰り返し、その後9001桁は全て9で、 右端（一の位）が0となる数であり N = (10^11001 + 10^9002)/11 - 10 1.1Nは11001桁の数であり、 左端は1，その後0が1999個，9が8999個続き，下2桁は89 944 名前：１３２人目の素数さん mailto:sage [2017/09/09(土) 23:19:13.91 ID:SoNY1DX2.net] >>927 正解です。 たしかに10%増の数が整数であることを明記していませんでした。すみません。 945 名前：１３２人目の素数さん mailto:sage [2017/09/10(日) 03:10:14.33 ID:GGGugCiK.net] >>897 オイラーの無限乗積表示 　sin(x）= x Π[n=1，∞］｛1 -（x/nπ)^2}, を使う。 0< θ < π のとき 　sin(x+θ）= sinθ Π[n=0，∞］{1 + x/(nπ+θ)}{1 - x/(nπ+π-θ)}, f(x）= log｜sin(x+θ)｜= log｜x｜+ 納n=0,∞］｛log|1 + x/(nπ+θ)｜+ log|1 -x/(nπ+π-θ)｜} とおく。 f "(0）を計算すると、 - 1/(sinθ)^2 = -納n=0，∞］｛1/(nπ+θ)^2 + 1/(nπ+π-θ)^2}, これに θ=πb/a を入れる。 946 名前：１３２人目の素数さん mailto:sage [2017/09/10(日) 03:26:48.96 ID:GGGugCiK.net] >>929 訂正 f（x）= log｜sin(x+θ)｜= log｜sinθ｜+ Σ［n=0，∞］｛log｜1 + x/(nπ+θ)｜+ log｜1 - x/(nπ+π-θ)｜} とおく。 947 名前：１３２人目の素数さん mailto:sage [2017/09/10(日) 13:52:38.07 ID:q2lf6Btc.net] 【問題】 とある島に5台の同じ飛行機がある.これら全部の飛行機が目標となる別の島に行くことを考える. 飛行機は燃料を満タンにすると,1単位距離を飛べる.このとき,飛行機は一定速度で飛び,燃料は一定割合で消費する. 両方の島に燃料やパイロットが十分そろっているとき,目標地点までの最大距離を求めよ. ただし,燃料給油は即座に行うことができ,地上給油だけでなく飛行機から飛行機への空中給油も可能である. 【例】 飛行機が2台あったら,2台とも4/3単位距離だけ離れた島まで行ける. 飛行機p_1とp_2が飛び立ち,1/3進んだところでp_2からp_1へ1/3だけ空中給油する.p_2は引き返す. p_1は満タンになって1単位距離を飛び,目標の島に着く.p_2は地上で満タンに給油し再び出発する. p_1は� 948 名前：ﾚ標の島で満タンにして1/3引き返す.そこでp_1がp_2に1/3だけ給油する. そして両者そろって目標の島に到着する. [] [ここ壊れてます] 949 名前：１３２人目の素数さん mailto:sage [2017/09/10(日) 14:49:04.63 ID:GGGugCiK.net] >>886 (1) 「tan(1ﾟ）は5次方程式 t^5 -5at^4 -10t^3 +10at^2 +5t -a = 0（a=0.087488663525924…）の根だよ。」 「aって何？」 「a は3方程式 a^3 -3ba^2 -3a +b = 0（b=0.2679492…）の根だよ。」 「bって何？」 「b は2次方程式 bb-4b+1 = 0 の根（2-√3）だよ。」 「てぇことは、tは30次方程式の根か？」 950 名前：１３２人目の素数さん mailto:sage [2017/09/10(日) 17:32:06.00 ID:zLS0WX3O.net] ある直角三角形は辺の長さが全て整数で、外接円と内接円の半径が素数であるという。 この三角形を解け。 951 名前：１３２人目の素数さん mailto:sage [2017/09/10(日) 19:06:14.10 ID:kwKQnjaH.net] >>933 a^2+b^2=c^2を満たす互いに素なピタゴラス数(a,b,c)は、 a,bのどちらかが偶数で他は奇数なので、bを偶数とすると 違いに素な２つの自然数m,n（ただし、どちらかは偶数で、m>n）を用いて (a,b,c)=(m^2-n^2, 2mn, m^2+n^2)と表される。 直角三角形の外接円の半径は斜辺の長さの半分であり、それが整数となるためには 斜辺が偶数でなくてはならないので、求める直角三角形の３辺を (2k(m^2-n^2), 4kmn, 2k(m^2+n^2))とおくことができる。（kは自然数） このとき、内接円の半径は r=2k(m^2-n^2)*4kmn/(2k(m^2-n^2)+4kmn+2k(m^2+n^2))=2kn(m-n)となり、 これが素数なので、k=n=m-n=1 ∴(m,n,k)=(2,1,1) よって３辺は(6,8,10)，R=5，r=2 952 名前：１３２人目の素数さん [2017/09/11(月) 03:26:42.52 ID:E6E7YLOn.net] >>932 不正解 もっと次数は少なく出来ます 953 名前：１３２人目の素数さん mailto:sage [2017/09/11(月) 09:39:25.72 ID:rDwKsRjX.net] >>935 x=cosθとして cos(nθ)を表すxの多項式をT_n(x)とする（n次のチェビシェフの多項式）と、 (2*T_60(x)-1)/(2*T_12(x)-1)で表される48次の多項式は cos n°（nは180未満の自然数で、2,3,5を素因数として持たない）を根として持つ。 また、(2*T_60(x)-1)/(2*T_12(x)-1)はX=x^2とするとXの24次の多項式となるので それをf(X)とすると、Xは(cos1°)^2を根として持つ。 tan1°=αとおくと (cos1°)^2=1/(α^2+1)となるので、 f(1/(α^2+1))*(α^2+1)^24で表される48次の多項式はtan1°を根として持つ。 954 名前：１３２人目の素数さん mailto:sage [2017/09/11(月) 09:42:20.05 ID:rDwKsRjX.net] 誤：Xは(cos1°)^2を根として持つ。 正：f(X)は(cos1°)^2を根として持つ。 955 名前：１３２人目の素数さん mailto:sage [2017/09/11(月) 11:50:59.67 ID:DwdMHImO.net] >>923 tan(1°) の有理数係数の最小多項式については、tanx の3倍角の公式を具体的に求めてから、 頂角36°、底角72°、底辺の長さが1の二等辺三角形を考えて tan(18°) の値を求めれば、 汚い方法だけど tan(9°)、tan(3°)、tan(1°)、 の具体的値をその順に求められる。 X=tan(1°) の具体的値が求まれば、Xの有理数係数の最小多項式も具体的に求まる。 後は、その次数を確認すればいい。また、tan(1°)、(tan(1°))^20 が代数的無理数であることも分かる。 まあ、問題文を見たときつまらない問題だと思ったが、考えたら面白い部分はあった。 956 名前：１３２人目の素数さん [2017/09/11(月) 12:08:03.62 ID:UigVogsj.net] >>938 ホントに最小であることの証明は？ 957 名前：１３２人目の素数さん mailto:sage [2017/09/11(月) 12:13:10.05 ID:DwdMHImO.net] >>939 具体的値として求められた tan(1°) がベキ根を含む汚い式になるから、 X＝tan(1°) とおいてそのベキ根を消して行けばいいだけ。 958 名前：１３２人目の素数さん [2017/09/11(月) 12:16:32.12 ID:UigVogsj.net] それで証明になるの？ 959 名前：１３２人目の素数さん mailto:sage [2017/09/11(月) 12:27:46.09 ID:DwdMHImO.net] >>941 このやり方に不満があるなら、より小さい次数の最小多項式 f(X) があったとして、 f( tan(1°) ) を計算して、有理数体Q上線型独� 960 名前：ｧなベキ根についての線型代数の問題に帰着させればいい。 [] [ここ壊れてます] 961 名前：１３２人目の素数さん mailto:sage [2017/09/11(月) 15:50:26.40 ID:JgHCy0pJ.net] 和算の問題です。 大円1個、中円1個、小円2個あります。 大円に1点で中円が接し、小円は、中円と大円にそれぞれ接して います。 いま大円の面積より、中円と小円の面積を引いた残りが 120で、中円と小円の径の差が5の時、大円、中円、小円の 半径はいくつでしょう。 962 名前：１３２人目の素数さん [2017/09/11(月) 20:01:58.78 ID:afSTrbh7.net] >>936 30より小さいんだから48はもちろん不正解 >>938 体論使えばもっとすぐに言えます 大ヒントとしてまず Q(tan1°,i)=Q(e^(πi/90))を示します 963 名前：１３２人目の素数さん [2017/09/11(月) 20:03:00.50 ID:afSTrbh7.net] あとはQ(tan1°)のQからの拡大次数を求めればいいだけ 964 名前：１３２人目の素数さん mailto:sage [2017/09/11(月) 20:37:52.72 ID:tiqmnpO+.net] 「30」と「48」が出てるんだから、tan1°の最小多項式の次数を d とすれば、 d は 30 と 48 を割り切るので、d＝1,2,3,6 に絞られる。 このあとどうするかは知らんが、 泥臭く確かめていくだけでも何とかなるんじゃないの。 965 名前：１３２人目の素数さん mailto:sage [2017/09/11(月) 20:42:03.50 ID:tiqmnpO+.net] いや、多項式が多項式で割り切れても、 次数が次数で割り切れることにはならんか >>946は撤回。すまん 966 名前：１３２人目の素数さん [2017/09/11(月) 21:59:48.93 ID:UigVogsj.net] >>942 >f( tan(1°) ) を計算して 0 967 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 02:36:16.24 ID:UWqvzo4B.net] >>948 すぐ分かる書き間違いは指摘しなくていい。 f( tan(1°) )＝0 は当たり前。 968 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 04:38:33.30 ID:YsdDbYfo.net] >>938 「tan(1ﾟ）は3次方程式 t^3 -3ct^2 -3t +c =0（c=0.05240778…）の根だよ。」 「cって何？」 「c は3次方程式 c^3 -3dc^2 -3c +d =0（d=0.15838444…）の根だよ。」 「dって何？」 「d は2次方程式 d^2 +（2/e)d -1 =0（e=0.3249197…）の根だよ。」 「eって自然対数の底？」 「いや、4次方程式 e^4 -2e^2+（1/5）=0 の根（√{1-√(4/5)}）だよ。」 「てぇことは、tは72次方程式の根ぢゃね？」 969 名前：１３２人目の素数さん [2017/09/12(火) 07:26:55.13 ID:3wN9Amg+.net] >>949 では証明を 970 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 08:09:52.83 ID:UWqvzo4B.net] >>951 tan(1°)は代数的無理数である。よって、>>942に注意すると、或る自然数 n≧2 が存在して、 f(X) は tan(1°) についてのn次の有理係数の最小多項式となる。 定義から、f(X) は tan(1°) を根に持つから、f( tan(1°) )＝0。 971 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 08:19:30.36 ID:UWqvzo4B.net] >>944-945 まあ、皆様で最小多項式の次数については考えて下さい。 興味があったのは、(tan(1°))^20 が代数的無理数であることを示す方法の方でしたから。 972 名前：１３２人目の素数さん [2017/09/12(火) 08:43:46.27 ID:3wN9Amg+.net] >>952 最小であることの証明 973 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 08:53:14.83 ID:UWqvzo4B.net] >>954 まだ最小次数は見つけていないし、昨日行った私のやり方では 泥臭い式が沢山出て来た。昨日の方法はここに書く気がない。 最小性の証明は皆様でやって頂きたい。 974 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 09:54:47.56 ID:UWqvzo4B.net] >>954 >>955の最小次数は次数な。 まあ、昨日のやり方を整理して少しは簡潔にするというかきれいにすることは出来るが、 それでも汚い式が沢山出て来ることは避けられない。 975 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 09:57:47.46 ID:UWqvzo4B.net] 一応、有理係数の最小多項式 f(X) の次数のことな。 976 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 14:34:59.66 ID:+ocRKCRob] https://www.fastpic.jp/images.php?file=2758892871.png https://www.fastpic.jp/images.php?file=0800823259.png 977 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 15:55:29.56 ID:YsdDbYfo.net] >>952-957 H大の人でつか？ R学部はプラセボ薬で儲けた人の研究所を引き継いだプラセボ学部ですよ。 978 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 16:05:04.18 ID:YsdDbYfo.net] >>959 プラセボというのは、理解できないけれども、何らかの効果はあり得るってことです。 全知全能の人なんていませんからね。 979 名前：１３２人目の素数さん mailto:sage [2017/09/12(火) 17:15:36.98 ID:UWqvzo4B.net] >>959-960 >>959の方を国語で書きましょう。 H大？　R学部？　何だそれ。 980 名前：１３２人目の素数さん mailto:sage [2017/09/13(水) 06:01:40.42 ID:KCTM05Fh.net] >>155 亀レスだがこれ簡単な仕方がある A_0が入ってる立方体を更に細かくして、一辺a/2の小立方体（とよぶ）8つとみなす。 すると、1つの小立方体には2つの頂点に原子が位置している。 だから、各小立方体のうち半分づつがD_0になる。 (1/8)a^3×(1/2)×8=a^3/2 まあカルマの解法を多少精密に説明し直しただけだが、これで数学的には十分だろう。 小立方体内でD_0とD_0じゃないとこの境界面は正六角形になることは知っておくとよいが、それはこの際使ってないや。 981 名前：１３２人目の素数さん mailto:sage [2017/09/13(水) 06:11:59.92 ID:KCTM05Fh.net] 簡単な理解の仕方、というべきか（勿論、数学的正確さも保っての） 982 名前：１３２人目の素数さん mailto:sage [2017/09/13(水) 07:24:47.26 ID:KCTM05Fh.net] 問題 θ_n=2π/n ζ_n=cosθ_n+√(-1)sinθ_n p:奇素数 tanθ_p と √-1 と有理数を有限回加減乗除して ζ_(4p) をつくれ 983 名前：１３２人目の素数さん mailto:sage [2017/09/13(水) 11:06:34.36 ID:yzVhvrGO.net] >>155 有名だからわざわざ書くまでもない気が するが、一応書いておきます。 どの原子に着目しても、 その原子から見た他の原子の配置は同じ。 立方体の中心にある原子たちを結べば 新たな立方格子が得られ、 元の立方体の頂点の原子たちは、 新たな立方体の中心に位置するからである。 換言すれば、この無限に広がる格子は、 ある原子を他の原子に重なるような 平行移動に関する対称性を持つ。 したがって、着目した原子が最も近い原子で あるような空間内の点の集合である領域は、 どの原子に関しても合同である。 1 つの立方体には、各頂点に計 8 個、 中心に 1 個の原子が属する。 各頂点の原子は、同時に 8 つの立方体に 属するから、1 つの立方体への寄与は 原子の数で計 (1/8)*8 = 1 個分。 中心の原子はその立方体にのみ属するから、 寄与は原子 1 個分。 よって、ある立方体（体積 a^3）には 原子 2 個が属していると考えられるから、 原子 1 個あたりの寄与は (a^3)/2。 これが求める体積である。 984 名前：１３２人目の素数さん mailto:sage [2017/09/13(水) 11:26:55.28 ID:yzVhvrGO.net] 立体の形を考えるのも楽しいと思う。 すぐ上にあるけど、正六角形8枚と 正方形6枚からできる準多面体。 985 名前：１３２人目の素数さん mailto:sage [2017/09/13(水) 11:28:44.32 ID:yzVhvrGO.net] >>966 図示してみると、 これで体積が (a^2)/2 なのか！ と、少し驚くかも。 （もっと大きいように見える） 986 名前：１３２人目の素数さん [2017/09/13(水) 11:36:29.24 ID:COj91p3j.net] >>965 なるほど 987 名前：１３２人目の素数さん mailto:sage [2017/09/15(金) 04:32:42.05 ID:kh+vJCky.net] >>964 作らなきゃしょうがねぇな... pは奇数だから、pp-1 は 8の倍数。 pp -1 = 8m, 一方 p ≡ ±1　（mod 4）ゆえ pp ≡ ±p　　　mod（4 p) よって ±p -1 ≡ 8m　（mod 4p) ζ_(4p）=（ζ_4）^(±1)･｛ζ_(4p)}^(-8m）=｛√(-1)}^(±1)･｛ζ_(4p)^(-8)}^m, また、 ｛ζ_(4p)}^(-8）=（ζ_p)^(-2）=｛1 - √(-1）tan(θ_p)}/{1 + √(-1）tan(θ_p)}, かな。 *　 988 名前：定義より　｛ζ_(4p)}^p = ζ_4 = √(-1)，｛ζ_(4p)}^4 = ζ_p, [] [ここ壊れてます] 989 名前：１３２人目の素数さん mailto:sage [2017/09/15(金) 16:27:01.57 ID:zJaCTJCL.net] >>931を少し改題 【問題】 とある島にn台の同じ飛行機がある。これら全部の飛行機が目標となる別の島に行くことを考える。 飛行機は燃料を満タンにすると1単位距離を飛べる。このとき飛行機は一定速度で飛び、燃料は一定割合で消費する。 また、両方の島には燃料やパイロットが十分そろっており、燃料給油は即座に行うことができる。 この燃料給油は地上給油だけでなく、飛行機から飛行機への空中給油も可能である。 目標となる島までの最大距離D_nを求めよ。また、lim[n→∞]D_nを求めよ。 990 名前：１３２人目の素数さん [2017/09/15(金) 17:06:40.58 ID:LiOs3mOD.net] 日本語がおかしい 991 名前：１３２人目の素数さん mailto:sage [2017/09/16(土) 02:25:36.87 ID:SrzKiM05.net] >>931 >>970 飛行機がn機あるとき 飛行機 p_1 〜 p_n が一斉に飛び立ち、その後 1/(n+1）距離単位進む毎に、１機が残り全機に 1/(n+1）ずつ空中給油したのち引き返す。 給油された直後は満タンになる。 　最後に残ったp_n は（n-1)/(n+1）距離単位で満タンになった後、１距離単位を飛んで、 D_n = 2n/(n+1）距離単位に到達する。 これでp_nは渡ることができました。 残りの n-1 機も首尾よく渡れるでしょうか？（つづく） 992 名前：１３２人目の素数さん mailto:sage [2017/09/16(土) 02:53:30.40 ID:dpWpE9hD.net] >>969 正解！ うまいね！ こちらが最初に考えた解法は長すぎた。 [step 1] 2k≡1 (mod p) なる正整数kを用いると tan(kθ_p)=tan(2kπ/p)=tan(π/p)=tan(θ_2p) tanのk倍角公式は加法定理を繰り返すことで得られ、有理式。 即ちある有理式F(x)があって tan(θ_2p)=tan(kθ_p)=F(tan(θ_p)) cosθ_p=2cos^2(θ_2p)-1 =2/{1+tan^2(θ_2p)}-1 =2/{1+F(tan(θ_p))^2}-1 [step 2] ζ_p=(cosθ_p)(1+√(-1)tanθ_p) [step 3] 整数a,bがあり 4a+pb=1 だから ζ_(4p)=(ζ_4)^b(ζ_p)^a=(√-1)^b(ζ_p)^a 993 名前：１３２人目の素数さん mailto:sage [2017/09/16(土) 03:06:34.40 ID:SrzKiM05.net] >>931 >>970 k機目 こちら側に（n+1-k）機、向こう側に k-1 機ある。 こちらの（n+1-k）機は一斉に離陸し、 1/(n+1）、2/(n+1）、…、（n-k)/(n+1）距離単位で 1/(n+1）ずつの空中給油を受け、　（←お見送り） 次に１距離単位を飛び、 （2n+1-k)/(n+1）、･･･、（2n-1)/(n+1）距離単位で 1/(n+1）ずつの空中給油を受け、　（←お出迎え） D_n = 2n/(n+1）距離単位に到達する。 994 名前：１３２人目の素数さん mailto:sage [2017/09/16(土) 03:37:50.57 ID:SrzKiM05.net] >>974 2機目以後はチョト怖いですな。 お見送りの方はともかく、お出迎えのタイミングが少しでも遅れると即ガス欠ですからな。 「疾風」とか「桜花」（Baka bomb）なんかで逝くんですかね。 995 名前：１３２人目の素数さん [2017/09/16(土) 18:56:31.60 ID:qW9gqsGC.net] cos(n°)が√と有理数の四則演算で表すことのできる自然数nを全て求めよ 996 名前：１３２人目の素数さん mailto:sage [2017/09/16(土) 19:37:11.16 ID:TT0KDfsj.net] 二乗根のみ？ 997 名前：１３２人目の素数さん mailto:sage [2017/09/16(土) 22:11:40.58 ID:dpWpE9hD.net] 二乗根のみだとすれば 0＜n＜360 として 正 360/gcd(360,n) 角形の作図可能性に言い換えられるんじゃない？ 998 名前：１３２人目の素数さん mailto:sage [2017/09/16(土) 22:42:35.69 ID:dpWpE9hD.net] gcd(360,n)=2^a 3^b 5^c なら 360/gcd(360,n)=2^(3-a) 3^(2-b) 5^(1-c) だから 作図可能 ⇔ (2-b≦1 and 1-c≦1) ⇔ 1≦b つまり nが3の倍数ならOK nが3の倍数でなければNG かな 999 名前：１３２人目の素数さん mailto:sage [2017/09/16(土) 22:43:06.92 ID:+ReladGy.net] 四則演算を有理数にしか行ってはならないとすると著しくハードルが高いなw 1000 名前：１３２人目の素数さん [2017/09/17(日) 01:49:08.82 ID:k/sLYgaV.net] >>978 同値？なんで？ 1001 名前：１３２人目の素数さん [2017/09/17(日) 04:28:02.24 ID:jHNAUDtd.net] あかさたなはまやらわ あかさたなはまやらわ 1002 名前：１３２人目の素数さん mailto:sage [2017/09/17(日) 05:23:20.46 ID:8YPByAqq.net] >>974 k機目は 1/(n+1）ぢゃなくて 1/(n+2-k）になる希ガス。 1003 名前：１３２人目の素数さん mailto:sage [2017/09/17(日) 13:31 ] [ここ壊れてます] 1004 名前：:14.62 ID:CVP8DIfe.net mailto: >>981 平面上定木とコンパスで作図可能な点の座標になるような実数の全体をDとすると 実数r∈Rについて r∈D ⇔ rは有理数に四則と平方根を繰り返し行って作れる数である (√の中に√を入れる事も認める) 事が知られている cost が作図可能 ⇔単位円と直線x=costの交点(cost,sint)が作図可能 ⇔(1,0),(cost,sint)を頂点にもち単位円に内接する正k角形(k≧1)でkが最小のもの(あれば)の頂点が全て作図可能 t=n゜(nが整数)なら それが正 360/gcd(360,n) 角形 但し「正1角形の全ての頂点」とは{(1,0)}, 「正2角形の全ての頂点」とは{(1,0),(-1,0)} の事とし、「正1,2角形」とは何ぞや？については考えない。 n=180とかで正2角形になる [] [ここ壊れてます] 1005 名前：１３２人目の素数さん [2017/09/17(日) 13:33:36.65 ID:k/sLYgaV.net] >>984 >⇔(1,0),(cost,sint)を頂点にもち単位円に内接する正k角形(k≧1)でkが最小のもの(あれば)の頂点が全て作図可能 ここは同値？ 1006 名前：１３２人目の素数さん mailto:sage [2017/09/17(日) 17:58:13.10 ID:zcDc08fE.net] 自力ではまだ解決できてないけど一応投稿しておくことにする 次の条件を全て満たす実数αは存在するか： ･αは無理数 ･αを3進展開しても4進展開しても、各桁には0または1しか現れない 1007 名前：１３２人目の素数さん mailto:sage [2017/09/17(日) 19:00:02.49 ID:yQpGxA+8.net] 数論の問題は簡単に作れる割に面白いものは滅多に見つからない 1008 名前：１３２人目の素数さん mailto:sage [2017/09/17(日) 23:09:11.03 ID:CVP8DIfe.net] >>985 (cost,sint)が作図可能なら 整数mに対する(cosmt,sinmt)は作図できる t(弧度法):2π が有理数比 (⇔ t(度数法):360 が有理数比)なら {(cosmt,sinmt)|m∈Z}は有限個の点しかもたず、かつ円周上に等間隔に並ぶ。これが正多角形の頂点。 具体的にはt/2πを既約分数で表したらその分母が点の数。 無理数比なら {(cosmt,sinmt)|m∈Z}は無限個の点をもち、正多角形を考えられない 1009 名前：216 mailto:sage [2017/09/21(木) 10:06:50.45 ID:KRTMaobw.net] >>216の(4) aa/(2abb-bbb+1)が自然数となるような自然数の組 【解答】 aa/(2abb-bbb+1)が自然数nになるとする。 (I)　b=1のとき (与式の分母)=2aで偶数だから、(与式の分子)=aaも偶数。よってaは偶数。 自然数kを用いてa=2kとおける。 (II)　b≧2のとき aa-(2bbn)a+((bbb-1)n)=0 aについて解くと a=bbn±√(bbbbnn-bbbn+n) 明らかにbbbbnn-bbbn+n>0で√の中身は正だから、2解は共に実数である。 また、(2解の和)=2bbn>0、(2解の積)=(bbb-1)n>0だから、2解は共に正である。 2解は共に正であり、2解の和は自然数だから、 2解の一方が自然数のとき、もう一方も自然数である。　…★ さて、(与式)>0、(与式の分子)>0より、(与式の分母)=bb(2a-b)+1>0 ∴2a-b≧0 (i)　2a-b=0のとき a=b/2, n=aa aは自然数だからbは偶数。自然数lを用いてb=2lとおけばa=l ★より、n=aa=llについてaはlの他に自然数解があるはずである。 a=bbn±√(bbbbnn-bbbn+n)=4llllll±√(16llllllll-8lllll+ll)=4llllll±(4llll-l)=l,8llll-l (ii)　2a-b≧1のとき (与式の分子)≧(与式の分母)よりaa≧bb(2a-b)+1 ∴aa≧bb+1>bb a,bは正だからa>b しかし、(2解の積)=(bbb-1)n、bbn+√(bbbbnn-bbbn+n)>bbnより bbn-√(bbbbnn-bbbn+n)<((bbb-1)n)/bbn<bであり、 bbn-√(bbbbnn-bbbn+n)<b<aはa=bbn-√(bbbbnn-bbbn+n)と矛盾。 以上より、(a,b)=(2k,1),(l,2l),(8llll-l,2l) これらは全て与条件を満たす。　■ 1010 名前：216 mailto:sage [2017/09/21(木) 10:07:35.69 ID:KRTMaobw.net] 【解説】 無数に解があるじゃないか（憤怒） 出典：IMO2003-2 1011 名前：216 mailto:sage [2017/09/21(木) 10:59:27.12 ID:9N6Yacjj.net] >>216の(5) ab-c, bc-a, ca-bが全て2の冪となるような自然数の組 【解答】 [補] 非負整数n 1012 名前：について n=0のとき、2^0=1≡1 mod 4 n=1のとき、2^1=2≡2 mod 4 n≧2のとき、2^n=(2^2)*(2^(n-2))≡0 mod 4 �@　a,b,cのうち少なくとも2つが等しいとき a=bとして一般性を失わない。aa-cとac-aが2の冪になるときを考える。 ac-a=a(c-1)よりa,c-1は共に2の冪である。非負整数α,γを用いてa=2^α, c=2^γ+1とおく。 aa-c=2^(2α)-2^γ-1が2の冪になるとき、[補]より4^α-2^γ-1≡-2^γ-1≡0,1,2 mod 4 ∴γ=0,1 γ=0のときaa-c=4^α-2≡2 mod 4 これが2の冪になるのは[補]より4^α-2=2⇔α=1、このときa=b=2^1=2, c=2^0+1=2 γ=1のときaa-c=4^α-3≡1 mod 4 これが2の冪になるのは[補]より4^α-3=1⇔α=1、このときa=b=2^1=2, c=2^1+1=3 [] [ここ壊れてます] 1013 名前：216 mailto:sage [2017/09/21(木) 11:01:02.06 ID:9N6Yacjj.net] �A　a,b,cが相異なるとき a=1のとき、b-cとc-bは和が0だから両方が自然数になることはない。よってa≧2 同様にb≧2,c≧2 2≦a<b<cとして一般性を失わない。 相異なる非負整数δ,ε,ζを用いて bc-a=2^δ, ca-b=2^ε, ab-c=2^ζ とおく。 bc-a>ca-b>ab-cよりδ>ε>ζ (I)　a=2のとき (i)　ζ=0のとき ab-c=2^ζよりc=2b-1 ca-b=2^εより3b-2=2^ε、b≧3よりε≧3 ε=3のときb=10/3で不適。 ε=4のときb=6, c=2*6-1=11 ε≧5のとき、bc-a=2^δより 9*2^δ=9*(bc-a)=9*(2bb-b-2)=18bb-9b-18=(3b-2)(6b+1)-16=(2^ε)(2*2^ε+5)-16 で右辺は2^5=32で割りきれないから左辺はδ≦4。これはδ>ε>ζより不適。 (ii)　ζ≧1のとき ab-c=2^ζよりcは偶数、ca-b=2^εよりbは偶数。よって、bc-a=2^δの左辺は4を法として2と合同だから、[補]より右辺は2^1、δ=1。これはδ>ε>ζより不適。 1014 名前：216 mailto:sage [2017/09/21(木) 11:02:26.34 ID:9N6Yacjj.net] (II)　a≧3のとき 2^ε=ac-b>ac-c=c(a-1)≧2cより2^(ε-1)≧c ∴2^(ε-1)>b>a (i)　c≡0,2,3 mod 4のとき c-1は4で割りきれない。 2^δ+2^ε=(bc-a)+(ca-b)=(b+a)(c-1) ε<δより左辺は2^εで割りきれる。右辺の(c-1)は2で高々1回しか割りきれない。よって、右辺の(b+a)は2^(ε-1)で割りきれる。 b+a<2b<2*2^(ε-1)よりa+b=2^(ε-1) ac-b=2^ε=2(a+b)よりa+3b=ac-a 4b>a+3b=a(c-1)≧abより4b≧ab これとa≧3よりa=3 3+3b=3c-3⇔c=b+2 bc-a=2^δよりbb+2b-3=2^δ⇔(b+3)(b-1)=2^δ (b+3)と(b-1)は共に2の冪である。非負整数Β,β（Β>β）を用いてb+3=2^Β, b-1=2^βとおくと、辺々引いて4=(2^β)(2^(Β-β)-1) これを満たすのはβ=2,Β=3,b=5 よってc=5+2=7、これはc≡3 mod 4を満たす。 (ii)　c≡1 mod 4のとき c+1は4で割りきれない。 2^δ-2^ε=(bc-a)-(ca-b)=(b-a)(c+1) ε<δより左辺は2^εで割りきれる。右辺の(c+1)は2で高々1回しか割りきれない。よって、右辺の(b-a)は2^(ε-1)で割りきれる。 しかしb-a<b<2^(ε-1)より、これを満たす(b-a)はない。 1015 名前：216 mailto:sage [2017/09/21(木) 11:03:53.49 ID:9N6Yacjj.net] 以上より、(a,b,c)は (2,2,2)、(2,2,3)の並べかえ3組、(2,6,11)の並べかえ6組、(3,5,7)の並べかえ6組の計16組。 これらは全て与条件を満たす。　■ 【解説】 不等式による絞りこみ、因数分解と約数、合同式、場合分け、など整数問題の基本テクニックを総動員すれば解ける。 最後の解答を元の式に当てはめて上手くいくことを確認するのが気持ちいい。 出典：IMO2015-2 1016 名前：１３２人目の素数さん mailto:sage [2017/09/22(金) 12:18:25.78 ID:dxvc1idi.net] >>931 >>970 k機目が向こうに渡るとき 出発側に（n-k）機の補助機？があり、到着側に（k-1）機の補助機？がある。 そのお蔭で航続距離が 　出発側で（n-k)/(n-k+2）単位、 　到着側で（k-1)/(k+1）単位 だけ伸びる。　　　　　　　　　　　　　　　　>>972 よって、最大（n-k)/(n-k+2）+ 1 +（k-1)/(k+1）まで飛行可能 これは k⇔n+1-k について対称的で、kに対して上に凸。 　D_n = min｛　〃　｜1≦k≦n ｝= 2n/(n+1), 1017 名前：１３２人目の素数さん mailto:sage [2017/09/23(土) 05:34:49.52 ID:NoROM9hj.net] >>995 （n-k)/(n+2-k）+ 1 +（k-1)/(k+2）- 2n/(n+1） =（n-k)(k-1)(n+3)/{(n+1)(n+2-k)(k+1)｝ > 0 ∴　D_n = 2n/(n+1). 1018 名前：１３２人目の素数さん mailto:sage [2017/09/29(金) 00:11:24.28 ID:Zt0C2yXV.net] m,nを自然数とする。 ユークリッド空間上の関数f:R^n→R^mは、任意の凸集合を凸集合に移す。 この時、fは連続か。 1019 名前：１３２人目の素数さん [2017/09/29(金) 13:43:15.26 ID:JazCjdF4.net] >>997 連続とは限らない。 n=1の時、商群R/QからR^mへの全単射φを１つとれば、 f(x)=φ(π(x)) (ただしπ:R→R/Qは自然な射影) が反例になる。 nが1より大きい時は、例えばn=3なら f(x,y,z)=φ(π(x)) 等と定めればよい 1020 名前：１３２人目の素数さん [2017/09/29(金) 22:40:30.39 ID:oIFvV/UE.net] >>998 fが条件を満たす？ 1021 名前：１３２人目の素数さん mailto:sage [2017/09/30(土) 12:34:04.20 ID:56ihevWH.net] >>999 n=1の時、Rの凸集合といったら(広義の)区間しかない。つまり C=(a,b),(a,b],[a,b),[a,b]　(a≦b.ただし端点を含まない場合は∞や-∞になってもよい) のどれかになる。 もしCが一点か空集合ならf(C)も一点か空になる。 もしCが一点でも空でもなければ、ある開集合を含むため、CはR/Qのどの同値類とも交わりを持つ。したがってf(C)=R^m. よって、fは凸集合を凸集合に移す。 fが連続でないことの説明は省略。 nが1より大きい時、R^nの凸集合をx軸に射影したものはx軸上の凸集合になるから、 x軸への射影とn=1の場合のfを合成すれば求める関数が得られる。 1022 名前：１３２人目の素数さん mailto:sage [2017/09/30(土) 13:02:16.50 ID:x4DjcavF.net] 次スレ 面白い問題おしえて〜な 二十四問目 [無断転載禁止]©2ch.net rio2016.2ch.net/test/read.cgi/math/1502032053/ 1023 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 もう書けないので、新しいスレッドを立ててくださいです。。。 life time: 54日 17時間 18分 33秒 1024 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef