17/08/14 19:29:24.42 gAJfNsT/.net
￥
201:１３２人目の素数さん
17/08/14 19:42:25.42 mpfPQlZp.net
>>198
S∉Sが必ず成り立つので、
S＼{S}=S
ここで、S＼{S}∈Sを満たすならば
S∈Sとなり矛盾。
ちなみに、「正則性公理から T∈T を満たす集合Tは存在しないことがわかる」ってのは、
T∈TとするとTの部分集合に{T}というものが存在することになり、
それは正則性公理に反する、とかでいいのか？
202:１３２人目の素数さん
17/08/14 21:09:42.62 ibEe52Je.net
>>200
正解
実は正則性公理知らなかったからwikipediaに載ってた内容を信じることにすると、
任意の集合Tについて『{T}の元であって{T}と交わらないものが存在する』から T∩{T}=φ と導けて、あとは簡単。
もし正しい内容と違ってたらすまん
203:１３２人目の素数さん
17/08/14 21:17:27.93 ibEe52Je.net
類題
P＼Q∈P が成り立っている時、Qを用いてPを表せ
204:￥
17/08/14 21:33:07.38 gAJfNsT/.net
￥
205:￥
17/08/14 21:33:27.95 gAJfNsT/.net
￥
206:￥
17/08/14 21:33:48.64 gAJfNsT/.net
￥
207:￥
17/08/14 21:34:08.91 gAJfNsT/.net
￥
208:￥
17/08/14 21:34:27.81 gAJfNsT/.net
￥
209:￥
17/08/14 21:34:48.15 gAJfNsT/.net
￥
210:￥
17/08/14 21:35:06.24 gAJfNsT/.net
￥
211:￥
17/08/14 21:35:26.60 gAJfNsT/.net
￥
212:￥
17/08/14 21:35:47.77 gAJfNsT/.net
￥
213:￥
17/08/14 21:36:06.90 gAJfNsT/.net
￥
214:１３２人目の素数さん
17/08/14 22:20:39.53 mpfPQlZp.net
>>198 は、S∉Sを既知とするならば、
S＼{S}=Sだということを言っているだけで
何が面白い問題なのかさっぱりわからん。
>>202 は、そもそも何をやらせたいのかさっぱりわからん。
215:１３２人目の素数さん
17/08/14 22:55:42.95 GU8hcbs6.net
a1,a2,⋯,an
を相異なる正の整数とし，M
を n－1
個の正の整数からなる集合とする。また，M
は s=a1+a2+⋯+an
を含まない。数直線の 0
の地点にいるバッタが数直線の正の向きに n
回ジャンプする。 n
回のジャンプの距離は a1,a2,⋯,an
の並び替えである。このとき並び替えをうまく選べばバッタが M
の要素に対応する n－1
点に一度も着地しないようにできることを証明せよ
216:１３２人目の素数さん
17/08/14 23:20:23.60 Stkr6Zur.net
>>213
>>198の最初に思いついた解答が S＼{S}=S の場合とそうでない場合に場合分けして解いてそこそこ面白かったんだが
問題を投稿した直後に条件から直でS∈Sを導けるって気づいた…残念な問題だったわ
>>202は結局『 P＼{Q}∈P ならば P=Q∪{Q} 』を示す問題だったんだけどこれもわりと簡単だからもういいや
217:１３２人目の素数さん
17/08/15 00:53:23.93 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:１３２人目の素数さん
17/08/15 01:34:25.56 kMDNN6OV.net
>>215
>>202はP＼Q∈PではなくP＼{Q}∈Pだったと訂正すればそれで済んだ話のような
それなら意味はわかる
219:１３２人目の素数さん
17/08/15 02:00:49.86 1cM/8KVL.net
>>217
>>>202はP＼Q∈PではなくP＼{Q}∈Pだったと訂正すれば
訂正しないでいいでしょ？
220:￥
17/08/15 02:10:28.04 eWiOROST.net
￥
221:￥
17/08/15 02:10:44.97 eWiOROST.net
￥
222:￥
17/08/15 02:11:02.62 eWiOROST.net
￥
223:￥
17/08/15 02:11:18.79 eWiOROST.net
￥
224:￥
17/08/15 02:11:35.24 eWiOROST.net
￥
225:￥
17/08/15 02:11:52.01 eWiOROST.net
￥
226:￥
17/08/15 02:12:07.38 eWiOROST.net
￥
227:￥
17/08/15 02:12:24.79 eWiOROST.net
￥
228:￥
17/08/15 02:12:42.78 eWiOROST.net
￥
229:￥
17/08/15 02:12:59.29 eWiOROST.net
￥
230:１３２人目の素数さん
17/08/15 02:33:47.52 kMDNN6OV.net
>>218
解説希望
231:￥
17/08/15 07:44:39.29 eWiOROST.net
￥
232:１３２人目の素数さん
17/08/16 05:44:58.49 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:１３２人目の素数さん
17/08/16 10:18:57.48 V05/WOMG.net
ユークリッド平面上に三点(0,0),(1,0),(-1,0)が与えられた時、
定規のみを用いて点(a,0) (aは任意の有理数)を作図することは可能か。
234:１３２人目の素数さん
17/08/16 11:06:59.31 1l7g7CtL.net
>>232
1が作図可能なので任意の正の整数mが作図可能
よって1/mが作図可能だから
任意のnに対してn/mが作図可能
235:１３２人目の素数さん
17/08/16 11:07:33.38 1l7g7CtL.net
あ、定規のみか
236:１３２人目の素数さん
17/08/16 12:08:16.96 ekIPOfXs.net
cos(有理数度)=0,±1,±1/2,無理数 となる事を示せ
237:￥
17/08/16 12:52:59.59 m/p1jbfo.net
￥
238:￥
17/08/16 12:53:16.23 m/p1jbfo.net
￥
239:￥
17/08/16 12:53:31.95 m/p1jbfo.net
￥
240:￥
17/08/16 12:53:46.79 m/p1jbfo.net
￥
241:￥
17/08/16 12:54:02.20 m/p1jbfo.net
￥
242:￥
17/08/16 12:54:18.32 m/p1jbfo.net
￥
243:￥
17/08/16 12:54:37.18 m/p1jbfo.net
￥
244:￥
17/08/16 12:54:54.08 m/p1jbfo.net
￥
245:￥
17/08/16 12:55:10.92 m/p1jbfo.net
￥
246:￥
17/08/16 12:55:28.50 m/p1jbfo.net
￥
247:１３２人目の素数さん
17/08/16 13:41:38.26 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:￥
17/08/16 14:08:40.06 m/p1jbfo.net
￥
249:￥
17/08/16 14:45:13.09 m/p1jbfo.net
￥
250:￥
17/08/16 14:45:29.07 m/p1jbfo.net
￥
251:￥
17/08/16 14:45:44.55 m/p1jbfo.net
￥
252:￥
17/08/16 14:46:01.52 m/p1jbfo.net
￥
253:￥
17/08/16 14:46:18.16 m/p1jbfo.net
￥
254:￥
17/08/16 14:46:34.27 m/p1jbfo.net
￥
255:￥
17/08/16 14:46:51.14 m/p1jbfo.net
￥
256:￥
17/08/16 14:47:10.41 m/p1jbfo.net
￥
257:￥
17/08/16 14:47:28.42 m/p1jbfo.net
￥
258:１３２人目の素数さん
17/08/17 09:50:51.42 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:１３２人目の素数さん
17/08/17 14:00:26.48 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:￥
17/08/17 14:23:37.09 fMnxz+o0.net
￥
261:￥
17/08/17 14:52:43.14 fMnxz+o0.net
￥
262:￥
17/08/17 14:52:59.75 fMnxz+o0.net
￥
263:￥
17/08/17 14:53:17.16 fMnxz+o0.net
￥
264:￥
17/08/17 14:53:33.92 fMnxz+o0.net
￥
265:￥
17/08/17 14:53:50.61 fMnxz+o0.net
￥
266:￥
17/08/17 14:54:07.28 fMnxz+o0.net
￥
267:￥
17/08/17 14:54:24.12 fMnxz+o0.net
￥
268:￥
17/08/17 14:54:46.14 fMnxz+o0.net
￥
269:￥
17/08/17 14:55:00.83 fMnxz+o0.net
￥
270:１３２人目の素数さん
17/08/17 19:25:36.45 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:￥
17/08/17 20:01:00.50 fMnxz+o0.net
￥
272:￥
17/08/17 21:04:17.25 fMnxz+o0.net
￥
273:￥
17/08/17 21:04:36.67 fMnxz+o0.net
￥
274:￥
17/08/17 21:04:56.19 fMnxz+o0.net
￥
275:￥
17/08/17 21:05:13.79 fMnxz+o0.net
￥
276:￥
17/08/17 21:05:32.13 fMnxz+o0.net
￥
277:￥
17/08/17 21:05:54.62 fMnxz+o0.net
￥
278:￥
17/08/17 21:06:20.42 fMnxz+o0.net
￥
279:￥
17/08/17 21:06:40.24 fMnxz+o0.net
￥
280:￥
17/08/17 21:07:01.92 fMnxz+o0.net
￥
281:１３２人目の素数さん
17/08/18 11:18:47.42 90S02hzN.net
>>232
（類題）
平面上に長方形ABCDが与えられた時、
定規のみを用いて各辺の中点を作図できるか？
ただし、2点を通る直線（ABCDの内部に限る）を曳くことは許される。
282:１３２人目の素数さん
17/08/18 11:53:01.21 DTIhslpU.net
「定規を用いる」って「2点を通る直線を作図できる」ってことじゃないの？
283:１３２人目の素数さん
17/08/18 16:54:17.74 U7I6f7Ap.net
>>281 そう。ただ、
URLﾘﾝｸ(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:１３２人目の素数さん
17/08/18 23:36:50.77 90S02hzN.net
>>281-282
そのとおりでございます。
△ABDの内部の点Pにチェバの定理を適用するんですね。
286:１３２人目の素数さん
17/08/19 04:42:50.39 .net
複素係数の一般の多項式が1度でも因数分解できるかどうかを判定するアルゴリズムって存在する？
(一般の多項式の解を加減乗除や開根で求めるアルゴリズムは存在しないけど、因数分解であって因数定理じゃないからね。そこは注意)
287:１３２人目の素数さん
17/08/19 20:41:31.82 8zxCu5Hq.net
頭の体操にどうぞ(｡-ω-)…
(1)
zero
+ ten
+ forty
+ forty
-----------
ninety
(2)
338^2をninetyで割った余りを求めよ。
(3)
ninetyは素数か？
素数でない場合素因数分解せよ。
288:￥
17/08/19 20:44:46.04 LB3Hl+jp.net
￥
289:￥
17/08/19 20:45:06.56 LB3Hl+jp.net
￥
290:￥
17/08/19 20:45:24.00 LB3Hl+jp.net
￥
291:￥
17/08/19 20:45:41.51 LB3Hl+jp.net
￥
292:￥
17/08/19 20:45:58.34 LB3Hl+jp.net
￥
293:￥
17/08/19 20:46:15.88 LB3Hl+jp.net
￥
294:￥
17/08/19 20:46:33.68 LB3Hl+jp.net
￥
295:￥
17/08/19 20:46:50.45 LB3Hl+jp.net
￥
296:￥
17/08/19 20:47:08.22 LB3Hl+jp.net
￥
297:￥
17/08/19 20:47:27.02 LB3Hl+jp.net
￥
298:￥
17/08/19 20:47:44.42 LB3Hl+jp.net
￥
299:１３２人目の素数さん
17/08/19 20:58:04.11 62IZ3GRe.net
前々スレの>>803が意外と難しくて解けずにいるんだが誰か解けた人おる？
･平面上にTの文字を互いに交わらないように非可算個描くことは可能か
300:１３２人目の素数さん
17/08/19 21:03:10.47 Q+nr/ATk.net
>>297
Tの大きさは一定？ 回転してもいいの？
301:￥
17/08/19 21:24:21.78 LB3Hl+jp.net
￥
302:１３２人目の素数さん
17/08/19 21:34:46.08 62IZ3GRe.net
>>298
大きさとか関係なく、とりあえずTと同相だったらYとかλとかでも良いんじゃないかね
303:１３２人目の素数さん
17/08/19 22:49:51.56 eIo54gJI.net
12321
227*449
304:１３２人目の素数さん
17/08/19 23:41:06.14 8zxCu5Hq.net
>>297
非加算個のTが描けたと仮定してTの交差点と有理点を対応させれば可算無限集合に単射が出来て矛盾が導けるから描けなさそう
305:１３２人目の素数さん
17/08/19 23:41:26.53 8zxCu5Hq.net
>>301
あ、正解です
306:１３２人目の素数さん
17/08/20 00:29:17.13 JLMgw50d.net
>>302
あ...些事かもだけど、Tの交差点が必ず有理数点とは限らないし選択公理(を認めるなら)から各Tから元は取れるけどそれが必ず有理数点という保証もないのかな？だからも少し選択公理の使い方工夫しないとダメな気がするな...
307:１３２人目の素数さん
17/08/20 00:42:18.84 hF56T82P.net
>>304
極端な例で言えば、
T={(x, √2)|1≦x≦2}∪{(√2, y)|1≦y≦√2}
上の任意の点は有理点ではない
308:１３２人目の素数さん
17/08/20 02:02:25.58 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:１３２人目の素数さん
17/08/20 02:20:34.76 xe9ko7E/.net
>>306
結論書いてなかったね、非可算個かくのは不可能です
310:￥
17/08/20 03:05:48.66 vRIJh8/a.net
￥
311:￥
17/08/20 03:06:05.99 vRIJh8/a.net
￥
312:￥
17/08/20 03:06:20.50 vRIJh8/a.net
￥
313:￥
17/08/20 03:06:36.73 vRIJh8/a.net
￥
314:￥
17/08/20 03:06:53.73 vRIJh8/a.net
￥
315:￥
17/08/20 03:07:10.40 vRIJh8/a.net
￥
316:￥
17/08/20 03:07:24.80 vRIJh8/a.net
￥
317:￥
17/08/20 03:08:02.10 vRIJh8/a.net
￥
318:￥
17/08/20 03:08:19.76 vRIJh8/a.net
￥
319:￥
17/08/20 03:08:37.18 vRIJh8/a.net
￥
320:１３２人目の素数さん
17/08/20 03:35:10.08 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:１３２人目の素数さん
17/08/20 04:00:29.52 57L/+4BY.net
余談だけど、「 T 字」の条件を緩めて、
・ T と同相な Y とか↑みたいな図形でもよい(ただし、どれも一般の連続曲線で構成されているとしてよい)
とすると、>>306 のやり方でも証明に失敗する気がするのだが、どうなんだろう。
ちなみに、
・ T と同相な Y とか↑みたいな図形でもよい(ただし、どれも3つの線分で構成されていなければならない)
とすると、>>306 のやり方で証明できる。
(T字の頂点から出る3本の線分が作る「角度」を考慮してT字の"長さ"を定義し直せばよい)。
322:１３２人目の素数さん
17/08/20 04:16:14.99 57L/+4BY.net
前々スレを見直してきたけど、前々スレの >>797 のやり方でも、
・ T と同相な Y とか↑みたいな図形でもよい(ただし、どれも一般の連続曲線で構成されているとしてよい)
の場合は証明に失敗する(これは明確に失敗する)。ちなみに、
・ T と同相な Y とか↑みたいな図形でもよい(ただし、どれも3つの線分で構成されていなければならない)
とすると、>>797 のやり方でも証明できそうな気がする。
323:￥
17/08/20 06:17:55.13 vRIJh8/a.net
￥
324:￥
17/08/20 06:18:12.68 vRIJh8/a.net
￥
325:￥
17/08/20 06:18:30.10 vRIJh8/a.net
￥
326:￥
17/08/20 06:18:47.33 vRIJh8/a.net
￥
327:￥
17/08/20 06:19:05.80 vRIJh8/a.net
￥
328:￥
17/08/20 06:19:24.03 vRIJh8/a.net
￥
329:￥
17/08/20 06:19:43.89 vRIJh8/a.net
￥
330:￥
17/08/20 06:20:03.90 vRIJh8/a.net
￥
331:￥
17/08/20 06:20:21.97 vRIJh8/a.net
￥
332:￥
17/08/20 06:20:39.93 vRIJh8/a.net
￥
333:１３２人目の素数さん
17/08/20 08:40:11.59 CA5pAFRj.net
前々スレの>>797で出てきた距離空間(Y,D)について、A∈Yを中心とした半径rの開球を U(A,r)と表記する。
非可算で非交和なT字(と同相な図形)の集合をΛとおき、
各λ∈Λに対して
ε_λ = sup{ε≧0 | U(λ,ε)∩Λ は高々可算 }
と定めると、距離空間(Y,D)の第二可算性、すなわち強リンデレフ性より、
∪(U(λ,ε_λ)∩Λ)
λ∈Λ
ε_λ>0
は、高々可算な部分被覆
∪(U(λ,ε_λ)∩Λ)
λ∈Λ'
を持つ。
Λ''=Λ＼Λ'
とおけば、任意のλ∈Λ''とε>0について
U(λ,ε)∩Λ''
は非可算となることがわかる。
334:１３２人目の素数さん
17/08/20 12:49:07.23 JLMgw50d.net
>>331
位相は軽く知識は入れたがまだ使いこなせるレベルではないのだが...
Λ'と相異なる集合を持ってきて非可算だから矛盾とはならない気がしている
335:￥
17/08/20 13:30:53.58 vRIJh8/a.net
￥
336:１３２人目の素数さん
17/08/20 13:34:52.13 xe9ko7E/.net
>>318
ありがとう、そっちの方が、わかりがいいね
337:￥
17/08/20 13:55:26.27 vRIJh8/a.net
￥
338:￥
17/08/20 13:55:44.79 vRIJh8/a.net
￥
339:￥
17/08/20 13:56:01.71 vRIJh8/a.net
￥
340:￥
17/08/20 13:56:18.34 vRIJh8/a.net
￥
341:￥
17/08/20 13:56:36.83 vRIJh8/a.net
￥
342:￥
17/08/20 13:56:52.08 vRIJh8/a.net
￥
343:￥
17/08/20 13:57:07.94 vRIJh8/a.net
￥
344:￥
17/08/20 13:57:23.82 vRIJh8/a.net
￥
345:￥
17/08/20 13:57:41.83 vRIJh8/a.net
￥
346:￥
17/08/20 13:57:59.07 vRIJh8/a.net
￥
347:１３２人目の素数さん
17/08/20 14:58:03.66 3G28KL4V.net
>>332
うん。まだ矛盾までは行ってない。
ただ、もしある非可算なΛが存在するとしたら、その部分集合Λ''で
任意のλ∈Λ''がΛ''の非可算個の点の集積点になっているようなものが存在する、ということ。いくらでも近い点が欲しい時に使えるかもと思って示した
348:￥
17/08/20 15:29:18.95 vRIJh8/a.net
￥
349:１３２人目の素数さん
17/08/20 21:22:40.84 JLMgw50d.net
まあ無事解決されたようだね...
2つの自然数n,mがある。
350: n,mを素数pで割った余りをn_p,m_pとして、 全ての素数pに対しn_p≦m_pとなる時、n=mとなる事を証明せよ。
351:￥
17/08/20 22:02:16.00 vRIJh8/a.net
￥
352:￥
17/08/20 22:39:23.16 vRIJh8/a.net
￥
353:￥
17/08/20 22:39:39.85 vRIJh8/a.net
￥
354:￥
17/08/20 22:39:55.32 vRIJh8/a.net
￥
355:￥
17/08/20 22:40:11.57 vRIJh8/a.net
￥
356:￥
17/08/20 22:40:29.56 vRIJh8/a.net
￥
357:￥
17/08/20 22:40:50.06 vRIJh8/a.net
￥
358:￥
17/08/20 22:41:05.02 vRIJh8/a.net
￥
359:￥
17/08/20 22:41:20.69 vRIJh8/a.net
￥
360:￥
17/08/20 22:41:37.99 vRIJh8/a.net
￥
361:306
17/08/20 23:23:56.50 PI3mCvs6.net
>>319
思うんだけど、Tと同相な図形まで一般化すると、反例がでてくるのかも
まだあんまり確かめてないからわからんけど、角度とかないぐらい二本の直線の間を狭めればなんかできそうな
362:￥
17/08/20 23:34:29.67 vRIJh8/a.net
￥
363:１３２人目の素数さん
17/08/20 23:47:37.52 UScuK3/3.net
同相なら「の形でもいいから、左上の点を対角線上に配置するようにすれば非可算個いけるはず
364:306
17/08/21 00:12:01.62 QeouXuhX.net
さっきちょっと考えたのは例えば、
p>1に対して
（-1,1）上のx^pのグラフと、
（0,1上の）x^p+e^｛-1/x｝のグラフを合わせたもの
掛けたりlogにしたりの調整は必要かもしれないが、これならpを動かして非可算個かけるんじゃないかと思ってる
まとまったらまた
365:306
17/08/21 00:12:48.39 QeouXuhX.net
>>360
棒はTとは同型にならないんじゃないか？
366:306
17/08/21 00:12:59.33 QeouXuhX.net
同型じゃないや同相
367:306
17/08/21 00:32:23.39 QeouXuhX.net
実数には無限小はないから、二本の線分の角度をどんなに小さくとって重ねていこうとしても、稠密性から有理数と対応ついちゃってだめだけど
実数パラメータpに対応するx^pに対してならlogxみたいなある意味無限小に対応するものがあるので、議論を正当化できる、みたいな
実際線分に限定する時点で自由度はある意味でℵ_2からℵ_1におちてるので、曲線を自由に取れる場合にはℵ_2のままなので非可算個書けるというのは自然な帰結かもしれない
368:１３２人目の素数さん
17/08/21 00:53:24.66 cODrTQNN.net
>>362
いや棒じゃなくて「ね
Lでもいいけど
369:￥
17/08/21 01:12:37.37 zqnQwMkT.net
￥
370:￥
17/08/21 01:12:58.69 zqnQwMkT.net
￥
371:￥
17/08/21 01:13:16.81 zqnQwMkT.net
￥
372:￥
17/08/21 01:13:35.13 zqnQwMkT.net
￥
373:￥
17/08/21 01:13:52.84 zqnQwMkT.net
￥
374:￥
17/08/21 01:14:10.78 zqnQwMkT.net
￥
375:￥
17/08/21 01:14:27.54 zqnQwMkT.net
￥
376:￥
17/08/21 01:14:46.69 zqnQwMkT.net
￥
377:￥
17/08/21 01:15:03.65 zqnQwMkT.net
￥
378:￥
17/08/21 01:15:21.78 zqnQwMkT.net
￥
379:１３２人目の素数さん
17/08/21 07:58:20.65 7qnBXiRY.net
>>365
なんだこいつ
棒と「 と L は同相だろ
んで棒と T は同相ではない
(よって 「 と T は同相ではなく、L と T は同相ではない)
380:￥
17/08/21 08:21:09.79 zqnQwMkT.net
￥
381:306
17/08/21 10:32:18.57 mBbzGmPU.net
>>361
>>364
やっぱりこの方法じゃ駄目でした…
よく考えてみたら連続関数は自由度ℵ_1 ですしね
ちょっと難しい問題なのでまた答えがわかるまでおいて置きます
382:￥
17/08/21 10:37:28.93 zqnQwMkT.net
￥
383:￥
17/08/21 12:37:17.02 zqnQwMkT.net
￥
384:￥
17/08/21 12:37:33.44 zqnQwMkT.net
￥
385:￥
17/08/21 12:37:49.82 zqnQwMkT.net
￥
386:￥
17/08/21 12:38:06.90 zqnQwMkT.net
￥
387:￥
17/08/21 12:38:24.28 zqnQwMkT.net
￥
388:￥
17/08/21 12:38:42.29 zqnQwMkT.net
￥
389:￥
17/08/21 12:38:59.79 zqnQwMkT.net
￥
390:￥
17/08/21 12:39:16.51 zqnQwMkT.net
￥
391:￥
17/08/21 12:39:33.80 zqnQwMkT.net
￥
392:１３２人目の素数さん
17/08/21 12:48:33.20 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:１３２人目の素数さん
17/08/21 12:50:04.43 EUiKP99w.net
『存在しない』じゃない、『不可能』ね
395:￥
17/08/21 13:51:09.48 zqnQwMkT.net
￥
396:￥
17/08/21 13:51:26.46 zqnQwMkT.net
￥
397:￥
17/08/21 13:51:41.32 zqnQwMkT.net
￥
398:￥
17/08/21 13:51:57.73 zqnQwMkT.net
￥
399:￥
17/08/21 13:52:14.08 zqnQwMkT.net
￥
400:￥
17/08/21 13:52:31.79 zqnQwMkT.net
￥
401:￥
17/08/21 13:52:49.15 zqnQwMkT.net
￥
402:￥
17/08/21 13:53:06.67 zqnQwMkT.net
￥
403:￥
17/08/21 13:53:23.79 zqnQwMkT.net
￥
404:￥
17/08/21 13:53:41.16 zqnQwMkT.net
￥
405:１３２人目の素数さん
17/08/21 18:04:12.14 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:￥
17/08/21 18:39:36.99 zqnQwMkT.net
￥
407:￥
17/08/21 18:39:54.99 zqnQwMkT.net
￥
408:￥
17/08/21 18:40:10.83 zqnQwMkT.net
￥
409:￥
17/08/21 18:40:26.24 zqnQwMkT.net
￥
410:￥
17/08/21 18:40:42.63 zqnQwMkT.net
￥
411:￥
17/08/21 18:40:58.00 zqnQwMkT.net
￥
412:￥
17/08/21 18:41:14.53 zqnQwMkT.net
￥
413:￥
17/08/21 18:41:29.99 zqnQwMkT.net
￥
414:￥
17/08/21 18:41:47.00 zqnQwMkT.net
￥
415:￥
17/08/21 18:42:03.11 zqnQwMkT.net
￥
416:216
17/08/23 02:42:38.67 /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
17/08/23 02:44:58.98 /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:￥
17/08/23 04:45:08.78 7o98x7xr.net
￥
419:￥
17/08/23 04:45:25.52 7o98x7xr.net
￥
420:￥
17/08/23 04:45:43.40 7o98x7xr.net
￥
421:￥
17/08/23 04:46:00.05 7o98x7xr.net
￥
422:￥
17/08/23 04:46:17.01 7o98x7xr.net
￥
423:￥
17/08/23 04:46:34.48 7o98x7xr.net
￥
424:￥
17/08/23 04:46:51.14 7o98x7xr.net
￥
425:￥
17/08/23 04:47:09.16 7o98x7xr.net
￥
426:￥
17/08/23 04:47:26.63 7o98x7xr.net
￥
427:￥
17/08/23 04:47:43.15 7o98x7xr.net
￥
428:１３２人目の素数さん
17/08/23 19:24:57.49 UkFhzZzs.net
相加・相乗平均の大小関係(a>0,b>0の時
(a+b)/2>=√(a×b))
を図を使
429:って証明せよ
430:１３２人目の素数さん
17/08/23 20:08:20.52 2WLZ1Wh5.net
431:１３２人目の素数さん
17/08/23 20:21:30.48 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:￥
17/08/23 21:00:22.11 7o98x7xr.net
￥
433:￥
17/08/23 21:00:39.63 7o98x7xr.net
￥
434:￥
17/08/23 21:00:57.64 7o98x7xr.net
￥
435:￥
17/08/23 21:01:13.81 7o98x7xr.net
￥
436:￥
17/08/23 21:01:30.08 7o98x7xr.net
￥
437:￥
17/08/23 21:01:44.91 7o98x7xr.net
￥
438:￥
17/08/23 21:02:00.81 7o98x7xr.net
￥
439:￥
17/08/23 21:02:15.99 7o98x7xr.net
￥
440:￥
17/08/23 21:02:31.91 7o98x7xr.net
￥
441:￥
17/08/23 21:02:51.95 7o98x7xr.net
￥
442:１３２人目の素数さん
17/08/24 06:59:31.96 X6+LM4eC.net
3^m+4^n=5^kを満たす非負整数の組(m,n,k)をすべて求めよ。
443:￥
17/08/24 07:39:00.31 kEDrltmW.net
￥
444:￥
17/08/24 14:25:29.70 kEDrltmW.net
￥
445:￥
17/08/24 14:27:07.39 kEDrltmW.net
￥
446:１３２人目の素数さん
17/08/24 17:11:32.47 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:￥
17/08/24 17:47:31.46 kEDrltmW.net
￥
448:￥
17/08/24 17:47:49.61 kEDrltmW.net
￥
449:￥
17/08/24 17:48:04.47 kEDrltmW.net
￥
450:￥
17/08/24 17:48:20.56 kEDrltmW.net
￥
451:￥
17/08/24 17:48:40.16 kEDrltmW.net
￥
452:￥
17/08/24 17:48:56.75 kEDrltmW.net
￥
453:￥
17/08/24 17:49:11.93 kEDrltmW.net
￥
454:￥
17/08/24 17:49:47.45 kEDrltmW.net
￥
455:￥
17/08/24 17:50:03.97 kEDrltmW.net
￥
456:￥
17/08/24 17:50:20.60 kEDrltmW.net
￥
457:１３２人目の素数さん
17/08/25 01:23:16.86 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:１３２人目の素数さん
17/08/25 01:28:46.38 oetrvUQn.net
>>437
3^0 + 4^1 = 5^1,
3^2 + 4^2 = 5^2,
459:￥
17/08/25 06:25:00.87 TrbQa07i.net
￥
460:￥
17/08/25 06:25:20.54 TrbQa07i.net
￥
461:￥
17/08/25 06:25:38.36 TrbQa07i.net
￥
462:￥
17/08/25 06:25:56.61 TrbQa07i.net
￥
463:￥
17/08/25 06:26:13.40 TrbQa07i.net
￥
464:￥
17/08/25 06:26:30.85 TrbQa07i.net
￥
465:￥
17/08/25 06:26:49.39 TrbQa07i.net
￥
466:￥
17/08/25 06:27:07.50 TrbQa07i.net
￥
467:￥
17/08/25 06:27:24.76 TrbQa07i.net
￥
468:￥
17/08/25 06:27:40.85 TrbQa07i.net
￥
469:１３２人目の素数さん
17/08/25 15:27:14.09 FNkoKdXq.net
441
せっかくなので(5)追加。
nが十分大きいとき、
r_n=2,4,6,8となる確率の比はどのくらいか？
470:１３２人目の素数さん
17/08/25 15:52:25.72 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:￥
17/08/25 16:03:13.33 TrbQa07i.net
￥
472:￥
17/08/25 16:03:32.23 TrbQa07i.net
￥
473:￥
17/08/25 16:03:47.51 TrbQa07i.net
￥
474:￥
17/08/25 16:04:03.92 TrbQa07i.net
￥
475:￥
17/08/25 16:04:19.76 TrbQa07i.net
￥
476:￥
17/08/25 16:04:35.23 TrbQa07i.net
￥
477:￥
17/08/25 16:05:20.16 TrbQa07i.net
￥
478:￥
17/08/25 16:05:38.05 TrbQa07i.net
￥
479:￥
17/08/25 16:05:54.95 TrbQa07i.net
￥
480:￥
17/08/25 16:06:13.5
481:7 ID:TrbQa07i.net
482:１３２人目の素数さん
17/08/25 17:40:54.76 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:￥
17/08/25 17:46:29.68 TrbQa07i.net
￥
484:￥
17/08/25 17:46:46.68 TrbQa07i.net
￥
485:￥
17/08/25 17:47:03.88 TrbQa07i.net
￥
486:￥
17/08/25 17:47:19.59 TrbQa07i.net
￥
487:￥
17/08/25 17:47:35.00 TrbQa07i.net
￥
488:￥
17/08/25 17:47:52.71 TrbQa07i.net
￥
489:￥
17/08/25 17:48:09.15 TrbQa07i.net
￥
490:￥
17/08/25 17:48:26.07 TrbQa07i.net
￥
491:￥
17/08/25 17:48:45.23 TrbQa07i.net
￥
492:￥
17/08/25 17:49:04.14 TrbQa07i.net
￥
493:１３２人目の素数さん
17/08/25 21:03:31.53 07BQhbja.net
>>453
他にはないの？
494:￥
17/08/25 21:16:42.77 TrbQa07i.net
￥
495:１３２人目の素数さん
17/08/26 01:23:14.61 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:１３２人目の素数さん
17/08/26 01:47:06.70 8Eex8fjJ.net
この証明において、収束性は前提として認められている、ということでいいのですかね？
497:１３２人目の素数さん
17/08/26 02:07:17.33 8Eex8fjJ.net
収束性の証明はどうでしょう
498:￥
17/08/26 02:33:06.55 Nv7xuP/c.net
￥
499:￥
17/08/26 02:33:26.02 Nv7xuP/c.net
￥
500:￥
17/08/26 02:33:44.90 Nv7xuP/c.net
￥
501:￥
17/08/26 02:34:05.80 Nv7xuP/c.net
￥
502:￥
17/08/26 02:34:25.41 Nv7xuP/c.net
￥
503:￥
17/08/26 02:34:45.15 Nv7xuP/c.net
￥
504:￥
17/08/26 02:35:07.95 Nv7xuP/c.net
￥
505:￥
17/08/26 02:35:26.84 Nv7xuP/c.net
￥
506:￥
17/08/26 02:35:47.42 Nv7xuP/c.net
￥
507:￥
17/08/26 02:36:09.18 Nv7xuP/c.net
￥
508:１３２人目の素数さん
17/08/26 12:54:57.55 8Eex8fjJ.net
>>491
収束性(i-jが周期4で振動すると言えばいいのかな)も証明になっている気がするのだが
509:￥
17/08/26 12:56:17.67 Nv7xuP/c.net
￥
510:１３２人目の素数さん
17/08/26 17:04:25.41 a5WQhO5r.net
>>502
5面、5面
サイコロの出目によって、i-j （mod 5）は（初期値によらず）
1 → 0,
2 → +1,
3 → -1,
4 → +2,
6 → 0,
だけ変わるけど、nが十分大きいとき、等分配に近づくか？
511:￥
17/08/26 17:21:02.86 Nv7xuP/c.net
￥
512:￥
17/08/26 17:21:21.09 Nv7xuP/c.net
￥
513:￥
17/08/26 17:21:38.18 Nv7xuP/c.net
￥
514:￥
17/08/26 17:21:55.95 Nv7xuP/c.net
￥
515:￥
17/08/26 17:22:15.04 Nv7xuP/c.net
￥
516:￥
17/08/26 17:22:33.28 Nv7xuP/c.net
￥
517:￥
17/08/26 17:22:49.94 Nv7xuP/c.net
￥
518:￥
17/08/26 17:23:08.76 Nv7xuP/c.net
￥
519:￥
17/08/26 17:23:25.79 Nv7xuP/c.net
￥
520:￥
17/08/26 17:23:43.73 Nv7xuP/c.net
￥
521:１３２人目の素数さん
17/08/26 17:25:35.67 8Eex8fjJ.net
>>504
まずi-jの値によって、周期4で等分配を仮定して、
それをもと�
522:ﾉ数学的帰納法でやると次の代も等分配
523:￥
17/08/26 17:33:22.62 Nv7xuP/c.net
￥
524:１３２人目の素数さん
17/08/26 17:54:11.89 8Eex8fjJ.net
帰納法使うんだから或るn∈ℕが存在して1:1:1:1になってなきゃいけないよね？
極限とったら近づくって収束性を仮定してるし、近似に対して上の議論は使えないはず
525:￥
17/08/26 19:04:58.72 Nv7xuP/c.net
￥
526:￥
17/08/26 19:05:14.53 Nv7xuP/c.net
￥
527:￥
17/08/26 19:05:46.71 Nv7xuP/c.net
￥
528:￥
17/08/26 19:06:04.20 Nv7xuP/c.net
￥
529:￥
17/08/26 19:06:20.99 Nv7xuP/c.net
￥
530:￥
17/08/26 19:06:38.52 Nv7xuP/c.net
￥
531:￥
17/08/26 19:06:56.60 Nv7xuP/c.net
￥
532:￥
17/08/26 19:07:13.73 Nv7xuP/c.net
￥
533:￥
17/08/26 19:07:32.86 Nv7xuP/c.net
￥
534:￥
17/08/26 19:07:51.93 Nv7xuP/c.net
￥
535:１３２人目の素数さん
17/08/26 19:47:41.18 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:￥
17/08/26 21:14:32.69 Nv7xuP/c.net
￥
537:１３２人目の素数さん
17/08/27 01:32:32.60 REH5mTah.net
>>528
ダメっしょ
538:１３２人目の素数さん
17/08/27 02:03:02.96 +jqGXYY6.net
>>530
ええどうして？
539:￥
17/08/27 04:50:35.66 1CP0LksB.net
￥
540:￥
17/08/27 04:50:51.24 1CP0LksB.net
￥
541:￥
17/08/27 04:51:06.34 1CP0LksB.net
￥
542:￥
17/08/27 04:51:22.35 1CP0LksB.net
￥
543:￥
17/08/27 04:51:38.62 1CP0LksB.net
￥
544:￥
17/08/27 04:51:53.82 1CP0LksB.net
￥
545:￥
17/08/27 04:52:08.93 1CP0LksB.net
￥
546:￥
17/08/27 04:52:24.59 1CP0LksB.net
￥
547:￥
17/08/27 04:52:42.64 1CP0LksB.net
￥
548:￥
17/08/27 04:53:17.39 1CP0LksB.net
￥
549:１３２人目の素数さん
17/08/27 15:22:09.47 +jqGXYY6.net
>>15の問題で>>96が正解となっているが
ハンターの戦略を仮定して「追いつくことができない」と結論づけるのには、「その戦略が最適手であること」を示さないと、別の戦略で追いつけるかもしれないのでは？
っていう問題の性質上、答えは追いつけるものだと思っているのだが、どうなのだろう
550:￥
17/08/27 15:26:05.37 1CP0LksB.net
￥
551:￥
17/08/27 15:58:51.79 1CP0LksB.net
￥
552:￥
17/08/27 15:59:08.13 1CP0LksB.net
￥
553:￥
17/08/27 15:59:26.13 1CP0LksB.net
￥
554:￥
17/08/27 15:59:43.90 1CP0LksB.net
￥
555:￥
17/08/27 16:00:03.22 1CP0LksB.net
￥
556:￥
17/08/27 16:00:21.47 1CP0LksB.net
￥
557:￥
17/08/27 16:00:42.36 1CP0LksB.net
￥
558:￥
17/08/27 16:00:59.09 1CP0LksB.net
￥
559:￥
17/08/27 16:01:16.03 1CP0LksB.net
￥
560:１３２人目の素数さん
17/08/27 18:11:24.80 hu8Dlrep.net
>>542
>>96ではハンターの戦略を特別に仮定してるわけではない
(…ようには見えない書き方だったけど、>>126と>>129のやりとりを見てもらえたら仮定してる訳じゃないって事がわかると思う)
ハンターがどんな戦略をとろうとも、>>126で言われてる不運な状況が起こり続ければ、二点の距離は>>96の計算の通り増え続けるということ。
561:￥
17/08/27 18:31:05.42 1CP0LksB.net
￥
562:１３２人目の素数さん
17/08/27 19:29:09.23 +jqGXYY6.net
ウサギが最善手を打てばハンター最善手を打っても追い付けないのであれば、追い付けないで正しいかな...
そういう方法をひとつでも見つけられるか？というのが問題の肝だと思う
563:￥
17/08/27 19:52:26.34 1CP0LksB.net
￥
564:￥
17/08/27 19:52:45.05 1CP0LksB.net
￥
565:￥
17/08/27 19:53:03.01 1CP0LksB.net
￥
566:￥
17/08/27 19:53:21.23 1CP0LksB.net
￥
567:￥
17/08/27 19:53:38.37 1CP0LksB.net
￥
568:￥
17/08/27 19:53:56.33 1CP0LksB.net
￥
569:￥
17/08/27 19:54:13.10 1CP0LksB.net
￥
570:￥
17/08/27 19:54:31.02 1CP0LksB.net
￥
571:￥
17/08/27 19:54:47.09 1CP0LksB.net
￥
572:￥
17/08/27 19:55:04.99 1CP0LksB.net
￥
573:１３２人目の素数さん
17/08/27 20:46:12.93 yFV6g72J.net
まだよくわかってないけど、>>96のハンターは最善手をうってるの？
Pに向かってまっすぐ垂直に進み続ければそんなに離されないような気もするけど
574:￥
17/08/27 21:15:51.47 1CP0LksB.net
￥
575:１３２人目の素数さん
17/08/27 22:08:10.86 KoRlg+Jm.net
ハンターの最善手だけを想定してるわけじゃないから関係ない。
追跡装置はある時点のハンターとうさぎを通る直線上をハンターから遠ざかる方向に進み
うさぎは少しだけ追跡装置の直線の右側へ進んでいくか少しだけ追跡装置の直線の左側へ進んでいく。
ハンターが直線の右側へ進むと左側へ進んだうさぎと遠ざかり
直線の左側へ進むと右側へ進んだうさぎと遠ざかって両方に近づくことはできない。
576:￥
17/08/27 22:35:31.34 1CP0LksB.net
￥
577:￥
17/08/27 22:35:50.05 1CP0LksB.net
￥
578:￥
17/08/27 22:36:06.61 1CP0LksB.net
￥
579:￥
17/08/27 22:36:24.17 1CP0LksB.net
￥
580:￥
17/08/27 22:36:39.28 1CP0LksB.net
￥
581:￥
17/08/27 22:36:56.07 1CP0LksB.net
￥
582:￥
17/08/27 22:37:13.18 1CP0LksB.net
￥
583:￥
17/08/27 22:37:32.07 1CP0LksB.net
￥
584:￥
17/08/27 22:37:50.08 1CP0LksB.net
￥
585:￥
17/08/27 22:38:06.83 1CP0LksB.net
￥
586:１３２人目の素数さん
17/08/28 02:52:12.08 AhUD1mtk.net
自分で作った問題が難しすぎて解けない...
相異なる3つの立方数が等差数列をなすことはあるか
587:１３２人目の素数さん
17/08/28 03:12:15.13 AhUD1mtk.net
>>579
0や負の数は立方数とはみなさないことにします、つまり-1,0,1というのは不適です
588:１３２人目の素数さん
17/08/28 04:59:34.41 5fSCJlWV.net
1,1,1
8,8,8
…
589:１３２人目の素数さん
17/08/28 05:44:46.78 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) に非自明解がないことの証明
URLﾘﾝｸ(www.math.mcgill.ca)
（n=3は先行研究があるようだが）
590:￥
17/08/28 06:10:31.41 p9719kiw.net
￥
591:￥
17/08/28 06:10:52.35 p9719kiw.net
￥
592:￥
17/08/28 06:11:08.12 p9719kiw.net
￥
593:￥
17/08/28 06:11:24.27 p9719kiw.net
￥
594:￥
17/08/28 06:11:39.41 p9719kiw.net
￥
595:￥
17/08/28 06:11:56.47 p9719kiw.net
￥
596:￥
17/08/28 06:12:14.09 p9719kiw.net
￥
597:￥
17/08/28 06:12:33.84 p9719kiw.net
￥
598:￥
17/08/28 06:12:52.08 p9719kiw.net
￥
599:￥
17/08/28 06:13:08.60 p9719kiw.net
￥
600:１３２人目の素数さん
17/08/28 12:55:03.28 AhUD1mtk.net
>>582
ありがとうございます
やっぱりむずかしすぎたみたいですね
601:￥
17/08/28 13:05:38.87 p9719kiw.net
￥
602:１３２人目の素数さん
17/08/28 15:51:46.74 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:１３２人目の素数さん
17/08/28 16:45:45.40 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:￥
17/08/28 16:59:07.06 p9719kiw.net
￥
605:￥
17/08/28 16:59:23.83 p9719kiw.net
￥
606:￥
17/08/28 16:59:40.42 p9719kiw.net
￥
607:￥
17/08/28 16:59:56.25 p9719kiw.net
￥
608:￥
17/08/28 17:00:14.06 p9719kiw.net
￥
609:￥
17/08/28 17:00:30.91 p9719kiw.net
￥
610:￥
17/08/28 17:00:47.23 p9719kiw.net
￥
611:￥
17/08/28 17:01:05.26 p9719kiw.net
￥
612:￥
17/08/28 17:01:23.28 p9719kiw.net
￥
613:￥
17/08/28 17:01:40.72 p9719kiw.net
￥
614:１３２人目の素数さん
17/08/28 17:29:33.26 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:￥
17/08/28 18:24:13.11 p9719kiw.net
￥
616:１３２人目の素数さん
17/08/28 19:07:08.83 0qW+wpPH.net
n回6面サイコロを振った時、それぞれの出目の積をkとする。kがm (2≦m)の倍数になる確率を求めよ。ただしmは整数とする
617:￥
17/08/28 19:18:48.16 p9719kiw.net
￥
618:￥
17/08/28 19:57:54.57 p9719kiw.net
￥
619:￥
17/08/28 19:58:12.16 p9719kiw.net
￥
620:￥
17/08/28 19:58:28.46 p9719kiw.net
￥
621:￥
17/08/28 19:58:46.49 p9719kiw.net
￥
622:￥
17/08/28 19:59:04.78 p9719kiw.net
￥
623:￥
17/08/28 19:59:21.11 p9719kiw.net
￥
624:￥
17/08/28 19:59:40.93 p9719kiw.net
￥
625:￥
17/08/28 19:59:5
626:9.41 ID:p9719kiw.net
627:￥
17/08/28 20:00:16.81 p9719kiw.net
￥
628:１３２人目の素数さん
17/08/28 21:38:23.91 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:￥
17/08/28 21:42:56.29 p9719kiw.net
￥
630:￥
17/08/28 21:43:14.92 p9719kiw.net
￥
631:￥
17/08/28 21:43:32.60 p9719kiw.net
￥
632:￥
17/08/28 21:43:50.48 p9719kiw.net
￥
633:￥
17/08/28 21:44:08.83 p9719kiw.net
￥
634:￥
17/08/28 21:44:26.96 p9719kiw.net
￥
635:￥
17/08/28 21:44:43.49 p9719kiw.net
￥
636:￥
17/08/28 21:45:01.56 p9719kiw.net
￥
637:￥
17/08/28 21:45:17.90 p9719kiw.net
￥
638:￥
17/08/28 21:45:35.74 p9719kiw.net
￥
639:１３２人目の素数さん
17/08/28 22:07:42.63 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:１３２人目の素数さん
17/08/28 22:23:52.17 YFm3aleG.net
>>582
この論文は n≧7 が素数のときの話をしていて、
n＝3 のときは先行論文によって省略しているように見える。
つまり、n＝3 がどのくらい難しいのかは、
この論文からは判断できない感じがする
641:￥
17/08/28 22:29:48.32 p9719kiw.net
￥
642:１３２人目の素数さん
17/08/28 22:49:33.78 PyLeA47q.net
n=3 のときの話は分からない問題スレのレスにあったリンク先のpdfに出てる
643:￥
17/08/29 05:01:06.07 TbkIY/Vo.net
￥
644:￥
17/08/29 05:01:23.64 TbkIY/Vo.net
￥
645:￥
17/08/29 05:01:40.61 TbkIY/Vo.net
￥
646:￥
17/08/29 05:01:58.86 TbkIY/Vo.net
￥
647:￥
17/08/29 05:02:16.90 TbkIY/Vo.net
￥
648:￥
17/08/29 05:02:36.85 TbkIY/Vo.net
￥
649:￥
17/08/29 05:02:55.50 TbkIY/Vo.net
￥
650:￥
17/08/29 05:03:13.35 TbkIY/Vo.net
￥
651:￥
17/08/29 05:03:32.71 TbkIY/Vo.net
￥
652:￥
17/08/29 05:03:51.23 TbkIY/Vo.net
￥
653:１３２人目の素数さん
17/08/29 07:26:02.84 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:１３２人目の素数さん
17/08/29 07:28:56.21 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:１３２人目の素数さん
17/08/29 07:32:37.40 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:１３２人目の素数さん
17/08/29 07:35:26.77 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:￥
17/08/29 07:58:52.85 TbkIY/Vo.net
￥
659:￥
17/08/29 07:59:10.03 TbkIY/Vo.net
￥
660:￥
17/08/29 07:59:29.16 TbkIY/Vo.net
￥
661:￥
17/08/29 07:59:48.11 TbkIY/Vo.net
￥
662:￥
17/08/29 08:00:05.77 TbkIY/Vo.net
￥
663:￥
17/08/29 08:00:23.80 TbkIY/Vo.net
￥
664:￥
17/08/29 08:00:42.32 TbkIY/Vo.net
￥
665:￥
17/08/29 08:01:01.71 TbkIY/Vo.net
￥
666:￥
17/08/29 08:01:21.36 TbkIY/Vo.net
￥
667:￥
17/08/29 08:01:41.12 TbkIY/Vo.net
￥
668:１３２人目の素数さん
17/08/29 22:43:40.32 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:￥
17/08/29 23:11:16.99 TbkIY/Vo.net
￥
671:１３２人目の素数さん
17/08/29 23:23:48.42 zgJ4+pZp.net
>>659
(2) では極限とるの？
672:￥
17/08/29 23:25:00.41 TbkIY/Vo.net
￥
673:￥
17/08/29 23:33:47.13 TbkIY/Vo.net
￥
674:￥
17/08/29 23:34:03.78 TbkIY/Vo.net
￥
675:￥
17/08/29 23:34:19.71 TbkIY/Vo.net
￥
676:￥
17/08/29 23:34:34.34 TbkIY/Vo.net
￥
677:￥
17/08/29 23:34:51.02 TbkIY/Vo.net
￥
678:￥
17/08/29 23:35:09.16 TbkIY/Vo.net
￥
679:￥
17/08/29 23:35:27.10 TbkIY/Vo.net
￥
680:￥
17/08/29 23:35:45.87 TbkIY/Vo.net
￥
681:￥
17/08/29 23:36:04.30 TbkIY/Vo.net
￥
682:１３２人目の素数さん
17/08/29 23:58:18.39 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にいる確率は？
URLﾘﾝｸ(i.imgur.com)
683:１３２人目の素数さん
17/08/30 00:04:31.19 vMdLb/bK.net
>>672
もうちょっと面白くできそうなアイデアあれば教えてください
684:￥
17/08/30 03:44:50.21 xZ8twSlP.net
￥
685:￥
17/08/30 03:45:09.96 xZ8twSlP.net
￥
686:￥
17/08/30 03:45:28.44 xZ8twSlP.net
￥
687:￥
17/08/30 03:45:45.82 xZ8twSlP.net
￥
688:￥
17/08/30 03:46:03.50 xZ8twSlP.net
￥
689:￥
17/08/30 03:46:21.99 xZ8twSlP.net
￥
690:￥
17/08/30 03:46:41.47 xZ8twSlP.net
￥
691:￥
17/08/30 03:46:59.19 xZ8twSlP.net
￥
692:￥
17/08/30 03:47:17.59 xZ8twSlP.net
￥
693:￥
17/08/30 03:47:36.38 xZ8twSlP.net
￥
694:１３２人目の素数さん
17/08/30 05:27:33.17 fuWh8DFv.net
同心円である2円を外周とするリング状の形がある。
◎←コレ
長さを1箇所だけ測ってこのリングの面積を求めるにはどうすればいいか？
695:￥
17/08/30 05:38:02.18 xZ8twSlP.net
￥
696:１３２人目の素数さん
17/08/30 05:47:00.99 4Q4sm7+y.net
>>684
楽勝。
大きい円の弦で、小さい円に接するものの長さを測ればよい。
中学生に出題したら喜びそうな問題だな。
697:￥
17/08/30 06:21:33.25 xZ8twSlP.net
￥
698:￥
17/08/30 06:22:04.22 xZ8twSlP.net
￥
699:￥
17/08/30 06:22:21.99 xZ8twSlP.net
￥
700:￥
17/08/30 06:22:39.83 xZ8twSlP.net
￥
701:￥
17/08/30 06:22:56.98 xZ8twSlP.net
￥
702:￥
17/08/30 06:23:13.53 xZ8twSlP.net
￥
703:￥
17/08/30 06:23:30.72 xZ8twSlP.net
￥
704:￥
17/08/30 06:23:47.56 xZ8twSlP.net
￥
705:￥
17/08/30 06:24:08.15 xZ8twSlP.net
￥
706:￥
17/08/30 06:24:25.17 xZ8twSlP.net
￥
707:１３２人目の素数さん
17/08/30 07:03:44.37 ByLuAEx8.net
>>661
それが一番記述量少ないかな
708:￥
17/08/30 07:12:09.21 xZ8twSlP.net
￥
709:１３２人目の素数さん
17/08/30 09:10:29.91 rPeCY3BJ.net
>>697
r が小さいときは K_r の主要項は
K の体積そのものだったのが、
r が大きくなるにつれ頂点由来の体積が
主要項となっていくわけだが、
頂点由来の体積は同等だから、
次の項、すなわち辺由来の体積が
効いてくるというわけですね。
なかなか面白いです。
710:￥
17/08/30 09:47:52.97 xZ8twSlP.net
￥
711:￥
17/08/30 09:48:11.87 xZ8twSlP.net
￥
712:￥
17/08/30 09:48:28.20 xZ8twSlP.net
￥
713:￥
17/08/30 09:48:43.80 xZ8twSlP.net
￥
714:￥
17/08/30 09:48:59.11 xZ8twSlP.net
￥
715:￥
17/08/30 09:49:14.22 xZ8twSlP.net
￥
716:￥
17/08/30 09:49:29.94 xZ8twSlP.net
￥
717:￥
17/08/30 09:49:46.90 xZ8twSlP.net
￥
718:￥
17/08/30 09:50:03.23 xZ8twSlP.net
￥
719:￥
17/08/30 09:50:19.21 xZ8twSlP.net
￥
720:１３２人目の素数さん
17/08/30 10:33:20.90 ZNhlB+7p.net
>>686
なるほど
721:￥
17/08/30 10:45:41.80 xZ8twSlP.net
￥
722:１３２人目の素数さん
17/08/30 11:41:25.04 qCocPFOq.net
>>699
おもしろいな
723:￥
17/08/30 12:03:33.73 xZ8twSlP.net
￥
724:１３２人目の素数さん
17/08/30 13:21:40.09 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:１３２人目の素数さん
17/08/30 14:10:01.79 ByLuAEx8.net
やっぱりそこまで難しくはないか
まあそれがいいんだけどね
X_r⊇Y_rの証明もそこそこ大事なポイントではあったんだけど簡単だしいらないね
727:１３２人目の素数さん
17/08/30 15:18:35.90 sQgFBPXt.net
>>659
これの2次元版を考えると、次の問題が同じやり方で証明できた。
問題：
A⊂R^2 は凸多角形とする(外周と内部は含むものとする)。
B⊂R^2 は凸多角形とする(外周と内部は含むものとする)。
A,B の外周の長さをそれぞれ l(A), l(B) とする。
もし A⊂B ならば、l(A)≦l(B) が成り立つことを示せ。
この問題自体は幾何的にやっても普通に解けるんだが、
>>659 のやり方だと考えることが少なくてお手軽な感じがするｗ
728:１３２人目の素数さん
17/08/30 20:03:42.90 i2T0fEiN.net
荒らし（◆2VB8wsVUoo）の正体は元筑波大学准教授で数学者の増田哲也。
増田哲也は2007年に痴漢で逮捕され、精神を病んで2ch数学板を荒らすようになった。
自ら増田哲也とカミングアウトしている。父は植物学者の増田芳雄。
荒らしが酷く、数学板で専用スレが10スレ以上立てられた。
↓確認できる最初のスレ
ｽﾚﾘﾝｸ(math板)
■徳島で痴漢の准教授を解雇 筑波大 （2007年8月5日 毎日新聞）
徳島県警阿南署などは５日未明、東京都足立区千住寿町、筑波大学准教授、増田哲也容疑者（５０）を
県迷惑行為防止条例違反（痴漢行為）容疑で逮捕した。
調べでは、増田容疑者は、４日午後４時２０分ごろから約５０分にわたり、ＪＲ牟岐線の列車内で、県内の
専門学校生の女性（２１）の胸や太ももなどを触った疑い。調べに対し、「夏休み期間に、講演活動を兼ね
て旅行していた。好みの女性だったのでムラムラした」と話しているという。
ｽﾚﾘﾝｸ(math板)
もともとは「狢」や「猫」、「狸」などと名乗っていた。トリップも変わっている。
ｽﾚﾘﾝｸ(math板)
増田哲也→猫◆→狢◆→狸◆
☆数学コテ紹介☆
・猫
本名、増○哲也。筑波大准教授の頃、徳島で痴漢をやらかし職を失う。
それを期に数学界から身を引いた(←アフォー)。
逮捕されてからは精神を病み、2ch荒らしが生きがいとなった。また父の芳雄に虐待されたと思い込んでいる。
もともとは大数学者アラン・コンヌに直々教えを乞うていたほどのやり手（らしい）。
数々のお涙頂戴昔話には定評あり。本人曰く「しつこさ」のみが自身の売りなのだそう。
馬鹿を煽って2ch潰しをしているのだそう。規制されてもプロバイダーを変えて復活する。
最近、院生disが激しい。日本語、英語、フランス語をしゃべる。だが、猫語はしゃべらない。
率直に言って、客観的に人生を無駄に過ごしている希
729:ガスる。 2ch潰しどころか数学板さえ潰すことの出来ないでいる希ガスる。 作戦倒れしている希ガスる。 でも本人はなんとも思ってないんだろうな。哀れ。哀れ。哀れ。
730:１３２人目の素数さん
17/08/31 13:20:19.12 Grk7OUTw.net
2^α+3^α=7^αを満たす実数αは無理数であることを証明せよ
731:１３２人目の素数さん
17/08/31 16:20:11.44 lN6IG7Wg.net
フェルマーの最終定理を使っていいなら…
732:１３２人目の素数さん
17/08/31 19:07:44.49 VNnTuIzv.net
>>719
使ったところでどうにもならんと思うけどどうぞ使って
733:$
17/09/01 09:32:19.67 pFwPB2Aw.net
>>718
反例
2^2+3^1=7^1
734:１３２人目の素数さん
17/09/01 09:45:23.38 hOuEPHyT.net
>>721
735:￥
17/09/01 14:27:33.84 7A4+w7Rv.net
￥
736:１３２人目の素数さん
17/09/01 15:47:09.90 RJADBIXW.net
>>721
あのさぁ…
737:￥
17/09/01 17:29:36.34 7A4+w7Rv.net
￥
738:￥
17/09/01 18:20:16.67 7A4+w7Rv.net
￥
739:１３２人目の素数さん
17/09/01 22:17:03.29 y0RDvvfx.net
ヒントあく
740:￥
17/09/01 22:26:12.49 7A4+w7Rv.net
￥
741:￥
17/09/01 22:26:31.99 7A4+w7Rv.net
￥
742:￥
17/09/01 22:26:50.11 7A4+w7Rv.net
￥
743:￥
17/09/01 22:27:08.82 7A4+w7Rv.net
￥
744:￥
17/09/01 22:27:27.84 7A4+w7Rv.net
￥
745:￥
17/09/01 22:27:45.45 7A4+w7Rv.net
￥
746:￥
17/09/01 22:28:03.41 7A4+w7Rv.net
￥
747:￥
17/09/01 22:28:22.76 7A4+w7Rv.net
￥
748:￥
17/09/01 22:28:41.98 7A4+w7Rv.net
￥
749:￥
17/09/01 22:28:59.96 7A4+w7Rv.net
￥
750:１３２人目の素数さん
17/09/01 22:31:19.76 Vn9CxV/f.net
>>727
αが有理数と仮定すると
αが整数と絞り込めて、余りを考えて矛盾が言える
751:１３２人目の素数さん
17/09/01 22:41:17.93 y0RDvvfx.net
α＞0は自明でさらに3.5^α-0.5^α=1だからα＜1となって0＜α＜1は分かるな
あとはα整数を示すのか
752:￥
17/09/01 22:59:45.28 7A4+w7Rv.net
￥
753:￥
17/09/01 23:00:02.18 7A4+w7Rv.net
￥
754:￥
17/09/01 23:00:18.91 7A4+w7Rv.net
￥
755:￥
17/09/01 23:00:36.11 7A4+w7Rv.net
￥
756:￥
17/09/01 23:00:53.08 7A4+w7Rv.net
￥
757:￥
17/09/01 23:01:11.23 7A4+w7Rv.net
￥
758:￥
17/09/01 23:01:30.33 7A4+w7Rv.net
￥
759:￥
17/09/01 23:01:54.60 7A4+w7Rv.net
￥
760:￥
17/09/01 23:02:11.90 7A4+w7Rv.net
￥
761:￥
17/09/01 23:02:32.66 7A4+w7Rv.net
￥
762:１３２人目の素数さん
17/09/01 23:56:53.42 X+zBfw26.net
出題者だけど整数を示す方針はよく分からん
想定してた解法は拡大体の理論を使う
763:１３２人目の素数さん
17/09/02 00:10:26.27 uC5hC4E/.net
へい！高校数学ちゃうんかい！
764:１３２人目の素数さん
17/09/02 00:11:43.33 EaRJl5xV.net
>>738
>αが有理数と仮定すると
>αが整数と絞り込めて
どうして？
765:１３２人目の素数さん
17/09/02 00:12:08.08 PwtoVOt8.net
>>751
複素の因数分解使えば高校生でも出来んことはない
766:１３２人目の素数さん
17/09/02 00:59:21.87 3JI2dd7J.net
>>752
α=p/q （p，q は互いに素）として
両辺 q 乗からの2項定理でいいんじゃね
767:￥
17/09/02 02:15:58.40 z17/uuYO.net
￥
768:￥
17/09/02 02:16:16.28 z17/uuYO.net
￥
769:￥
17/09/02 02:16:31.28 z17/uuYO.net
￥
770:￥
17/09/02 02:16:49.61 z17/uuYO.net
￥
771:￥
17/09/02 02:17:04.50 z17/uuYO.net
￥
772:￥
17/09/02 02:17:22.35 z17/uuYO.net
￥
773:￥
17/09/02 02:17:41.32 z17/uuYO.net
￥
774:￥
17/09/02 02:18:01.86 z17/uuYO.net
￥
775:￥
17/09/02 02:18:20.72 z17/uuYO.net
￥
776:￥
17/09/02 02:18:39.64 z17/uuYO.net
￥
777:１３２人目の素数さん
17/09/02 02:30:55.07 kgWZgt7O.net
>>754
二項定理使うまでは合ってます
その後の厳密な議論で体論を使う必要があると思うんだけど
778:￥
17/09/02 03:21:42.37 z17/uuYO.net
￥
779:￥
17/09/02 03:21:59.19 z17/uuYO.net
￥
780:￥
17/09/02 03:22:16.33 z17/uuYO.net
￥
781:￥
17/09/02 03:22:34.18 z17/uuYO.net
￥
782:￥
17/09/02 03:22:52.05 z17/uuYO.net
￥
783:￥
17/09/02 03:23:09.28 z17/uuYO.net
￥
784:￥
17/09/02 03:23:30.65 z17/uuYO.net
￥
785:￥
17/09/02 03:23:48.94 z17/uuYO.net
￥
786:￥
17/09/02 03:24:05.59 z17/uuYO.net
￥
787:￥
17/09/02 03:24:22.19 z17/uuYO.net
￥
788:１３２人目の素数さん
17/09/02 11:27:33.18 Po7d73tU.net
体論 ＝ Field Theory ＝ 場の理論
類体論にもフィールズ賞を
789:￥
17/09/02 11:33:59.24 z17/uuYO.net
￥
790:￥
17/09/02 11:34:17.70 z17/uuYO.net
￥
791:￥
17/09/02 11:34:34.54 z17/uuYO.net
￥
792:￥
17/09/02 11:34:52.32 z17/uuYO.net
￥
793:￥
17/09/02 11:35:07.58 z17/uuYO.net
￥
794:￥
17/09/02 11:35:24.57 z17/uuYO.net
￥
795:￥
17/09/02 11:36:07.86 z17/uuYO.net
￥
796:￥
17/09/02 11:36:24.45 z17/uuYO.net
￥
797:￥
17/09/02 11:36:42.45 z17/uuYO.net
￥
798:￥
17/09/02 11:36:59.02 z17/uuYO.net
￥
799:１３２人目の素数さん
17/09/02 20:44:20.65 bRO6cAi2.net
x=(2/n)・(cosx)^n-(1/2)sin(2x)
かつ
0＜x＜π/2
なるxをnについて定めるとき
nxのn→∞における極限を求めよ。
単
800:にわからないだけですが教えて下さい n=1000で試した結果1らしいです
801:１３２人目の素数さん
17/09/02 23:10:56.54 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:１３２人目の素数さん
17/09/02 23:12:39.17 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:１３２人目の素数さん
17/09/02 23:28:55.65 bRO6cAi2.net
厳密にお願いします
804:１３２人目の素数さん
17/09/03 00:19:52.98 lS4umc9s.net
>>790
それはお前の仕事
805:１３２人目の素数さん
17/09/03 06:44:37.11 gi3KPdYZ.net
ガイジきた
806:１３２人目の素数さん
17/09/04 20:49:09.80 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:１３２人目の素数さん
17/09/05 01:44:47.96 q778+o9X.net
東大作問スレって今はないんですね。
808:１３２人目の素数さん
17/09/05 01:49:32.41 RNbHjn56.net
>>794
その代替となりそうなスレならある↓
みんなで高校生に問題を出すスレ [無断転載禁止](c)2ch.net
ｽﾚﾘﾝｸ(math板)
809:216
17/09/06 02:08:56.27 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
17/09/06 02:11:52.74 IZlBJmBS.net
♯・♭の一番右の不等号は帰納法で簡単に示せる。
出典：IMO1997-5
有名な類題でa^b=b^aを満たす自然数の組を求める問題がある（答えはメール欄に記載）。
811:￥
17/09/06 05:33:09.66 nJ0wcqLn.net
￥
812:￥
17/09/06 05:33:31.03 nJ0wcqLn.net
￥
813:￥
17/09/06 05:33:52.11 nJ0wcqLn.net
￥
814:￥
17/09/06 05:34:10.55 nJ0wcqLn.net
￥
815:￥
17/09/06 05:34:28.96 nJ0wcqLn.net
￥
816:￥
17/09/06 05:34:47.19 nJ0wcqLn.net
￥
817:￥
17/09/06 05:35:23.93 nJ0wcqLn.net
￥
818:￥
17/09/06 05:35:42.45 nJ0wcqLn.net
￥
819:￥
17/09/06 05:36:00.38 nJ0wcqLn.net
￥
820:￥
17/09/06 05:36:1
821:9.16 ID:nJ0wcqLn.net
822:１３２人目の素数さん
17/09/06 07:45:12.64 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:￥
17/09/06 07:46:26.10 nJ0wcqLn.net
￥
824:￥
17/09/06 07:46:44.18 nJ0wcqLn.net
￥
825:￥
17/09/06 07:47:01.24 nJ0wcqLn.net
￥
826:￥
17/09/06 07:47:17.64 nJ0wcqLn.net
￥
827:￥
17/09/06 07:47:33.42 nJ0wcqLn.net
￥
828:￥
17/09/06 07:47:48.74 nJ0wcqLn.net
￥
829:￥
17/09/06 07:48:04.85 nJ0wcqLn.net
￥
830:￥
17/09/06 07:48:21.83 nJ0wcqLn.net
￥
831:￥
17/09/06 07:48:38.79 nJ0wcqLn.net
￥
832:￥
17/09/06 07:48:56.98 nJ0wcqLn.net
￥
833:フロベニウス数
17/09/07 01:40:03.00 J3m5+o6m.net
では10円硬貨と11円硬貨の2種類のみが発行されている。
この2種類の硬貨をどう組み合わせても支払えない金額のうち、最大のものはいくらか？
証明は不要。
834:フロベニウス数
17/09/07 01:40:37.75 IyycAyAP.net
ある国では～
のミス
835:１３２人目の素数さん
17/09/07 02:24:01.94 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:１３２人目の素数さん
17/09/07 02:27:53.65 vqX7J2tG.net
>>819
89
837:１３２人目の素数さん
17/09/07 02:49:34.98 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:￥
17/09/07 03:45:49.76 6DNo3zLu.net
￥
839:￥
17/09/07 03:46:06.86 6DNo3zLu.net
￥
840:￥
17/09/07 03:46:24.90 6DNo3zLu.net
￥
841:￥
17/09/07 03:46:42.16 6DNo3zLu.net
￥
842:￥
17/09/07 03:46:59.01 6DNo3zLu.net
￥
843:￥
17/09/07 03:47:16.08 6DNo3zLu.net
￥
844:￥
17/09/07 03:47:33.31 6DNo3zLu.net
￥
845:￥
17/09/07 03:47:52.61 6DNo3zLu.net
￥
846:￥
17/09/07 03:48:18.84 6DNo3zLu.net
￥
847:￥
17/09/07 03:48:36.75 6DNo3zLu.net
￥
848:フロベニウス数
17/09/07 07:26:26.71 33xc8sua.net
>>822
🙆
849:１３２人目の素数さん
17/09/07 07:28:41.42 yJyxch+Q.net
>>821, 823
正解です。こちらが想定していた解法そのものです。
850:￥
17/09/07 07:42:53.16 6DNo3zLu.net
￥
851:￥
17/09/07 07:43:10.06 6DNo3zLu.net
￥
852:￥
17/09/07 07:43:27.12 6DNo3zLu.net
￥
853:￥
17/09/07 07:43:43.99 6DNo3zLu.net
￥
854:￥
17/09/07 07:44:00.24 6DNo3zLu.net
￥
855:￥
17/09/07 07:44:17.39 6DNo3zLu.net
￥
856:￥
17/09/07 07:44:35.58 6DNo3zLu.net
￥
857:￥
17/09/07 07:44:52.27 6DNo3zLu.net
￥
858:￥
17/09/07 07:45:08.13 6DNo3zLu.net
￥
859:￥
17/09/07 07:45:57.98 6DNo3zLu.net
￥
860:１３２人目の素数さん
17/09/07 10:28:43.37 vqX7J2tG.net
>>808 の問題で
1≦k≦2017において箱B_kにはk枚のコインが入っている初期状態に対して、
ある１つの箱を選んでコインを１枚だけ追加すると、
操作(1)，(2)を有限回行って、B_1に４枚のコインが入っている状態にできる。
そのときに選ぶ箱をB_mとするとき、mの最大値を求めよ。
861:￥
17/09/07 10:46:27.83 6DNo3zLu.net
￥
862:￥
17/09/07 10:46:42.96 6DNo3zLu.net
￥
863:￥
17/09/07 10:46:58.65 6DNo3zLu.net
￥
864:￥
17/09/07 10:47:13.30 6DNo3zLu.net
￥
865:￥
17/09/07 10:47:30.29 6DNo3zLu.net
￥
866:￥
17/09/07 10:47:47.51 6DNo3zLu.net
￥
867:￥
17/09/07 10:48:05.83 6DNo3zLu.net
￥
868:￥
17/09/07 10:48:23.77 6DNo3zLu.net
￥
869:￥
17/09/07 10:48:40.65 6DNo3zLu.net
￥
870:￥
17/09/07 10:48:59.98 6DNo3zLu.net
￥
871:１３２人目の素数さん
17/09/07 15:50:14
872:.24 ID:VZbg+gG6.net
873:￥
17/09/07 15:51:37.40 6DNo3zLu.net
￥
874:￥
17/09/07 15:53:34.02 6DNo3zLu.net
￥
875:￥
17/09/07 15:53:51.40 6DNo3zLu.net
￥
876:￥
17/09/07 15:54:06.48 6DNo3zLu.net
￥
877:￥
17/09/07 15:54:22.25 6DNo3zLu.net
￥
878:￥
17/09/07 15:54:40.32 6DNo3zLu.net
￥
879:￥
17/09/07 15:54:56.77 6DNo3zLu.net
￥
880:￥
17/09/07 15:55:14.58 6DNo3zLu.net
￥
881:￥
17/09/07 15:55:30.99 6DNo3zLu.net
￥
882:￥
17/09/07 15:55:46.81 6DNo3zLu.net
￥
883:１３２人目の素数さん
17/09/08 08:59:08.35 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:１３２人目の素数さん
17/09/08 09:02:27.08 iwl1FmH8.net
今更な問題で出題するのも憚れる。
885:１３２人目の素数さん
17/09/08 09:03:15.74 N4FpDCh2.net
パンル～まるヴェ～
886:１３２人目の素数さん
17/09/08 09:04:02.72 N4FpDCh2.net
あ、誤爆だった。
887:１３２人目の素数さん
17/09/08 09:05:59.75 T2f/teQa.net
追加
(1) y=x+1/x (x>0)のグラフを描け。
(2) 正数p,qについてp/q+q/pの最小値を求めよ。
888:１３２人目の素数さん
17/09/08 09:19:59.85 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:１３２人目の素数さん
17/09/08 09:54:52.47 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:１３２人目の素数さん
17/09/08 10:18:27.56 p1NQ0XTB.net
誘導がね
891:￥
17/09/08 10:59:55.89 6ibQhXIy.net
￥
892:￥
17/09/08 11:00:14.43 6ibQhXIy.net
￥
893:￥
17/09/08 11:00:31.52 6ibQhXIy.net
￥
894:￥
17/09/08 11:00:49.19 6ibQhXIy.net
￥
895:￥
17/09/08 11:01:06.66 6ibQhXIy.net
￥
896:￥
17/09/08 11:01:22.99 6ibQhXIy.net
￥
897:￥
17/09/08 11:01:40.71 6ibQhXIy.net
￥
898:￥
17/09/08 11:02:04.39 6ibQhXIy.net
￥
899:￥
17/09/08 11:02:21.18 6ibQhXIy.net
￥
900:￥
17/09/08 11:03:04.63 6ibQhXIy.net
￥
901:１３２人目の素数さん
17/09/08 11:56:43.67 judDWqHk.net
(1)tan1°は超越数か？
そうでなければ最低何次の有理数係数の多項式の解になるか
(2)(tan1°)^20は無理数であることを証明せよ
902:￥
17/09/08 12:00:24.08 6ibQhXIy.net
￥
903:￥
17/09/08 12:00:40.52 6ibQhXIy.net
￥
904:￥
17/09/08 12:00:58.56 6ibQhXIy.net
￥
905:￥
17/09/08 12:01:15.94 6ibQhXIy.net
￥
906:￥
17/09/08 12:01:33.89 6ibQhXIy.net
￥
907:￥
17/09/08 12:01:51.30 6ibQhXIy.net
￥
908:￥
17/09/08 12:02:10.01 6ibQhXIy.net
￥
909:￥
17/09/08 12:02:29.10 6ibQhXIy.net
￥
910:￥
17/09/08 12:02:53.75 6ibQhXIy.net
￥
911:￥
17/09/08 12:03:13.62 6ibQhXIy.net
￥
912:1３２人目の素数さん
17/09/08 13:02:50.76 yJsxuIEN.net
a,b,cをa=b+cである正の整数とするとき
Σ[n=0～∞]{1/(an+b)^2+1/(an+c)^2}={π/(asin(πb/a))}^2
が成り立つことを示せ
913:￥
17/09/08 13:08:14.84 6ibQhXIy.net
￥
914:￥
17/09/08 13:08:34.54 6ibQhXIy.net
￥
915:￥
17/09/08 13:08:51.28 6ibQhXIy.net
￥
916:￥
17/09/08 13:09:07.94 6ibQhXIy.net
￥
917:￥
17/09/08 13:09:26.53 6ibQhXIy.net
￥
918:￥
17/09/08 13:09:43.78 6ibQhXIy.net
￥
919:￥
17/09/08 13:10:00.37 6ibQhXIy.net
￥
920:￥
17/09/08 13:10:16.91 6ibQhXIy.net
￥
921:￥
17/09/08 13:10:34.84 6ibQhXIy.net
￥
922:￥
17/09/08 13:10:55.53 6ibQhXIy.net
￥
923:１３２人目の素数さん
17/09/08 18:20:24.88 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:￥
17/09/08 18:25:16.34 6ibQhXIy.net
￥
925:￥
17/09/08 18:25:35.75 6ibQhXIy.net
￥
926:１３２人目の素数さん
17/09/08 18:25:51.27 Xvh/PpT+.net
>>868
(n-1)^n / n^(n-1）<（n - 1/2)/e を示せ。
ぢゃね？
927:￥
17/09/08 18:25:53.22 6ibQhXIy.net
￥
928:￥
17/09/08 18:26:11.32 6ibQhXIy.net
￥
929:￥
17/09/08 18:26:28.01 6ibQhXIy.net
￥
930:￥
17/09/08 18:26:45.71 6ibQhXIy.net
￥
931:￥
17/09/08 18:27:02.92 6ibQhXIy.net
￥
932:￥
17/09/08 18:27:21.17 6ibQhXIy.net
￥
933:￥
17/09/08 18:27:39.05 6ibQhXIy.net
￥
934:￥
17/09/08 18:28:03.95 6ibQhXIy.net
￥
935:￥
17/09/08 18:28:21.86 6ibQhXIy.net
￥
936:￥
17/09/08 18:28:39.20 6ibQhXIy.net
￥
937:１３２人目の素数さん
17/09/09 12:24:23.47
938:XnQE3OqS.net
939:１３２人目の素数さん
17/09/09 13:49:24.63 rohOwJh1.net
>>922
気のせい
940:￥
17/09/09 14:04:27.74 RUcvU26A.net
￥
941:１３２人目の素数さん
17/09/09 14:33:13.11 SoNY1DX2.net
【問題】
ある正の整数Nは,10％増にすると,その各桁の数字の和が9.99％減になる.
そのような最小のNの桁数を求めよ.
942:￥
17/09/09 14:56:27.41 RUcvU26A.net
￥
943:１３２人目の素数さん
17/09/09 22:57:40.99 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:１３２人目の素数さん
17/09/09 23:19:13.91 SoNY1DX2.net
>>927
正解です。
たしかに10%増の数が整数であることを明記していませんでした。すみません。
945:１３２人目の素数さん
17/09/10 03:10:14.33 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:１３２人目の素数さん
17/09/10 03:26:48.96 GGGugCiK.net
>>929 訂正
f（x）= log｜sin(x+θ)｜= log｜sinθ｜+ Σ［n=0，∞］｛log｜1 + x/(nπ+θ)｜+ log｜1 - x/(nπ+π-θ)｜}
とおく。
947:１３２人目の素数さん
17/09/10 13:52:38.07 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:１３２人目の素数さん
17/09/10 14:49:04.63 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:１３２人目の素数さん
17/09/10 17:32:06.00 zLS0WX3O.net
ある直角三角形は辺の長さが全て整数で、外接円と内接円の半径が素数であるという。
この三角形を解け。
951:１３２人目の素数さん
17/09/10 19:06:14.10 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:１３２人目の素数さん
17/09/11 03:26:42.52 E6E7YLOn.net
>>932
不正解
もっと次数は少なく出来ます
953:１３２人目の素数さん
17/09/11 09:39:25.72 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:１３２人目の素数さん
17/09/11 09:42:20.05 rDwKsRjX.net
誤：Xは(cos1°)^2を根として持つ。
正：f(X)は(cos1°)^2を根として持つ。
955:１３２人目の素数さん
17/09/11 11:50:59.67 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:１３２人目の素数さん
17/09/11 12:08:03.62 UigVogsj.net
>>938
ホントに最小であることの証明は？
957:１３２人目の素数さん
17/09/11 12:13:10.05 DwdMHImO.net
>>939
具体的値として求められた tan(1°) がベキ根を含む汚い式になるから、
X＝tan(1°) とおいてそのベキ根を消して行けばいいだけ。
958:１３２人目の素数さん
17/09/11 12:16:32.12 UigVogsj.net
それで証明になるの？
959:１３２人目の素数さん
17/09/11 12:27:46.09 DwdMHImO.net
>>941
このやり方に不満があるなら、より小さい次数の最小多項式 f(X) があったとして、
f( tan(1°) ) を計算して、有理数体Q上線型独�
960:ｧなベキ根についての線型代数の問題に帰着させればいい。
961:１３２人目の素数さん
17/09/11 15:50:26.40 JgHCy0pJ.net
和算の問題です。
大円1個、中円1個、小円2個あります。
大円に1点で中円が接し、小円は、中円と大円にそれぞれ接して
います。
いま大円の面積より、中円と小円の面積を引いた残りが
120で、中円と小円の径の差が5の時、大円、中円、小円の
半径はいくつでしょう。