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

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/10 14:08 / Filesize : 162 KB / Number-of Response : 1025
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

面白い問題教えて～な 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/
2 名前：１３２人目の素数さん mailto:sage [2017/08/06(日) 19:47:16.51 ID:toVHuNxr.net]: >>1 もうお前に用はない

　 ○
　く|)へ
　　〉　ヾ○ｼ
￣￣７　ヘ/
　　/　ノ
　｜
　／
`｜
／
3 名前：￥ mailto:sage [2017/08/06(日) 19:49:38.58 ID:+CYdGQny.net]: ￥
4 名前：１３２人目の素数さん [2017/08/06(日) 19:55:51.37 ID:Yz98zcu8.net]: Σ(k=1;n)(k^4) - (n - 1)(n^4 + n^3 + n^2 + n)/5
=
aΣ(k=1;n)(k^3) + bΣ(k=1;n)(k^2) + cΣ(k=1;n)(k)
を満たす整数の組a,b,cを一つ求めよ。

(k=1;n)Σa_kは、k=1からnまでのa_kの総和を計算することを表す。

これの出題者だが、正解が出たのでこちらも解答を書いておく

両辺下降差分を取って、an³+bn²+cn
=n⁴-(n-1)(n⁴+n³+n²+n)/5+{(n-1)-1}{(n-1)⁴+(n-1)³+(n-1)²+(n-1)}/5
=n⁴-{n⁵-n-(n-1)⁵+(n-1)}/5
=2n³-2n²+n
∴n,n²,n³の線型独立性より、a=2,b=-2,c=1が必要
元の式にn=1を代入し、a+b+c=1より、元の式のn=1で成立
∴帰納的に、これが求めるべき解である
5 名前：１３２人目の素数さん [2017/08/06(日) 19:59:26.09 ID:AKzEBuhN.net]: 解答や細かいことはともかく、どこら辺が面白いの？
6 名前：１３２人目の素数さん mailto:sage [2017/08/07(月) 00:12:18.56 ID:y+VPlwP8.net]: 新スレに気づかなくて重複スレを立ててしまったけど赦して
↓は落とすなり25スレ目にするなり

面白い問題おしえて～な二十四問目 [無断転載禁止]©2ch.net
rio2016.2ch.net/test/read.cgi/math/1502032053/
7 名前：１３２人目の素数さん mailto:sage [2017/08/07(月) 00:12:53.14 ID:y+VPlwP8.net]: 積み残し

937 １３２人目の素数さん 2017/08/04(金) 14:40:03.29 ID:S6Ck6bY/
地球上の2地点A,B間を飛行機で移動する。このとき、飛行機がA,Bの両方より北側（高緯度側）を通るためのA,Bの位置関係を答えよ。
例えば東京とロンドンはこの位置関係にある（飛行機はロシア上空を通過する）。

地球は球と見なせるとし、飛行機は2地点間を最短距離で（大圏航路で）移動する。
また、球面上の2点を最短距離で結ぶ線は、球面をその中心を通る平面で切った円（大円）の弧になることが知られている。
8 名前：１３２人目の素数さん mailto:sage [2017/08/07(月) 00:16:50.46 ID:y+VPlwP8.net]: お詫びに1問

{1,2}
1, 2,2, 1,1, 2, 1, 2,2, 1, 2,2, 1,1, 2, 1,1, 2,2, 1, …

{1,3}
1, 3,3,3, 1,1,1, 3,3,3, 1, 3, 1, 3,3,3, 1,1,1, 3,3,3, …

{1,2,3}
1, 2,2, 3,3, 1,1,1, 2,2,2, 3, 1, 2, 3,3, 1,1, 2,2, …

などの数列に特徴的なことは何か？
{2,3}や{1,3,2}はどうなるか？
9 名前：１３２人目の素数さん mailto:sage [2017/08/07(月) 02:54:37.61 ID:OexVTj6Y.net]: >>8
その数列全体を{a_n}とする。
{a_n}を、同じ数字の連続をグルーピングして群数列とみなすと
各群の項の数字としては最初に与えられた数の並びが順に出現し
（例えば{1,2,3}であれば、各群の中身の数字は順に1,2,3,1,2,3…となっている）、
なおかつ第n群の項数がa_nとなっている。

{2,3}であれば、
2,2, 3,3, 2,2,2, 3,3,3, 2,2, 3,3, 2,2, 3,3,3, 2,2,2, 3,3,3, 2,2, 3,3, …
{1,3,2}であれば、
1, 3,3,3, 2,2,2, 1,1,1, 3,3, 2,2, 1,1, 3, 2, 1, 3,3,3, 2,2,2, 1,1, 3,3, 2, 1, …
10 名前：１３２人目の素数さん mailto:sage [2017/08/07(月) 04:52:44.23 ID:B0rMs8ty.net]: >>9
正解！
これは Kolakoski 数列
アマチュア数学者が提案して純粋数学の研究対象になった例
https://en.wikipedia.org/wiki/Kolakoski_sequence
https://oeis.org/A000002
11 名前：１３２人目の素数さん [2017/08/07(月) 08:43:59.43 ID:0YzkEl/p.net]: 耳栓をしたら世界が変わってワロタ
12 名前：１３２人目の素数さん [2017/08/07(月) 09:09:39.98 ID:YEwtlhYx.net]: 前スレで出た数列の問題ってどうなったんだ？
13 名前：￥ mailto:sage [2017/08/07(月) 09:12:22.33 ID:/rspiZFz.net]: ☆☆☆馬鹿板は数学徒の脳を腐らせる悪い板であり、そやし廃止してナシにすべき。☆☆☆

￥
14 名前：１３２人目の素数さん [2017/08/07(月) 15:11:12.25 ID:0YzkEl/p.net]: 耳栓をしたら世界が変わってワロタ
15 名前：１３２人目の素数さん [2017/08/08(火) 10:34:00.24 ID:clrkpnku.net]: 積み残し

ハンターと見えないうさぎが平面上でゲームを行う.
うさぎが最初にいる点 A_0 とハンターが最初にいる点 B_0 は一致している. n - 1 回のラウンドが終わった後, うさぎは点 A_(n-1) におり,ハンターは B_(n-1) にいる. n 回目のラウンドにおいて, 次の 3 つが順に行われる：
(i) うさぎは A_(n-1) からの距離がちょうど 1 であるような点 A_n に見えないまま移動する.
(ii) 追跡装置がある点 P_n をハンターに知らせる. ただし, P_n と A_n の距離が 1 以下であるということだけが保証されている.
(iii) ハンターは B_(n-1) からの距離がちょうど 1 であるような点 B_n に周りから見えるように移動する.
うさぎがどのように移動するかにかかわらず, またどの点が追跡装置によって知らされるかにかかわらず,
ハンターは 10^9 回のラウンドが終わった後に必ずうさぎとの距離を 100 以下にすることができるか
16 名前：￥ mailto:sage [2017/08/08(火) 10:48:53.58 ID:9qCDT2yP.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
17 名前：１３２人目の素数さん mailto:sage [2017/08/08(火) 12:02:34.79 ID:n5SuXDUb.net]: 今年のIMOの問題らしいが
そろそろ解説を
18 名前：￥ mailto:sage [2017/08/08(火) 12:21:59.41 ID:9qCDT2yP.net]: ￥
19 名前：￥ mailto:sage [2017/08/08(火) 13:13:04.73 ID:9qCDT2yP.net]: ￥
20 名前：￥ mailto:sage [2017/08/08(火) 13:13:19.76 ID:9qCDT2yP.net]: ￥
21 名前：￥ mailto:sage [2017/08/08(火) 13:13:35.72 ID:9qCDT2yP.net]: ￥
22 名前：￥ mailto:sage [2017/08/08(火) 13:13:51.13 ID:9qCDT2yP.net]: ￥
23 名前：￥ mailto:sage [2017/08/08(火) 13:14:07.14 ID:9qCDT2yP.net]: ￥
24 名前：￥ mailto:sage [2017/08/08(火) 13:14:22.53 ID:9qCDT2yP.net]: ￥
25 名前：￥ mailto:sage [2017/08/08(火) 13:14:38.61 ID:9qCDT2yP.net]: ￥
26 名前：￥ mailto:sage [2017/08/08(火) 13:14:57.70 ID:9qCDT2yP.net]: ￥
27 名前：￥ mailto:sage [2017/08/08(火) 13:15:14.50 ID:9qCDT2yP.net]: ￥
28 名前：１３２人目の素数さん [2017/08/08(火) 17:02:36.14 ID:BxhA6Gmx.net]: >>7
同じ緯度じゃないとどっちかより低緯度通るよ
29 名前：￥ mailto:sage [2017/08/08(火) 17:34:14.16 ID:9qCDT2yP.net]: ￥
30 名前：１３２人目の素数さん mailto:sage [2017/08/08(火) 17:37:34.27 ID:j9CMU+XE.net]: >>28
問題文は「A,B両方より高緯度側を通ることがある」ということね

東京（北緯35度）とメキシコシティー（北緯20度）
東京とリオデジャネイロ（南緯25度）
はこの位置関係にあるが

東京と大阪（北緯35度）
東京とブエノスアイレス（南緯35度）
はこの位置関係にない（東京より北は通らない）
31 名前：￥ mailto:sage [2017/08/08(火) 18:14:18.92 ID:9qCDT2yP.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
32 名前：１３２人目の素数さん [2017/08/08(火) 18:51:00.81 ID:fgRwNG9/.net]: >>30
ンじゃ2点を通る大円の短弧が子午線と直交するのが条件てことか
どういう位置関係って言えばいいんだろ
33 名前：１３２人目の素数さん [2017/08/08(火) 18:55:31.33 ID:fgRwNG9/.net]: Aを通ってAにおいて子午線に直交する大円で球面を2分した北極側にBがあればいいのかな
34 名前：１３２人目の素数さん [2017/08/08(火) 18:57:16.79 ID:fgRwNG9/.net]: お互いにそうなっている必要あるな
35 名前：￥ mailto:sage [2017/08/08(火) 19:04:11.66 ID:9qCDT2yP.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
36 名前：￥ mailto:sage [2017/08/08(火) 19:12:45.16 ID:9qCDT2yP.net]: ￥
37 名前：￥ mailto:sage [2017/08/08(火) 19:13:02.57 ID:9qCDT2yP.net]: ￥
38 名前：￥ mailto:sage [2017/08/08(火) 19:13:20.72 ID:9qCDT2yP.net]: ￥
39 名前：￥ mailto:sage [2017/08/08(火) 19:13:38.79 ID:9qCDT2yP.net]: ￥
40 名前：￥ mailto:sage [2017/08/08(火) 19:13:55.67 ID:9qCDT2yP.net]: ￥
41 名前：￥ mailto:sage [2017/08/08(火) 19:14:13.24 ID:9qCDT2yP.net]: ￥
42 名前：￥ mailto:sage [2017/08/08(火) 19:14:30.16 ID:9qCDT2yP.net]: ￥
43 名前：￥ mailto:sage [2017/08/08(火) 19:15:23.06 ID:9qCDT2yP.net]: ￥
44 名前：￥ mailto:sage [2017/08/08(火) 19:15:40.94 ID:9qCDT2yP.net]: ￥
45 名前：￥ mailto:sage [2017/08/08(火) 19:15:58.02 ID:9qCDT2yP.net]: ￥
46 名前：１３２人目の素数さん [2017/08/08(火) 19:21:12.57 ID:clrkpnku.net]: 仮にウサギがｙ軸上を１ずつ進むとします。追跡装置の方向にハンターが１動いてもｙの値は１未満になりどんどん差が開くのでハンターがｙ軸に平行に動く必要がありますが、ｙ軸は確定できないので、差が開く
なので必ずしも１００以下にはできない

どうでしょうか
47 名前：￥ mailto:sage [2017/08/08(火) 20:04:00.15 ID:9qCDT2yP.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
48 名前：１３２人目の素数さん [2017/08/08(火) 20:11:03.30 ID:fgRwNG9/.net]: >>46
ベストな戦略はPnの方向へ動くってことのはずだから
10^9回動いてPn中心半径99の円内に行けるかってことじゃないかな
49 名前：１３２人目の素数さん [2017/08/08(火) 20:11:26.90 ID:fgRwNG9/.net]: >>48
>ベストな戦略はPnの方向へ動くってことのはず
これが間違ってるかも知れん
50 名前：￥ mailto:sage [2017/08/08(火) 20:17:34.34 ID:9qCDT2yP.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
51 名前：￥ mailto:sage [2017/08/08(火) 21:46:25.75 ID:9qCDT2yP.net]: ￥
52 名前：￥ mailto:sage [2017/08/08(火) 21:46:43.34 ID:9qCDT2yP.net]: ￥
53 名前：￥ mailto:sage [2017/08/08(火) 21:47:00.72 ID:9qCDT2yP.net]: ￥
54 名前：￥ mailto:sage [2017/08/08(火) 21:47:16.20 ID:9qCDT2yP.net]: ￥
55 名前：￥ mailto:sage [2017/08/08(火) 21:47:33.30 ID:9qCDT2yP.net]: ￥
56 名前：￥ mailto:sage [2017/08/08(火) 21:47:49.69 ID:9qCDT2yP.net]: ￥
57 名前：￥ mailto:sage [2017/08/08(火) 21:48:06.76 ID:9qCDT2yP.net]: ￥
58 名前：￥ mailto:sage [2017/08/08(火) 21:48:24.11 ID:9qCDT2yP.net]: ￥
59 名前：￥ mailto:sage [2017/08/08(火) 21:48:39.70 ID:9qCDT2yP.net]: ￥
60 名前：￥ mailto:sage [2017/08/08(火) 21:48:56.34 ID:9qCDT2yP.net]: ￥
61 名前：１３２人目の素数さん mailto:sage [2017/08/09(水) 01:50:45.69 ID:9u9V0SIM.net]: >>49
P(n-1)も参考にするんじゃないかな？
最も使えないP1,P2が与えられたときの
A2の推定位置を考えると、
一般にAnを推定するとき
P(n-2)以前のPは役に立たないことが判る。
でも、P(n-1)は使えるかもしれない。
62 名前：￥ mailto:sage [2017/08/09(水) 02:13:42.40 ID:WvFggA1P.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
63 名前：１３２人目の素数さん mailto:sage [2017/08/09(水) 05:02:18.18 ID:R0xtGLVl.net]: >>15
ハンター側がきちんとデータを処理すれば、そんなに離されないと思うのだよね。

n回目までの追跡装置からの情報のみからみて、うさぎがいる可能性のある領域（点の集合）を
S_nとする。ただし、S_0は、うさぎが最初にいた可能性のある場所、すなわち、
点A_0の１点のみの集合である。
S_nは、S_{n-1}の各点から距離1の点の集合と、
P_nを中心とした半径1の円の周または内部の点の集合の共通部分となる。
S_nのうち、B_{n-1}から最も遠い点（の１つ）をQ_nとし、B_{n-1}とQ_nの距離をx_nとする。
ハンターは、n回目はQ_nの方向へ移動するものとする。すなわち、B_nはB_{n-1}からQ_n方向に
１進んだ場所となる。
さらに、S_nのうちB_nから最も遠い点（の１つ）をR_nとし、B_nとR_nの距離をy_nとする。
x_nとy_nは、移動前後における、ワーストケースを想定したときのうさぎとの距離となる。

x_n≧1で、Q_nとR_nが一致するならば y_n = x_n -1 となる。
一方、x_{n+1} ≦ y_n +1 となるのは明らか。
すなわち、x_n≧1で、Q_nとR_nが一致するならば x_{n+1} ≦ x_n

したがって、Q_nとR_nが一致しないようなケースが、x_nがある程度大きい値となったところでも
続けて発生しない限り、x_nが増えて行くことはないし、y_n と x_n -1 の差も、蓄積して
大きくなっていくようなものではないように見える。
ただ、このあたりはS_nの形状についての話になるので、厳密な議論は面倒臭そう。
64 名前：￥ mailto:sage [2017/08/09(水) 05:04:05.88 ID:WvFggA1P.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
65 名前：￥ mailto:sage [2017/08/09(水) 06:22:13.92 ID:WvFggA1P.net]: ￥
66 名前：￥ mailto:sage [2017/08/09(水) 06:22:31.12 ID:WvFggA1P.net]: ￥
67 名前：￥ mailto:sage [2017/08/09(水) 06:22:47.37 ID:WvFggA1P.net]: ￥
68 名前：￥ mailto:sage [2017/08/09(水) 06:23:05.85 ID:WvFggA1P.net]: ￥
69 名前：￥ mailto:sage [2017/08/09(水) 06:23:22.63 ID:WvFggA1P.net]: ￥
70 名前：￥ mailto:sage [2017/08/09(水) 06:23:40.72 ID:WvFggA1P.net]: ￥
71 名前：￥ mailto:sage [2017/08/09(水) 06:23:57.89 ID:WvFggA1P.net]: ￥
72 名前：￥ mailto:sage [2017/08/09(水) 06:24:16.19 ID:WvFggA1P.net]: ￥
73 名前：￥ mailto:sage [2017/08/09(水) 06:24:33.25 ID:WvFggA1P.net]: ￥
74 名前：￥ mailto:sage [2017/08/09(水) 06:24:50.34 ID:WvFggA1P.net]: ￥
75 名前：１３２人目の素数さん mailto:sage [2017/08/09(水) 14:29:12.22 ID:A2I5YGTu.net]: ずいぶん昔に、MathNori っていう難しめの出題サイトがあったけど、今はああいうのって無いかな？
76 名前：￥ mailto:sage [2017/08/09(水) 14:43:17.49 ID:WvFggA1P.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
77 名前：１３２人目の素数さん [2017/08/09(水) 17:36:21.42 ID:0E+xJOy9.net]: 半径が1の円の面積を理由を示しながら求めよ。
78 名前：１３２人目の素数さん [2017/08/09(水) 17:55:05.85 ID:0E+xJOy9.net]: 1.
まず、答えそのものはπとしておいて、でも理由が必要。
πの定義はあくまで「円周と直径の比」だから面積を半径×半径×πで求めることができない。
(「面積と半径の二乗の比」がπの定義ではないから)
2.円を正多角形として扱い、それを三角形に分割して考える方法を取って、これが多角形の頂点の数を無限に近づけた時πに収束することを示そうとしてみる。

その三角形１つの面積は、円の中心部に当たる鋭角の角をθとすると、その面積は、半径1なので1/2sinθ。
これがn個、θは2π/nのため、総面積はn/2sin(2π/n)

これをn→∞にするとsinの極限の公式からこれが1/2×2π＝π
とわかる。

つまり答えはπ。

3. sinの極限の公式(sinx/x(x→0)＝1)の定義を導き出す過程において、円の面積が半径×半径×円周率であることを用いる必要があるため、2の証明では循環論法に陥る。

...誰か教えてください
79 名前：￥ mailto:sage [2017/08/09(水) 18:13:22.17 ID:WvFggA1P.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
80 名前：￥ mailto:sage [2017/08/09(水) 20:51:03.60 ID:WvFggA1P.net]: ￥
81 名前：￥ mailto:sage [2017/08/09(水) 20:51:20.91 ID:WvFggA1P.net]: ￥
82 名前：￥ mailto:sage [2017/08/09(水) 20:51:38.72 ID:WvFggA1P.net]: ￥
83 名前：￥ mailto:sage [2017/08/09(水) 20:51:55.22 ID:WvFggA1P.net]: ￥
84 名前：￥ mailto:sage [2017/08/09(水) 20:52:11.44 ID:WvFggA1P.net]: ￥
85 名前：￥ mailto:sage [2017/08/09(水) 20:52:27.41 ID:WvFggA1P.net]: ￥
86 名前：￥ mailto:sage [2017/08/09(水) 20:52:46.53 ID:WvFggA1P.net]: ￥
87 名前：￥ mailto:sage [2017/08/09(水) 20:53:02.89 ID:WvFggA1P.net]: ￥
88 名前：￥ mailto:sage [2017/08/09(水) 20:53:19.67 ID:WvFggA1P.net]: ￥
89 名前：￥ mailto:sage [2017/08/09(水) 20:53:37.48 ID:WvFggA1P.net]: ￥
90 名前：１３２人目の素数さん [2017/08/09(水) 21:35:22.24 ID:NhTQymuL.net]: >>78
高校数学で循環論法を解消するのは少し難しいので、だいたい三角関数を改めて定義して対処することが多い

sinx = x - (1/3!)x^3 + (1/5!)x^5 - …
cosx = 1 - (1/2!)x^2 + (1/4!)x^4 -…

こうすると今まで登場した三角関数の性質は全て満たし、sinの極限は面積を経由せずに導出できる
91 名前：１３２人目の素数さん [2017/08/09(水) 21:36:15.34 ID:xTbQyxnk.net]: >>78
>その面積は、半径1なので1/2sinθ
これに円の面積使ってるでしょ
92 名前：１３２人目の素数さん [2017/08/09(水) 21:36:52.22 ID:xTbQyxnk.net]: >>78
>sinの極限の公式
こっちにかな
93 名前：１３２人目の素数さん [2017/08/09(水) 21:43:22.37 ID:0E+xJOy9.net]: >>92
なるほど
こちらの三角関数を微分方程式で定義化するものは結局どう面積公式につなげていくのですか？

www.ms.u-tokyo.ac.jp/~t-saito/jd/%E4%B8%89%E8%A7%92%E9%96%A2%E6%95%B0.pdf
94 名前：１３２人目の素数さん [2017/08/09(水) 21:55:38.52 ID:xTbQyxnk.net]: >>93
積分で定義するからそのまま面積じゃないの？
95 名前：１３２人目の素数さん [2017/08/09(水) 22:37:21.85 ID:0E+xJOy9.net]: >>94
珍しいものを含めて定義方が列挙されたものを載せてあるだけなので上手くいくかすらわからないです。
私が知ってる本では冪級数と逆三角関数の積分しか載ってないので。
96 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 00:32:51.58 ID:NRnXaxF+.net]: >>15
不可能。

うさぎと追跡装置が以下の戦略で動けばよい。
A_nとB_nの距離をd_nとおく。
A_1は適当に選び、P_1は原点とする。(これにより例えばd_1が少なくとも1.9以上になり得る)
n(≧1)ラウンド終了時点でうさぎが我に返ったら、
点A_nからの距離がちょうど m=[2d_n]+1 の点であって、B_nからA_n方向に引いた半直線との距離が1であるような2点のうちどちらか片方を選び、
(n+m)ラウンド目が終わるまでの間ひたすら我を忘れてその点に向かい続ける。(つまりA_(n+m)がその点になる)
そしてその間追跡装置は、うさぎがどちらの点を選んだか特定できないような点を知らせ続ける。

この戦略ならば、もしハンターが2点のうち遠い方(正確には近くない方)を選んだ場合
d_(n+m) > d_n + 1/(2m+1)
となるから、この不運が続けば
d_(n+m(m+1)) > d_n + 1/2
となり得る。

これより、最悪の場合帰納的に
d_1 > 1.5,
d_(1+4･5) = d_21 > 2,
d_(21+5･6) = d_51 > 2.5,
d_(51+6･7) = d_93 > 3,…
となり得るから、 d_(10^9) > 100 が示せる。
97 名前：￥ mailto:sage [2017/08/10(木) 02:34:33.84 ID:JHmEReZW.net]: ￥
98 名前：￥ mailto:sage [2017/08/10(木) 02:34:49.89 ID:JHmEReZW.net]: ￥
99 名前：￥ mailto:sage [2017/08/10(木) 02:35:05.89 ID:JHmEReZW.net]: ￥
100 名前：￥ mailto:sage [2017/08/10(木) 02:35:22.26 ID:JHmEReZW.net]: ￥
101 名前：￥ mailto:sage [2017/08/10(木) 02:35:38.55 ID:JHmEReZW.net]: ￥
102 名前：￥ mailto:sage [2017/08/10(木) 02:35:56.03 ID:JHmEReZW.net]: ￥
103 名前：￥ mailto:sage [2017/08/10(木) 02:36:12.03 ID:JHmEReZW.net]: ￥
104 名前：￥ mailto:sage [2017/08/10(木) 02:36:26.05 ID:JHmEReZW.net]: ￥
105 名前：￥ mailto:sage [2017/08/10(木) 02:36:44.79 ID:JHmEReZW.net]: ￥
106 名前：￥ mailto:sage [2017/08/10(木) 02:37:02.14 ID:JHmEReZW.net]: ￥
107 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 02:44:24.49 ID:zDRV0bFD.net]: 考えてたことをまとめているうちに、正解っぽい>>96があがってました。
せっかくなので以下お目汚しをば。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
>>15
>>63を書いた者です。

追跡装置はうさぎの居場所により制約されるので、追跡装置とうさぎが共謀したとしても、
追跡装置からの情報のみをもとに行動するハンターにとって結果的にワーストケースと
なるような挙動を意図的に実現することは本来は不可能なのだが、
今回の問題では、意図的であろうがなかろうが結果的にハンターにとって
ワーストケースとなる場合のみを考えればいいので、
うさぎの存在を仮想的なものとして、追跡装置はS_nを空集合にしないように移動する
というルールの、追跡装置vsハンターのゲームとみなしても、結論に影響しない。
この場合、１対１の完全情報ゲームとなるので、議論はシンプルになる。

で、前回は「そんなに離されないと思う」と書いたのだが、このルールで
追跡装置側の視点に立って考えると、ハンターからの距離を離し続ける戦略は確かに存在するので
逆の結論の方が見込みがある気がしてきた。
（続く）
108 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 02:47:05.97 ID:zDRV0bFD.net]: >>107の続き
【追跡装置側の戦略】

何ラウンドかからなるシーケンスを「フェイズ」と呼び、各フェイズの前後で必ず
ハンターからの距離が開くようにする。
>>63のS_n（追跡装置の移動から推測してうさぎが存在する可能性のある範囲）とは別に、
意思決定をシンプルにするために、S_nの部分集合であることが保証されているT_nというものを
考える。T_nは、漸化式的な挙動はS_nと同様だが、各フェイズ終了時に１点のみに絞られる。
追跡装置は、このT_nが空集合にならない範囲で移動する。T_0=S_0とする。
各フェイズ内での移動の仕方はフェイズの最初に全て決定するものとし、
その間のハンターの行動には影響されない。フェイズの最後において、
T_nはハンターから最も遠い１点のみに絞られるものとする。
（続く）
109 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 02:47:45.21 ID:zDRV0bFD.net]: >>108の続き
フェイズ０：A_0から距離1の任意の点をP_1とする。このときT_1は、A_0を中心とした
半径1の円周上の点のうちP_1を中心とした半径1の円の周または内側にある点の集合となる。
B_1もA_0を中心とした半径1の円周上の点となるので、T_1はこのB_1から最も遠い１点に絞り込む。
その点のB_1からの距離をd_0とすると、d_0≧1となるのは図を描けば明らか。

フェイズp（p≧1）：前のフェイズの最後のラウンドを第nラウンドとする。
T_nに含まれる1点をCとすると、B_nとCとの距離はd_{p-1}である。ここで、d_{p-1}+1以上の
最小の自然数をkとし、フェイズpは、第n+1ラウンドから第n+kラウンドまでとする。
B_nとCを結ぶ線分のC側の延長上にCからの距離1,2,…,kの点をとり、
順にP_{n+1}，P_{n+2}，…，P_{n+k}とする。
この結果、Cを中心とした半径kの円周上の点のうちP_{n+k}を中心とした半径1の円に
含まれるものは全てT_{n+k}の要素となる。一方、B_{n+k}はB_nから距離k以内の点なので
T_{n+k}をこのB_{n+k}から最も遠い１点に絞り込み、その点のB_{n+k}からの距離をd_pとすると、
d_p≧√(d_{p-1}^2+1-(d_{p-1}/k))となる。
（等号は、B_{n+k}が線分CP_{n+k}上のP_{n+k}からの距離がd_{p-1}となる点となる場合に成立）
このとき、明らかにd_p＞d_{p-1}である。

これで、d_pが必ず単調に増加する戦略はできたが、実際にどれぐらいのペースで増えるかという
評価はこれから。

＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
以上です…
110 名前：￥ mailto:sage [2017/08/10(木) 02:50:15.22 ID:JHmEReZW.net]: ￥
111 名前：￥ mailto:sage [2017/08/10(木) 02:50:30.89 ID:JHmEReZW.net]: ￥
112 名前：￥ mailto:sage [2017/08/10(木) 02:50:45.32 ID:JHmEReZW.net]: ￥
113 名前：￥ mailto:sage [2017/08/10(木) 02:50:59.80 ID:JHmEReZW.net]: ￥
114 名前：￥ mailto:sage [2017/08/10(木) 02:51:27.55 ID:JHmEReZW.net]: ￥
115 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 02:51:31.31 ID:zDRV0bFD.net]: >>109 で、kを「d_{p-1}+1以上の最小の自然数」としたのですが、
これを k=[2*d_{p-1}] としたら、>>96に近い状況となると思われます。
116 名前：￥ mailto:sage [2017/08/10(木) 02:51:44.16 ID:JHmEReZW.net]: ￥
117 名前：￥ mailto:sage [2017/08/10(木) 02:52:19.72 ID:JHmEReZW.net]: ￥
118 名前：￥ mailto:sage [2017/08/10(木) 02:52:33.85 ID:JHmEReZW.net]: ￥
119 名前：￥ mailto:sage [2017/08/10(木) 02:52:49.46 ID:JHmEReZW.net]: ￥
120 名前：￥ mailto:sage [2017/08/10(木) 02:53:07.40 ID:JHmEReZW.net]: ￥
121 名前：￥ mailto:sage [2017/08/10(木) 02:53:42.78 ID:JHmEReZW.net]: ￥
122 名前：￥ mailto:sage [2017/08/10(木) 02:53:58.39 ID:JHmEReZW.net]: ￥
123 名前：￥ mailto:sage [2017/08/10(木) 02:54:13.99 ID:JHmEReZW.net]: ￥
124 名前：￥ mailto:sage [2017/08/10(木) 02:54:29.04 ID:JHmEReZW.net]: ￥
125 名前：￥ mailto:sage [2017/08/10(木) 02:54:50.01 ID:JHmEReZW.net]: ￥
126 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 04:07:59.81 ID:zDRV0bFD.net]: >>96
＞　この戦略ならば、もしハンターが2点のうち遠い方(正確には近くない方)を選んだ場合
のところは、
「2点のうち、うさぎが選んでいたのはハンターから遠い方(正確には近くない方)だった場合」
という解釈でよろしいでしょうか。
127 名前：￥ mailto:sage [2017/08/10(木) 04:28:13.05 ID:JHmEReZW.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
128 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 07:57:31.69 ID:sGlRMEfv.net]: 三角関数、指数関数の再定義
とかには数学の拡張という美を感じる
129 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 08:34:44.99 ID:h0xUf6C7.net]: >>126
そうそれ、その通りです
適切な言葉選びって中々難しい
130 名前：￥ mailto:sage [2017/08/10(木) 10:28:50.51 ID:JHmEReZW.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
131 名前：￥ mailto:sage [2017/08/10(木) 12:08:27.51 ID:JHmEReZW.net]: ￥
132 名前：￥ mailto:sage [2017/08/10(木) 12:08:45.22 ID:JHmEReZW.net]: ￥
133 名前：￥ mailto:sage [2017/08/10(木) 12:09:04.18 ID:JHmEReZW.net]: ￥
134 名前：￥ mailto:sage [2017/08/10(木) 12:09:22.94 ID:JHmEReZW.net]: ￥
135 名前：￥ mailto:sage [2017/08/10(木) 12:09:40.34 ID:JHmEReZW.net]: ￥
136 名前：￥ mailto:sage [2017/08/10(木) 12:09:59.04 ID:JHmEReZW.net]: ￥
137 名前：￥ mailto:sage [2017/08/10(木) 12:10:18.38 ID:JHmEReZW.net]: ￥
138 名前：￥ mailto:sage [2017/08/10(木) 12:10:35.69 ID:JHmEReZW.net]: ￥
139 名前：￥ mailto:sage [2017/08/10(木) 12:10:53.63 ID:JHmEReZW.net]: ￥
140 名前：￥ mailto:sage [2017/08/10(木) 12:11:12.37 ID:JHmEReZW.net]: ￥
141 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 12:50:19.94 ID:y02i0Wrv.net]: >>96
ちょこっと訂正

「この不運が続けば
d_(n+m(m+1)) > d_n + 1/2
となり得る。」
の数式の部分について、正しくは
[2d_(n+m(m+1))] > [2d_n]
でした。

というのは、仮にn+mkラウンド目(1≦k≦m)が終わって我に返った時点で
m'=[2d_(n+mk)]+1
の値がmから増えた場合、必ずしも
d_(n+m(k+1)) > d_(n+mk) + 1/(2m+1)
と言えない可能性があるから。

代わりに、m'の値が増えた時点で、そこからn+m(m+1)ラウンドが終るまで一時的にハンターと逆方向に進み続ける戦略に変えれば、
m'がその後減ることはないので、訂正後の数式がきちんと成り立つことがわかる。

最後の評価式も、正確には
d_1 > 1.5,
d_21 ≧ 2,
d_51 ≧ 2.5,
d_93 ≧ 3,…
です
142 名前：￥ mailto:sage [2017/08/10(木) 13:06:43.83 ID:JHmEReZW.net]: ￥
143 名前：１３２人目の素数さん [2017/08/10(木) 15:39:41.79 ID:5h49lxh9.net]: >>141
すごい...
限りなく遠くまで逃げれるんですね
144 名前：１３２人目の素数さん [2017/08/10(木) 15:47:07.33 ID:5h49lxh9.net]: 半径1の面積の証明に関して調べて見たんですが
多角形近似で証明するものがあって、これは複素解析で出てくる議論と同じやり方でいいのですか？

あと、極座標使って2S=∫r^2 dθ 使うのは循環論法になっちゃうのでしょうか？

https://www.chart.co.jp/subject/sugaku/suken_tsushin/58/58-3.pdf
145 名前：￥ mailto:sage [2017/08/10(木) 16:23:07.28 ID:JHmEReZW.net]: ￥
146 名前：￥ mailto:sage [2017/08/10(木) 17:17:36.98 ID:JHmEReZW.net]: ￥
147 名前：￥ mailto:sage [2017/08/10(木) 17:17:52.08 ID:JHmEReZW.net]: ￥
148 名前：￥ mailto:sage [2017/08/10(木) 17:18:07.74 ID:JHmEReZW.net]: ￥
149 名前：￥ mailto:sage [2017/08/10(木) 17:18:23.61 ID:JHmEReZW.net]: ￥
150 名前：￥ mailto:sage [2017/08/10(木) 17:18:38.47 ID:JHmEReZW.net]: ￥
151 名前：￥ mailto:sage [2017/08/10(木) 17:18:53.43 ID:JHmEReZW.net]: ￥
152 名前：￥ mailto:sage [2017/08/10(木) 17:19:09.82 ID:JHmEReZW.net]: ￥
153 名前：￥ mailto:sage [2017/08/10(木) 17:19:27.59 ID:JHmEReZW.net]: ￥
154 名前：￥ mailto:sage [2017/08/10(木) 17:19:43.59 ID:JHmEReZW.net]: ￥
155 名前：１３２人目の素数さん [2017/08/11(金) 11:14:22.22 ID:NisLwmyy.net]: 最近暗殺教室というアニメを見ていてカルマ君カッコいいとか、ピッチ先生可愛いとかなってる訳なのですがその中で数学の問題が出ていたので置いておきますね(｀･∀･´)ﾉ

一応感覚的な理解はしてるつもりですが、数学的に厳密にやると私の空間把握能力が追いつかない( ﾉД`)ｼｸｼｸ

(かなり有名な問題かも？)

i.imgur.com/ElhRTPM.jpg
156 名前：￥ mailto:sage [2017/08/11(金) 11:31:57.54 ID:ToUPXODc.net]: ★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★

￥
157 名前：１３２人目の素数さん mailto:sage [2017/08/11(金) 23:27:31.96 ID:VAqorbPb.net]: ウィグナー・ザイツ胞
固体物理
158 名前：１３２人目の素数さん mailto:sage [2017/08/11(金) 23:56:03.26 ID:MVtx4bzB.net]: 数学的に厳密にもなにも、何をどう考えてもa^3/2
159 名前：￥ mailto:sage [2017/08/12(土) 00:15:19.97 ID:Ay3s6hqd.net]: ￥
160 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 01:06:35.69 ID:rcUNV7QL.net]: 対称性を論じるのに点群使うぞ
161 名前：￥ mailto:sage [2017/08/12(土) 02:17:05.02 ID:Ay3s6hqd.net]: ￥
162 名前：￥ mailto:sage [2017/08/12(土) 02:17:22.04 ID:Ay3s6hqd.net]: ￥
163 名前：￥ mailto:sage [2017/08/12(土) 02:17:39.57 ID:Ay3s6hqd.net]: ￥
164 名前：￥ mailto:sage [2017/08/12(土) 02:17:57.39 ID:Ay3s6hqd.net]: ￥
165 名前：￥ mailto:sage [2017/08/12(土) 02:18:15.68 ID:Ay3s6hqd.net]: ￥
166 名前：￥ mailto:sage [2017/08/12(土) 02:18:33.79 ID:Ay3s6hqd.net]: ￥
167 名前：￥ mailto:sage [2017/08/12(土) 02:18:51.83 ID:Ay3s6hqd.net]: ￥
168 名前：￥ mailto:sage [2017/08/12(土) 02:19:12.89 ID:Ay3s6hqd.net]: ￥
169 名前：￥ mailto:sage [2017/08/12(土) 02:19:31.35 ID:Ay3s6hqd.net]: ￥
170 名前：￥ mailto:sage [2017/08/12(土) 02:19:48.38 ID:Ay3s6hqd.net]: ￥
171 名前：１３２人目の素数さん [2017/08/12(土) 19:24:32.55 ID:hHFbXQeQ.net]: 半径r1の球があり、図のように断面が半径r2になるように切断した。
このとき図の立体の体積を求めなさい。
ただしr2＞r1でhは高さである。
i.imgur.com/asF7NWv.jpg
172 名前：￥ mailto:sage [2017/08/12(土) 19:41:01.85 ID:Ay3s6hqd.net]: ￥
173 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 20:46:35.57 ID:rvCA1oPA.net]: >>171
半径Rの球があり、図のように断面が円になるように切ったら高さhだった。
とします。
V(h）= π∫[-R，h-R］（RR-zz）dz
= π［ RRz - zzz/3 ］(z=-R,h-R)
=πhh(R-h/3)

なお、断面の半径は√(RR-hh)
174 名前：￥ mailto:sage [2017/08/12(土) 20:47:53.57 ID:Ay3s6hqd.net]: ￥
175 名前：１３２人目の素数さん [2017/08/12(土) 20:49:09.05 ID:gtmm/l76.net]: >>173
zを定義してください
176 名前：￥ mailto:sage [2017/08/12(土) 20:51:52.70 ID:Ay3s6hqd.net]: ￥
177 名前：￥ mailto:sage [2017/08/12(土) 20:52:29.69 ID:Ay3s6hqd.net]: ￥
178 名前：￥ mailto:sage [2017/08/12(土) 20:52:47.88 ID:Ay3s6hqd.net]: ￥
179 名前：￥ mailto:sage [2017/08/ ]: [ここ壊れてます]
180 名前：12(土) 20:53:06.57 ID:Ay3s6hqd.net mailto: ￥ []: [ここ壊れてます]
181 名前：￥ mailto:sage [2017/08/12(土) 20:53:24.03 ID:Ay3s6hqd.net]: ￥
182 名前：￥ mailto:sage [2017/08/12(土) 20:53:39.70 ID:Ay3s6hqd.net]: ￥
183 名前：￥ mailto:sage [2017/08/12(土) 20:54:08.68 ID:Ay3s6hqd.net]: ￥
184 名前：￥ mailto:sage [2017/08/12(土) 20:54:25.10 ID:Ay3s6hqd.net]: ￥
185 名前：￥ mailto:sage [2017/08/12(土) 20:54:43.78 ID:Ay3s6hqd.net]: ￥
186 名前：￥ mailto:sage [2017/08/12(土) 20:54:59.24 ID:Ay3s6hqd.net]: ￥
187 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:20:45.13 ID:C57RE8Lo.net]: 球の中心を原点にして切断面と垂直な軸でしょ
188 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:38:56.00 ID:C57RE8Lo.net]: そもそも171の図のr_1とr_2逆じゃん

ところで半球はカバリエリの原理より円柱 - 円錐の形に変形できるから、それを利用しても求まる
189 名前：￥ mailto:sage [2017/08/12(土) 21:53:36.43 ID:Ay3s6hqd.net]: ￥
190 名前：￥ mailto:sage [2017/08/12(土) 21:53:52.16 ID:Ay3s6hqd.net]: ￥
191 名前：￥ mailto:sage [2017/08/12(土) 21:54:07.90 ID:Ay3s6hqd.net]: ￥
192 名前：￥ mailto:sage [2017/08/12(土) 21:54:40.96 ID:Ay3s6hqd.net]: ￥
193 名前：￥ mailto:sage [2017/08/12(土) 21:54:58.79 ID:Ay3s6hqd.net]: ￥
194 名前：￥ mailto:sage [2017/08/12(土) 21:55:14.00 ID:Ay3s6hqd.net]: ￥
195 名前：￥ mailto:sage [2017/08/12(土) 21:55:29.90 ID:Ay3s6hqd.net]: ￥
196 名前：￥ mailto:sage [2017/08/12(土) 21:55:45.35 ID:Ay3s6hqd.net]: ￥
197 名前：￥ mailto:sage [2017/08/12(土) 21:56:04.02 ID:Ay3s6hqd.net]: ￥
198 名前：￥ mailto:sage [2017/08/12(土) 21:56:24.01 ID:Ay3s6hqd.net]: ￥
199 名前：１３２人目の素数さん [2017/08/14(月) 19:16:16.84 ID:kWfKv2+h.net]: S＼{S}∈S を満たす集合Sは存在するか。

ヒント：正則性公理から T∈T を満たす集合Tは存在しないことがわかる。
200 名前：￥ mailto:sage [2017/08/14(月) 19:29:24.42 ID:gAJfNsT/.net]: ￥
201 名前：１３２人目の素数さん mailto:sage [2017/08/14(月) 19:42:25.42 ID:mpfPQlZp.net]: >>198
S∉Sが必ず成り立つので、
S＼{S}=S
ここで、S＼{S}∈Sを満たすならば
S∈Sとなり矛盾。

ちなみに、「正則性公理から T∈T を満たす集合Tは存在しないことがわかる」ってのは、
T∈TとするとTの部分集合に{T}というものが存在することになり、
それは正則性公理に反する、とかでいいのか？
202 名前：１３２人目の素数さん mailto:sage [2017/08/14(月) 21:09:42.62 ID:ibEe52Je.net]: >>200
正解
実は正則性公理知らなかったからwikipediaに載ってた内容を信じることにすると、
任意の集合Tについて『{T}の元であって{T}と交わらないものが存在する』から T∩{T}=φ と導けて、あとは簡単。
もし正しい内容と違ってたらすまん
203 名前：１３２人目の素数さん mailto:sage [2017/08/14(月) 21:17:27.93 ID:ibEe52Je.net]: 類題
P＼Q∈P が成り立っている時、Qを用いてPを表せ
204 名前：￥ mailto:sage [2017/08/14(月) 21:33:07.38 ID:gAJfNsT/.net]: ￥
205 名前：￥ mailto:sage [2017/08/14(月) 21:33:27.95 ID:gAJfNsT/.net]: ￥
206 名前：￥ mailto:sage [2017/08/14(月) 21:33:48.64 ID:gAJfNsT/.net]: ￥
207 名前：￥ mailto:sage [2017/08/14(月) 21:34:08.91 ID:gAJfNsT/.net]: ￥
208 名前：￥ mailto:sage [2017/08/14(月) 21:34:27.81 ID:gAJfNsT/.net]: ￥
209 名前：￥ mailto:sage [2017/08/14(月) 21:34:48.15 ID:gAJfNsT/.net]: ￥
210 名前：￥ mailto:sage [2017/08/14(月) 21:35:06.24 ID:gAJfNsT/.net]: ￥
211 名前：￥ mailto:sage [2017/08/14(月) 21:35:26.60 ID:gAJfNsT/.net]: ￥
212 名前：￥ mailto:sage [2017/08/14(月) 21:35:47.77 ID:gAJfNsT/.net]: ￥
213 名前：￥ mailto:sage [2017/08/14(月) 21:36:06.90 ID:gAJfNsT/.net]: ￥
214 名前：１３２人目の素数さん mailto:sage [2017/08/14(月) 22:20:39.53 ID:mpfPQlZp.net]: >>198 は、S∉Sを既知とするならば、
S＼{S}=Sだということを言っているだけで
何が面白い問題なのかさっぱりわからん。
>>202 は、そもそも何をやらせたいのかさっぱりわからん。
215 名前：１３２人目の素数さん [2017/08/14(月) 22:55:42.95 ID:GU8hcbs6.net]: a1,a2,⋯,an
を相異なる正の整数とし，M
を n－1
個の正の整数からなる集合とする。また，M
は s=a1+a2+⋯+an
を含まない。数直線の 0
の地点にいるバッタが数直線の正の向きに n
回ジャンプする。 n
回のジャンプの距離は a1,a2,⋯,an
の並び替えである。このとき並び替えをうまく選べばバッタが M
の要素に対応する n－1
点に一度も着地しないようにできることを証明せよ
216 名前：１３２人目の素数さん mailto:sage [2017/08/14(月) 23:20:23.60 ID:Stkr6Zur.net]: >>213
>>198の最初に思いついた解答が S＼{S}=S の場合とそうでない場合に場合分けして解いてそこそこ面白かったんだが
問題を投稿した直後に条件から直でS∈Sを導けるって気づいた…残念な問題だったわ

>>202は結局『 P＼{Q}∈P ならば P=Q∪{Q} 』を示す問題だったんだけどこれもわりと簡単だからもういいや
217 名前：１３２人目の素数さん [2017/08/15(火) 00:53:23.93 ID:RHq8gFFw.net]: どうせお盆暇でしょ
帰ってきた数論1行問題
解答は1週間後から1日1問ずつ発表

条件を満たす自然数a,b,cをそれぞれ求めよ。
(1)　 1+2^a+2^(2a+1)=b^2
(2)　 a^(bb)=b^a
(3)　(a^2+a+b)/(ab^2+b+7)が自然数
(4)　a^2/(2ab^2-b^3+1)が自然数
(5)　ab-c, bc-a, ca-bが全て2の冪
218 名前：１３２人目の素数さん [2017/08/15(火) 01:34:25.56 ID:kMDNN6OV.net]: >>215
>>202はP＼Q∈PではなくP＼{Q}∈Pだったと訂正すればそれで済んだ話のような
それなら意味はわかる
219 名前：１３２人目の素数さん [2017/08/15(火) 02:00:49.86 ID:1cM/8KVL.net]: >>217
>>>202はP＼Q∈PではなくP＼{Q}∈Pだったと訂正すれば
訂正しないでいいでしょ？
220 名前：￥ mailto:sage [2017/08/15(火) 02:10:28.04 ID:eWiOROST.net]: ￥
221 名前：￥ mailto:sage [2017/08/15(火) 02:10:44.97 ID:eWiOROST.net]: ￥
222 名前：￥ mailto:sage [2017/08/15(火) 02:11:02.62 ID:eWiOROST.net]: ￥
223 名前：￥ mailto:sage [2017/08/15(火) 02:11:18.79 ID:eWiOROST.net]: ￥
224 名前：￥ mailto:sage [2017/08/15(火) 02:11:35.24 ID:eWiOROST.net]: ￥
225 名前：￥ mailto:sage [2017/08/15(火) 02:11:52.01 ID:eWiOROST.net]: ￥
226 名前：￥ mailto:sage [2017/08/15(火) 02:12:07.38 ID:eWiOROST.net]: ￥
227 名前：￥ mailto:sage [2017/08/15(火) 02:12:24.79 ID:eWiOROST.net]: ￥
228 名前：￥ mailto:sage [2017/08/15(火) 02:12:42.78 ID:eWiOROST.net]: ￥
229 名前：￥ mailto:sage [2017/08/15(火) 02:12:59.29 ID:eWiOROST.net]: ￥
230 名前：１３２人目の素数さん mailto:sage [2017/08/15(火) 02:33:47.52 ID:kMDNN6OV.net]: >>218
解説希望
231 名前：￥ mailto:sage [2017/08/15(火) 07:44:39.29 ID:eWiOROST.net]: ￥
232 名前：１３２人目の素数さん mailto:sage [2017/08/16(水) 05:44:58.49 ID:WGpPbBrt.net]: >>216

(1）（a,b）=（4,23）
(2）（a,b）=（16,2）（27,3）
(3）（a,b,c）=（11,1,7)　（17,2,4)　（27,3,3）
(4）（a,b,c）=（2a',1,a'）　（a,2a,aa）　　（7,2,1）
(5）　？
　
233 名前：１３２人目の素数さん mailto:sage [2017/08/16(水) 10:18:57.48 ID:V05/WOMG.net]: ユークリッド平面上に三点(0,0),(1,0),(-1,0)が与えられた時、
定規のみを用いて点(a,0) (aは任意の有理数)を作図することは可能か。
234 名前：１３２人目の素数さん mailto:sage [2017/08/16(水) 11:06:59.31 ID:1l7g7CtL.net]: >>232
1が作図可能なので任意の正の整数mが作図可能
よって1/mが作図可能だから
任意のnに対してn/mが作図可能
235 名前：１３２人目の素数さん mailto:sage [2017/08/16(水) 11:07:33.38 ID:1l7g7CtL.net]: あ、定規のみか
236 名前：１３２人目の素数さん [2017/08/16(水) 12:08:16.96 ID:ekIPOfXs.net]: cos(有理数度)=0,±1,±1/2,無理数となる事を示せ
237 名前：￥ mailto:sage [2017/08/16(水) 12:52:59.59 ID:m/p1jbfo.net]: ￥
238 名前：￥ mailto:sage [2017/08/16(水) 12:53:16.23 ID:m/p1jbfo.net]: ￥
239 名前：￥ mailto:sage [2017/08/16(水) 12:53:31.95 ID:m/p1jbfo.net]: ￥
240 名前：￥ mailto:sage [2017/08/16(水) 12:53:46.79 ID:m/p1jbfo.net]: ￥
241 名前：￥ mailto:sage [2017/08/16(水) 12:54:02.20 ID:m/p1jbfo.net]: ￥
242 名前：￥ mailto:sage [2017/08/16(水) 12:54:18.32 ID:m/p1jbfo.net]: ￥
243 名前：￥ mailto:sage [2017/08/16(水) 12:54:37.18 ID:m/p1jbfo.net]: ￥
244 名前：￥ mailto:sage [2017/08/16(水) 12:54:54.08 ID:m/p1jbfo.net]: ￥
245 名前：￥ mailto:sage [2017/08/16(水) 12:55:10.92 ID:m/p1jbfo.net]: ￥
246 名前：￥ mailto:sage [2017/08/16(水) 12:55:28.50 ID:m/p1jbfo.net]: ￥
247 名前：１３２人目の素数さん mailto:sage [2017/08/16(水) 13:41:38.26 ID:WGpPbBrt.net]: >>235
有理数θにある自然数nを掛けて360の倍数になったとする。
nは偶数としてよい。
2cos(nθ）=（2cosθ)^n - n(2cosθ)^(n-2) + … 干(nn/4)(2cosθ)^2 ±2 = 2 T_n(cosθ),
という、2cosθ の整数係数のn次多項式で表わせる。

いま 2cosθ = q/r（qは整数、rは自然数、互いに素）とすると
(q/r)^n - n (q/r)^(n-2) + … 干(nn/4)(q/r)^2 ±2 = 2,
nが4の倍数のとき
　q^(n-2) - n q^(n-4) r^2 + … -(nn/4)r^(n-2) = 0　または q=0

q≠0 のとき、q^(n-2）はrの倍数。
q,rは互いに素だから、r=1
｜q｜≦ 2r = 2,
248 名前：￥ mailto:sage [2017/08/16(水) 14:08:40.06 ID:m/p1jbfo.net]: ￥
249 名前：￥ mailto:sage [2017/08/16(水) 14:45:13.09 ID:m/p1jbfo.net]: ￥
250 名前：￥ mailto:sage [2017/08/16(水) 14:45:29.07 ID:m/p1jbfo.net]: ￥
251 名前：￥ mailto:sage [2017/08/16(水) 14:45:44.55 ID:m/p1jbfo.net]: ￥
252 名前：￥ mailto:sage [2017/08/16(水) 14:46:01.52 ID:m/p1jbfo.net]: ￥
253 名前：￥ mailto:sage [2017/08/16(水) 14:46:18.16 ID:m/p1jbfo.net]: ￥
254 名前：￥ mailto:sage [2017/08/16(水) 14:46:34.27 ID:m/p1jbfo.net]: ￥
255 名前：￥ mailto:sage [2017/08/16(水) 14:46:51.14 ID:m/p1jbfo.net]: ￥
256 名前：￥ mailto:sage [2017/08/16(水) 14:47:10.41 ID:m/p1jbfo.net]: ￥
257 名前：￥ mailto:sage [2017/08/16(水) 14:47:28.42 ID:m/p1jbfo.net]: ￥
258 名前：１３２人目の素数さん mailto:sage [2017/08/17(木) 09:50:51.42 ID:C/QBOIEA.net]: >>232

x軸以外に、(0,0）を通る直線をひき、その単位ベクトルをｅとする。

L，m，n を互いに異なる0でない整数とし、
3点Ｌ(Lｅ）、Ｍ(mｅ）、Ｎ(nｅ）をとる。

(1,0) ～Ｎを通る直線と、
(-1,0）～Ｍを通る直線の交点をＰとすると
　p =｛(2mn）ｅ +（n-m）１}/(m+n),
(略証)
　Ｐは線分（1,0）～Ｎを 2m：(n-m）に分ける。
　Ｐは線分（-1,0）～Ｍを 2n：(m-n）に分ける。

直線ＰＬとx軸の交点を（a,0）とすると、
この点は線分ＰＬを (-L)：2mn/(m+n) に分ける。
　a = L(n-m)/{L(m+n)-2mn},
さて…
259 名前：１３２人目の素数さん [2017/08/17(木) 14:00:26.48 ID:Pd6+pWLR.net]: m,nは正の整数でありm(m+1)/2<nを満たしている。ある国にはn個の都市と2つの航空会社XとYがある。各航空会社は都市から別の都市へ直行便をいくつか開設しており、以下のことがわかっている。
・どの都市Cについても都市Cから同じ会社の直行便だけを乗り継いで都市Cに戻ってくることはできない
・どの相異なる2都市についても、いずれか片方からもう片方へ、同じ会社の直行便だけを乗り継いで移動することができる
ただし、都市Cから都市Dへの直行便があったとき、都市Dから都市Cへの直行便があるとは限らない。このとき、ある都市を出発して次の条件を満たすようにm本の直行便を乗り継ぐことができることを示せ。
条件:Yの便の次にXの便に乗ることはない
260 名前：￥ mailto:sage [2017/08/17(木) 14:23:37.09 ID:fMnxz+o0.net]: ￥
261 名前：￥ mailto:sage [2017/08/17(木) 14:52:43.14 ID:fMnxz+o0.net]: ￥
262 名前：￥ mailto:sage [2017/08/17(木) 14:52:59.75 ID:fMnxz+o0.net]: ￥
263 名前：￥ mailto:sage [2017/08/17(木) 14:53:17.16 ID:fMnxz+o0.net]: ￥
264 名前：￥ mailto:sage [2017/08/17(木) 14:53:33.92 ID:fMnxz+o0.net]: ￥
265 名前：￥ mailto:sage [2017/08/17(木) 14:53:50.61 ID:fMnxz+o0.net]: ￥
266 名前：￥ mailto:sage [2017/08/17(木) 14:54:07.28 ID:fMnxz+o0.net]: ￥
267 名前：￥ mailto:sage [2017/08/17(木) 14:54:24.12 ID:fMnxz+o0.net]: ￥
268 名前：￥ mailto:sage [2017/08/17(木) 14:54:46.14 ID:fMnxz+o0.net]: ￥
269 名前：￥ mailto:sage [2017/08/17(木) 14:55:00.83 ID:fMnxz+o0.net]: ￥
270 名前：１３２人目の素数さん mailto:sage [2017/08/17(木) 19:25:36.45 ID:C/QBOIEA.net]: >>232

x軸以外に、(0,0）を通る直線をひき、その単位ベクトルをｅとする。

L，m，n を互いに異なる0でない整数とし、
3点Ｌ(Lｅ）、Ｍ(mｅ）、Ｎ(nｅ）をとる。

(m,0) ～Ｎを通る直線と、
(n,0）～Ｍを通る直線の交点をＰとすると
　p =｛mn/(m+n)}(ｅ+１),
(略証)
　Ｐは線分（m,0）～Ｎを m：n に分ける。
　Ｐは線分（n,0）～Ｍを n：m に分ける。

直線ＰＬとx軸の交点を（a,0）とすると、
この点は線分ＰＬを (-L)：mn/(m+n) に分ける。
　a = Lmn/{L(m+n)-mn},
さて…
271 名前：￥ mailto:sage [2017/08/17(木) 20:01:00.50 ID:fMnxz+o0.net]: ￥
272 名前：￥ mailto:sage [2017/08/17(木) 21:04:17.25 ID:fMnxz+o0.net]: ￥
273 名前：￥ mailto:sage [2017/08/17(木) 21:04:36.67 ID:fMnxz+o0.net]: ￥
274 名前：￥ mailto:sage [2017/08/17(木) 21:04:56.19 ID:fMnxz+o0.net]: ￥
275 名前：￥ mailto:sage [2017/08/17(木) 21:05:13.79 ID:fMnxz+o0.net]: ￥
276 名前：￥ mailto:sage [2017/08/17(木) 21:05:32.13 ID:fMnxz+o0.net]: ￥
277 名前：￥ mailto:sage [2017/08/17(木) 21:05:54.62 ID:fMnxz+o0.net]: ￥
278 名前：￥ mailto:sage [2017/08/17(木) 21:06:20.42 ID:fMnxz+o0.net]: ￥
279 名前：￥ mailto:sage [2017/08/17(木) 21:06:40.24 ID:fMnxz+o0.net]: ￥
280 名前：￥ mailto:sage [2017/08/17(木) 21:07:01.92 ID:fMnxz+o0.net]: ￥
281 名前：１３２人目の素数さん mailto:sage [2017/08/18(金) 11:18:47.42 ID:90S02hzN.net]: >>232
（類題）
平面上に長方形ABCDが与えられた時、
定規のみを用いて各辺の中点を作図できるか？
ただし、2点を通る直線（ABCDの内部に限る）を曳くことは許される。
282 名前：１３２人目の素数さん mailto:sage [2017/08/18(金) 11:53:01.21 ID:DTIhslpU.net]: 「定規を用いる」って「2点を通る直線を作図できる」ってことじゃないの？
283 名前：１３２人目の素数さん mailto:sage [2017/08/18(金) 16:54:17.74 ID:U7I6f7Ap.net]: >>281 そう。ただ、
linjalogkompass.web.fc2.com/
こことかを見てもらえばわかる通り、定規のみを用いた作図問題では
『ある範囲から適当に選んだ点をとる』
ことを許している場合が多いから、>>232もその操作はOKとする。
下の解答の(★)みたいな感じ。

>>280 ACとBDの交点をEとおく。
線分AE上にある点(端点を除く)を１つとり、それをPとおく。 …(★)
ABとDPの交点をQ、ADとBPの交点をRとおくと、
△ABCについてチェバの定理を適用することによりQR//BDがわかる。
QRとAEの交点をS、DSとABの交点をT、ETとQSの交点をUとおくと、
QU:US = BE:ED = 1:1 より、UはQSの中点。
AUとBEの交点をFとおくと、BF:FE = QU:US = 1:1 より、FはBEの中点。
同様にしてAEの中点Gも作図できる。
FGとADの交点をH、FGとBCの交点をI、HCとIDの交点をJとおき、
�
284 名前：ﾅ後にEJを直線で結べば、これは線分ABとCDを二等分する。 []: [ここ壊れてます]
285 名前：１３２人目の素数さん mailto:sage [2017/08/18(金) 23:36:50.77 ID:90S02hzN.net]: >>281-282
そのとおりでございます。

△ABDの内部の点Pにチェバの定理を適用するんですね。
286 名前：１３２人目の素数さん mailto:sage [2017/08/19(土) 04:42:50.39 .net]: 複素係数の一般の多項式が1度でも因数分解できるかどうかを判定するアルゴリズムって存在する？
(一般の多項式の解を加減乗除や開根で求めるアルゴリズムは存在しないけど、因数分解であって因数定理じゃないからね。そこは注意)
287 名前：１３２人目の素数さん [2017/08/19(土) 20:41:31.82 ID:8zxCu5Hq.net]: 頭の体操にどうぞ(｡-ω-)…
(1)
zero
+ ten
+ forty
+ forty
-----------
ninety

(2)
338^2をninetyで割った余りを求めよ。

(3)
ninetyは素数か？
素数でない場合素因数分解せよ。
288 名前：￥ mailto:sage [2017/08/19(土) 20:44:46.04 ID:LB3Hl+jp.net]: ￥
289 名前：￥ mailto:sage [2017/08/19(土) 20:45:06.56 ID:LB3Hl+jp.net]: ￥
290 名前：￥ mailto:sage [2017/08/19(土) 20:45:24.00 ID:LB3Hl+jp.net]: ￥
291 名前：￥ mailto:sage [2017/08/19(土) 20:45:41.51 ID:LB3Hl+jp.net]: ￥
292 名前：￥ mailto:sage [2017/08/19(土) 20:45:58.34 ID:LB3Hl+jp.net]: ￥
293 名前：￥ mailto:sage [2017/08/19(土) 20:46:15.88 ID:LB3Hl+jp.net]: ￥
294 名前：￥ mailto:sage [2017/08/19(土) 20:46:33.68 ID:LB3Hl+jp.net]: ￥
295 名前：￥ mailto:sage [2017/08/19(土) 20:46:50.45 ID:LB3Hl+jp.net]: ￥
296 名前：￥ mailto:sage [2017/08/19(土) 20:47:08.22 ID:LB3Hl+jp.net]: ￥
297 名前：￥ mailto:sage [2017/08/19(土) 20:47:27.02 ID:LB3Hl+jp.net]: ￥
298 名前：￥ mailto:sage [2017/08/19(土) 20:47:44.42 ID:LB3Hl+jp.net]: ￥
299 名前：１３２人目の素数さん mailto:sage [2017/08/19(土) 20:58:04.11 ID:62IZ3GRe.net]: 前々スレの>>803が意外と難しくて解けずにいるんだが誰か解けた人おる？

･平面上にTの文字を互いに交わらないように非可算個描くことは可能か
300 名前：１３２人目の素数さん mailto:sage [2017/08/19(土) 21:03:10.47 ID:Q+nr/ATk.net]: >>297
Tの大きさは一定？回転してもいいの？
301 名前：￥ mailto:sage [2017/08/19(土) 21:24:21.78 ID:LB3Hl+jp.net]: ￥
302 名前：１３２人目の素数さん mailto:sage [2017/08/19(土) 21:34:46.08 ID:62IZ3GRe.net]: >>298
大きさとか関係なく、とりあえずTと同相だったらYとかλとかでも良いんじゃないかね
303 名前：１３２人目の素数さん mailto:sage [2017/08/19(土) 22:49:51.56 ID:eIo54gJI.net]: 12321
227*449
304 名前：１３２人目の素数さん [2017/08/19(土) 23:41:06.14 ID:8zxCu5Hq.net]: >>297
非加算個のTが描けたと仮定してTの交差点と有理点を対応させれば可算無限集合に単射が出来て矛盾が導けるから描けなさそう
305 名前：１３２人目の素数さん [2017/08/19(土) 23:41:26.53 ID:8zxCu5Hq.net]: >>301
あ、正解です
306 名前：１３２人目の素数さん [2017/08/20(日) 00:29:17.13 ID:JLMgw50d.net]: >>302
あ...些事かもだけど、Tの交差点が必ず有理数点とは限らないし選択公理(を認めるなら)から各Tから元は取れるけどそれが必ず有理数点という保証もないのかな？だからも少し選択公理の使い方工夫しないとダメな気がするな...
307 名前：１３２人目の素数さん mailto:sage [2017/08/20(日) 00:42:18.84 ID:hF56T82P.net]: >>304
極端な例で言えば、
　T={(x, √2)|1≦x≦2}∪{(√2, y)|1≦y≦√2}
上の任意の点は有理点ではない
308 名前：１３２人目の素数さん mailto:sage [2017/08/20(日) 02:02:25.58 ID:xe9ko7E/.net]: >>297
X=｛x_λ｝_λ∈Λを、T型の図形x_λの集まりとして、平面上に各x_λが交わらずに散らばっているとする

T型の図形の
"長さ"を横棒と縦棒の短い方の長さ
"頂点"を横棒と縦棒の交差する点
と定義する

いま、Λが非加算であるとする

ここで、平面を格子点を頂点とする面積1の正方形で分割すると、正方形の数は可算なので
仮定よりどれか一つの正方形には非加算個のx_λの頂点が属する
これらx_λの全体をX_0と表す

このとき、A_n=｛x_λ∈X_0│ x_λの長さは1/n以上｝
とおくと、∪A_n=X_0、X_0は非加算であることから、あるnに対してA_nは無限集合
即ちある面積1の正方形の中に、頂点が属しかつ長さ1/n以上のものが無限個交わらずに存在する

ここからは簡単な議論で無限個入らないことがわかって矛盾導けるので省略
309 名前：１３２人目の素数さん mailto:sage [2017/08/20(日) 02:20:34.76 ID:xe9ko7E/.net]: >>306
結論書いてなかったね、非可算個かくのは不可能です
310 名前：￥ mailto:sage [2017/08/20(日) 03:05:48.66 ID:vRIJh8/a.net]: ￥
311 名前：￥ mailto:sage [2017/08/20(日) 03:06:05.99 ID:vRIJh8/a.net]: ￥
312 名前：￥ mailto:sage [2017/08/20(日) 03:06:20.50 ID:vRIJh8/a.net]: ￥
313 名前：￥ mailto:sage [2017/08/20(日) 03:06:36.73 ID:vRIJh8/a.net]: ￥
314 名前：￥ mailto:sage [2017/08/20(日) 03:06:53.73 ID:vRIJh8/a.net]: ￥
315 名前：￥ mailto:sage [2017/08/20(日) 03:07:10.40 ID:vRIJh8/a.net]: ￥
316 名前：￥ mailto:sage [2017/08/20(日) 03:07:24.80 ID:vRIJh8/a.net]: ￥
317 名前：￥ mailto:sage [2017/08/20(日) 03:08:02.10 ID:vRIJh8/a.net]: ￥
318 名前：￥ mailto:sage [2017/08/20(日) 03:08:19.76 ID:vRIJh8/a.net]: ￥
319 名前：￥ mailto:sage [2017/08/20(日) 03:08:37.18 ID:vRIJh8/a.net]: ￥
320 名前：１３２人目の素数さん mailto:sage [2017/08/20(日) 03:35:10.08 ID:57L/+4BY.net]: >>306
清書するとこんな感じですかね。

X_n＝{ T字の"長さ"が1/n以上であるT字全体 }と置くと、
∪[n∈N] X_n はT字全体だから非可算無限集合。
よって、あるnに対してX_nは非可算無限集合。
このnに対して、Y＝{ X_nに属する各T字の"頂点"の集合 } と置くと、Yもまた非可算無限集合。

半径1/(100n)の可算無限個の開円盤B_iであって、R^2＝∪[i∈N]B_i と被覆できているものを取る。
Y ⊂ R^2＝∪[i∈N]B_i だから、Y ⊂ ∪[i∈N](B_i∩Y) となる。
簡単な考察により、B_i∩Y は高々2点集合となるので、
Yは可算無限集合となって矛盾する。
321 名前：１３２人目の素数さん mailto:sage [2017/08/20(日) 04:00:29.52 ID:57L/+4BY.net]: 余談だけど、「 T 字」の条件を緩めて、

・ T と同相な Y とか↑みたいな図形でもよい(ただし、どれも一般の連続曲線で構成されているとしてよい)

とすると、>>306 のやり方でも証明に失敗する気がするのだが、どうなんだろう。
ちなみに、

・ T と同相な Y とか↑みたいな図形でもよい(ただし、どれも3つの線分で構成されていなければならない)

とすると、>>306 のやり方で証明できる。
(T字の頂点から出る3本の線分が作る「角度」を考慮してT字の"長さ"を定義し直せばよい)。
322 名前：１３２人目の素数さん mailto:sage [2017/08/20(日) 04:16:14.99 ID:57L/+4BY.net]: 前々スレを見直してきたけど、前々スレの >>797 のやり方でも、

・ T と同相な Y とか↑みたいな図形でもよい(ただし、どれも一般の連続曲線で構成されているとしてよい)

の場合は証明に失敗する(これは明確に失敗する)。ちなみに、

・ T と同相な Y とか↑みたいな図形でもよい(ただし、どれも3つの線分で構成されていなければならない)

とすると、>>797 のやり方でも証明できそうな気がする。
323 名前：￥ mailto:sage [2017/08/20(日) 06:17:55.13 ID:vRIJh8/a.net]: ￥
324 名前：￥ mailto:sage [2017/08/20(日) 06:18:12.68 ID:vRIJh8/a.net]: ￥
325 名前：￥ mailto:sage [2017/08/20(日) 06:18:30.10 ID:vRIJh8/a.net]: ￥
326 名前：￥ mailto:sage [2017/08/20(日) 06:18:47.33 ID:vRIJh8/a.net]: ￥
327 名前：￥ mailto:sage [2017/08/20(日) 06:19:05.80 ID:vRIJh8/a.net]: ￥
328 名前：￥ mailto:sage [2017/08/20(日) 06:19:24.03 ID:vRIJh8/a.net]: ￥
329 名前：￥ mailto:sage [2017/08/20(日) 06:19:43.89 ID:vRIJh8/a.net]: ￥
330 名前：￥ mailto:sage [2017/08/20(日) 06:20:03.90 ID:vRIJh8/a.net]: ￥
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 Ⅰ ある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,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