X



トップページ数学
1002コメント476KB
面白い問題おしえて〜な 32問目
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2020/04/07(火) 12:32:13.40
過去ログ置き場(1-16問目)
http://www3.tokai.or.jp/meta/gokudo-/omoshi-log/

まとめwiki
http://www6.atwiki.jp/omoshiro2ch/

01 http://cheese.5ch.net/test/read.cgi/math/970737952/
02 http://natto.5ch.net/test/read.cgi/math/1004839697/
03 http://mimizun.com/log/2ch/math/1026218280/
04 http://mimizun.com/log/2ch/math/1044116042/
05 http://mimizun.com/log/2ch/math/1049561373/
06 http://mimizun.com/log/2ch/math/1057551605/
07 http://science2.5ch.net/test/read.cgi/math/1064941085/
08 http://science3.5ch.net/test/read.cgi/math/1074751156/
09 http://science3.5ch.net/test/read.cgi/math/1093676103/
10 http://science4.5ch.net/test/read.cgi/math/1117474512/
11 http://science4.5ch.net/test/read.cgi/math/1134352879/
12 http://science6.5ch.net/test/read.cgi/math/1157580000/
13 http://science6.5ch.net/test/read.cgi/math/1183680000/
14 http://science6.5ch.net/test/read.cgi/math/1209732803/
15 http://science6.5ch.net/test/read.cgi/math/1231110000/
16 http://science6.5ch.net/test/read.cgi/math/1254690000/
17 http://kamome.5ch.net/test/read.cgi/math/1284253640/
18 http://kamome.5ch.net/test/read.cgi/math/1307923546/
19 http://uni.5ch.net/test/read.cgi/math/1320246777/
20 http://wc2014.5ch.net/test/read.cgi/math/1356149858/
21 http://wc2014.5ch.net/test/read.cgi/math/1432255115/
22 http://rio2016.5ch.net/test/read.cgi/math/1464521266/
23 http://rio2016.5ch.net/test/read.cgi/math/1497416499/
24 http://rio2016.5ch.net/test/read.cgi/math/1502016223/
25 http://rio2016.5ch.net/test/read.cgi/math/1502032053/
26 http://rio2016.5ch.net/test/read.cgi/math/1518967270/
27 http://rio2016.5ch.net/test/read.cgi/math/1532793672/
28 http://rio2016.5ch.net/test/read.cgi/math/1540739963/
29 http://rio2016.5ch.net/test/read.cgi/math/1548267995/
30 http://rio2016.5ch.net/test/read.cgi/math/1572866819/

なお、削除依頼は不要です。
※前スレ
面白い問題おしえて〜な 31問目
http://rio2016.5ch.net/test/read.cgi/math/1580123521/
0295132人目の素数さん2020/05/16(土) 22:36:24.99ID:6v5ZL5Ov
おらっ!出てこい>>283!!

  ドッカン   ゴガギーン
    _ ドッカン  ☆
===( )   /
`∧∧_||___ ∧∧
(  )|||   |(Д`)
f  ⌒~ ||   ||  \
|  / ̄ |   |/| / /
|  |  | ヘ/\|_/ /
|  | ロ|ロ\/\(_ノ)
( (_ \ |   | Y /
| ||\ ヽ|   | ||
| || / / |   | ||
| ||/ /_|___| ||
(_(_)     (__)
0296132人目の素数さん2020/05/16(土) 22:38:16.76ID:sfEx5Iwz
ワロタ
今までイナの証明が正しかったことなんか一度でもあんのか?
0299!omikuji2020/05/17(日) 01:07:56.05ID:eAjpSmlv
>>290
>>292
2つ目に大きい直角二等辺三角形の上辺をxとおくと、
斜辺はx√2
3つ目に大きい直角二等辺三角形の左下辺は√2-x√2=(1-x)√2
右辺は2(1-x)
6番目に大きい直角二等辺三角形に右辺は1-2(1-x)=2
x-1
斜辺は(2x-1)√2
5番目に大きい直角二等辺三角形の斜辺は2(2x-1)
正方形の上辺についてx+2(2x-1)=1
∴ x=0.6
正方形の上辺を6:4に、右辺を上から2:8に分ける点から切りこめば相似な直角二等辺三角形で7分割できる。

x
0300イナ ◆/7jUdUKiSM 2020/05/17(日) 01:11:44.54ID:eAjpSmlv
>>299ここを7分割でくるとはたいしたもんだ。まいったぜ^^
0301132人目の素数さん2020/05/17(日) 01:14:19.66ID:4Wd753iR
分数のままでいいのに、わざわざ小数にするのが流行っているの?
0303132人目の素数さん2020/05/17(日) 07:40:40.63ID:0zPjflsW
完全直角二等辺三角形分割直角二等辺三角形からの構成か、、それ以外の解法無いのかな
0304132人目の素数さん2020/05/17(日) 08:52:53.61ID:0zPjflsW
なんかそういうのに関連した情報があるサイト見つけたわ
0305132人目の素数さん2020/05/17(日) 11:44:24.06ID:8nMYVkq5
1:2:√3みたいな他の特殊な三角形でも分割できるかどうかは気になる所だな
0309132人目の素数さん2020/05/17(日) 19:03:15.49ID:jv4DNZp5
>>292
(0,0)-(0,10)-(10,0)-(10,8)-(6,4)-(6,10)-(9,7)-(10,8)-(8,8)-(10,10)-(0,10)

>>302
(0,0)-(0,7)-(7,0)-(7,6)-(4,3)-(4,7)-(6,5)-(6,7)-(7,6)-(7,7)-(0,7)
0310132人目の素数さん2020/05/19(火) 08:37:11.82ID:EkhNHjnJ
不等式(x-1)(x-2)<0の解は1<x<2
不等式(x-1)(x-2)≦0の解は1≦x≦2
である。
では、解が1<x≦2となる不等式は何か?
なるべく簡単な式で答えよ
0314132人目の素数さん2020/05/19(火) 14:56:52.88ID:QMHHw686
(1)数列a_nに対して、
Z[a_n](z)=Σ_{n=0,∞} a_n z^(-n)
をa_nのZ変換と呼ぶ.

Z[n*a_n]をZ[a_n]を用いて表せ.

(2)次の漸化式で表される数列の一般項を求めよ.
a_1=1
a_{n+1}=(n*a_n)+1
0316132人目の素数さん2020/05/19(火) 15:12:39.36ID:QMHHw686
>>315
速い
正解です
0317132人目の素数さん2020/05/19(火) 15:54:12.21ID:HnyGTIPw
>>314
>>315
(2)は計算が面倒なので方針だけ書くと、

a_0 の値をどう決めても数列 a_n の漸化式は n ≧ 0 で有効だから、 a_0 = 0 とすれば、
(1 - z)^(-1) = z^0 + z^1 + z^2 + …
より、a_n の漸化式から、
Z[n*a_n](z) + (1 - (1/z))^(-1) = z * Z[a_n](z)
が得られる

ここで、(1)より、 Z[n*a_n](z) = - z * (d/dz) (Z[a_n])(z) であるので、
関数 f を f(z) := Z[a_n](z) と定めると、 f(z) は微分方程式
- z * (df/dz)(z) + (1 - (1/z))^(-1) = z * f(z)
を満たす
この微分方程式を解くと(多分) f(z) の別の表現が求まるので、それをべき級数に展開すると、
z^(-n) の係数が求める数列 a_n の一般項になる

残りの計算は他の人に任せます
上にミスがあったらすまん
0319132人目の素数さん2020/05/19(火) 16:13:35.71ID:QMHHw686
>>317
方針は正解です。

ローラン展開の一般項は複素積分により求まるのでそれでも大丈夫です。

>>318
積分を用いて
e∫_1^∞ t^(n-1) e^(-t) dtと表現することも可能ですがそれ以上簡単にはならないですね

ちなみにΓ(a,x)= ∫_x^∞ t^(a-1) e^(-t) dtを
第2種不完全ガンマ関数と言います
0322132人目の素数さん2020/05/19(火) 16:55:55.74ID:UYu8+UF5
ああ証明か n≧1 の時
A = Σ_(k=n+1,∞)n!/k!
< Σ_(k=n+1,∞) (n+1)^(-k+n)
= 1/n ≦ 1.
また、
B = Σ_(k=0,n)n!/k! は整数であるから、
n!e = Σ_(k=0,∞)n!/k! = A+B
の整数部分はB.
0323132人目の素数さん2020/05/19(火) 16:57:17.67ID:QMHHw686
>>320-322
あーなるほど、ガウス記号使って表現出来るんですか
簡単にならないと言ってしまいごめんなさい
0325132人目の素数さん2020/05/19(火) 17:14:51.56ID:QMHHw686
あー今更ですが>>318

a_{n+1}=n*a_n+1の両辺をn!で割って
a_{n+1}/n!=a_n/(n-1)!+1/(n-1)!
としてa_n/(n-1)!の階差数列にする方針ですか

それなら確かにZ変換するよりはるかに簡単ですね
0327132人目の素数さん2020/05/19(火) 17:26:32.70ID:QMHHw686
>>326
f(z)=e^(1-z)*Ei(z-1)
(Eiは複素関数として拡張した指数積分)
として表現できます
0328132人目の素数さん2020/05/19(火) 17:41:00.49ID:HnyGTIPw
>>327
マジか
f(z) を z = 0 の周りに直接ローラン展開するというよりも、
>>319に書かれているように、主要部の係数を複素積分で計算する感じなの?
かなり難しいな
0329132人目の素数さん2020/05/20(水) 06:50:58.59ID:eH5Ynn/g
漸化式→Z変換→微分方程式→複素積分
ってベクトル解析以外の工学部で習う数学を一通りおさらい出来るな
0331132人目の素数さん2020/05/20(水) 12:49:05.79ID:wP7pokcF
0<α<1を取る。
x=(√π)α/2とおき漸化式
a0=x
an = x/(2n+1)Σ[k=0,n-1]a_k a_(n-k-1)(2n-2k-1)/(k+1)
で定められる数列anをとりz=lim anとおく。
この時

α=2/√π∫[-z,z]exp(-x^2)dx

を示せ。
0333132人目の素数さん2020/05/20(水) 14:11:27.75ID:zzlqVCk7
>>330
どの辺が賛否両論なんだろう
明らかに否なのでは?

実際、もし無限級数
f(x) = 1 + x + x^2 + x^3 + x^4 + …
が f(x) ∊ T であるならば、和集合の定義から、ある非負整数 n が存在して、
f(x) ∊ T_n
となるが、 f(x) は n 次多項式ではないので矛盾する
0334132人目の素数さん2020/05/20(水) 15:32:04.86ID:TugStO0i
無限にロマン()を持つバカがよくやる釣り
0336132人目の素数さん2020/05/20(水) 16:47:22.35ID:zzlqVCk7
F_n をフィボナッチ数列
F_0 = 0,
F_1 = 1,
F_(n+2) = F_n + F_(n+1) (n ≧ 0)
とする。

n = 4 の場合を除いて、 F_n が素数となる n は素数であることを示せ。
また、 n > 2 に対し、 n が素数でも F_n が素数になるとは限らないことを示せ。
0337132人目の素数さん2020/05/20(水) 17:00:29.89ID:zzlqVCk7
p_n を n 番目の素数(p_1 = 2, p_2 = 3, p_3 = 5, … )とする。
このとき、有限個の n を除いて、不等式
p_(n+2) < p_n + p_(n+1)
が成り立つことを示せ。
0338132人目の素数さん2020/05/20(水) 17:35:13.67ID:wP7pokcF
>>336
α=(1-√5)/2、β=(1+√5/)/2、
Fn=1/√5(β^n-α^n)、Ln=(β^n+α^n)とおく。

n=2m (m≧3)のとき
Fn = FmLm、Fm≧F3=2、Lm≧L3=4
よりFnは素数ではない。

n:odd、n=ml (m,l≧3)のとき
Fn=Fm(L(n-m)+‥)、Fm≧F3=2、L(n-m)+‥≧L6=18
よりFnは素数ではない。
0339132人目の素数さん2020/05/20(水) 17:45:58.81ID:wP7pokcF
>>337
素数定理より
p_n+p_(n+1)-p_(n+2)
=nlogn+(n+1)log(n+1)-(n+2)log(n+2)+o(nlogn)
=(n-1)logn+o(nlogn)
>0 (n>>0)
0340132人目の素数さん2020/05/20(水) 19:19:31.76ID:ubU6yrxi
>>331
漸化式から
a_1 =(1/3)(a_0)^3,
a_2 =(7/30)(a_0)^5,
a_3 =(127/630)(a_0)^7,
 ・・・・・
となる。
z = lim[n→∞] a_n が収束するように a_0 を定めると
 a_0 〜 0.851
これは
 0 < a_0 <(√π)/2 = 0.886227
をみたす。
このとき z 〜 0.018
となるが、これは
 a_0 = ∫[0,z] exp(-xx)dx < z,
と合わない・・・・
0341132人目の素数さん2020/05/20(水) 19:47:42.25ID:ubU6yrxi
>>336
 α =(1-√5)/2, β =(1+√5)/2 は α+β=1, αβ=-1 をみたす。
 F_n =(β^n - α^n)/√5,  ・・・ Binetの式
いま
 α^p = A, β^p = B とおくと
 AB = (αβ)^p =(-1)^p, A+B も整数。
より
 F_(pq)/F_p ={β^(pq)- α^(pq)}/(β^p - α^p)
  =(B^q - A^q)/(B-A)
  = B^(q-1) + B^(q-2)A + ・・・・ + BA^(q-2)+ A^(q-1),
 これは A,Bの対称式ゆえα, βの対称式で、係数も整数だから整数。
0342132人目の素数さん2020/05/20(水) 20:20:35.09ID:zzlqVCk7
>>337の不等式は n > 1 で常に成り立つか?
0343132人目の素数さん2020/05/20(水) 21:04:48.32ID:wP7pokcF
>>342
最初の十項は
(2,3,5,0)
(3,5,7,1)
(5,7,11,1)
(7,11,13,5)
(11,13,17,7)
(13,17,19,11)
(17,19,23,13)
よりn=1を除いて成立。

n≧6においてDudartの不等式

n(log(n log(n)))-n<p_n<n(log(n log(n)))

により

p_n+p_(n+1)-p_(n+2)
> n(log(n log(n)))-n + (n+1)(log((n+1) log(n+1)))-n-1- (n+2)(log((n+2) log(n+2)))
>0 (if n≧8)

https://en.m.wikipedia.org/wiki/Prime-counting_function
0344132人目の素数さん2020/05/20(水) 22:14:55.72ID:zzlqVCk7
>>343
凄い
その不等式は、
Dusart, Pierre. (1999). The $k^{th}$ prime is greater than $k(\ln k + \ln\ln k-1)$ for $k\geq 2$.
Mathematics of Computation - Math. Comput.. 68. 411-416. 10.1090/S0025-5718-99-01037-6.
の結果から得られるものですね
最新の結果を使うとここまで簡単に示せるとは

ちなみに、>>337の不等式が全ての n > 1 で成り立つことの元ネタは、
Ishikawa, H. "Über die Verteilung der Primzahlen." Science Rep. Tokyo Bunrika Daigaku 2, 27-4 (1934).
です
0345イナ ◆/7jUdUKiSM 2020/05/20(水) 23:57:57.71ID:tAhN69jq
>>307
>>336
F_0=0
F_1=1
F_2=0+1=1
F_3=1+1=2が素数となる3は素数。
F_4=1+2=3
F_5=2+3=5が素数となる5は素数。
F_6=3+5=8
F_7=5+8=13が素数となる7は素数。
F_8=8+13=21
F_9=21+13=34
F_10=34+21=55
F_11=55+34=89が素数となる11は素数。
F_12=89+55=144
F_13=144+89=233が素数となる13は素数。
F_14=233+144=377=13×29
F_15=377+233=610=2×5×61
F_16=610+377=987=7^3×3
F_17=987+610=1597が素数となる17は素数。
0348 【中吉】 2020/05/21(木) 00:39:04.03ID:CSJyFCHe
>>345
>>346F_18=1597+987=2584=2^3×323
なんか、なんかしらんF_19は本能的に危険だと感じた。
0349132人目の素数さん2020/05/21(木) 02:07:56.74ID:O/YZw1wA
>>331
確かめ
f x = sum $ (!!500) $ map fst $ iterate (nextf x) ([x],1)
nextf x (ts,n) = id
$ (\x->(x,(n+1)))
$ (:ts)
$ (*(x/(2*n+1)))
$ sum
$ foldl1 (zipWith (*))
$ [ts, (reverse ts), (map recip [1..]),[2*n-1,2*n-3..] ]

g x = sum $ take 500 $ map fst $ iterate (nextg x) (x,1)
nextg x (y,n) = (-x^2*y*(2*n-1)/(2*n+1)/n,n+1)

main = do
mapM_ print [(x, g$f$x) | x<-[0,0.1..0.9]]

(0.0,0.0)
(0.1,0.1)
(0.2,0.20000000000000004)
(0.30000000000000004,0.30000000000000004)
(0.4000000000000001,0.4000000000000002)
(0.5000000000000001,0.5)
(0.6000000000000001,0.6000000000000003)
(0.7000000000000001,0.7)
(0.8,0.8000000000000003)
(0.9,NaN)
0350132人目の素数さん2020/05/21(木) 12:29:22.44ID:2X0O/IN0
簡単そうにみえるのだけど なかなかうまくいかない
賢者の皆様なら解決できるのだとおもってここに投稿させてもらいます

n,kを正の整数とするとき,どのような正の整数xに対しても,
Σ[i=1,n]gcd(k, x+i) ≧ Σ[i=1,n]gcd(k, i) が成り立つことを証明せよ
0351132人目の素数さん2020/05/21(木) 12:31:58.63ID:2X0O/IN0
k>n が条件から抜けていましたので修正

n,kをk>nを満たす正の整数とするとき, どのような正の整数xに対しても,
Σ[i=1,n]gcd(k, x+i) ≧ Σ[i=1,n]gcd(k, i) が成り立つことを証明しなさい.

以上です
0352132人目の素数さん2020/05/21(木) 13:50:30.67ID:k0T1z2It
数学掲示板群 ttp://x0000.net/forum.aspx?id=1

学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など

PS 連続と離散を統一した!
ttp://x0000.net/topic.aspx?id=3709-0
0353132人目の素数さん2020/05/21(木) 16:17:45.50ID:KA7tMHD/
>>351
不等式の左辺を
f(x) := Σ[i=1, n] gcd(k, x+i)
とすると、右辺は f(0) であるので、 f(x) ≧ f(0) を示せばよい

ユークリッドの互除法より、整数 a ≧ b > 0 に対して、
gcd(a, b) = gcd(b, a mod b)
であるので、
x = 0, 1, 2, … に対し、
gcd(k, x+k+i) = gcd(k, x+i) (i = 1, 2, … , n < k)
となるから、
f(x+k) = f(x)
が成り立つ
したがって、 f(0) が f(0), f(1), f(2), … , f(k-1) の中で最小になることを示せばよい

…ここまでわかったんですが、ここで詰まりました
0354132人目の素数さん2020/05/21(木) 16:19:32.99ID:YP2XwN57
>>351
φをオイラーのトーシェント関数とする。
正の整数mについて m=Σ_(d|m)φ(d) であるから、
Σ_(i=1,n) gcd(k,x+i)
=Σ_(i=1,n) Σ_(d|gcd(k,x+i)) φ(d)
=Σ_(d|k) φ(d) Σ_(1≦i≦n, d|(x+i)) 1
≧Σ_(d|k) φ(d) ceil(n/d)
=Σ_(d|k) φ(d) Σ_(1≦i≦n, d|i) 1
=Σ_(i=1,n) Σ_(d|gcd(k,i)) φ(d)
=Σ_(i=1,n) gcd(k,i).
0355132人目の素数さん2020/05/21(木) 17:27:28.80ID:9/mzsE03
問題ではないけど。
サザエさんの番組最後に行われるジャンケンに乱数検定を実施した人達がいて。その結果、大きな脆弱性が発見され「ランダムで決められているわけではなく、人の感覚で決められているのでは?」という結論に至ったらしい。
0357イナ ◆/7jUdUKiSM 2020/05/21(木) 19:50:09.31ID:CSJyFCHe
>>348
>>355
ちゃんとサザエさんの初動を把握すれば、サザエさんがなにを出すかがわかり、勝てるようになると思う。ねずみのすもうって話があっただろう。いつも
庄屋のねずみに負けてた🐀お爺
さんちの👴ねずみだが、どっこいどっこいぐらい勝てるようになった。ふつうに考えて庄屋のねずみも強くなるから差はそんなに縮まらないはず。それはつまり庄屋のねずみの初動をお爺さんちのねずみが見抜くようにな
ったからじゃないか?
0359132人目の素数さん2020/05/22(金) 11:18:22.85ID:u1zGgho9
問い.
以下 の a〜 の値、または近似値を答えよ。

A.「整数空間Z の 約a割が 自然数空間N で占められている」

B.「実数空間R の 約b割が 有理数空間Q で占められている」

C.「素数の空間のうち、約c割が奇数で占められている」

D.「半素数の空間のうち、約d割が偶数で占められている」

E.「偶数空間のうち、約e割が 矩形数で占められている」
0360132人目の素数さん2020/05/22(金) 12:15:30.79ID:+m8aGKau
>>359
自然数集合や実数集合上には平行移動不変かつ全測度有限となる非自明な測度は存在しない

無限集合における「割合」の定義を明確に述べよ
0361132人目の素数さん2020/05/22(金) 12:26:44.16ID:u1zGgho9
よい答えだ。
どうやら君は不正確な回答を
書き込む知ったかの連中とは違うようだな。
0362132人目の素数さん2020/05/22(金) 13:24:20.62ID:y+ggBWMl
>>351
kの素因数分解を k = Π_j pj^ej とする。

{x+1, x+2, ・・・・, x+n}のうち、pの指数が最大の項x+m を基準とする。
 x+m+i のpの指数 ≧ i のpの指数   (i=1,・・・・,n-m)
 x+m+1-i' のpの指数 ≧ n+1-i' のpの指数  (i'=1,2,・・・・,m)
(ここで n<p^(e+1)を使う)
Σ[i=1,n] gcd(p^e, x+i)≧ Σ[i=1,n] gcd(p^e, i)
すべての素因数pjについてたす。
 gcd(k, y) - 1 ≧ Σ_j{gcd(pj^ej, y)- 1}
を使う。
0364132人目の素数さん2020/05/22(金) 14:08:10.12ID:y+ggBWMl
>>359
・N(自然数), Z(整数), 2Z(偶数), P(素数), PP'(半素数), 矩形数 ・・・・ 離散
・Q(有理数) ・・・・ 稠密
は可算で、同型写像で移り合う。
・R(実数)  ・・・・ 連続
だけ不可算で別格ですね〜

しいて言えば b=0 c=10 か?
0365132人目の素数さん2020/05/22(金) 18:12:31.08ID:/zKlufKr
>>354
解法ありがとうございます
もしよろしければ
Σ_(i=1,n) Σ_(d|gcd(k,x+i)) φ(d)
=Σ_(d|k) φ(d) Σ_(1≦i≦n, d|(x+i)) 1
の成立理由をきいてよろしいでしょうか?
(他の部分は理解できましたが念の為)
0366132人目の素数さん2020/05/22(金) 20:34:43.89ID:T3jZkptd
>>365
横からすみません

私はそこと
Σ_(d|k) φ(d) Σ_(1≦i≦n, d|(x+i)) 1
≧Σ_(d|k) φ(d) floor(n/d)
の成立理由がわからないのですが、ここの成立理由について教えていただけないでしょうか?

この不等式は、恐らく
Σ_(1≦i≦n, d|(x+i)) 1 ≧ floor(n/d)
が成立するということかと思いますが、これがなぜだかわかりません
上の不等式の左辺は、 x+1, x+2, … , x+n の中で d で割り切れる数の個数を意味しますが、
どうしてこれが floor(n/d) 以上になるのでしょうか?
0367132人目の素数さん2020/05/22(金) 20:55:40.49ID:/zKlufKr
>>366
当人じゃないのですがそこの部分は次の性質を使ったのだとおもいます:
[α+β] ≧ [α]+[β] が一般に成立する ( [.]は床関数)
x+1, x+2, … , x+n の中で d で割り切れる数の個数は
[(x+n)/d] - [x/d] ですが さっきの性質から [n/d]以上です

>>362
その解法は機能しますか?
最初わたしも素冪でわけて考えたりしたのですがまるでうまくいかなかったです
>>354 の解法は芸術品みたいで おそらく正しいのだとおもいますが
0369132人目の素数さん2020/05/23(土) 06:04:17.22ID:TCsnbkkz
10^100+3が素数でないことを示せ
0371132人目の素数さん2020/05/23(土) 06:58:08.00ID:COZ69QMb
7×157×769×2593×4888946572366141×933379288600368294785169967190258422519522243538669103040838466576871923901
0372132人目の素数さん2020/05/23(土) 07:07:43.43ID:TCsnbkkz
これくらいの桁なら素因数分解できるのかw
どうせなら10^10^10+3にしとけば良かった
0373132人目の素数さん2020/05/23(土) 09:42:09.58ID:TCsnbkkz
m↑↑nを繰り返し冪m^m^…^m(mがn個)とする

(a)
10↑↑10+3が合成数であることを示せ

(b)
7↑↑7-2が合成数であることを示せ
0374132人目の素数さん2020/05/23(土) 11:59:21.42ID:X/GVmCC1
(a)
10^m ≡ 4 (mod 6)
∴ 10↑↑n ≡ 4 (mod 6)
n≧2 のとき
10↑↑n = 10^(10↑↑(n-1))
 ≡ 10^4  (mod 7)  (フェルマーの小定理)
 ≡ 4   (mod 7)
10↑↑n + 3 ≡ 0 (mod 7)
0375132人目の素数さん2020/05/23(土) 13:05:16.54ID:jQ8B7aTS
>>359-360を見て作った問題

#AをAの濃度とする

可算無限濃度の群G={g_i | i∈N}とその正規部分群Hに対して、

#(G/H)=lim(n→∞) #{g_i | i < n}/#{g_(k_i} | g_(k_i} ∈ H , k_iは増加列、k_i < n}

は常に成立するか?成立しないのならば反例を挙げよ.
0376132人目の素数さん2020/05/23(土) 14:14:49.65ID:bzczE+Yy
>>365
Σ_(i=1,n) Σ_(d|gcd(k,x+i)) φ(d)
= Σ_(1≦i≦n, d|k, d|(x+i)) φ(d)
= Σ_(d|k) Σ(1≦i≦n, d|(x+i)) φ(d).

>>366
連続したd個の整数のうち少なくとも一つはdの倍数。
(x+1)から(x+n)までには、連続したd個の整数からなるブロックが[n/d]個あるから、
そのうちdの倍数も[n/d]個以上あることになる。
0377132人目の素数さん2020/05/23(土) 15:35:07.22ID:X/GVmCC1
>>373
(b)
 7 ≡ -1  (mod 4)
 7^(4m-1)≡(-1)^(4m-1)= -1 (mod 4)
∴ 7↑↑n ≡ -1  (mod 4)

∴ n≧2 のとき
7↑↑n = 7^(7↑↑(n-1))
 = 7^(4m+3)
 ≡ 7^3
 = 343
 ≡ 3 (mod 10)
 (∵ 7^4 = (50-1)^2 ≡ 1 (mod 100))

∴ n≧3 のとき
7↑↑n = 7^(7↑↑(n-1))
 = 7^(10m+3)
 ≡ 7^3  (フェルマーの小定理)
 = 343
 ≡ 2.  (mod 11)
∴ 7↑↑n - 2 は 11の倍数。(n≧3)
0378132人目の素数さん2020/05/23(土) 16:04:56.95ID:X/GVmCC1
>>369
>>373 (a)
 10^m ≡ 4 (mod 6)
より
10^(10^m)
 ≡ 10^4  (フェルマーの小定理)
 =(100)^2
 ≡ 2^2
 = 4   (mod 7)

∴ 10^(10^m)+ 3 ≡ 0 (mod 7)
0379132人目の素数さん2020/05/23(土) 16:29:57.13ID:TCsnbkkz
>>377-378
正解です!

同じように
任意の整数a(>0),bに対してあるp(>1),Nが存在して
a↑↑n+b=0 modp (n≧N)
が成り立ちそうな気もするんですがどうなんでしょうか…
0381132人目の素数さん2020/05/23(土) 17:08:34.54ID:X/GVmCC1
>>377 をチョト改良
(b)
 7 ≡ -1  (mod 4)
Lが奇数のとき
 7^L ≡(-1)^L = -1 (mod 4)

 7^(7^L)= 7^(4m+3)≡ 7^3 = 343 ≡ 3 (mod 10)
 (∵ 7^4 = (50-1)^2 ≡ 1 (mod 100))

 7^{7^(7^L)}
 = 7^(10n+3)
 ≡ 7^3  (フェルマーの小定理)
 = 343
 ≡ 2.  (mod 11)

∴ 7^{7^(7^L)}- 2 は 11の倍数。(L:奇数)
0382132人目の素数さん2020/05/23(土) 17:13:16.28ID:bzczE+Yy
>>375
#{g_(k_i) | g_(k_i)∈H, k_i は増加列, k_i<n }
はどういう意味?k_iは#{}の束縛変数?それともg_iから一意に定まるもの?
0383132人目の素数さん2020/05/23(土) 18:13:47.17ID:jQ8B7aTS
>>382
すみません
iの部分列として表記してましたが 紛らわしいだけなので
{g_j ∈ G | g_j ∈ H , j < n}とすれば良かったですね
jは束縛変数で
g_j ∈ Hかつj < nを満たす自然数jを全て取ってきて
g_jを集めた集合、ということです。
0384132人目の素数さん2020/05/23(土) 18:16:17.54ID:jQ8B7aTS
>>375
いちおう修正

#AをAの濃度とする

可算無限濃度の群G={g_i | i∈N}とその正規部分群Hに対して、

#(G/H)=lim(n→∞) #{g_i | i < n}/#{g_j | g_j ∈ H , j < n}

は常に成立するか?成立しないのならば反例を挙げよ.
0385132人目の素数さん2020/05/23(土) 18:18:49.14ID:jQ8B7aTS
>>384
というか
H∩{g_i | i<n}
だけで良かったのか アホだな
0386132人目の素数さん2020/05/23(土) 18:34:22.32ID:UQuKBuXn
>>355
>脆弱性
??
0388132人目の素数さん2020/05/23(土) 19:19:38.36ID:jQ8B7aTS
>>387
たしかにそうですね
ある自然数Nがあって、g_N∈H
は言えるのでその自然数以降で考える

もしくは形式的にH∩{g_i | i<n}が空ならば1ということでお願いします
0390132人目の素数さん2020/05/23(土) 20:57:15.99ID:KUlK5hoA
>>384
必ずしも成り立たない。

Gとして整数全体 Z を考える(加法群としてのZ)。
正規部分群Hとして、偶数全体の集合を考える。
もちろん、ここでの「偶数」は負の数も込めている。

Z = { g_i|i∈N } と表示できる任意の g:N → Z に対して

#(Z/H) = lim[n→∞] #{ g_i|i<n } / #(H∩{ g_i|i<n })

が成り立つかどうかを考える。以下では、g:N → Z が全単射のときを考える。
#{ g_i|i<n } = n であり、#(Z/H)= 2 であるから、

2 = lim[n→∞] n / #(H∩{ g_i|i<n })

が成り立つかどうかを考えればよい。そのためには

1/2 = lim[n→∞] #(H∩{ g_i|i<n }) / n

が成り立つかどうかを考えればよい。
0391132人目の素数さん2020/05/23(土) 20:58:17.85ID:KUlK5hoA
全単射 g:N → Z を、以下の性質を満たすように作る。

・ g_n が偶数になるのは、3^{2s} ≦ n < 3^{2s+1} (s=0,1,2,…) のとき、かつそのときのみ

このような g が存在することは後で見ることにして、先にこのような g に対して

1/2 = lim[n→∞] #(H∩{ g_i|i<n }) / n

が成り立たないことを示す。というか、この g に対しては
そもそも lim[n→∞] #(H∩{ g_i|i<n }) / n が存在しない。
0392132人目の素数さん2020/05/23(土) 20:59:40.49ID:KUlK5hoA
実際、k≧0 を任意に取る。1≦n<3^{2k+1}の範囲内で g_n が偶数になるのは、
3^{2s} ≦ n < 3^{2s+1} (0≦s≦k) のとき、かつそのときのみだから、

#(H∩{ g_i|i<3^{2k+1} }) = Σ[s=0〜k](3^{2s+1}−3^{2s}) = (9^{k+1}−1) / 4

であり、よって #(H∩{ g_i|i<3^{2k+1} }) / 3^{2k+1} = 3(1−9^{−(k+1)}) / 4 である。
特に、limsup[n → ∞] #(H∩{ g_i|i<n }) / n ≧ 3/4 である。

次に、1≦n<3^{2k+2}の範囲内で g_n が偶数になるのは、
やはり 3^{2s} ≦ n < 3^{2s+1} (0≦s≦k) のときのみだから、

#(H∩{ g_i|i<3^{2k+2} }) = Σ[s=0〜k](3^{2s+1}−3^{2s}) = (9^{k+1}−1) / 4

であり、よって #(H∩{ g_i|i<3^{2k+2} }) / 3^{2k+2} = (1−9^{−(k+1)}) / 4 である。
特に、liminf[n → ∞] #(H∩{ g_i|i<n }) / n ≦ 1/4 である。

以上より、そもそも lim[n→∞] #(H∩{ g_i|i<n }) / n が存在しない。
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況