整数論の問題を出し合うスレ
■ このスレッドは過去ログ倉庫に格納されています
0001風あざみ ◆c/j2mAZ2V6
05/01/25 20:58:36整数論総合スレッド
http://science3.2ch.net/test/read.cgi/math/1090800616/l50
から独立しました。
スレは基本的にsage進行でお願いします。
0002風あざみ ◆c/j2mAZ2V6
05/01/25 21:05:41その１
nの最大の素因数をP(n)と書く。
f(x)が一次多項式の累乗ではない多項式で整数に対して整数値をとるものとする。
このときP(f(n))→∞（n→∞）となることを示せ。
その２
Z上の多項式 f(X) = X^n + aX^{n-1} + ・・・ + aX - 1 (n≧2，a≠0)
はQ上既約である．
その３
nの正の約数の和をσ(n)、n以下の自然数のうちnの互いに素なものの個数をφ(n)とする。
(1)
任意の素数nに対して、n*σ(n)≡2 (mod φ(n) )が成立することを示せ。
(2)
n*σ(n)≡2 (mod φ(n) )が成立する合成数は、n=4,6,22に限ることを示せ。
0003１３２人目の素数さん
05/01/25 21:21:19では久しぶりに易しい問題を一つ。
ABC を平面上の三角形とする。このとき点 A, B, C に幾らでも近い点 A', B', C' で
長さ A'B', B'C', C'A', 面積 △A'B'C' が有理数になるものが存在する。
0004１３２人目の素数さん
05/01/25 21:22:35=x^n+axQ-1=0
q^n+aqQ-1=0
q^n+aqQ=1
q(q^n-1+aQ)=1
0005１３２人目の素数さん
05/01/25 21:29:20c(c^n-1+acD)=b^n
0006１３２人目の素数さん
05/01/25 21:48:07何それ？
0007１３２人目の素数さん
05/01/25 21:53:360008１３２人目の素数さん
05/01/25 22:01:15何それ
0009１３２人目の素数さん
05/01/25 22:03:02(｀･ω･´) 馬鹿はとっとと消え失せぇぃ！
.ノ^ yヽ、
ヽ,,ﾉ==l ﾉ
/ l |
"""~""""""~"""~"""~"
0010１３２人目の素数さん
05/01/25 22:13:490011伊丹公理 ◆EniJeTU7ko
05/01/25 22:22:37アホ端ね
0012風あざみ ◆c/j2mAZ2V6
05/01/26 03:01:16n個の頂点がすべて同一平面の格子点(x,y座標共に整数の点)上にある正n角形にはどんなものがあるか。
スレ立て乙です．
>>2のその3
(1) n が素数なら，σ(n) = n + 1，φ(n) = n - 1 より．
(2) n = p_1^(e_1)*・・・*p_g^(e_g) と素因数分解されたとする．
p_k^(e_k-1) | φ(n) より，e_k≧2 なら，e_k = p_k = 2
よって，n = 4p_1*・・・*p_g(p_1～p_gは奇素数) 又は p_1*・・・*p_g
n = p_1*・・・*p_g のとき，σ(n)≡φ(n)≡0 (mod. 2^(m-1))
n は合成数なので，m = 2
n が奇数なら，σ(n)≡φ(n)≡0 (mod. 4) なので，n=2p (p は奇数)
2pσ(2p) ≡ 12 (mod. p-1) だから，p-1 | 10
ゆえに，p = 3, 11で，n = 6, 22
上の議論から，n = 4p_1*・・・*p_g のときは n = 4
座標を取って，A を原点，B を x 軸上にとる．
単位円周上には有理点が稠密に存在するので，半径が有理数の円周上でもそう．
したがって，R^2 には原点からの距離が有理数である有理点が稠密に存在する．
C に近い有理点 C' (p，q) をとる．
(x - p)^2 + q^2 = y^2 を考えると，双曲線 x^2 - y^2 = -1 上には有理点が稠密
に存在するので，(x - p)^2 + q^2 = y^2 上でもそう．
だから，x 軸上には C との距離が有理数である有理点が稠密に存在する．
このようにして，B に近い有理点 B' をとる．
>>12
より強く，有理点としても正方形しかない．
頂点が有理点であるとすると，sin(2π/n)，cos(2π/n) がともに
有理数でなければならないことは容易に分かる．
このとき，円周等分多項式の次数は 2．つまりφ(n) = 2
よって，n = 3, 4, 6
n=3, 6 は sin(2π/n) が無理数になるので不適．
k を代数的閉体（別に複素数体でよい）とし，
f(x)，g(x)，h(x) ∈ k[x] とする．
n≧3 のとき，{f(x)}^n + {g(x)}^n = {h(x)}^n を満たすものは，
次の自明な解に限る．
f(x) = a*p(x), g(x) = b*p(x), h(x) = c*p(x)
ただし， p(x)∈k[x], a^n + b^n = c^n (a, b, c∈k)
0016風あざみ ◆c/j2mAZ2V6
05/01/26 21:24:09問題
2以上の整数nを素因数分解したとき、全ての素因数の指数が2以上になるとき、nを充平方数と呼ぶことにします。
自然数の集合Xを以下のように定める。
X={n∈N|nは充平方数}
1.n,n+1∈Xとなるnとn,n+4∈Xとなるnが無数にあることを示せ。
2.n,n+1,n+2,n+3∈Xとなるnが存在しないことを示せ。
3.以下のようなN個の連続する自然数が存在することを示せ。
y,y+1,…,y+N-1のすべてがXの要素ではない。
(1) x_n + √2y_n = (3 + 2√2)^n として，n = 2y_n^2，n+1 = x^2
とすると，y_n は偶数なので n も充平方．
こうしてとった n に対し m = 4n とすれば m+4 = 4(n+1) も充平方．
(2) 連続する4つの自然数のうち2つは偶数．
充平方なら4の倍数だが，それは不可能．
(3) p_1 < ・・・ < p_N を素数，i = 1～N に対し
y ≡ p_i + 1 - i (mod. p_i^2)
をみたす y が中国剰余定理より存在する．
このとき，y+i-1 は p_i で割り切れるが，p_i^2 で割り切れない．
ｐを素数，ｋを標数ｐの体とすると
１＾（ｐ＾ｓ）＋ｘ＾（ｐ＾ｓ）＝（１＋ｘ）＾（ｐ＾ｓ）。
記号をまずったのので，訂正．
(1) x_k + √2y_k = (3 + 2√2)^k として，n = 2y_k^2，n+1 = x_k^2
とすると，y_k は偶数なので n も充平方．
n=3,4,6 というのは，頂点が格子点にあるとしたときの
必要条件なので，具体的に構成する必要があるかと．
n=3,4の場合は明らかですが，例えば，P_1～P_6を
∠P_iOP_{i+1} = 60°を満たすようにとっても
P_1～P_6が同一平面上にあるとは限りませんし．
0025 ◆.PlCC3.14.
05/01/28 01:58:58問題
n を自然数とし，ζ_1，・・・，ζ_m を 1 のすべての原始n乗根とする．
(1 - ζ_1)・・・(1 - ζ_m) を計算せよ．
0026風あざみ ◆c/j2mAZ2V6
05/01/28 02:53:00nが素数pの冪乗のとき(1 - ζ_1)・・・(1 - ζ_m)=p
そうでないとき(1 - ζ_1)・・・(1 - ζ_m)=1となる。
解答
nの円分多項式をΦn(x)とするとΦn(x)=(x - ζ_1)・・・(x - ζ_m)
n=p^kのときはΦn(1)=p
x^(n-1)+x^(n-2)+…+1=Π[k＞1,k|n]Φk(x)より帰納的に言える。
0027１３２人目の素数さん
05/01/28 03:02:54平気で自明って言いますねｗｗｗ
0028１３２人目の素数さん
05/01/28 09:30:52分かった瞬間から自明になるのが数学の特徴。
人から教わったことでもそれを断るのは少数派。
0030１３２人目の素数さん
05/01/28 11:52:100031１３２人目の素数さん
05/01/28 19:53:43正解
0032風あざみ ◆c/j2mAZ2V6
05/01/29 00:01:42nの正の約数の和をσ(n)とする。
1.σ(n)=2nとなる数を完全数と呼ぶ。
(1)偶数の完全数は(2^k)*{2^(k+1)-1}、2^(k+1)-1は素数となるものに限ることを示せ。
(2)奇数の完全数はもしあれば、n=p^(4k+1)*m^2(pは4K+1の形の素数)の形に限ることを示せ。
2.σ(n)=2n+1の形になる自然数nを考える。
もしnが存在するならば、nは奇数の平方に限ることを示せ。
0033風あざみ ◆c/j2mAZ2V6
05/01/29 00:05:17pを素数、nをpの冪ではない自然数とする。
C(np,n)はp^2で割り切れることを示せ。
0034Arith
05/01/29 01:02:23σ(n)=2n, n=2^k*v(v: odd)ならば
(2^{k+1}-1|σ(n)=2nより(2^{k+1}-1)|v...(1)
σ(2^k)/2^k * σ(v)/v=σ(n)/n=2より
σ(v)/v=2^(k+1)/(2^(k+1)-1)...(2)
v|w, v<wならばσ(w)/w>σ(v)/v。
(1)(2)よりv>2^(k+1)-1ならば
σ(2^{k+1}-1)/(2^{k+1}-1)<σ(v)/v=2^(k+1)/(2^(k+1)-1)
となって矛盾。よってv=2^(k+1)-1。
σ(2^{k+1}-1)/(2^{k+1}-1)=σ(v)/v=2^(k+1)/(2^(k+1)-1)
より、2^{k+1}-1は素数であることが分かる。Q.E.D.
1.(2)
p=2ならばσ(p^e)=2^{e+1}-1: odd...(1)
p: odd, e: evenならばσ(p^e)≡p^e+...+1≡e+1≡1(mod 2)...(2)
p≡3(mod 4), e: oddならばσ(p^e)≡(p^e+p^{e-1})+...+(p+1)≡0(mod 4)...(3)
p≡1(mod 4)ならばσ(p^e)≡e+1(mod 4)...(4)
nが奇数の完全数なら、σ(n)≡2(mod 4).
よって、n=Πp_i^e_iとおくと、ちょうど一つのiに対して
σ(p_i^e_i)≡2(mod 4)となり、他のiに対してσ(p_i^e_i): odd。
前者は(4), 後者は(2)のタイプに該当する。Q.E.D.
2.
σ(n)が奇数なので、1.(2)の(1)(2)よりn=2^km^2(m: odd)。
k: oddとすると、3|σ(2^k)|σ(n)。一方、2nは平方数なので、
σ(n)=2n+1≡1 or 2(mod 3)となって矛盾。
k: even≧2とすると、nは平方数l^2であるから、σ(n)=2l^2+1。
よって、σ(n)の素因数は≡1 or 3(mod 8)。
σ(2^k)|σ(n)より、-1≡2^{k+1}-1≡σ(2^k)≡1 or 3(mod 8)となって矛盾。
よって、k=0。Q.E.D.
0035Arith
05/01/29 01:06:201. n=p^(4k+1)*m^2((p, m)=1, pは4K+1の形の素数)を奇数の完全数とする。このとき
mは平方因子を持つことを示せ。
2. σ_k(n)をｎの正の約数のk乗の和とする。このとき、任意のkに対して、
n|σ_k(n)となるnが無限に多く存在することを示せ。
0036風あざみ ◆c/j2mAZ2V6
05/01/29 02:41:16あと(2)番のk=0をいうところだけど、私は
{2^(k+1)-1}σ(m^2)=2^(k+1)m^2+1
2^(k+1)-1≡3 (mod 4)だから2^(k+1)-1の素因数pにはp≡3 (mod 4)となるものが必ず存在する。
よって(mod p)で考えるとm^2≡-1 (mod p)となるがこれは(-1/p)=-1に反する。
とやりました。
p＞n のときは，C(np,n) = p*C(np-1,n-1) で，
n!，P(np-1,n-1) は共に p で割り切れないので，
C(np,n) は p で割り切れるが，p^2 で割り切れない．
n ＞
n ＞ p のときは，n が p の倍数のときは C(18,6) が反例．
n ＞ p で，n と pが互いに素なのときは成立する．
C(np-1,n-1) = C((n-1)p,n-1)*A/B という形で表すと，
A, B は p で割り切れないことが簡単にわかるので，
帰納的に示される．
0039風あざみ ◆c/j2mAZ2V6
05/01/29 14:30:06>>33はnを2の冪ではない自然数とするとC(2n,n)は4で割り切れるという本の記述を見て
何も考えずに一般化してしてしまった、スマソ。
１５！／５！１０！＝３００３。
失礼いたしました．
帰納法の出発点が成立していないので，
まったく証明になってなく，
お叱りを受けるのも当然のことですね．
以後注意いたします．
0042風あざみ ◆c/j2mAZ2V6
05/01/30 03:40:29(1)
補題１
pを奇素数とする、a^(p-1)+a^(p-2)+…+1の素因数qをとるとq=p、あるいはq≡1 (mod p)となる。
証明
a^p≡1 (mod q)ここで、eをaの位数とするとe|pだから、e=1あるいはpとなる。
e=1のときp≡0 (mod q)となってq=pが示される。
e=pのときe=p|q-1となるので、q≡1 (mod p)が示される。
補題２
pを奇素数、aをa≡1 (mod p)となる整数とする。
a^(p-1)+a^(p-2)+…+1≡0 (mod p)
証明
a^(p-1)+a^(p-2)+…+1≡p≡0 (mod p)
さて、解答に入る。
mが平方因子を持たないと仮定する。
mをm=Π(qは素数)qと書く。
2p^(4k+1)*Π(q^2)={1+p+…+p^(4k+1)}*Π(1+q+q^2)…※
補題1より1+q+q^2の素因数rは3あるいはr≡1 (mod 3)のものに限られる。
r=3のときは明らかに3はmの素因数
r≡1 (mod 3)の場合も、補題2よりr^2+r+1は3で割り切れる。
よって、mは3を素因数に持つ。
Π(1+q+q^2)は1+3+3^2=13で割り切れ、mは13で割り切れる。
Π(1+q+q^2)は1+13+13^2=183=3*61で割り切れ、mは61で割り切れる。
Π(1+q+q^2)は1+61+61^2=3783=3*13*97で割り切れ、mは97で割り切れる。
※の右辺は27で割り切れるが、左辺は27では割り切れないから不合理。
0043風あざみ ◆c/j2mAZ2V6
05/01/30 04:47:18Π(1+q+q^2)は1+3+3^2=13で割り切れるので※の左辺は13で割り切れる
p=13のとき
2p^(4k+1)*Π(q^2)={1+p+…+p^(4k+1)}*Π(1+q+q^2)=(p+1){1+p^2+…+p^(4k)}*Π(1+q+q^2)…○
だからmは7で割り切れる。
Π(1+q+q^2)は1+7+7^2=57=3*19で割り切れ、mは19で割り切れる。
Π(1+q+q^2)は1+19+19^2=381=3*127で割り切れ、mは127で割り切れる。
※の右辺は27で割り切れるが、左辺は27では割り切れないから不合理。
p≠13のとき
mは13で割り切れる。
Π(1+q+q^2)は1+13+13^2=183=3*61で割り切れる。
p=61のとき
○よりmは31で割り切れる。
Π(1+q+q^2)は1+31+31^2=993=3*331で割り切れ、mは331で割り切れる。
※の右辺は27で割り切れるが、左辺は27では割り切れないから不合理。
p≠61のとき
mは61で割り切れる。
Π(1+q+q^2)は1+61+61^2=3783=3*13*97で割り切れ、mは97で割り切れる。
p=97のとき
○よりmは7で割り切れる。
※の右辺は27で割り切れるが、左辺は27では割り切れないから不合理。
p≠97のとき
mは97で割り切れる。
※の右辺は27で割り切れるが、左辺は27では割り切れないから不合理。
0045１３２人目の素数さん
05/01/30 15:13:46【2n+1】C【n】が奇数であるためのnの必要十分条件は？
0046１３２人目の素数さん
05/01/30 15:14:440047１３２人目の素数さん
05/01/30 16:05:460048１３２人目の素数さん
05/01/30 19:07:08Pascal の三角形を mod. 2 で書いてみれば、 nCr の偶奇はすぐ分かる。
0049１３２人目の素数さん
05/01/30 19:44:462^m-1 mは自然数
背景はパスカルだがそれ以外に解法があるかはいまは思いつかない
どこかの大学入試でやった記憶があるのだが
0050Arith ◆Arithtz1sk
05/02/01 20:06:33＞2p^(4k+1)*Π(q^2)={1+p+…+p^(4k+1)}*Π(1+q+q^2)…※
＞補題1より1+q+q^2の素因数rは3あるいはr≡1 (mod 3)のものに限られる。
＞r=3のときは明らかに3はmの素因数
＞r≡1 (mod 3)の場合も、補題2よりr^2+r+1は3で割り切れる。
＞よって、mは3を素因数に持つ。
1+q+q^2の素因数がpしかない場合も考えないと3|mとは言えないでつ。
0052Arith ◆Arithtz1sk
05/02/01 23:42:15そうじゃなくて、
＞r≡1 (mod 3)の場合も、補題2よりr^2+r+1は3で割り切れる。
＞よって、mは3を素因数に持つ。
とあるが、r^2||nとなる（そういうrが一つでも存在する）ことを証明しなければ
いけないってこと。
0053風あざみ ◆c/j2mAZ2V6
05/02/02 00:11:23要するにm＞1を示さなきゃならないってことかな？
もしそうならすっかり忘れていた、申し訳ない。
一応証明らしきもの
σ{p^(4k+1)}=1+p+…+p^(4k+1)≠2p^(4k+1)だからm=1とはなりえない。
0055伊丹公理 ◆EniJeTU7ko
05/02/02 18:14:48F (x_0, x_1, .... , x_n) で因数分解せよ。
0056１３２人目の素数さん
05/02/02 19:56:111,2,4に限ることを示せ。
0057風あざみ ◆c/j2mAZ2V6
05/02/02 22:51:50aを整数、mを奇数とするとき
a^(m-1)+a^(m-2)+…+1≡1 (mod 2)だから
nの2の指数をrとすると
3^n-1の2の指数=3^(2^r)-1の2の指数、となる。
さらに、3+1=4、(奇数)^2+1≡2 (mod 4)より
3^(2^r)-1の2の指数=1(r=0のとき)、r+2(r≧1のとき)
r=0のとき(nが奇数のとき)
3^n-1の2の指数=1だからn=1以外ありえない
r≧1のとき
3^(2^r)-1の2の指数=r+2だから2^n|3^n-1となるのは
2^r≦r+2となる場合に限る
よってr=1,2
r=1の場合
3^n-1の2の指数=3^2-1の2の指数=3だからn=2以外ありえない
r=2の場合
3^n-1の2の指数=3^4-1の2の指数=4だからn=4以外ありえない
よってn=1,2,4となる。
0058風あざみ ◆c/j2mAZ2V6
05/02/02 22:54:54n次の成分が整数の正方行列を以下のように定める
Aの(i,j)成分=i,jの最大公約数
detA=φ(1)*…*φ(n)となることを示せ。
ただしφ(n)はeuler関数とする。
0059Arith ◆Arithtz1sk
05/02/02 23:58:10一般に、a: odd, n=s*2^m(s: odd)のとき、
a^n-1=(a^{2^m}-1)(a^{2^m(s-1)}+a^{2^m(s-2)}+...+1),
(a^{2^m(s-1)}+a^{2^m(s-2)}+...+1)≡s≡1(mod 2)よりこれは奇数、
(a^(2^m)-1)=(a-1)(a+1)(a^2+1)...(a^{2^{m-1}}+1)で
a^2+1, ..., a^{2^{m-1}}+1≡2(mod 4)だから
v_2(a^n-1)=v_2(a^2-1)+m-1(m≧1),
v_2(a^n-1)=v_2(a-1)(m=0)
となる。
a=3のとき、v_2(3^n-1)=m+2。2^n|(3^n-1)ならばm+2≧s*2^mより、
(s, m)=(1, 2), (1, 1), (1, 0)。
問題：
pを素数、oをa(mod p)の位数とし、e=v_p(a^o-1)とおく。
p^f|(a^m-1)ならば、mはo*p^(f-e)の倍数であることを示せ。
未解決問題：
上記のeはa, pに比してどの程度まで大きくなれるか？
0060風あざみ ◆c/j2mAZ2V6
05/02/03 02:18:30まず
v_p(a-1)=k ⇔ v_p(a^p-1)=k+1を示す。…※
(kは正の整数)
証明
⇒
a^p-1=(a-1){a^(p-1)+a^(p-2)+…+1}…○
a=ph+1
(1+ph)^(p-1)+(1+ph)^(p-2)+…+1≡p+p{p(p-1)/2}h≡p (mod p^2 )
だから、このときv_p(a^(p-1)+a^(p-2)+…+1)=1より示された。
逆を示す
a-1≡a^p-1≡0 (mod p )
よって、上と同様にして、v_p(a^(p-1)+a^(p-2)+…+1)=1
よって、○より逆も正しいことがわかる。
証明終わり
さて問題の解答に入ります。
aのmod p^fでの位数xがo*p^(f-e)となることを示せばよい。
※よりv_p{a^{o*p^(f-e)}-1}=f
よってx|o*p^(f-e)
当然。o|xである。
フェルマーの小定理よりo|p-1だから、oとp-1は互いに素
よって、x=o*p^yと書ける
y＜f-eと仮定するとv_p{a^x-1}=e+y＜fとなって不合理なので
x=o*p^(f-e)となる。
よって示された。
n 次の正方行列 B = (b_{ij})，C = (c_{ij}) を次の様に定める．
b_{ij} ： i | j なら 1，そうでなければ 0
c_{ij} ： i=j なら φ(i)，そうでなければ 0
このとき，
t(B)CB の(i,j)成分 （t(B) は転置行列）
= 納k=1→n] b_{ki}*φ(k)*b_{kj}
= 納k | g.c.m(i,j)] φ(k) = g.c.m(i,j)
よって，det(A) = det(t(B))*det(C)*det(B)
σ∈S_n（n次対称群）とする．
b_{1σ(1)}*・・・*b_{nσ(n)} ≠ 0 ならば σ(n) = n
これを繰り返して，b_{1σ(1)}*・・・*b_{nσ(n)} ≠ 0 ならば
σは恒等置換でなければならないことがわかる．
よって，det(t(B)) = det(B) = 1
det(A) = det(C) = φ(1)*…*φ(n)
0063１３２人目の素数さん
05/02/04 20:50:37佐々木は上野とも非常に仲が良い。
佐々木はこうして数学に「浸透」しつつあった。
今回のセクハラ騒動で岡本や上野にも影響が
何か及ぶのかどうかは不透明。
期待している人は多いようだけどね。
岡本和夫と佐々木力
http://science3.2ch.net/test/read.cgi/math/1107052485/17
0064１３２人目の素数さん
05/02/04 20:51:14ｱﾎｱﾎ君決定です。そんな事したら負けるの目に見えてるけど
岡本和夫と佐々木力
http://science3.2ch.net/test/read.cgi/math/1107052485/470
0065風あざみ ◆c/j2mAZ2V6
05/02/04 22:02:34>>60の「フェルマーの小定理よりo|p-1だから、oとp-1は互いに素」は、
「フェルマーの小定理よりo|p-1だから、oとpは互いに素」の誤りです。
>>62
正解です。
0066風あざみ ◆c/j2mAZ2V6
05/02/04 23:49:34問題 １
nを任意の素因数pがp-1|kとはならないような奇数とする。
(a_1)^k+(a_2)^k+…+(a_{φ(n)})^k≡0 (mod n )
問題 ２
kを奇数、nを任意の素因数pがp-1|k-1とはならないような奇数とする。
(a_1)^k+(a_2)^k+…+(a_{φ(n)})^k≡0 (mod n^2 )
問題 ３
nを任意の素因数pがp-1|kとはならないような奇数とする。
{1/(a_1)^k+1/(a_2)^k+…+(a_{φ(n)})^kの分子部分}≡0 (mod n )
問題 ４
kを奇数、nを任意の素因数pがp-1|k+1とはならないような奇数とする。
{1/(a_1)^k+1/(a_2)^k+…+(a_{φ(n)})^kの分子部分}≡0 (mod n^2 )
0067風あざみ ◆c/j2mAZ2V6
05/02/04 23:50:40問題 ３
nを任意の素因数pがp-1|kとはならないような奇数とする。
{1/(a_1)^k+1/(a_2)^k+…+1/(a_{φ(n)})^kの分子部分}≡0 (mod n )
問題 ４
kを奇数、nを任意の素因数pがp-1|k+1とはならないような奇数とする。
{1/(a_1)^k+1/(a_2)^k+…+1/(a_{φ(n)})^kの分子部分}≡0 (mod n^2 )
0068１３２人目の素数さん
05/02/05 12:58:21●ｂｋ１の『「知」の欺瞞』のページ
* 佐々木力、ポストモダン思想の軽薄さを完膚なきまでに暴露した、知的刺激溢れる書物、2000/07/10
http://www.math.tohoku.ac.jp/~kuroki/FN/#links
このページは黒木玄個人の責任で維持しております。
クレームその他は黒木個人におよせください。
★2002年新学習指導要領の中止を［上野、戸瀬、黒木］→NAEE2002で署名を！★
http://www.math.tohoku.ac.jp/~kuroki/index-j.html
0069１３２人目の素数さん
05/02/05 15:23:180070風あざみ ◆c/j2mAZ2V6
05/02/05 19:01:25問題文を再訂正します(>>66-67のままだと、誤解の恐れがあるので)。
k、nを自然数、a_1,a_2,・・・,a_{φ(n)}をnの既約剰余系とする。
以下、自然数mが自然数nで割り切れないことを￢(n|m)と書くことにする
問題 １
nを任意の素因数pが￢( (p-1) | k)となるような奇数とする。
(a_1)^k+(a_2)^k+…+(a_{φ(n)})^k≡0 (mod n )
問題 ２
kを奇数、nを任意の素因数pが￢( (p-1) | (k-1) )となるような奇数とする。
(a_1)^k+(a_2)^k+…+(a_{φ(n)})^k≡0 (mod n^2 )
問題 ３
nを任意の素因数pが￢( (p-1) | k)となるような奇数とする。
{1/(a_1)^k+1/(a_2)^k+…+1/(a_{φ(n)})^kの分子部分}≡0 (mod n )
問題 ４
kを奇数、nを任意の素因数pが￢( (p-1) | (k+1) )となるような奇数とする。
{1/(a_1)^k+1/(a_2)^k+…+1/(a_{φ(n)})^kの分子部分}≡0 (mod n^2 )
0071風あざみ ◆c/j2mAZ2V6
05/02/05 21:03:46f(x)、k(x)、h(x)を
{f(x)}^n+{k(x)}^n={h(x)}^nを満たす複素数を係数をする多項式で、max{degf、degk、degh}が最小となるような多項式とする。
もし、
ここでf(x)、k(x)、h(x)は互いに素である。
αを1の原始n乗根のひとつとする。
{k(x)}^n=Π[i=0→n]{h(x)-(α^i)f(x)}…※
h(x)-(α^i)f(x)たちは互いに素である。
よって、※よりh(x)-(α^i)f(x)たちは独立にn乗数である。
よって、h(x)-f(x)={s(x)}^n、h(x)-αf(x)={t(x)}^n、h(x)-(α^2)f(x)={u(x)}^nとかける(nは3以上の整数だから)
β,γをβ^n=α、γ^n=1+αとなるような複素数とする。
{βs(x)}^n+{u(x)}^n={γt(x)}^n
ここでmax(deg{βs(x)},deg{u(x)},deg{γt(x)})＜k(x)≦max{degf、degk、degh}だからf,k,hの仮定に反する。
証明終
0072風あざみ ◆c/j2mAZ2V6
05/02/06 20:20:07(1)
・中国剰余定理
・原始根
(2)
・n-a_1、n-a_2、n-a_1、…、n-a_{φ(n)}もnの既約剰余系である。
・(1)より示せる。
(3)は(1)と同様に示せる。
(4)はほぼ(2)と同様に示せる。
解答は今週末までにはするつもりです。
0073風あざみ ◆c/j2mAZ2V6
05/02/08 23:03:14念のため、φ(n)はeuler関数です。
まず、補題を示します。
補題
f(x_1,…,x_{φ(n)})を全次数deg fが任意の素因数pに対して￢( (p-1) | deg f )となるような、
φ(n)変数の斉次の対称式とする。
f(a_1,…,a_{φ(n)})≡0 (mod n )
証明
n=Π(p_i)^(k_i)と素因数分解する。
p_iの原始根g_iをとる。
中国剰余定理よりb≡g_i (mod (p_i)^(k_i) )となるような整数bが存在するから、
f(a_1,…,a_{φ(n)})≡f(b*a_1,…,b*a_{φ(n)})≡b^(deg f)*f(a_1,…,a_{φ(n)}) (mod (p_i)^(k_i) )
よって{b^(deg f)-1}*f(a_1,…,a_{φ(n)})≡0 (mod (p_i)^(k_i) )
b^(deg f)-1はp_iで割り切れないので、f(a_1,…,a_{φ(n)})≡0 (mod (p_i)^(k_i) )
よって、f(a_1,…,a_{φ(n)})≡0 (mod n )となる
証明終わり
(a_1)^k+(a_2)^k+…+(a_{φ(n)})^kはk次、
1/(a_1)^k+1/(a_2)^k+…+1/(a_{φ(n)})^kの分子部分は{φ(n)-1}*k次のφ(n)変数の斉次の対称式だから
補題より(1)、(3)が成立する。
0074風あざみ ◆c/j2mAZ2V6
05/02/08 23:04:17(2)
補題より
2*{(a_1)^k+(a_2)^k+…+(a_{φ(n)})^k}≡
(a_1)^k+(a_2)^k+…+(a_{φ(n)})^k+(n-a_1)^k+(n-a_2)^k+…+(n-a_{φ(n)})^k≡
n*{(a_1)^(k-1)+(a_2)^(k-1)+…+(a_{φ(n)})^(k-1)}≡0 (mod n^2 )
よって成り立つ。
(4)
2*{1/(a_1)^k+1/(a_2)^k+…+1/(a_{φ(n)})^k
={1/(a_1)^k+1/(a_2)^k+…+1/(a_{φ(n)})^k+{1/{n-(a_1)}^k+1/{n-(a_2)}^k+…+1/{n-(a_{φ(n)})}^k
=Σ{1/(a_i)^k+1/(n-(a_i) )^k}
1/(a_i)^k+1/(n-(a_i) )^k=(分子がn^2で割り切れる分数)+n*(a_i)^(k-1)/{(a_i)(n-(a_i) )}^kだから
Σ{1/(a_i)^k+1/(n-(a_i) )^k}=(分子がn^2で割り切れる分数)+{n*(全次数が2*k*φ(n)-k-1の斉次の対称式)}/Π{(a_i)(n-(a_i) )}^k
よって補題より、{1/(a_1)^k+1/(a_2)^k+…+1/(a_{φ(n)})^kの分子部分}≡0 (mod n^2 ) となる。
0077風あざみ ◆c/j2mAZ2V6
05/02/12 00:31:38(1)
aを3以上の整数とする。
任意の自然数nに対してk*a^n+1が合成数となるような自然数kが存在することを示せ。
(2)
任意の自然数nに対してk*2^n+1が合成数となるような自然数kが存在することを示せ。
0078１３２人目の素数さん
05/02/16 05:34:17その書き方だと，「∀n∈N ∃k∈N s.t. ...」 と読んでしまった。
（そうだとしたらk=a^n+2で成り立ってしまうんで自明だわな）
(2)は，なんか見たことあると思ったが，Sierpinski numberの存在証明だったのね。
(1)
k*a^n+1=k(a^n-1)+k+1だから、k=a-2とすれば任意の自然数nに対してk*a^n+1は
a-1(≧2)で割り切れ、商はk(a^n-1)/(a-1)+1≧k+1=a-1、よってk*a^n+1は合成数。(証明終)
(2)
mod3, mod5, mod7, mod13, mod19, mod37, mod73での2の位数はそれぞれ
2, 4, 3, 12, 18, 36, 9だから、mを非負整数とすると
(※) k*2^(2m)+1≡k+1(mod3),
k*2^(4m+1)+1≡2k+1(mod5),
k*2^(3m+1)+1≡2k+1(mod7),
k*2^(12m+11)+1≡7k+1(mod13),
k*2^(18m+15)+1≡12k+1(mod19),
k*2^(36m+27)+1≡6k+1(mod37),
k*2^(9m+3)+1≡8k+1(mod73)。
中国剰余定理によりkを
k≡-1(mod3),
≡-1/2≡2(mod5),
≡-1/2≡3(mod7),
≡-1/7≡11(mod13),
≡-1/12≡11(mod19),
≡-1/6≡6(mod37),
≡-1/8≡9(mod73)
を満たすようにとる。つまりk≡78557(mod70050435)とする。このとき
(※)の右辺はすべて≡0となるが，任意の自然数nは，ある整数mによって
2m, 4m+1, 3m+1, 12m+11, 18m+15, 36m+27, 9m+3
のいずれかの形に表されるから，これはk*2^n+1が3,5,7,13,19,37,73のいずれかで
割り切れることを示している。kのとり方からk*2^n+1>73だから，k*2^n+1は合成数。(証明終)
0081風あざみ ◆c/j2mAZ2V6
05/02/20 17:42:45pが2、17以外の素数のとき
0^2、1^2、…、{(p-1)/2}^2はmod pですべて異なることを利用すると
x^2 - 34y^2 ≡ -1 (mod p)は解を持つことがわかる…◎
1-34≡-1 (mod 8)、(－1/17)=1より、n=8、17のときも
x^2 - 34y^2 ≡ -1 (mod n)…●
x^2-17y^2+1をxで微分すると2xとなる
p≠2のときv_p(2x)=0、v_2(2x)=1を考慮すると、
◎と●より任意の素数の冪に対して
x^2 - 34y^2 ≡ -1 (mod p^k)は解を持つ
よって中国剰余定理より任意のn=Πp^kに対して
x^2 - 34y^2 ≡ -1 (mod n)
か解を持つ。
0082風あざみ ◆c/j2mAZ2V6
05/02/20 17:44:48pが2、17以外の素数のとき
0^2、1^2、…、{(p-1)/2}^2はmod pですべて異なることを利用すると
x^2 - 34y^2 ≡ -1 (mod p)は解を持つことがわかる…◎
1-34≡-1 (mod 8)、(－1/17)=1より、n=8、17のときも
x^2 - 34y^2 ≡ -1 (mod n)…●
は解を持つ。
x^2-17y^2+1をxで微分すると2xとなる
2xのpの指数v_p(2x)はp≠2のときv_p(2x)=0、v_2(2x)=1となるので、
◎と●より任意の素数の冪に対して
x^2 - 34y^2 ≡ -1 (mod p^k)は解を持つ
よって中国剰余定理より任意のn=Πp^kに対して
x^2 - 34y^2 ≡ -1 (mod n)
か解を持つ。
正解です．
0084風あざみ ◆c/j2mAZ2V6
05/03/03 21:48:55素数全体の集合 P = {2, 3, 5, ..... } の
適当なウルトラフィルター U で、
p 元体 F_p のウルトラ積 F が素体の代数的閉方を含むものが存在する。
0085１３２人目の素数さん
05/03/04 12:43:290086１３２人目の素数さん
05/03/04 12:50:13荒らすな！！！
0087１３２人目の素数さん
05/03/04 22:34:23川強啓のデイ・キャッチ！
0088１３２人目の素数さん
05/03/04 23:45:45荒らすな。
馬鹿は黙ってみていろ！
0089伊丹公理 ◆EniJeTU7ko
05/03/13 22:22:27は、整数論総合スレに既に書いてある幾つかの事実をつなぎ合わせると出てくる。
（用語等に付いてはセール、数論講義、の参考文献にある Ax-Kochen 参照)
http://science3.2ch.net/test/read.cgi/math/1106259453/39
にも別問題を出題しておいた。
0090１３２人目の素数さん
2005/03/24(木) 02:49:550091１３２人目の素数さん
2005/04/05(火) 21:35:390092１３２人目の素数さん
2005/04/23(土) 18:03:110093１３２人目の素数さん
2005/04/23(土) 19:19:03適当な自然数mが存在して、
次が成り立つ：
集合｛1,2,･･･,m｝を任意に{S1,S2,･･･,Sn}と分けたとする。
このとき適当なiに対して、
x+y=zを満たす3つの整数x,y,z（x=yでもよい）をSiが含む。
0094１３２人目の素数さん
2005/04/25(月) 20:22:17x+y=2z ならファンデルベルデン－ラムゼーの定理。
0095１３２人目の素数さん
2005/04/25(月) 23:58:41もっとくわしく！
0096１３２人目の素数さん
2005/04/26(火) 00:40:56「x=yでもよい」で「Siが3つの整数を含む」というのが分からん．
重複アリなの？重複ナシなら自動的に「m>2nが必要」というところだが…
（※逆に，「1,・・・,mの中に選ばない数字があってはいけない」はすぐ分かる）
スマンがもう少し説明希望．
0097１３２人目の素数さん
2005/04/26(火) 00:58:190098１３２人目の素数さん
2005/04/26(火) 06:56:33長さ k の等差数列が存在するというのがファンデルベルデン－ラムゼーの定理。
k = 3 とすればよい。
0099１３２人目の素数さん
2005/04/26(火) 11:20:320100BlackLightOfStar ◆ifsBJ/KedU
2005/04/26(火) 16:41:220101１３２人目の素数さん
2005/04/26(火) 20:45:12５以上の素数は３では割り切れない。－＞１２で割ると余りは３や９はとれない。残りは、１、５、７、１１
だから２と３を除いた素数は１２で割ると余りが、１か５か７か１１。
例示
余り1--->13,37,61,,,,
余り5--->5,17,29,41,53,,,,
余り7--->7,19,31,43,67,,,,,
余り11-->11,23,47,59,,,,,,
0102１３２人目の素数さん
2005/04/26(火) 20:47:59余りは１しかとれない。
なぜなら、１*１＝１、５＊５＝２５＝１２＊２＋１、７＊７＝４９＝１２＊４＋１、１１＊１１＝１２１＝１２＊１０＋１
だから２と３以外の素数の自乗を１２で割ると余りは１にしかならない。
0103１３２人目の素数さん
2005/04/26(火) 20:48:540104布施くん
2005/04/26(火) 20:50:51整数論はまｔったくの無知だから買ってみようかな 面白そうだったし
0105Arith ◆Arithtz1sk
2005/04/26(火) 21:20:56まず、任意の整数nに対して、「m≧R(n)ならば完全グラフK_mの辺をどのようにn色に塗り分けても、
かならず単色の三角形が存在する」という性質を持つR(n)が存在することを示す。
n=1ならば、R(1)=3ととれる。
あるnについてこの主張が正しいとし、R(n+1)の存在を示すために、
R(n+1)≧(n+1)(R(n)-1)+2ととれることを示す。
m=(n+1)(R(n)-1)+2ととり、K_nを(n+1)色に塗りわけ、その中の1点vをとる。
S_i={w| (v, w)は色iで塗られている}（i=1, ..., n+1）とすると、
|S_1|+...+|S_{n+1}|=m-1>(n+1)(R(n)-1)より、あるiに対して|S_i|≧R(n)となる。
S_iの中に色iで塗られている辺が存在しなければ、S_iはn色で塗り分けられているので
|S_i|≧R(n)より、S_iは単色三角形を含む。
S_iの中に色iで塗られている辺(w, u)が存在すれば、S_iの定義より(v, w)(w, u)(u, v)はいずれも色iで
塗られているのでこれは単色三角形となる。
よって、帰納法よりR(n)の存在が示された。
>>93を証明するには、V={1, 2, ..., R(n)}, 辺(x, y)を|x-y|∈S_iとなるiで塗ればよい。
0106Arith ◆Arithtz1sk
2005/04/26(火) 21:28:06van der Waerdenの定理は、
任意のk, lに対して
「{1, 2, ..., W(k, l)}をk個の集合にどのように分割しても、その中のある集合が
長さlの等差数列を含む」
という性質を満たす整数W(k, l)が存在する
というもので、l=3のときが>>94の場合。ちなみに>>93のはSchurの定理といわれる。
0107１３２人目の素数さん
2005/04/27(水) 02:03:25タイトルきぼん
0108１３２人目の素数さん
2005/04/27(水) 08:51:50内容は大学受験レベルだよ
同じタイプの問題を３つくらい別々に数えているので、実際の種類はたいしたことない
ていうか、期待はずれだったので買わなかった。
いまさら600の約数の個数と和を求めよっていわれてもね…
https://sslserver.sbs-serv.net/nippyo/books/bookinfo.asp?No=2578
0109１３２人目の素数さん
2005/04/29(金) 03:01:28整数の範囲なら和は 0.
0110１３２人目の素数さん
2005/04/29(金) 03:32:43自然数を2進数で表すと、0と1からなる無限長の文字列になる。
逆に 0と1からなる無限長の文字列を2進数と考えると、自然数である。
よって 0と1からなる無限長の文字列の集合は可算である。
0111１３２人目の素数さん
2005/04/29(金) 03:36:460と1からなる無限長の文字列と自然数の2進数表記は一対一対応である。
0112１３２人目の素数さん
2005/04/29(金) 03:56:15無限長 --------> 有限長
なら良い。
0113１３２人目の素数さん
2005/04/29(金) 04:01:430114１３２人目の素数さん
2005/04/29(金) 04:29:150115１３２人目の素数さん
2005/04/29(金) 07:16:59楽しい？
0116１３２人目の素数さん
2005/04/29(金) 11:02:36ファンデルベルデン－ラムゼーの定理
k_1, k_2, ...... , k_n を与えたとき、
A = {1, 2, 3, ...... , W(k_1, k_2, ...... , k_n)} をどの様に n 個の集合 A_1, A_2, ..... , A_n に分割しても、 ∃i, A_i は長さ k_i 以上の等差数列を含むような自然数 W(k_1, k_2, ...... , k_n) が存在。
0117１３２人目の素数さん
2005/05/02(月) 21:12:05http://www.springerlink.com/media/927Y4CWVRR1JRDKT9T0M/Contributions/5/3/D/T/53DTAHWL34C815CY.pdf
0118１３２人目の素数さん
2005/05/04(水) 13:12:190119BlackLightOfStar ◆ifsBJ/KedU
2005/05/05(木) 17:03:33簡単に解ける人も居るかも。
0120１３２人目の素数さん
2005/05/05(木) 17:10:470121１３２人目の素数さん
2005/05/05(木) 18:36:58はやく救急車をよこしてください。
任意の素数ｐに対して、ｐ＜ｑ＜２ｐを満たす素数ｑが必ず存在するから、明らか。
0122１３２人目の素数さん
2005/05/05(木) 18:39:49任意のｎ＞２に対して、ｐ＞＝n/2となる素数が存在するから明らか。
0123１３２人目の素数さん
2005/05/05(木) 18:45:38よって、
任意のｎ＞２に対して、ｐ＞＝n/2となる素数が存在する。
よって、
「nが2以上の整数のときn!は平方数にならない」
0124１３２人目の素数さん
2005/05/05(木) 19:02:54２！＝２＝１＋１
ですが。
0126１３２人目の素数さん
2005/05/05(木) 19:34:270127１３２人目の素数さん
2005/05/05(木) 19:40:170128BlackLightOfStar ◆ifsBJ/KedU
2005/05/05(木) 19:51:170129１３２人目の素数さん
2005/05/05(木) 20:46:09その時或る自然数ｘが存在してφ（ｘ）＝aとなるか？
ただしφはオイラーの関数で、１以上ｘ未満の整数で、
ｘと互いに素な整数の個数を表す。
0130１３２人目の素数さん
2005/05/05(木) 20:56:43逆にｘを因数分解しておき、φ（ｘ）をｘであらわしてみると良い。
その条件ををaであらわせばよいよ。
0131１３２人目の素数さん
2005/05/05(木) 21:35:190132１３２人目の素数さん
2005/05/06(金) 13:00:52どうするんだっけか？思い出せない．
0133１３２人目の素数さん
2005/05/06(金) 13:03:17n!の問題ね
0134風あざみ
2005/05/09(月) 01:28:150135風あざみ
2005/05/09(月) 01:33:01ね
0136風あざみ
2005/05/09(月) 01:59:44F_iをF_i=2^(2^ｉ)+1の数として
(2^t)*｛Πp_j^(n_j)} ( p_j≡1 (mod Π[2^i≦tかつF_iが素数となるような整数i]F_i ))はφ(x)の値にはなりえない
以上、LIVE2chのカキコテストを兼ねて自己満カキコ
0137風あざみ
2005/05/10(火) 00:32:19F_iをF_i=2^(2^ｉ)+1の数として
f_iをF_ｉの素因数とする
(2^t)*｛Πp_j^(n_j)} ( p_j≡1 (mod Π[i≧0 2^i≦t]ｆ_i ) )はφ(x)の値にはなりえない
0138１３２人目の素数さん
2005/05/11(水) 09:40:230139１３２人目の素数さん
2005/05/19(木) 00:19:39であるときNを連続する自然数の和で表す方法は何通りあるか
0140１３２人目の素数さん
2005/05/19(木) 01:44:470141１３２人目の素数さん
2005/05/20(金) 01:57:50Nを2個以上の連続する自然数の和で表す方法は(b+1)(c+1)-1通り。
[証明]
Nがmから始まるn(≧2)個の連続する自然数の和とすれば N=n(n+2m-1)/2。
nとn+2m-1の偶奇は異なるから、偶数の方をA、奇数の方をBとおけば2N=A*Bである。
逆に
2N=A*B (Aは正の偶数、Bは1でない正の奇数)・・・(1)
と表されるならば、n=min{A,B}, m=(max{A,B}-min{A,B}+1)/2とおけばn≧2, m≧1で
Nはmから始まるn個の連続する自然数の和で表される。
よって求める場合の数は(1)を満たす(A,B)の組の個数に等しい。
Bは1でない正の奇数なので 3^b*5^c の1でない正の約数である。
従って(1)を満たす(A,B)の組の個数は 3^b*5^c の1でない正の約数の個数
(b+1)(c+1)-1に等しい。[証明終]
0142１３２人目の素数さん
2005/05/20(金) 20:21:290143１３２人目の素数さん
2005/05/20(金) 20:38:45意味不明？
0144１３２人目の素数さん
2005/06/13(月) 21:40:52なるなら、高校レベルで解説キボン！
0145１３２人目の素数さん
2005/06/14(火) 01:01:23xの多項式f(x)をf(x)=x^n-a^nとおけばf(a)=0。よって因数定理よりf(x)はx-aで割り切れる。
x=10，a=-1とおけばよい。
あるいは
二項定理より10^n=(11-1)^n=Σ(k=0～n) nCk*11^k*(-1)^(n-k)
和の各項のうち，k=0の項は(-1)^nで，それ以外の項はすべて11で割り切れる。
よって，10^n-(-1)^nは11で割り切れる。
0146１３２人目の素数さん
2005/06/14(火) 01:42:04ウホッ！ありありん。
0147１３２人目の素数さん
2005/06/15(水) 02:11:270148BlackLightOfStar ◆JdCYjAp6Bs
2005/06/15(水) 03:17:410149GreatFixer ◆ASWqyCy.nQ
2005/06/15(水) 20:52:340150１３２人目の素数さん
2005/06/15(水) 21:44:52おまえをあぼーんする！
0151１３２人目の素数さん
2005/06/26(日) 02:13:430152１３２人目の素数さん
2005/06/27(月) 07:24:15言い換えよう。
0と1からなる無限長の文字列と自然数の2進整数数表記は一対一対応である。
なら良い。
0153１３２人目の素数さん
2005/06/27(月) 09:29:56間違い。
自然数の二進表示は、0と1からなる「有限長」の文字列、である。
＞0と1からなる無限長の文字列
の頭に小数点を付けて得られる文字列、で表現される二進小数は
区間 [0,1) 内の実数に 1：1 対応がある。即ち連続濃度を持つ。
0154どこかの高校生
2005/07/07(木) 08:43:10pを2でない素数とする。α,βをp進数体上の任意の単数とする。このとき
(α,β)=1 (p進数体上のヒルベルト記号)
を示せ。
セールの数論講義を読んでますがここでつまずいてます。岩波数学講座の
河田敬義の数論でも「明らか」として証明が載ってません。教えてください。
0155１３２人目の素数さん
2005/07/08(金) 00:09:320156１３２人目の素数さん
2005/07/08(金) 13:18:07ある整数係数 n 次多項式 f(x) が存在して、あらゆる
整数 x に対して f(x) が p の倍数とならないようにで
きることを示せ。
0157１３２人目の素数さん
2005/07/08(金) 13:23:13f(x)=p(x^n)+a, (p,a)=1
0158１３２人目の素数さん
2005/07/10(日) 22:38:09すなわち、f(1)=2 , f(2)=4 , f(3)=8 , f(4)=7 , ……である。
f(n) → ∞ (n→∞)を示せ。
また、3^nについても同様にg(n)を定義し、g(n)の極限を議論せよ。
0159１３２人目の素数さん
2005/07/12(火) 03:25:34liminf_{n→∞} f(n) < ∞であると仮定して矛盾を導く。
仮定より，ある正整数Uと自然数の部分無限列{n_i}が存在して、
任意のn_iについてf(n_i)≦Uである。
任意の2^(n_i)の10進数表示において、0でない数が現れる位は高々U個。
また，最高位と1の位の数はどちらも0でない。
よって、2^(n_j)＞10^(mU) (m:任意の正整数)とするとき
（{n_i}は無限列なのでそのようなn_jは無限個存在する）、
2^(n_j)の10進数表示において、0が連続してm個現れる部分が存在する。
（そうでないとすると、2^(n_j)の桁数をdとするとき、
mU+1 ≦ d ≦ (m-1)*(U-1)+U = mU-(m-1) であるが、これはm≧1に矛盾。）
2^(n_i)の10進数表示における第k位の数をa_kとおく。また
正整数rをa_r≠0, a_(r+1)=a_(r+2)=・・・=a_(r+m)=0を満たすもののうち
最小のものとする。このとき r≦U-1である。
また，10^(r+m)≦10^(U+m-1)≦10^(mU)＜2^(n_j)＜10^(n_j)だから、
r+m＜n_j。
いま，正整数bを2^(n_j)の10進数表示における第r位以下の部分とすると、
b＜10^r≦10^(U-1)であり、かつ{2^(n_j)}-bは10^(r+m)で割り切れる。
2^(n_j)、10^(r+m)はともに2^(r+m)で割り切れるから、bも2^(k+m)で割り切れ、
したがって2^m≦2^(r+m)≦b＜10^(U-1)。
しかしmは任意であるから、不等式2^m＜10^(U-1)はmが十分大きいとき成立しない。
これは矛盾である。
（証明終）
2^nの代わりに t^n (tは正整数で、10との最大公約数が2または5)
としたときも、同様の方法で示すことができる。
しかし、3^nの場合この方法は通用しない。
0160１３２人目の素数さん
2005/07/13(水) 19:49:570161１３２人目の素数さん
2005/07/14(木) 20:48:34http://diary.cururu.jp/DiaryMain.nhn?userno=207950&boardtype=W&categoryno=0
0162１３２人目の素数さん
2005/07/14(木) 21:12:22a=2
2^2+b^2+c^2=2*11*d^2
11d^2-2=(b^2+c^2)/2=2m^2+(m+n)+2n^2+1
11d^2=2m^2+2n^2+(m+n)+3
m=n=11k+8
11d^2=((2(11k+8)+1)^2+(2(11h+8)+1)^2)/2+2
...
0163１３２人目の素数さん
2005/07/14(木) 22:10:28これは誰のサイト？
0164164
2005/07/14(木) 22:36:540165ビッケ ◆Jyl0Z1ahKc
2005/07/15(金) 08:05:03> a^2+b^2+c^2=22d^2 を満たすような素数a, b, c, dを全て求めよ
まず素数p,qがp^2≡0 (mod q)を満たすならばp=qである。
a≦b≦cとしても一般性を失わない。
a^2+b^2+c^2≡22d^2≡0(mod 2)より<a,b,c>≡<0,1,1>又は<0,0,0>(mod 2)
(2は最小の素数より、a,b,cのうち一つだけが2だとすればそれはaである)
前者の場合12=22*d^2なる素数dがないので駄目。後者の場合を考える、a=2
a^2+b^2+c^2≡1+b^2+c^2(mod 3)、22d^2≡d^2(mod 3) より
<b,c,d>≡<0,0,1>又は<1,1,0>(mod 3)
前者はb=c=3よりd=(2^2+3^2+3^2)/22=1これは素数でないので駄目
後者はd=3よりb^2+c^2=194、これを満たすb≦cなる素数の組<b,c>は<5,13>のみ
よって<a,b,c,d>=<2,5,13,3> (とa,b,cを入れ替えたもの)
0166ビッケ ◆Jyl0Z1ahKc
2005/07/15(金) 08:10:41> <b,c,d>≡<0,0,1>又は<1,1,0>(mod 3)
<b^2,c^2,d^2>≡<0,0,1>又は<1,1,0>(mod 3)
0167１３２人目の素数さん
2005/07/15(金) 10:57:53の一番下の数字をクリックすると沢山出てきて、全部難問だ。
よろ
0168風あざみ
2005/07/17(日) 04:05:200169風あざみ
2005/07/17(日) 04:12:58nを自然数、pを素数、1からnまでの素数の積をP(n)、1からnまでの整数の最小公倍数をS(n)とする。
(1)
Π[m+2≦p≦2m+1]はC(2m+1,m+1)を割り切ることを示せ(ただし、C(2m+1,m+1)は二項係数とする)。
(2)
P(n)＜4^nを示せ。
(3)
S(n)/S([n/2])≦P(n)となることを示せ。
(4)
S(n)＜16^nとなることを示せ。
P.S.解答は誰も望まなくても、一週間後には出します。
0170１３２人目の素数さん
2005/07/17(日) 05:52:590171１３２人目の素数さん
2005/07/17(日) 06:43:48P(2m+1)/P(m+1)|(2m+1)!/m!(m+1)!
P(n)/P((n+1)/2)<=nC((n+1)/2)
P(n)<=P(.5n+.5)*nC(.5n+.5)
Pn+1<=P.5n+1*n+1C.5n+1<4^.5n+1*n+1C.5n+1=2^n+2*2^n=2^2n+2=4^(n+1)
0172１３２人目の素数さん
2005/07/17(日) 06:57:13Sn=GCM(Sn-1,n)->n=prime->Sn=nSn-1,n=non prime->Sn=pSn-1
Sn<n! or Pn
Sn/S.5n<n!/,5n!=2^.5n or Pn/P.5n<=Pn
n=2m
Sm<16^m->S2m<Sm*P2m=Sm*4^2m=Sm*16^m<16^2m
0173１３２人目の素数さん
2005/07/17(日) 07:35:12量子力学使えよな
0174１３２人目の素数さん
2005/07/17(日) 07:36:060175１３２人目の素数さん
2005/07/18(月) 01:33:57解答ありがとうございます。
でも(1)以外ちょっと違うようですので、(2)と自分の解答を書いておきます
(2)
n=1,2のとき明らか
ｎ＜kのとき正しいと仮定する
ｋが偶数のとき
P(ｋ)=P(k-1)<4^(k-1)<4^k
kが奇数のとき
P(k)=P([(k+1)/2]){Π[([(k+1)/2])＜p≦k]p}＜2^(k+1)*2^(k-1)=4^k
だからn=kのときも成立
(3)
p^h≦[n/2]＜p^(h+1)ならn＜2([n/2]+1)≦p^(h+2)
(S([n/2])のpの指数)≦(S([n/2])のpの指数)+1
よってS(n)/S([n/2])≦P(n)
(4)
S(n)={S(n)/S([n/2])}*{S([n/2])/S([([n/2]/2)])}*・・・*S(1)＜4^(n+n/2+n/4+…)=4^(2n)=16^n
0176風あざみ
2005/07/18(月) 01:35:290177１３２人目の素数さん
2005/07/18(月) 05:30:340178１３２人目の素数さん
2005/07/18(月) 11:57:460179１３２人目の素数さん
2005/08/05(金) 13:11:410180１３２人目の素数さん
2005/08/05(金) 16:12:180181風あざみ
2005/08/30(火) 22:14:27(1)
nを6以上の自然数とするとき、(n+1)*C(n,[n/2])＞2^(n+1)となることを示してください。
ただしC(n,k)を二項係数、[x]をガウスの記号とします。
(2)
1からnまでの整数の最小公倍数をS(n)とします。
7以上の任意の自然数nに対してS(n)＞2^nとなることを示してください。
0182１３２人目の素数さん
2005/08/30(火) 23:40:39不等式がいっぱいのってたな。
0183Arith ◆Arithtz1sk
2005/09/02(金) 02:42:52正の密度を持つことを示せ。
>>182
ほかにHardy&Wright, An Introduction to the Theory of Numbersとか、
D. P. Parent, 数論問題ゼミとかが手ごろな本かな？
もう少し込み入ったところだと、Huxleyだな。
0184１３２人目の素数さん
2005/09/02(金) 04:36:20ttp://science4.2ch.net/test/read.cgi/math/1117474512/253
0185１３２人目の素数さん
2005/09/07(水) 22:30:49密度μの定義ってμ(S)=lim[x→∞]#{n∈S| n≦x}/#{n∈N| n≦x}で桶？
0186１３２人目の素数さん
2005/09/07(水) 22:39:26μ(S)=inf#(S∩[1，n])/n
だと思う。
0187１３２人目の素数さん
2005/09/08(木) 16:41:22ヒントおながいします。
0188１３２人目の素数さん
2005/09/10(土) 08:31:55定理か何かあるのですか？
0189名無しさん＠そうだ選挙に行こう
2005/09/11(日) 16:12:57ヒントおながい、2nd period。
0190名無しさん＠そうだ選挙に行こう
2005/09/11(日) 16:18:58n の倍数になる
0191１３２人目の素数さん
2005/09/13(火) 22:51:12ヒントくれ～。liminf[n→∞]#S∩[1,n]/n>0はいえるんだけど。収束性が･･･
0192１３２人目の素数さん
2005/09/14(水) 02:25:21収束っていうか、密度の定義はμ(S)=inf#(S∩[1，n])/n だから
liminf[n→∞]#S∩[1,n]/n>0 が言えたらもう証明終わってるじゃん。
0193１３２人目の素数さん
2005/09/14(水) 17:32:51やれやれ、その程度ですか？
0194１３２人目の素数さん
2005/09/15(木) 14:40:52降参。答えおしえてくだされ。
0195１３２人目の素数さん
2005/09/15(木) 16:51:28n-1の倍数にもなるぞ
0196194
2005/09/15(木) 18:22:170197１３２人目の素数さん
2005/09/15(木) 23:30:45できたかも。以下正の整数の集合Eに対してS_E={n| e|n ∀e∈E}とする。
補題 Eが正の整数の集合で納e∈E](1/e)が収束するものとする。
かつlimsup[x→∞]#[1,x]∩E/x=0であるとする。
このときμ(S_E)≧Π[e∈E](1-1/e)
証明 Eが有限集合なら容易なのでそれはみとめる。S=S_E、Π[e∈E](1-1/e)=mとおく。
r>0に対してE_r=[1,r]∩E、S_r=S_{E_r}とおく。
ε>0を固定する。r>0を次をみたすようにとる。
Π[e∈E_r](1-1/e)<m+ε、納e∈E＼E_r](1/e)<ε、x≧r⇒#[1,x]∩E/x＜ε。
X1>0をx>X1⇒#[1,x]∩S_r/x≧Π[e∈E_r](1-1/e)-εを満たすようにとる。
[1,x]∩(S_r＼S)の元数を上から評価する。この集合は{n| e|n、e>r∃e}
に含まれその元数は高々納e∈E＼E_r](x+1)/eであるからそれは2εx以下である。
よって#[1,x]∩(S_r＼S)/x≦2εであるから#[1,x]∩(S)/x≧m-ε-2ε。
εは任意の正数であったのでμ(S_E)≧m。□
以下π(x)はx以下の素数の数をあたえる関数、Λ(n)はnが素数べきp^eのとき
logp、そうでないとき0をあたえる関数、ψ(x)=納n≦x]Λ(n)とする。
0198197
2005/09/15(木) 23:31:37このときlim#[1,x]∩E/x=0。
証明 正数c>0を∀x>2 π(x)≦cx/logxを満足するようにとる。
ここでpq≦x、p≦qとすると
p≦√x、q≦x/pであるからこのようなp,qの集合の元数aとおくと以下が成立する。
a≦納p≦√x]π(x/p)
≦c納p≦√x](x/p)/log(x/p)
≦(2cx/logx)納p≦√x](1/p)
ここでψ(p)≦c’pなる正数c’をとると
納p≦√x](1/p)
=∫[2-0,√x+0](1/(plogp))dψ(p)
=ψ(√x)/(√xlog√x)+∫[2,√x]ψ(p)(1+logp)/(plogp)^2dp
≦2c’/logx+c’∫[2,√x](1+logp)/(logp)^2dp/p
≦2c’/logx+c’(loglog√x-1/log√x-loglog2+1/log2)
以上よりlim[x→∞]a/x=0。□
0199197
2005/09/15(木) 23:32:26定理 k>1を任意に固定する。T={n| σ(n)/n<k}は０でない密度をもつ。
証明 a>1をe^(1/(a-1))<kとなるようにとる。集合Ei、Eを
Ei={pq| a^i≦p,q≦a^(i+1)}、E0={p| pはa以下の素数}、E=(∪Ei)
とおく。c>0をπ(x)≦cx/logxとなるようにとればi>0では#Ei≦(ca^(i+1)/((i+1)loga))^2で
あるから納e∈Ei]1/e≦(ca/loga)^2/(i+1)^2。よって納e∈E]1/eは有限の値に収束する。
よってS=S_Eとおけば上記２つの補題によりSは正の密度をもつ。
S⊂Tを示そう。n∈Sをとる。nはE0に素因子をもたず、Eiのなかには高々ひとつしか
素因子をもたない。よってn=p1･p2･p3･･･puをpi∈Ei∪{1}ととることができる。
このとき
σ(n)
=(1+1/p1)(1+1/p2)･･･
=e^(log(1+1/p1)+log(1+1/p2)+log(1+1/p3)+･･･log(1+1/pu))
≦e^(1/p1+1/p2+1/p3･･･1/pu)
≦e^(1/a+1/a^2+1/a^3+･･･1/a^u)
＜e^(1/(a-1)
＜k。
よってn∈T。したがってS⊂TでありTも又正の密度を持つ。□
0200197
2005/09/16(金) 01:30:29一個目の補題証明まちがってるや。訂正。２個目の補題いらなくなってもたw。
補題 Eが正の整数の集合で納e∈E](1/e)が収束するものとする。
このときμ(S_E)≧Π[e∈E](1-1/e)
証明 正の数r>0に対しE_r=E∩[1,r]、S_r=S_{E_r}、m=Π[e∈E](1-1/e)、m_r=Π[e∈E_r](1-1/e)とおく。
補題の主張はEが有限であるなら容易ゆえそれはみとめる。ε>0を任意にとる。
r>0を以下を納e∈E＼E_r]1/e<ε、m>m_r-εとなるようにとる。さらにX>0を
x>X⇒∂#[1,x]∩S_r>m_r-εを満足するようにとる。x>X,rをとる。
n∈[1,x]∩(S_r＼S)をとれば∃e∈E＼E_r e|nゆえn∈[1,x]∩eZ。
よって#[1,x]∩(S_r＼S)≦納e∈E＼E_r]#[1,x]∩eZ≦納e∈E＼E_r]x/e≦εx。
よって#[1,x]∩S/x≧#[1,x]∩S_r/x-ε≧m-3ε。□
0201１３２人目の素数さん
2005/09/16(金) 08:00:20> できたかも。以下正の整数の集合Eに対してS_E={n| e|n ∀e∈E}とする。
これだとEが無限集合のときS_Eは空集合になるわけだが。
正しくは「Eのどの元でも割り切れないような正整数の集合」か？
0203１３２人目の素数さん
2005/09/16(金) 22:47:400204１３２人目の素数さん
2005/09/18(日) 03:53:18564219となることを示せ。
0205１３２人目の素数さん
2005/09/18(日) 14:35:27ならないことを数学的帰納法で示せ。
0206１３２人目の素数さん
2005/09/18(日) 17:59:56以下<x>=x-[x]とする。
2^kの先頭６桁が562419
⇔log[10^6]562519≦<log[10^6]2^k>＜log[10^6]562520
log[10^6]2は無理数なのでこれをみたすkの密度はlog[10^6]562520/562519＞0。
0207１３２人目の素数さん
2005/09/23(金) 18:22:530208１３２人目の素数さん
2005/09/23(金) 18:30:31X JAPAN = とてもかっこいい＾ｎ
0209Arith ◆Arithtz1sk
2005/09/28(水) 22:48:19正解です。エレガントな構成ですね。私の考えていた証明は非構成的なので…。
ちなみにこの問題はKoninck & Katai, On the frequency of k-deficient numbers,
Publ. Math. Debrecen 61(2002), 595--603にヒントを得ました。
私の考えていた証明もうｐします。
f(n)=倍p|n}(1/p)とおき、A={n| f(n)<ε}と定義する。
σ(n)≦Π{p|n}p/(p-1)≦exp倍p|n}1/(p-1)≦exp 2倍p|n}(1/p)=exp 2f(n)より
Aが正の下極限密度を持つことを示せばよい。
まず、zを十分大きな素数とし、P=Π{p≦z}pとおく。Eをz以下の素数の集合とすると、S_EはPを法
とするΠ{p≦z}(p-1)個の剰余類からなる。よって、S_E(x)=xΠ{p≦z}(1-1/p)+O(P).
Mertenseの公式より、S_E(x) >> x/log zである。
倍n≦x, n∈S_E}f(n)=倍n≦x, n∈S_E}倍p|n}1/p=倍p}(1/p)*|{n≦x, n∈S_E, p|n}|,
ここでn∈S_Eならば、nはp≦zとなる素数で割れないので、p≦zに対してはこの項は0である。
(1/S_E(x))倍n≦x, n∈S_E}f(n)=(1/S_E(x))倍p>z}(1/p)*|{n≦x, n∈S_E, p|n}|
≦(1/S_E(x))倍p>z}(1/p)*|{n≦x, p|n}|≦(x/S_E(x))倍p/z}(1/p^2)≦1/(zΠ{p≦z}(1-1/p))
=O(logz/z)
zを大きくとり、続いてxを大きくとれば、(1/S_E(x))倍n≦x, n∈S_E}f(n)<ε/2とすることができる。
f(n)≧0だから、S_E∩[1, x]の少なくとも半数の元nに対しf(n)<εでなければならない。
したがって、A(x)≧S_E(x)/2 >> x/log zなので、Aは正の下極限密度をもつ。□
0210１３２人目の素数さん
2005/09/28(水) 22:51:390211１３２人目の素数さん
2005/09/30(金) 12:09:41俺には分からん。
0212１３２人目の素数さん
2005/10/04(火) 23:45:23これだれかでけん？本人も答えしらんらしいし。どうしたもんやら。
答えあんのはまちがいないの？＞出題者
0213１３２人目の素数さん
2005/10/12(水) 18:13:13ヒントおながいｱｹﾞ
0215１３２人目の素数さん
2005/10/16(日) 20:15:44分からん。どうやって示したの？
0217１３２人目の素数さん
2005/10/18(火) 10:39:40もうヒントいりません。答えうｐしてくらはい。
0218１３２人目の素数さん
2005/10/18(火) 11:18:27[3,p]=1 (if p≡1,11 (mod 12))
=-1 (if p≡5,7 (mod 12))
ところで奇数nにたいして2^n-1≡7 (mod 12)だから2^n-1のいづれかの素数因子で
[3,p]=-1である素数がある。すると3 mod pの位数は偶数か。なるほど。すばらすぃ。
0219１３２人目の素数さん
2005/10/18(火) 22:43:47ならPn+1-Pnの上限は？
0220１３２人目の素数さん
2005/10/18(火) 23:08:24その評価式からえられるPn+1-Pnの上からの評価は
(n+1)(log(n+1)+loglog(n+1))-n(log+loglogn-1)
=nlog(1+1/n)+log(n+1)+nlog(log(n+1)/logn)+loglog(n+1)+n
だから上限なんかないのでわ？
0221１３２人目の素数さん
2005/11/15(火) 05:20:13(1)ｎの正の約数の個数はｋである。
(2)√(n^k)は整数である。
0222１３２人目の素数さん
2005/11/15(火) 09:47:46(1)＆(2)⇔(1)な気がする。
0223１３２人目の素数さん
2005/12/04(日) 07:22:180224１３２人目の素数さん
2006/01/02(月) 00:13:430225１３２人目の素数さん
2006/01/03(火) 10:05:26では、
（１）２で割って１余る数
（２）３で割って１余る数
（３）３で割って２余る数
はどう表せるか？
※ただし、
（１）２ｎ＋１以外のもの
（２）３ｎ＋１以外のもの
（３）３ｎ＋２以外のもの
について答えよ。
答えとその導き方について教えてください。
0226１３２人目の素数さん
2006/01/03(火) 11:28:46今年の建部崩れの主要な受賞業績の一つは
既に2003年に刊行されているから、成果に
無関係に退場命令が出た例だ。まあ、彼の
場合は風営法違反で排除勧告が出たのかも
しれん。ヘルスの行き杉には気を付けよう
http://science4.2ch.net/test/read.cgi/math/1128350775/451-460
0227１３２人目の素数さん
2006/01/08(日) 17:28:560228１３２人目の素数さん
2006/01/10(火) 10:16:040229１３２人目の素数さん
2006/01/14(土) 19:46:20(2^n +1)/(n^2) が整数となるような自然数 n>1 を全て求めよ。
芋1990 (中国)
〔類題〕
(2^n +1)/(3n) が整数となるような自然数 n>1 を全て求めよ。
俺にはわからん。
0230１３２人目の素数さん
2006/01/16(月) 00:38:51n≧6 ⇒ √{7(n+1)}･Ｃ(n,[n/2]) > 2^(n+1)
をnに関する帰納法で示しまつ。
n=6 のとき 7Ｃ[6,3] = 7･20 = 140 > 128 = 2^(6+1) で成り立つ。
n=7 のとき √(56)･Ｃ[7,3] > 7.4･35 = 259 > 256 = 2^(7+1) で成り立つ。
n=2m-1 のとき成り立てば、
Ｃ(2m,m) = (2m)!/(m!)^2 = 2*(2m-1)!/{(m-1)!m!} = 2Ｃ(2m-1,m-1)
Ｃ(2m+1,m) = (2m+1)!/{m!(m+1)!} = 4{(2m+1)/(2m+2)}･Ｃ(2m-1,m-1) > 4√{2m/(2m+2)}･Ｃ(2m-1,m-1) ←(*)
より n=2m,2m+1 のときも成り立つ。(終)
(*) (2m+1)^2 = 2m(2m+2) +1 > 2m(2m+2) ゆえ {(2m+1)/(2m+2)}^2 > 2m/(2m+2).
なお、左辺は右辺 2^(n+1) の 140/128倍を超えない。
0231風あざみ
2006/01/17(火) 03:28:00忘れ去られたと思っていました。
解答ありがとうございます。
もちろん正解です。
0232１３２人目の素数さん
2006/01/17(火) 13:33:58風あざみの出題した不等式に対する風あざみの用意した解答を晒せよ！
0233１３２人目の素数さん
2006/01/17(火) 13:36:24> なお、左辺は右辺 2^(n+1) の 140/128倍を超えない。
こちらの証明は どうするのですか？
問題の解はn=3、類題の解はn=3^k (k:正整数)。
解答の方針は、整数 n>1 が n|(2^n +1) を満たすとき
1) n の任意の素因数 p について、2 mod p の位数は偶数(2aとおく)、かつ a|n
2) n の最小素因数は3
3) n は3以外の素数を約数にもたない
を順に示したら、あとは 2^n +1 を割り切る最大の3の冪を求めればいい。
0235１３２人目の素数さん
2006/01/19(木) 19:40:17i) 薩摩芋より
(x^2 + a_1^2)(x^2 + a_2^2)*.....*(x^2 + a_n^2) + 1 は Q 上既約
ii)自作類題 n ≧ 3 の時
(x^3 + a_1^3)(x^3 + a_2^3)*.....*(x^3 + a_n^3) + 1 は Q 上既約
0236230
2006/01/21(土) 00:12:54r(n) = (左辺) / (右辺) = √{7(n+1)}･Ｃ(n,[n/2]) / 2^(n+1) ≦ 140/128 を示しまつ。
r(n) = r(n-2)･n√(n^2 -1) /{4[n/2](n-[n/2])},
r(2m) = r(2m-2)･√{(2m)^2 -1} /(2m) < r(2m-2), 単調減少.
r(2m+1) = r(2m-1)･(2m+1) /√{(2m+1)^2 -1} > r(2m-1), 単調増加.
また、r(2m) = r(2m+1)･√{(2m+2)/(2m+1)} > r(2m+1) より有界なので収束する。 (*)
∴ 140/128 = r(6) > r(8) > … > r(2m) > … > √(7/2π) > … > r(2m+1) > … > r(7) > r(5) > 1.
*) 高木: ｢解析概論｣ 改訂第三版, 岩波, p.8 (1961.5), 第Ⅰ章, §4, 定理6
不等式への招待２
http://science4.2ch.net/test/read.cgi/math/1105911616/560-564
0237１３２人目の素数さん
2006/02/05(日) 06:35:420238１３２人目の素数さん
2006/03/02(木) 16:41:300239１３２人目の素数さん
2006/03/14(火) 11:43:50となることを証明しましょう。
Ｋ(α)はＫにαを添加した体、〈α〉はαを生成元とした巡回群です
0240１３２人目の素数さん
2006/03/14(火) 15:00:000241１３２人目の素数さん
2006/03/14(火) 17:57:420242１３２人目の素数さん
2006/03/15(水) 05:39:370243１３２人目の素数さん
2006/03/26(日) 14:33:470244１３２人目の素数さん
2006/04/15(土) 22:40:580245１３２人目の素数さん
2006/04/23(日) 21:43:57|(´･ω･`)ﾉ 知らんがな
＿＿＿＿ 上―-―' ＿＿＿＿
| (´･ω･`) | ／ ＼ | (´･ω･`) |
|￣￣￣￣ （￣￣￣） |￣￣￣￣
∧ （[[[[[[|]]]]]） ,∧
<⌒> [=|=|=|=|=|=] <⌒>
／⌒＼ _|iﾛi|iﾛiiﾛi|iﾛ|_∧ ／⌒＼_
］皿皿［-∧-∧|ll||llll||lllｌ||lllｌ|lll|￣|]皿皿[_|
|_／＼_|,,|「|,,,|「|ﾐ^!､|]|[|]|[|][]|_.田 | ∧_ ]
| . ∩ |'|「|'''|「|||:ll;|||}{|||}{|||}{|||}{|,田田.|__|
|￣￣￣￣|「|￣￣||[[|門門門|]]|[_[_[_[_[_[
／i~~i' l ∩∩l .ｌ ∩ ∩ l |__| .| .∩| .| l-,
,,,,,='~| | |' |,,=i~~i==========|~~|^^|~ ~'i----i==i,, | 'i
| l ,==,-'''^^ l |. ∩. ∩. ∩. | |∩| |∩∩| |~~^i~'i、
,=i^~~.| |.∩.∩ |,...,|__|,,|__|,,|__|,,|__|,....,||,,|.|,.....,||,|_|,|.|,....,| | |~i
l~| .| | ,,,---== ヽﾉ i ヽﾉ~~~ ヽﾉ ~ ソ^=-.i,,,,|,,,|
.|..l i,-=''~~--,,, ＼ ＼ l ／ ／ ／ __,-=^~
|,-''~ -,,,＿ ~-,,. ＼ .＼ | .／ ／ ＿,,,-~ ／
~^''=、＿ _ ^'- i=''''''^~~~~~~~~~~~~~~~~~~~~^''''''''=i -'^~
~^^''ヽ ヽ i kingｷｬｯｽﾙ / ／ ノ
ヽ 、 l | ｌ l / .／ ／
＼_ 、i ヽ i / ,,=='
''==,,,,＿＿＿,,,=='~
0246GiantLeaves ◆6fN.Sojv5w
2006/04/23(日) 22:35:050247１３２人目の素数さん
2006/05/13(土) 20:57:190248１３２人目の素数さん
2006/05/15(月) 09:22:550249１３２人目の素数さん
2006/05/15(月) 13:25:120250１３２人目の素数さん
2006/05/16(火) 01:41:410251１３２人目の素数さん
2006/05/16(火) 02:52:520252１３２人目の素数さん
2006/05/16(火) 03:30:220253１３２人目の素数さん
2006/05/16(火) 05:51:41数学が出来ないやつが哩Ⅲに入るのが東大流。
0254１３２人目の素数さん
2006/05/16(火) 07:41:311) 適当な整数を代入すれば、その値は p の倍数とならない。
2) 整数を代入した時その値が p の倍数になるならば、代入した整数は全て p の倍数
なる二条件を満たす物が存在する。
0255１３２人目の素数さん
2006/05/17(水) 01:36:580256１３２人目の素数さん
2006/05/17(水) 06:30:270257１３２人目の素数さん
2006/05/17(水) 06:33:060258１３２人目の素数さん
2006/05/17(水) 07:59:44自然数を代入して正値なら素数になる多変数多項式ならあるけど、まあ一般項とは言わない罠。
一変数でダメなのは高校演習レベルだけど、二変数でダメな理由知ってる人いたら教えてくれない？
0259１３２人目の素数さん
2006/05/17(水) 16:57:210260１３２人目の素数さん
2006/05/17(水) 17:09:01そこから、一変数の自然数を代入すれば素数になる多項式が得られるんjamaica?
0261１３２人目の素数さん
2006/05/17(水) 17:09:570262１３２人目の素数さん
2006/05/20(土) 13:52:49岩波数学辞典では広義のものを採用している。
0263１３２人目の素数さん
2006/05/20(土) 15:45:26その理屈が正しければ、何変数でもダメになりそうな気が。
0264１３２人目の素数さん
2006/05/20(土) 17:21:500265１３２人目の素数さん
2006/05/26(金) 14:42:050266１３２人目の素数さん
2006/06/07(水) 19:29:1855a+63b+80c+97d+346e=2252
a,b,c,d,eはいずれも非負の整数
(eは自然対数ではなく未知数です、一応)
これは解けますでしょうか。
8,10,17,55,80などで合同式をとってみたのですが、うまくいかないのです。
運任せではなく、方法論化された解き方はあるのでしょうか。
よろしくお願いします。
0267１３２人目の素数さん
2006/06/08(木) 08:21:1555Z + 63Z + 80Z + 97Z + 346Z = Zだから。
0268１３２人目の素数さん
2006/06/08(木) 12:41:04http://aozoragakuen.sakura.ne.jp/suuronN/node16.html#SECTION00062020000000000000
0269１３２人目の素数さん
2006/06/08(木) 22:05:52大変ありがとうございます。自分なりに取り組んでみまして、
55a+63b+80c+97d+346e
=55(a+b+c+d+6e)+8b+25c+42d+16e …①
=8{6(a+b+c+d+6e)+(b+3c+5d+2e)}+(c+2d)+7(a+b+c+d+6e)
=8l+m+7n=346
あるいは、①でfをおいて、もう少し粘ってみて、
=55f+8b+25c+42d+16e
=8(6f+b+3c+5d+2e)+7f+c+2d
=8g+7f+c+2d
=2(4g+3f+d)+c+f
=2h+c+f
まで、何とかやってみたのですが、行き詰まってしまいました。
また、行列を使ってみて（↓行列だと思って下さい。）
(055) (1 0 0 0 0)(6 1 0 0)(4 0)(2 1)(1)
(063) (1 1 0 0 0)(1 0 0 0)(3 1)(1 0)(0)
(080) (1 0 1 0 0)(3 0 1 0)(0 1)
(097) (1 0 0 1 0)(5 0 0 1)(1 0)
(346) (6 0 0 0 1)(2 0 0 0)
みたいな事もやってみましたが、よく分かりません。
僕は根本的な勘違いをしているのでしょうか。
解答かヒントを頂けるととてもありがたいのですが。
0270１３２人目の素数さん
2006/06/16(金) 02:01:220271１３２人目の素数さん
2006/06/16(金) 21:10:370272１３２人目の素数さん
2006/06/16(金) 21:21:11このとき、gcd(n,lcm(p,q))≠1が成り立つならば、
gcd(n,p)≠1 または gcd(n,q)≠1は成り立つか？
0273１３２人目の素数さん
2006/06/16(金) 23:38:42c,d,eが0でも成り立ちそうだよね
55a+63b=2252
63b-2252≡0 mod 55
8b+3≡0 mod 55 → 8b+3=55nとおく
3-55n≡0 mod 8
3+n≡0 mod 8 → n=5とおく
8b+3=55*5よりb=34
55a+63*34=2252よりa=2
(a,b,c,d,e)=(2,34,0,0,0)が解になった
0274じゃん
2006/06/17(土) 00:25:500275１３２人目の素数さん
2006/06/17(土) 01:10:32合同式と背理法でいけるんじゃないかな。
0276１３２人目の素数さん
2006/06/17(土) 01:18:08mod.5では
1^2=1,2^2=-1,3^2=9=-1,4^2=1だから
X,Y,Z=1,-1
しかるに、1+1=2,1-1=0,-1-1=-2であり、これらの組み合わせはあり得ない。
だから、x,y,zどれかが、５で割り切れる。
0277１３２人目の素数さん
2006/06/17(土) 01:23:16分配律
gcd(n,lcm(p,q))=lcm(gcd(n,p),gcd(n,q))
0278１３２人目の素数さん
2006/06/17(土) 12:30:14大変ありがとうございます。
a=2,b=34,c=d=e=0で成立しますね。
ただ、他の解がありえなくもないかと思うんです。
他の解を何とか排除したいのですが。
0279１３２人目の素数さん
2006/06/27(火) 13:46:53king、やってみろ！
0280１３２人目の素数さん
2006/06/27(火) 14:00:40死ね
0281KingOfUniverse ◆667la1PjK2
2006/06/27(火) 18:31:070282１３２人目の素数さん
2006/06/27(火) 19:46:252+
3+6+
4+8+12+
5+10+15+20+
6+12+18+24+30
は7で割り切れる
0283１３２人目の素数さん
2006/06/27(火) 20:07:24Σ[k=2,p-1](Σ[i=1,k-1]( i*k ) )はpで割り切れる
けっこう簡単だと思います
0284283
2006/06/28(水) 19:50:330285１３２人目の素数さん
2006/06/28(水) 19:52:32お前さんが自殺すればいいことじゃないか。
そうだろ？統合失調症患者さんｗ
0286１３２人目の素数さん
2006/06/28(水) 21:56:35Σ[k=2,p-1 i=1,k-1]ik
=Σ[k=2,p-1]k^2(k-1)/2
=p(p-1)(p-2)(3p-1)/24だから割り切れる
>lim[n→0]f(n)/n=0を示すことはそんなに難しくない。
わかんね、誰か教えてけれ
0287１３２人目の素数さん
2006/06/28(水) 22:02:240288１３２人目の素数さん
2006/06/28(水) 22:53:20馬鹿にとっては0/0=0なんだよ
0289１３２人目の素数さん
2006/06/29(木) 01:36:36http://aozoragakuen.sakura.ne.jp/taiwaN/taiwaNch04/node37.html
0290１３２人目の素数さん
2006/06/29(木) 01:37:55ヒントだけでもよろしくお願いします。
0291１３２人目の素数さん
2006/06/29(木) 19:13:26f_k(n)/n→Π[i=1,k](1-1/p_i) (n→∞)
そしてΠ[i=1,k](1-1/p_i)→0 (k→∞)だからπ(x)/x→0 (n→∞)
みたいな感じで証明出来たらいいのに
任意の素数ｐに対して整数ｘが存在しｘ＾ｎ≡ａ（ｍｏｄ．ｐ）となるとき
ｘ＾ｎ＝ａとなる整数ｘは存在するか。
0293１３２人目の素数さん
2006/06/30(金) 02:29:45珍しく、日数カウント以外で発言したな。
Ｘ＾６＋３ｎ＾２は（Ｚ／ｐＺ）［Ｘ］で可約であることを示せ。
ｎが３ｍ＾３（ｍは整数）と表されないとき
Ｘ＾６＋３ｎ＾２はＱ［Ｘ］で既約であることを示せ。
0295１３２人目の素数さん
2006/07/02(日) 01:51:24すこしはマシになったじゃネーか？
日付変更時に糞レスしていたのを問題を出題するようになっただけマシか…
今後とも精進しろよ。
0296１３２人目の素数さん
2006/07/02(日) 04:16:35(Z/ｐZ)［X］での可約性だけ
p=3のとき
X^6+3n^2=X^6はZ/3Z[X]で可約
p≡2 (mod 3)のとき
n≡3m^3 (mod p)となるような整数mをとる。(事実m≡(n/3)^{(p+1)/3}とおけばよい)
X^6+3n^2=X^6+27m^6=(X^2+3m^2)(X^4-3m^2*X^2+9m^4)なので、X^6+3n^2はZ/pZ[X]で可約
p≡1 (mod 3)のとき
ルジャントルの規準(-3/p)=(p/3)=1より
a^2≡-3 (mod p)となる自然数aが存在する。
X^6+3n^2=X^6-(a*n)^2={X^3-(a*n)}{X^3+(a*x)}なので、X^6+3n^2はZ/pZ[X]で可約
0297296
2006/07/02(日) 04:42:18×(事実m≡(n/3)^{(p+1)/3}とおけばよい)
○。(事実m≡(n/3)^x，ただしxは3x-(p-1)yを満たす自然数xとおけばよい)
0298296
2006/07/02(日) 04:42:57×(事実m≡(n/3)^{(p+1)/3}とおけばよい)
○。(事実m≡(n/3)^x，ただしxは3x-(p-1)y=1を満たす自然数xとおけばよい)
0299１３２人目の素数さん
2006/07/02(日) 14:05:55p≧5 だから p=6q±1, q∈N.
g(p) = (p-2)*(p-1)(3p-1)/24 とおくと
g(6q-1) = (6q-3)*(6q-2)(18q-4)/24 = (2q-1)*{(3q-1)(9q-2)/2} =(2q-1)m ∈ N,
g(6q+1) = (p-2)*6q(18q+2)/24 = (p-2)*{q(9q+1)/2} = (p-2)*n ∈ N.
0300１３２人目の素数さん
2006/07/02(日) 14:24:00> 212 ：１３２人目の素数さん ：2006/06/30(金) 23:52:42
> 奇素数は, 6の倍数±1 で表せる! (予想)
> ただし 3 は例外.
http://science4.2ch.net/test/read.cgi/math/1151507330/212
さくらスレ１９６
0301１３２人目の素数さん
2006/07/02(日) 16:37:01(x,x,x), x≠0,
(x,4x,-2x), x≠0,
(-2y,y,4y), y≠0,
(4z,-2z,z), z≠0,
(x,9x/2,-6x), x=偶数≠0,
(-6y,y,9y/2), y=偶数≠0,
(9z/2,-6z,z), z=偶数≠0.
0302１３２人目の素数さん
2006/07/28(金) 16:40:490303１３２人目の素数さん
2006/08/30(水) 15:26:430304１３２人目の素数さん
2006/10/02(月) 23:52:560305３億PV/日をささえる
2006/10/18(水) 19:09:11【２】「2000^2000を12で割ったときの余りを求めよ」
0306１３２人目の素数さん
2006/10/18(水) 19:10:060307１３２人目の素数さん
2006/10/19(木) 15:03:49(1)
2^4≡1 (mod 15)より2^n+1≡2,3,5,9 (mod 15)
(2)
2000^2000≡(-4)^2000≡4^2000≡4 (mod 12)
0308１３２人目の素数さん
2006/10/19(木) 20:36:29(1/x)+(1/y)+(1/z)=1/2 を満たす自然数x,y,z
0309１３２人目の素数さん
2006/10/21(土) 07:33:200310１３２人目の素数さん
2006/11/13(月) 01:37:340311１３２人目の素数さん
2006/11/26(日) 20:38:230312１３２人目の素数さん
2006/11/26(日) 20:47:50> 整数論の問題スレなのか整数の問題スレなのか
有理*整数の問題* = 初等*整数論の問題* だが？
0313１３２人目の素数さん
2006/11/26(日) 20:51:37*は何の意味で用いたのですか？
0314１３２人目の素数さん
2006/11/26(日) 20:54:34> *は何の意味で用いたのですか？
ボールド体の代わり、つまり太文字です。
0315１３２人目の素数さん
2006/11/26(日) 21:00:14有理 太文字 整数の問題 太文字 = 初等 太文字 整数論の問題 太文字 だが？
0316１３２人目の素数さん
2006/11/26(日) 21:18:23校正したことある奴なら直ぐ分かる事なんだがね。
0317１３２人目の素数さん
2006/11/26(日) 21:29:560318１３２人目の素数さん
2006/11/27(月) 08:45:43初等整数論の範囲だけで解ける問題？
有理整数に関する問題だけど証明には
初等整数論以外の深い知識を使う命題って結構あるような。
有名どころではFermatの大定理（A.Wilesの定理）とか
Catalan予想（P.Mih\u{a}ilescu's の定理）とか。
0319１３２人目の素数さん
2006/12/02(土) 19:45:38ｉをさらに二乗して
ｐで割ったらいいのかな？？
そ う い う 見 方 も 出 来 る ね
0320１３２人目の素数さん
2006/12/02(土) 21:00:40混乱してるようだから・・・
「代数的整数論」=「代数的整数に関する理論」であるのに対応して
「初等整数論」=「有理整数に関する理論」だ。
「初等整数論」=「初等的な整数論」ではないぞよ。
0321１３２人目の素数さん
2006/12/02(土) 23:45:560322１３２人目の素数さん
2006/12/03(日) 09:02:16>「初等整数論」=「有理整数に関する理論」だ。
そうとは限らないだろう。
解析を使う素数分布に関する理論は有理整数に関する理論だが
初等整数論とは言わない。
>「初等整数論」=「初等的な整数論」ではないぞよ
「初等整数論」=「初等的な整数論」だよ。
0323１３２人目の素数さん
2006/12/03(日) 14:47:06なら、Fermatの最終定理やCatalan予想も「初等的な整数論」と言う事になるぞ。
ついでに、「単純群」は「構造が単純で分かりやすい群」かね？
0324１３２人目の素数さん
2006/12/03(日) 18:58:02ならない。
0325１３２人目の素数さん
2006/12/03(日) 19:38:46>ついでに、「単純群」は「構造が単純で分かりやすい群」かね？
単純群でない群と較べればそうなる。
0326１３２人目の素数さん
2006/12/03(日) 19:46:12>なら、Fermatの最終定理やCatalan予想も「初等的な整数論」と言う事になるぞ。
>>322のどこからそういう結論になるんだよ。
Fermatの最終定理が初等的な方法で解ければ「初等的な整数論」になるが
まだそうなってないし、それが可能かも不明。
0327１３２人目の素数さん
2006/12/03(日) 20:12:390328１３２人目の素数さん
2006/12/03(日) 20:28:090329１３２人目の素数さん
2006/12/04(月) 16:39:51>「単純群」は「構造が単純で分かりやすい群」かね？
> 単純群でない群と較べればそうなる。
随分雑な奴がいるな。
そんなら、(非可換有限)単純群よりアーベル群や可解群の方が
「構造が単純で分かりやすい」事になるぞ。
0330１３２人目の素数さん
2006/12/04(月) 17:23:00構造が単純でなく分かりにくいと思っているの？
0331１３２人目の素数さん
2006/12/04(月) 20:46:03如何みても逆だね。ま、いいか。
0332325
2006/12/04(月) 20:48:31常識を使え。
単純群でない群 G の組成剰余群 H_i は単純群だ。
G の構造は各 H_i より複雑となるだろ。
0333１３２人目の素数さん
2006/12/04(月) 20:51:41ほう、面白い。
説明希望。
0334333
2006/12/04(月) 20:55:10取り消す。
0335１３２人目の素数さん
2006/12/04(月) 21:04:47だったら、「非可換」で「超可解性等の組成列条件を持たない」「非単純群」
といった風に限定したほうがいい。
0336１３２人目の素数さん
2006/12/04(月) 21:07:230337１３２人目の素数さん
2006/12/04(月) 21:07:54可解群の構造は単純群よりわかってないと思うが。
0338１３２人目の素数さん
2006/12/04(月) 21:17:02「初等整数論」=「有理整数に関する理論」のときに
「Fermatの最終定理やCatalan予想も「初等的な整数論」と言う事になる」から
>>323の「>322」は「>320」の間違いだな
0339１３２人目の素数さん
2006/12/04(月) 21:17:56なんで限定する必要がある。
初めから一般論だろ。
一般的に単純群よりそうでない群のほうが複雑ってこと。
当たり前だ。
0341１３２人目の素数さん
2006/12/04(月) 21:31:470342325
2006/12/04(月) 21:33:52レス番号は？
0343１３２人目の素数さん
2006/12/04(月) 21:34:47336
338
341
0344325
2006/12/04(月) 21:37:19常識ありますか？
俺に答えてないだろ。
0345１３２人目の素数さん
2006/12/04(月) 21:41:02325とは何もやり取りをしてないのに何に答えて何から逃げてるの
0347１３２人目の素数さん
2006/12/05(火) 23:10:230348１３２人目の素数さん
2006/12/06(水) 03:14:17問題出せ
0349１３２人目の素数さん
2006/12/06(水) 12:59:56a_n ＜ 42 ならば a_{n+1} = a_n + 8
a_n ≧ 42 ならば a_{n+1} = a_n - 42
であるとし、a_1 は 0≦a_1＜50 を満たす整数とする。
このとき、a_1 = a_{1+N} であるような自然数 N が存在することを示し、
そのような N の最小値を求めよ。
0350１３２人目の素数さん
2006/12/06(水) 13:36:28[i]0≦a_n＜42 ならば
0≦a_n+8<50
0以上の整数qy+rについて
(qy+r mod y) = rと書くとする(q,y,r は整数, q≧0, y>0, 0≦r＜y)
よってa_{n+1} = (a_n+8) mod 50
[ii]42≦a_n＜50 ならば
0≦a_n-42<50
a_{n+1} = (a_n-42) mod 50
= (a_n+8) mod 50
0≦a_1＜50であり、
0≦a_n＜50を仮定すると0≦a_{n+1}＜50
が成り立つので
2以上の自然数 n に対して
a_{n} = (a_{n-1}+8) mod 50
=(a_1+8*(n-1)) mod 50
また、これはn=1の時も成り立つ
a_1 = (a_1+8*N) mod 50 を満たすNを求める
a_1+8*N = q*50 + a_1 となる自然数qが存在する
8N=50q
N=(50/8) q
=25/4 q
Nは自然数であるのでNが25の倍数であれば良い
最小のNは25である
0352１３２人目の素数さん
2006/12/07(木) 20:45:320353１３２人目の素数さん
2006/12/07(木) 20:57:140354１３２人目の素数さん
2006/12/08(金) 11:12:500355１３２人目の素数さん
2006/12/08(金) 11:14:300356１３２人目の素数さん
2006/12/08(金) 13:53:16二元で位相的に生成されるprofinite群
0357１３２人目の素数さん
2006/12/08(金) 16:37:38証明は？(長かったら方針だけでも)
0358１３２人目の素数さん
2006/12/08(金) 16:38:480359１３２人目の素数さん
2006/12/08(金) 16:42:340360１３２人目の素数さん
2006/12/08(金) 16:48:41立法 → 立方
0361１３２人目の素数さん
2006/12/08(金) 18:12:10Grothendieck-Teichmuller群でググっておくれ。
0362１３２人目の素数さん
2006/12/08(金) 20:44:52Thanks!
0363１３２人目の素数さん
2006/12/15(金) 01:22:110364１３２人目の素数さん
2006/12/15(金) 01:36:31最後の問題ってこれ？これ確か未解決じゃなかったっけ？
0365１３２人目の素数さん
2006/12/15(金) 11:57:26それです。
元の問題は（素数及び）素数冪を小さい方から順番に並べて、 q_n とすると、
limsup (q_(n+1) - q_n) = ∞？
と言う問題です。
0366１３２人目の素数さん
2006/12/15(金) 15:30:42liminf (q_(n+1) - q_n) は有限か？
0367１３２人目の素数さん
2006/12/15(金) 16:53:48いや、972は「3^nを十進数表示したとき（略）」という問題なんだけど。
似た問題がピーターフランクルの本に載ってたんだけど
意外と証明は難しくてまだ誰も成功してないという話だった。
>>365はちょっとした有名問題で、
隣り合う素数冪同士の差は幾らでも長くなる事が初等的に証明できる。
数学オリンピックの過去問で、ブルーバックスの
「数学オリンピック問題にみる現代数学」にも収録されていた。
以下前スレから
978 名前：１３２人目の素数さん[sage] 投稿日：2006/11/26(日) 11:53:13
では隣り合う素数冪の差は？
984 名前：１３２人目の素数さん[] 投稿日：2006/11/29(水) 11:07:02
>>978
(n!)^2+2，から(n!)^2+nまでの間に素数冪はない
(証明は背理法で、(n!)^2+iが素数冪つまり(n!)^2+2=p^iとなると仮定して矛盾を導く)
から、この区間の長さはn-1でいくらでも大きくなる。
0368１３２人目の素数さん
2007/01/25(木) 22:58:360369１３２人目の素数さん
2007/02/05(月) 02:20:560370１３２人目の素数さん
2007/02/27(火) 00:29:590371１３２人目の素数さん
2007/02/27(火) 00:30:47(ﾟДﾟ)≡ﾟдﾟ)、ｶｧｰ ﾍﾟｯ!!
0373１３２人目の素数さん
2007/03/11(日) 06:09:383つ並んだ楔数は無限に存在するか？
0374１３２人目の素数さん
2007/03/11(日) 06:20:378161^2 = 4961^2 + 6480^2
0375１３２人目の素数さん
2007/03/11(日) 16:04:320376１３２人目の素数さん
2007/03/14(水) 21:26:37421445 = 5 * 31 * 2719
421446 = 2 * 3 * 70241
421447 = 13 * 17 * 1907
を手計算で見つけた。方針が立たないな。
0377１３２人目の素数さん
2007/03/15(木) 17:27:13>>358
8161^2 = 4961^2 + 6480^2
そう。
驚くのは、古代バビロニアでこれが知られていた事だ。
試行錯誤の末、分かったとは思えんし…
0378１３２人目の素数さん
2007/06/25(月) 09:26:320379１３２人目の素数さん
2007/08/31(金) 14:40:130380１３２人目の素数さん
2007/09/11(火) 14:40:458161 = 81^2 +40^2
(a^2+b^2) (c^2+d^2) = (ac-bd)^2 + (ad+bc)^2
0381１３２人目の素数さん
2007/10/30(火) 12:45:040382１３２人目の素数さん
2007/11/05(月) 14:12:56> 8161 = 81^2 +40^2
> (a^2+b^2) (c^2+d^2) = (ac-bd)^2 + (ad+bc)^2
そうなんだが、 古代バビロニアの人間がそれを判っていたとは信じられん。
どうやって思いついたのだろう？
0383１３２人目の素数さん
2007/11/06(火) 05:30:070384１３２人目の素数さん
2007/11/12(月) 16:04:10＞Π[i=1,k](1-1/p_i)→0 (k→∞)
逆数とったらζ(1)になるので簡単。
0385１３２人目の素数さん
2007/12/10(月) 22:52:471, θ, θ^2 が R の Z 上の加群としての自由生成系とならぬ物があることを示せ。
0386１３２人目の素数さん
2007/12/10(月) 22:57:170387１３２人目の素数さん
2007/12/10(月) 23:21:47「二乗すると5になる 実 数 のうち正の方」
であるから、もし√5が実数でないとすると、√5の定義に矛盾する。
0388１３２人目の素数さん
2007/12/11(火) 21:24:57インタビューで竹中の担当の読売新聞記者が全裸で穴にバイブを入れたまま殺された？自殺した？ことなど
を、全部竹中にぶつけると【びんぼうゆすりみたいな状態】になった。
9.15 リチャード･コシミズ東京講演会 全編 （3時間24分）
【びんぼうゆすりみたいな状態】になった話は16分から
http://www.asyura2.com/
もと総理が過去に３人を殺した話もでてくる
0389１３２人目の素数さん
2008/01/14(月) 23:38:31ζ_1, ζ_2, ....... ζ_n を 1 の相異なる全ての原始 pq 乗根とする。
この時、(1 - ζ_1)*(1 - ζ_2)* ....... * (1 - ζ_n) を求めよ。
0390１３２人目の素数さん
2008/01/17(木) 02:18:430391１３２人目の素数さん
2008/01/17(木) 02:28:400392１３２人目の素数さん
2008/01/17(木) 11:33:380393１３２人目の素数さん
2008/01/17(木) 18:00:570394１３２人目の素数さん
2008/01/17(木) 20:41:52を解け
0395１３２人目の素数さん
2008/01/17(木) 20:49:18513 名前：１３２人目の素数さん[sage] 投稿日：2008/01/17(木) 16:07:40
Nを任意の自然数とし、F(n)をフィボナッチ数列とする
F(n)がNで割り切れるような自然数n全体を決定せよ
0396１３２人目の素数さん
2008/01/20(日) 13:03:09組み合わせ数 nC1, nC2, ....... nCn-1 が 1 より大きな自然数 k で割り切れたら、
k は素数であり、 n は k の冪である。
0397１３２人目の素数さん
2008/01/28(月) 17:58:360398１３２人目の素数さん
2008/03/28(金) 15:01:530399１３２人目の素数さん
2008/05/06(火) 04:03:050400１３２人目の素数さん
2008/05/08(木) 23:01:24宿題のほうは「f,g,hのどの2つも互いに素」という問題
正解者 13名
不正解者 10名
高校生全体の正解者は4名(3年が1,2年が3)
解答の中では
整数論スレの71の複素数による解答
代数幾何による解答
微分を使って式変形したあと、次数比較による解答
複素数でやる分には特に難しくないのに正解者が4名しかいないんだな。
0401１３２人目の素数さん
2008/05/08(木) 23:02:270402１３２人目の素数さん
2008/05/10(土) 00:07:290403１３２人目の素数さん
2008/05/18(日) 21:45:260404１３２人目の素数さん
2008/05/18(日) 22:18:16a^2+b^2+c^2=22d^2となる(a,b,c,d)の組を全て求めよ。
0405１３２人目の素数さん
2008/05/18(日) 22:38:17n+2≡0 (mod4)
0406１３２人目の素数さん
2008/05/21(水) 17:58:36正解
0407１３２人目の素数さん
2008/05/23(金) 19:37:55n+1個の正の偶数a[1],a[2],…,a[n],a[n+1](a[1]=a[n+1])があり，すべてのk(k=1,2,…,n)について
S(a[k])=2a[k+1]
が成り立つならば，f(a[k])+1は素数であることを示せ．
0408１３２人目の素数さん
2008/05/23(金) 20:20:22S(ak)=(bk1+1)(bk2+1)...(bki+1)=2ak+1i^bk+1i
0409１３２人目の素数さん
2008/05/24(土) 11:03:06S(ak)は約数の個数ではないのですが…
0410FERMAT
2008/05/24(土) 11:23:28x^p+y^p=z^p‥‥‥￥
であるとします。
ただし、円分体Ｑ(ζ)(ζ=exp(2πi/p))をＫとおきその類数hはh≧2を満たすとします。また、pとhがpを公約数に持つとします。
この仮定の下で以下のlemmaを示し、xyz=0を結論して下さい。
(注意)記号a|bはbが整数環Ｚにおいてaで割り切れることを意味します。
lemma1:p|zならばp^2|zである
lemma2:xyz≠0が￥を満たし、h≧2かつp|zならばある互いに素な有理整数a,b,cが存在してa^p+b^p=c^pかつabc≠0かつcはちょうどpで割り切れる。
よってlemma2はlemma1に矛盾するのでp|zならばxyz=0でなければならない。
lemma3:xyzがpで割り切れず、xyz≡a(modp)ならば
0411FERMAT
2008/05/24(土) 11:56:49lemma4:上のεは±1になる。
lemma5:lemma3のa≡p-1(modp)となる。
lemma6:x,y,zをどのように組み合わせてもその様なaはしないので矛盾である。
0412PT ◆nUkmQsVJ0w
2008/05/26(月) 16:59:00以下の関係式において、A(n-1) +B(n-1)+C(n-1)+D(n-1) > 0 であるときに
A(n) +B(n)+C(n)+D(n) > 0 が成り立つための必要十分条件を求めよ。
A(n-1) + E(n-1) = A(n) + B(n)
B(n-1) + F(n-1) = E(n) + F(n)
C(n-1) + G(n-1) = C(n) + D(n)
D(n-1) + H(n-1) = G(n) + H(n)
0413１３２人目の素数さん
2008/05/29(木) 03:22:17f(a[k])=e[k], a[k]=b[k]*2^e[k]とおく。a[k]は偶数だからe[k]≧1で、b[k]は奇数である。
このとき、
S(a[k]) = (2^(e[k]+1)-1)*S(b[k])
だから、条件より
(2^(e[k]+1)-1)*S(b[k]) = b[k+1]*2^(e[k+1]+1) (k=1,…,n)
特に、e^[k]+1≧2だから、2^(e[k]+1)-1は、1と異なるb[k+1]の正の約数である。
a[n+1]=a[1], e[n+1]=e[1]より
Π[k=1,n] S(b[k])
= Π[k=1,n] b[k+1]*2^(e[k+1]+1)/{2^(e[k]+1)-1}
= Π[k=1,n] b[k+1]*2^(e[k]+1)/{2^(e[k]+1)-1}
最後の積の各項は
b[k+1] + b[k+1]/{2^(e[k]+1)-1}
で、第2項はb[k+1]の真の正の約数だから、この和はS(b[k+1])以下。
そして、その積がΠ[k=1,n] S(b[k])に等しいのだから、結局個別に
b[k+1] + b[k+1]/{2^(e[k]+1)-1} = S(b[k+1])。
これは、
b[k+1] = 2^(e[k]+1)-1
で、なおかつb[k+1]が素数であることを意味する。
もし e[k]+1 が合成数ならば 2^(e[k]+1)-1 も合成数となり矛盾。
よってすべてのe[k]+1 (k=1,…,n)は素数。(証明終）
0414１３２人目の素数さん
2008/06/01(日) 17:38:55(p+q)^k ≡ p^k + q^k (mod m)みたいな公式をみた事あった
気がしたんですけどこれって正しいですか？もし間違っていたら
この式に似ているものを知りませんか？
0415１３２人目の素数さん
2008/06/01(日) 18:25:48フェルマ素数が無限にあれば、有限値となる。
後続の議論はおかしい。
0417１３２人目の素数さん
2008/06/01(日) 19:35:11(1)p｜nCi (i＝1～n－1)ならばnはpのべき乗
(2)nがpのべき乗のとき、p^2｜nCiが成り立たないi(1≦i≦n－1)が存在する
が成り立つ。(1)はF_p係数の多項式を使って証明する。面倒くさい。
(2)は、i＝n/pにおいてそうなることを地味に計算して証明する。面倒くさい。
nC1, nC2, ....... nCn-1が1より大きな自然数 k で割り切れたら、kを
割り切る素数pを1つ取るとき、(1)よりnはpのべき乗となる。kを割り切る
別の素数qも存在したら、nはqのべき乗でなければならず矛盾するので、
kを割り切る素数はpしかなく、よってkはpのべき乗である。これと(2)から、
k＝p^1でなければならない。エレガントでない(＾o＾)
0418１３２人目の素数さん
2008/06/01(日) 19:48:32(x + y)^p ≡ x^p + y^p (mod. p)
（但し p は素数）
を探してるんじゃないかな。初等整数論で p と書いたら
素数 prime numberを表すことが多いから今度から覚えとくと良いかも。
0419１３２人目の素数さん
2008/06/24(火) 00:55:36b/a+d/c=(a+c)(b+d)
が成り立つ条件を求めよ
0420１３２人目の素数さん
2008/06/24(火) 17:03:38b/a+d/c=(a+c)(b+d)であればいい
0421１３２人目の素数さん
2008/06/24(火) 21:34:040422１３２人目の素数さん
2008/06/24(火) 22:07:52(2n-1)C(n-1)≡1 (mod n^3)
を示せ
0423１３２人目の素数さん
2008/07/06(日) 04:22:43f(x):= Π[i=1～p-1] (x-i) = 納j=0～p-1] a(j)*x^j
と展開するとき、a(0)=(p-1)!、a(p-1)=1 であるが、
f(x) ≡ x^(p-1)-1 (mod p) だから、
a(j) ≡ 0 (mod p) (j=1,…,p-2)。
一方、f(p) = (p-1)! だから、
p*納j=1～p-1] a(j)*p^(j-1) = 0 であり、
p≧5 だから p-2≧3、よって
a(1) = -納j=2～p-1] a(j)*p^(j-1) ≡ 0 (mod p^2)。
kを任意の正整数とするとき、p≧5 だから、
f(kp) ≡ a(0)+a(1)*(kp)+a(2)*(kp)^2 ≡ (p-1)! (mod p^3)。
(p-1)! は p と互いに素だから、
C(kp-1,p-1) = f(kp)/(p-1)! ≡ 1 (mod p^3)。
0424１３２人目の素数さん
2008/07/11(金) 10:55:44http://science6.2ch.net/test/read.cgi/math/1214867658/448,467
(2n+1) | (n^4+5n^2)
を満たす整数 n はいくつあるか
0425１３２人目の素数さん
2008/07/15(火) 00:24:120426１３２人目の素数さん
2008/07/18(金) 02:28:30整数a,bに対し(a,b)はaとbの正の最大公約数とする。
(2n+1,n)=1, -(2n-1)*(2n+1)+4(n^2+5)=21だから、
(2n+1)|(n^4+5n^2)ならば、(2n+1)|21。
逆に(2n+1)|21ならば、(2n+1)|4(n^2+5)で、しかも2n+1は奇数なので、
|2n+1|＞1ならば(2n+1)|(n^2+5)、|2n+1|=1ならばもちろん(2n+1)|(n^2+5)だから
結局(2n+1)|(n^2+5)。
以上より、2n+1=±1, ±3, ±7, ±21、よって答えは
n=-11, -4, -2, -1, 0, 1, 3, 10 の8個。
0427１３２人目の素数さん
2008/07/18(金) 02:41:570428１３２人目の素数さん
2008/08/02(土) 11:35:350429１３２人目の素数さん
2008/08/02(土) 18:52:091 から 777 までの間に 7, 49, 343 の倍数が幾つあるかを数える。
0430かえで
2008/08/06(水) 21:38:31農[k=0 to inf] [777/7^k] が求める値を与えます。
それを計算するだけの問題です。
0431１３２人目の素数さん
2008/09/08(月) 23:20:080432１３２人目の素数さん
2008/09/08(月) 23:30:140433１３２人目の素数さん
2008/09/12(金) 12:06:45いま、全ての素数pに対して、
a_p≦b_p
が成立するとき、a=bとなることを示せ。
0434１３２人目の素数さん
2008/09/12(金) 15:15:22を満たす正整数(x,y,z）の組をすべて求めよ
xが偶数のときはできたけど奇数のときが分からん
0435１３２人目の素数さん
2008/09/13(土) 19:49:46いまいちうまくできないなぁ・・・。
0436１３２人目の素数さん
2008/09/20(土) 23:40:26a,b,c を自然数とするとき、
1/a + 1/b + 1/c - 1/(abc) が整数となるような
{a,b,c} を求めよ。
http://messages.yahoo.co.jp/bbs?.mm=GN&action=m&board=1835554&tid=bdpbja1jiteybc0a1k&sid=1835554&mid=978
出題(不等式)
{a,b,c} = {2,3,5}, {1,1,n}
0437１３２人目の素数さん
2008/09/21(日) 05:32:29(x,y,z) = (1,1,1) (2,0,1) (4,2,2)
0438１３２人目の素数さん
2008/10/26(日) 13:08:150439１３２人目の素数さん
2008/10/30(木) 16:22:400440１３２人目の素数さん
2008/12/02(火) 21:45:31を満たす自然数の組(x,y,z) をすべて求めよ。
ｘ＝ｗ＾２。
（ｙ／ｗ）＾２＝ｗ＾４＋ｚ＾４。
0442１３２人目の素数さん
2009/01/04(日) 16:16:07a=0
b=1
の時は？
0443１３２人目の素数さん
2009/01/04(日) 16:32:450444１３２人目の素数さん
2009/01/04(日) 17:14:39a=2
b=4
の時は？
0445１３２人目の素数さん
2009/01/04(日) 17:38:53b_3=1
0446１３２人目の素数さん
2009/01/04(日) 17:44:390447１３２人目の素数さん
2009/01/25(日) 19:00:500448i ◆U6TEeL8hCg
2009/01/25(日) 21:10:45ここで書くにはスペースが足りない。
hint
|x=-x
|A=B
|y=y
0449１３２人目の素数さん
2009/01/25(日) 22:58:360450１３２人目の素数さん
2009/01/25(日) 23:15:180451Arith ◆Arithtz1sk
2009/01/27(火) 18:33:49次の補題を使う。証明は
ttp://www.math.dartmouth.edu/~ppollack/sschur.pdf
ttp://www.math-inst.hu/~p_erdos/1934-01.pdf
などを参照。
Sylvester&Schur の定理： n≧2k ならば nCk は k より大きな素因数を持つ。
>>433の定理の証明。
a≠b の時、 a_p>b_p となる素数 p が存在することを示す。
b<aならば、aより大きな全ての素数 p に対して a_p=a>b=b_p となる。
a<b≦2a ならば、 Sylvester&Schur の定理より bC(b-a) は b-a より大きな素因数 p を持つ。
よって a+1, a+2, ..., b のいずれかは p で割り切れる。 a+l (1≦l≦b-a) が p で割れるとすると、
l≦b-a<p より、 a_p=p-l>b-a-l=b_p となる。
b>2a ならば、 Sylvester&Schur の定理より bCa は a より大きな素因数 p を持つ。
よって b-a+1, b-a+2, ..., b のいずれかは p で割り切れる。 b-a+l (1≦l≦a) が p で割れるとすると、
a_p=a>a-l=b_p となる。
よって、a≠b の時、常に a_p>b_p となる素数 p が存在する。これによって>>433の定理は証明された。
0452１３２人目の素数さん
2009/01/31(土) 15:53:232年＋αぶりのレスで恐縮だけど…。
＞いや、972は「3^nを十進数表示したとき（略）」という問題なんだけど。
＞似た問題がピーターフランクルの本に載ってたんだけど
＞意外と証明は難しくてまだ誰も成功してないという話だった。
n を b 進数表示したときの各桁の数の和を N(n) とおくと、log a/log b が無理数ならば
N(a^m)→∞ (m→∞) になることなら、既に知られているよ。
証明は
H. G. Senge and E. G. Strauss, P. V. numbers and sets of multiplicity, Period Math. Hungar. 3 (1973), 93--100.
C. L. Stewart, On the representation of an integer in two different bases, J. Reine. Angew. Math. 319 (1980), 63--72.
を参照。
オンラインで入手できる論文としては、
ttp://journals.cambridge.org/action/displayIssue?jid=GMJ&volumeId=51&issueId=01&iid=2888412#
の
ON THE DIOPHANTINE EQUATION, TOMOHIRO YAMADA
に詳しい議論がある。
0453１３２人目の素数さん
2009/02/05(木) 17:18:33x>1 ならば, 5-3^y≡5^z-3^y=2^x≡0(mod 8) となるが,
3^y≡1 または 3(mod 8) より, これは不可能.
x=1 ならば, 5^z-3^y=2=5-3. よって 5^z-5=3^y-3 より5|(3^(y-1)-1).
よって y≡1(mod 4) となるから, 2^4|3^y-3=5^z-5 より z≡1(mod 4).
よって 313|5^4-1|5^z-5=3^y-3 より, y≡1(mod 39).
7|3^y-3=5^z-5 より z≡1(mod 6), 3^2|5^z-5=3^y-3. したがって y=z=1.
したがって, x が奇数となるのは (x, y, z)=(1, 1, 1) のみ.
問題. 3^x+5^y=2^z を満たす正整数 (x, y, z） の組をすべて求めよ.
0454１３２人目の素数さん
2009/02/06(金) 01:07:020455１３２人目の素数さん
2009/02/06(金) 18:41:51/ l | l 「｀ﾞ| ｰト 、| | / / / | Ｎ 5≡5^z(mod 8) はzが奇数のときにしか成り立たない。
/ / | ∨| 卞テﾐト､. | | / / ,.ｲ /| | 「xが奇数なので 2^x≡2≡5^z(mod 3)、よってzも奇数である」を追加すべきだ。
/ / .| | 弋 ﾄ::ﾂ/｀ ＼l / ／ ／/／ l /
. / / ∧ ﾍ | ￣ , ∠.イ ／ | / また、313は5^4+1の約数だ。5^4-1の約数ではない。
/ / / ＼∧| _ /| | l | 故に、「313|5^4-1...7|3^y-3=...」の部分は、
/ / / | L＿＿_ ´ ィ´| j∧ | /
/ / / ∧ ヽ /|イ￣￣.入 ＼l/ 「13|5^4-1|5^z-5=3^y-3 より、y≡1(mod 3)。y≡1(mod 4)なので
/ / / /‐┤ |―<__| | ／＿ヽ | y≡1(mod 6)だから、7|3^y-3...」と訂正すべきだ。
0456１３２人目の素数さん
2009/02/08(日) 11:29:59問題「5^x+3^y=2^zを満たす整数x,y,zを全て求めよ」
以下、ある場所からそのまま解答貼り付け。(言葉もそのまま)
「x, y, zが、x, y≧1 かつ z≧10を満たす整数であるとき、
問題の方程式が成立したと仮定すると、
5＾x＋3＾y ≡ 2＾z (mod 67107840) が成立することになるが、
これは成立しない。 （要計算。この主張が一番重要）
x, y≧1, z≦9 を満たす整数x, y, zの組で、
方程式を満たすものは明らかに有限個しか存在しない。
計算により、それらは以下の組だけであるとわかる。
(x, y, z) = (1, 1, 3), (1, 3, 5), (3, 1, 7)
y=0なる整数x, y, zの組が方程式を満たしたと仮定すると、
5＾x＋1 = 2＾z となる。
x＜0 であるとすると、5＾x＋1は整数ではないので、
z＜0 となるが、そうすると、
5＾x＋1 = 2＾z ⇔ 2＾(-z)(１＋5＾(-x)) = 5＾(-x) より、
2＾(-z) ≡ 0 (mod 5) となり、矛盾である。
よって、x≧0 である。
x=0 とすると、z=1で確定するので、x≧1と仮定すると、
z≧2がわかり、このとき、1＋1 ≡ 0 (mod 4)となり矛盾である。
以上より、y=0なる整数x, y, zの組で、
方程式を満たすものは、(x, y, z)=(0, 0, 1) だけであることがいえた。
0457１３２人目の素数さん
2009/02/08(日) 11:30:513＾(-y)・5＾x＋1 = 2＾z・3＾(-y) となる。
x, z≧0 とすると、 1≡0 (mod 3)となり矛盾である。
x≧0 かつ z＜0 とすると、 2＾(-z)(3＾(-y)・5＾x＋1) = 3＾(-y) より、
0 ≡ 1 (mod 2)となり矛盾である。
x＜0 かつ z≧0 とすると、 3＾(-y)＋5＾(-x) = 2＾z・3＾(-y)・5＾(-x) より、
3＾(-y) ≡ 0 (mod 5) となり矛盾である。
x, z＜0 とすると、(3＾(-y)＋5＾(-x))・2＾(-z) = 3＾(-y)・5＾(-x) より、
0 ≡ 1 (mod 2)となり矛盾である。
x=0 かつ y≧1なる整数x, y, zの組が方程式を満たしたと仮定すると、
1＋3＾y = 2＾z となる。
y=1 とすると、z=2で確定するので、y≧2とすると、
z≧3 となり、 1＋3＾y ≡ 0 (mod 8) となるが、
これを満たす整数yは存在しないので矛盾である。
よって、この場合は、(x, y, z) = (0, 1, 2)だけが解である。
x＜0 かつ y≧1なる整数x, y, zの組が方程式を満たしたと仮定すると、
1＋3＾y・5＾(-x) = 2＾z・5＾(-x) となる。
z≧0 とすると、 1≡0 (mod 5) となり矛盾。
z＜0 とすると、 (1＋3＾y・5＾(-x))・2＾(-z) = 5＾(-x) より、
0 ≡ 1 (mod 2) となり矛盾。
以上より、問題の方程式を満たす整数の組(x, y, z)は、
(x,y,z)=(0,0,1) (0,1,2) (1,1,3) (1,3,5) (3,1,7) で全てであることがいえた。」
0458１３２人目の素数さん
2009/02/09(月) 18:01:54という性質を満たす実数αが存在しないことを示せ。
0459１３２人目の素数さん
2009/02/10(火) 15:47:010460１３２人目の素数さん
2009/02/13(金) 14:54:08特定したｗｗ
0461Arith ◆Arithtz1sk
2009/02/13(金) 18:45:36y=0 とすると、 (z-1)(z^2+z+1)=z^3-1=5^x となる。よって、z-1=1 または z-1≡0(mod 5) となる。
z-1=1 は 5^x=7 となるため不可。また z≡1(mod 5) は z^2+z+1≡3(mod 5) となるため不可。
よって、 y>0 となる。
5^x≡z^3≡±1(mod 7) より、 x≡0(mod 3) となる。よって、 X=5^(x/3) は整数で、
(z-X)(z^2+zX+X^2)=z^3-X^3=7^y となる。
7|(z-X) とすると、7|(z^2+zX+X^2)≡3X^2 となって矛盾。よって、z-X=1。
z^2+zX+X^2=3X^2+3X+1=7^y だから 7^y-1=3X(X+1) となり、5^(x/3)|(7^y-1) が成り立つ。
ここで、 5^2||7^4-1, 5^n||(7^k-1) かつ n>2 ならば、(7^{ak}-1)=(7^k-1)(7^{(a-1)k}+...+1)≡a(mod 5^n)
となることから、 5^n|(7^k-1) ならば、4*5^(n-2)|k であることがわかる。
したがって、 4*5^(x/3-2)|yより 3X^2+3X+1=7^y≧7^(4*5^(x/3-2))=7^(4X/25) となる。
X≧5^3 ならば、これは不可。よって、X≦5^2。 X は5^0, 5^3, 5^6 のいずれかとなる。
3X^2+3X+1=7^y より X=5^0。よって、(x, y, z)=(0, 1, 2) のみ。□
超越数論使わないと解けないかと思ったが、初等的な方法でできた。
0462Arith ◆Arithtz1sk
2009/02/13(金) 18:47:435^n||(7^k-1) かつ n>2 ならば、(7^{ak}-1)=(7^k-1)(7^{(a-1)k}+...+1)≡a(mod 5^n)
↓
5^n||(7^k-1) かつ n>2 ならば、ある (b, 5)=1 に対して (7^{ak}-1)=(7^k-1)(7^{(a-1)k}+...+1)≡ab*5^n(mod 5^{2n})
0463１３２人目の素数さん
2009/02/13(金) 19:26:43自然数
0464１３２人目の素数さん
2009/02/13(金) 20:36:585^x+7^y=z^3 mod 3
2^x+1^y=z mod 3
1,2+1=2,0 mod 3
0465１３２人目の素数さん
2009/02/15(日) 20:35:43x^2007 + y! = y^2007 + x!
を満たすものは存在しないことを示せ.
0466１３２人目の素数さん
2009/02/16(月) 22:00:46私は問題を挙げた者ではないですが、Arithさんは、
この手の問題にどうやって超越数論の結果を適用しようと考えたのですが。
わたしはArithさん問題の解答(ありふれた方法ですが素晴らしい)よりも
むしろ、『超越数論使わないと解けないかと思ったが・・・』
という発言の方がずっと気になるのですが。
もしよろしければどういう意図があったのか具体的に教えてくれませんか。
0467１３２人目の素数さん
2009/02/27(金) 18:06:406つの連続する自然数の積は平方数になるか？
0468１３２人目の素数さん
2009/02/27(金) 23:04:06mod 7 のほうが議論が簡単だったんですね、
そしてピーター・フランクルの高校の頃の友達が
シルヴェスターの定理（整数論）とチェビシェフの定理を利用して
一般に n 個の場合に証明してしまったんですね、分かります。
0469１３２人目の素数さん
2009/03/05(木) 18:41:01を示せ。
σ(n) ＝ 農{m|n}(m)
＝ n*農{m|n}(1/m) ＜ n*農{m≦n}(1/m) ＝ Ｏ(n*log(n))
ってのは分かったけど、「≪」の示し方が分からないです。
プロットしてみると正しそうなんだけど。
0470１３２人目の素数さん
2009/03/06(金) 20:45:020471１３２人目の素数さん
2009/03/07(土) 10:44:34(n→∞)の時、f(n)/g(n) → 0
なら「f(n)≪g(n)」 の意味です。
先の問題は、
ttp://www.maths.mq.edu.au/~wchen/lndpnfolder/dpn01-af.pdf
p.5 THEOREM 1J. の証明部分です。
0472１３２人目の素数さん
2009/03/12(木) 08:44:160473１３２人目の素数さん
2009/03/26(木) 00:35:37THEOREM 1F.のProofから推測すると「≪」はラージオーダーの意味だと思う。
0474１３２人目の素数さん
2009/03/26(木) 20:29:20THEOREM 1J でも同じ意味で使ってるね。
0475１３２人目の素数さん
2009/03/28(土) 01:14:35(a) 2008のすべての約数d >0 に対して P(d) = 2008/d,
となるような 整数係数の多項式P(x)は存在するか?
(b) nのすべての約数d >0 に対して P(d) = n/d,
となる整数係数の多項式P(x)が存在するような自然数nを求めよ。
Problem 4.
ｆは正整数から非負整数への写像とする。
以下の条件を満たすｆをすべて定めよ。
(1) f(mn) = f(m) + f(n),
(2) f(2008) = 0,
(3) f(n) = 0, for all n≡39 (mod 2008).
Problem 5.
nを自然数とするとき、数列 n + [√n] + [ n^(1/3) ] に含まれない自然数をすべて挙げよ。
ここに [ x ] はx以下の最大の整数である。
http://www.math.ust.hk/excalibur/v13_n5.pdf
Austrian M.O. 2008, Final round (part 2)
2008/06/07～08
0476１３２人目の素数さん
2009/03/28(土) 02:43:37limsup [n→∞] σ(n)/{nloglog(n)} =e^γ (γ:Eulerの定数)
だから、lim [n→∞] σ(n)/nlog(n) =0 なのは間違いない。
そのpdfではそこまで証明してないようだけど。
>>475 Problem 4
fの値域が非負整数であることと、条件(1) f(mn)=f(m)+f(n) より
f(n)=0, d|n (n,d:正整数) ⇒ f(d)=0。
条件(2) f(2008)=0 より、f(1)=1, f(2)=0, f(251)=0。
2008を割りきらない任意の素数pについて、
合同方程式 39+2008n≡0 (mod p)
は、mod pで一意的な解n≡a (0≦a＜p)をもつ。
このとき条件(3)より f(39+2008a)=0だから、f(p)=0。
以上より、すべての素数pについてf(p)=0, よって
2以上の任意の正整数nが素因数積に表されることからf(n)=0、
そしてf(1)=0であるから、結局すべての正整数nについてf(n)=0。
0477１３２人目の素数さん
2009/03/28(土) 20:08:290478sage
2009/03/29(日) 11:55:01Gronwall's Theorem:
limsup [n→∞] σ(n)/{nloglog(n)} =e^γ
の証明は「数論入門(ハーディー/ライト)」(日本版２巻目p.105)
に載ってるよ。
積読状態だったので今の俺には解説できんです。。。
0479１３２人目の素数さん
2009/03/29(日) 13:37:310480１３２人目の素数さん
2009/05/01(金) 08:33:050481１３２人目の素数さん
2009/05/03(日) 23:22:50a^2 - 3b^2 = c^2,
のcを既知として、(a,b) を求めよ。
0482１３２人目の素数さん
2009/05/03(日) 23:48:241つの根を(a_0,b_0)とすると、
(a,b) = (2a_0+3b_0, a_0+2b_0), (2a_0-3b_0, a_0-2b_0),
も根だから、系列解がある。漸化式
a_n = 4a_(n-1) - a_(n-2),
b_n = 4b_(n-1) - b_(n-2),
を満たし、(2+√3)^n, (2-√3)^n の一次結合だから、
a_n = c･cosh(nω + θ),
b_n = c･sinh(nω + θ),
と書ける。cosh(ω) =2, θは実定数。
特に c=1 のとき
a_n = {(2+√3)^n + (2-√3)^n}/2 = cosh(nω),
b_n = {(2+√3)^n - (2-√2)^n}/(2√3) = (1/√3)sinh(nω),
cosh(ω) =2,
ただし、英字は整数、ギリシャ文字は実数。
(a,b,c) の例
・bが奇数のとき
{(b^2 +3)/2, b, (b^2 -3)/2},
{(3b^2 +1)/2, b, (3b^2 -1)/2},
・bが偶数のとき
(1,0,1)
(13,4,11)
(49,8,47)
(109,12,107)
(67,16,61)
(79,20,71)
(103,20,97)
など
0483１３２人目の素数さん
2009/05/05(火) 19:04:55c = (m+2)^2 -3 のとき (a_0, b_0) = ((m+2)^2 +3, 2(m+2))
c = 2m(m+1) -1 のとき (a_0, b_0) = (2m(m+1)+2, 2m+1)
c = 3m^2 -1 のとき (a_0, b_0) = (3m^2 +1, 2m)
c = 6m(m-1) +1 のとき (a_0, b_0) = (6m(m-1)+2, 2m-1)
また、
m=1 のとき b_0 = c,
m>1 のとき b_0 < c,
しかし a_n > c だから、
b_n = a_(n-1) + 2b_(n-1) ≧ a_(n-1) > c, (n>0)
0484１３２人目の素数さん
2009/05/09(土) 23:31:12pが素数のとき a^p ≡ a, (mod p)
〔系〕pが素数ならば、
gcd(a,p) =1 ⇒ a^(p-1) ≡ 1, (mod p)
〔オイラーのTotient定理〕
gcd(a,n)=1 ⇒ a^φ(n) ≡ 1, (mod n)
φ(n) はnの剰余類の正則元の数（EulerのTotient函数とか云うらしい･･･）
〔小定理の逆〕
∀x; x^n -x ≡ 0, (mod n)
ならば、nは素数。
〔小定理の系の逆〕 は成り立たない。
gcd(a,n) =1 ⇒ a^(n-1) ≡ 1, (mod n)
を満たす合成数nが存在する。orz
例)
3･11･17=561, 5･13･17＝1105, 7･13･19＝1729, 5･17･29=2465, 7･13･31=2821, など
これを カーマイケル数と呼ぶらしい。
nがカーマイケル数となる条件は、
1. nは平方因数をもたない。
2. p|n ⇒ (p-1)|(n-1)
http://science6.2ch.net/test/read.cgi/math/1212143770/179-182
代数的整数論０１１
0485ｍｏｄｕｌｏ－
2009/07/02(木) 01:38:38If m is any integer>1,show that the number of primitive roots modulo m is either 0 or φ(φ(m))
初学者のための整数論からの問題ですがお願いします。
0486１３２人目の素数さん
2009/07/02(木) 04:24:01(Z/mZ)*が巡回群の場合に、生成元を原始根と定義するんじゃないか？そのとき原始根はφ(m)個ある。
でも、(Z/mZ)*が巡回群でない場合の原始根の定義って？
定義されていないから0個だと言いたいのだろうか？問題文が変だ。
0487１３２人目の素数さん
2009/07/02(木) 18:29:39ヒントとして有理点P(5, 11)が与えられています。
0488１３２人目の素数さん
2009/07/04(土) 02:45:58納i=1～n-1](x_i)^k=(x_n)^k
がとなるx[1],x[2],～,x[n],kが存在するn,kの必要十分条件を求めよ。
0489１３２人目の素数さん
2009/07/08(水) 02:40:11＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
自然数x, y, z が、
1/x + 1/y + 1/z < 1
を満たす。
このとき、
1/x + 1/y + 1/z の最大値を求めよ。
0490１３２人目の素数さん
2009/07/11(土) 18:15:11nを6以上の自然数とする.
(n+1)C(n,[n/2]) > 2^(n+1),
となることを示せ.
〔Q2〕
nを7以上の自然数とする.
LCM(1,2,…,n) > 2^n,
となることを示せ.
http://science6.2ch.net/test/read.cgi/math/1245060000/121
不等式への招待４
0491１３２人目の素数さん
2009/07/13(月) 02:22:02[Q1]
f(n)=(n+1)C(n,[n/2])とおく
nが奇数のとき
f(n+1)/f(n)={(n+1)/n}(n/{(n+1)/2})=2
nが偶数のとき
f(n+1)/f(n)={(n+1)/n}{n/(n/2)}=2+2/n＞2
だから、f(n+1)≧2f(n)
f(6)=140＞2^7=128だから、帰納的に、
n≧6⇒f(n)＞2^(n+1)となる。
0492１３２人目の素数さん
2009/07/13(月) 02:22:32〔Q2〕
6以上の整数kをとる。
f(k)を素因数分解する
素数pを任意に取る
f(k)のpの指数は
m=[k/2]とおくと
Σ_[i=1,∞] {[(k+1)/(p^i)]-[(k-m)/(p^i)]-[m/(p^i)]}
k-m,mをp^iで割ったときの商をそれぞれq,q'、余りをそれぞれr,r'とする。
k-m=(p^i)q+r，m=(p^i)q'+r' 0＜r,r'＜p^i -1
[(k+1)/(p^i)]-[(k-m)/(p^i)]-[m/(p^i)]=[(r+r'+1)/(p^i)]
1≦r+r'+1≦2p^i -1より、[(r+r'+1)/(p^i)]=0,1となる。
したがって、[(k+1)/(p^i)]-[(k-m)/(p^i)]-[m/(p^i)]=0,1がいえた。
p^i＞k+1となるとき
[(k+1)/(p^i)]=[(k-m)/(p^i)]=[m/(p^i)]=0となるから
Σ_[i=1,∞] {[(k+1)/(p^i)]-[(k-m)/(p^i)]-[m/(p^i)]}
≦Σ_[p^i≦k+1]1=[{log(k+1)}/(logp)]
lcm(1,2,…,k+1)のpの指数をvとおくと
p^v≦k+1＜p^(v+1)だから、v=[{log(k+1)}/(logp)]となる
よって、f(k)はlcm(1,2,…,k+1)の約数である。
[Q1]よりf(k)＞2^(k+1)が成り立つから
lcm(1,2,…,k+1)≧f(k)＞2^(k+1)がいえる。
したがって、7以上の整数nに対して
lcm(1,2,…,n)＞2^nが成立する。
0493１３２人目の素数さん
2009/07/15(水) 05:39:530494１３２人目の素数さん
2009/07/24(金) 17:10:23キョーミなし
0495１３２人目の素数さん
2009/07/24(金) 20:53:29(1) P4の各元はD4の４頂点を入れ替えるので、それによって、D4から4次対称群S4への写像fが得られますが、それが一対一の準同型であることを説明しなさい。
(2) 1で得られたfによって、 D4はS4の部分群であるとみなせますが、その指数[S4:D4]を求めよ。さらに、これが正規部分群であるか論じてください。（どちらであるか明確にして、それを論証すること）。
0496１３２人目の素数さん
2009/07/25(土) 18:39:11２^3＋２^3＝２^4
0497１３２人目の素数さん
2009/07/31(金) 20:45:48次の補題から一発で出るはず。
[補題]
任意に有限巡回群Gを与える。
Gの生成元を1つ取り、それをgとする。
このとき、g^kが生成元⇔gcd(k,|G|)=1
(簡単なので証明略)
U=(Z/mZ)*が巡回群であると仮定する。
Uの生成元を1つ取り、それをgとする。
このとき、どのUの元もg^k(1≦k≦|U|)の形で表現できる。
よって補題より、Uの生成元の個数はφ(|U|)といえる。
|U|=φ(m)であるから、証明終わり。
0498１３２人目の素数さん
2009/08/12(水) 06:30:00Somos-4 sequence: a(0)=a(1)=a(2)=a(3)=1; for n >= 4, a(n)=(a(n-1)a(n-3)+a(n-2)^2)/a(n-4).
(Formerly M0857)
1, 1, 1, 1, 2, 3, 7, 23, 59, 314, 1529, 8209, 83313, 620297, 7869898, 126742987, 1687054711, 47301104551, 1123424582771, 32606721084786, 1662315215971057, 61958046554226593, 4257998884448335457, 334806306946199122193
0499名無しさん＠そうだ選挙に行こう
2009/08/30(日) 10:32:381巻の§1.1補題1.5の
写像fがなんで楕円曲線上に写すのか
わかりません('A`)
0500名無しさん＠そうだ選挙に行こう
2009/08/30(日) 12:28:26東工入試乙
0501名無しさん＠そうだ選挙に行こう
2009/08/30(日) 16:00:00ｂ＝－ｃ。
ａ＾３＋ｂ＾３＝３ｃ＾２＋３ｃ＋１。
ｃ＝０，１，２，３，４，６，７，．．．，１０４，．．．１４５５，．．．。
0502１３２人目の素数さん
2009/09/02(水) 22:38:120503１３２人目の素数さん
2009/09/02(水) 23:04:32＞√N以下の約数
１
ってちゃうの？
0504１３２人目の素数さん
2009/10/02(金) 19:46:50しかし、､､問題が浮かばない。
0505１３２人目の素数さん
2009/10/07(水) 17:26:250506１３２人目の素数さん
2009/10/09(金) 08:35:54ただし、奇単位分数とは分母が奇数である単位分数とする。（数セミより）
0507１３２人目の素数さん
2009/10/09(金) 10:05:29分母が1ではない奇単位分数は、相異なる３つの奇単位分数の和で表せることを示せ。
ただし、奇単位分数とは分母が奇数である単位分数とする。（数セミより）
0508１３２人目の素数さん
2009/10/13(火) 00:22:051/(4n-1) - 1/(4n+1) = 1/{(2n+1)(4n-1)} +1/{(2n+1)(4n-1)(4n+1)}、
1/(4n+1) - 1/(4n+3) = 1/{(2n+1)(4n+3)} +1/{(2n+1)(4n+1)(4n+3)}
0509１３２人目の素数さん
2009/10/13(火) 20:20:200510１３２人目の素数さん
2009/10/14(水) 22:25:41a[1] = 2,
a[k+1] = a[k]{a[k] -1} + 1,
このとき
1/a[k] = 1/{a[k] -1} - 1/{a[k+1] -1}
1/a[1] + 1/a[2] + ･･････ + 1/a[n] = 1 - 1/{a[n+1] - 1},
〔問題〕
x[1], x[2], x[3],････, x[n] は自然数，1/x[1] + 1/x[2] + ････ + 1/x[n] < 1 のとき
1/x[1] + 1/x[2] + ････ + 1/x[n] ≦ 1 - 1/{a[n+1] - 1},
は成り立つか？
http://www.casphy.com/bbs/test/read.cgi/highmath/1089292331/894
高校数学
0511１３２人目の素数さん
2009/10/14(水) 22:39:201^3 + 1^3 = 2^1,
(2^k)^3 + (2^k)^3 = 2^(3k+1),
1^3 + 2^3 = 3^2,
(3^k)^3 + (2･3^k)^3 = 3^(3k+2),
0512１３２人目の素数さん
2009/10/16(金) 23:17:520513１３２人目の素数さん
2009/10/16(金) 23:48:530514１３２人目の素数さん
2009/10/17(土) 06:41:393^100 = 9^50
= (10-1)^50
≡ Ｃ[50,2] 10^2 - Ｃ[50,1] 10^1 + Ｃ[50,0] 10^0 (←2項展開)
= 1225×100 - 50×10 + 1
≡ 5×100 - 50×10 + 1
= 1, (mod 1000)
だから、下二桁を考えれば十分。
3^4798 ≡ {3^(-1)}^2 = (-333)^2 ≡ -111, (mod 1000)
3^4567 ≡ 3^67 ≡ 587 (mod 1000)
0515１３２人目の素数さん
2009/10/17(土) 17:25:14(2)xyz=xy+yz+zxを満たす整数x,y,zの組を全て求めよ．
(3)x+y+z=xy+yz+zxを満たす整数x,y,zの組を全て求めよ．
0516１３２人目の素数さん
2009/10/17(土) 20:38:34nは任意の整数とする。
(1) x+y+z = xyz,
(-n, 0, n) → 0,
(1, 2, 3) → 6,
(-3, -2, -1) → -6,
(2) xyz = xy+yz+zx,
(-n, 1, n) → -n^2,
(0, 0, n) → 0,
(3, 3, 3) → 27,
(2, 4, 4) → 32,
(2, 3, 6) → 36,
(3) x+y+z = xy+yz+zx,
(-n^2, -n, n) → -n^2,
偶数 (0, 2, 2) → 4,
(-2, 4, 10) → 12,
(-4, 8, 12) → 16,
(-4, 6, 26) → 28,
奇数 (-3, 5, 17) → 19,
(-11, -7, 5) → -13,
(1, 1, 1) → 3,
(-1, 3, 5) → 7,
(-7, 11, 27) → 31,
(-9, 17, 23) → 31,
0517１３２人目の素数さん
2009/10/17(土) 23:37:32n=p[1]^(α[1])p[2]^(α[2])…p[k]^(α[k])
と素因数分解出来るとき
Φ(n)=(2^β)f(fは2の素因数を持たない最大の正の整数)
と表せるがβ≧k-1
であることを証明せよ
0518１３２人目の素数さん
2009/10/18(日) 15:11:070519１３２人目の素数さん
2009/10/19(月) 23:58:44Problem 2.
n は自然数とする。
Π_{0<d|n} (d/√n) = 1,
よって xの多項式
1 - Π_{0<d|n} (d-x)/(√n)
は、x=0 のときは =0,
∴ 因数定理により
n{1 - Π_{0<d|n} (d-x)/(√n)} = x･P(x),
と書けて、
0<d|n ⇒ P(d) = n/d,
これが整数係数になるかどうか････が問題････
0520１３２人目の素数さん
2009/10/20(火) 00:14:42Problem 5.
与式の第1項は、nと共に1つづつ増加する。
第2項または第3項が増加した所で与式に「飛び」が発生する。
それは具体的には
・n=m^2 のとき m^2 +m + [ m^(2/3) ] -1,
・n=m^3 のとき m^3 + [ m√m ] +m -1,
・n=m^6 のとき m^6 +m^3 +m^2 -2, (m^6 +m^3 +m^2 -1 は既出)
0521１３２人目の素数さん
2009/10/20(火) 10:00:00ｘ＋ｙ＋ｚ＝ｘｙ＋ｘｚ＋ｙｚ。
（ｘ＋ｚ－１）（ｙ＋ｚ－１）＝ｚ＾２－ｚ＋１。
ｗはｚ＾２－ｚ＋１の約数。
ｘ＝ｗ－ｚ＋１。
ｙ＝（ｚ＾２－ｚ＋１）／ｗ－ｚ＋１。
0522１３２人目の素数さん
2009/11/09(月) 19:06:00*) r が n の約数で r+1 が素数なら r+1 も n の約数
**) についてはどうか？
*) r が n の約数で r-1 が素数なら r-1 も n の約数
0523１３２人目の素数さん
2009/11/30(月) 10:24:270524１３２人目の素数さん
2009/12/06(日) 16:58:28(x -(tan(π/p))^2)*(x -(tan(2π/p))^2)*(x -(tan(3π/p))^2)* ........*(x -(tan(π/p))^2)
は、 x の整係数多項式であり、最高次の係数以外の係数は p の倍数であり、
定数項は p^2 で割り切れない
0525１３２人目の素数さん
2009/12/15(火) 23:27:550526１３２人目の素数さん
2009/12/17(木) 00:17:49そんな問題も解けない馬鹿ですか？
0527１３２人目の素数さん
2010/01/17(日) 10:20:11de Moivre の公式から、
sin(pθ) = 納k=0,n] (-1)^k C[p,2k+1] (cosθ)^(p-1-2k) (sinθ)^(2k+1)
= (cosθ)^p 納k=0,n-1] (-1)^k C[p,2k+1] (tanθ)^(2k+1),
cos(pθ) = 納L=0,n] (-1)^L C[p,2L] (cosθ)^(p-2L) (sinθ)^(2L)
= (cosθ)^p 納L=0,n] (-1)^L C[p,2L] (tanθ)^(2L),
よって
tan(pθ) = sin(pθ) / cos(pθ)
= (tanθ) {納k=0,n] (-1)^(n-k) C[p,2k+1] ((tanθ)^2)^k} / {納L=0,n] (-1)^(n-L) [p,2L] ((tanθ)^2)^L}
= (tanθ) F((tanθ)^2) / G((tanθ)^2),
ところで
θ = ±kπ/p, (k=1,2,････,n)
ならば、
tan(pθ)=0, tanθ≠0,
∴ F((tanθ)^2) = 納k=0,n-1] (-1)^(n-k) C[p,2k+1] ((tanθ)^2)^k = 0,
ここに
F(x) = 納k=0,n] (-1)^(n-k) C[p,2k+1] x^k,
はn次の多項式で、最高次の係数(1)以外の係数はpの倍数であり、定数項(k=0)は (-1)^n C[p,1] = (-1)^n･p,
>>526
すいません。
0528１３２人目の素数さん
2010/01/18(月) 03:04:43θ = ±kπ/p, (k=1,2,････,n)
ならば、
sin(pθ)=0, sinθ≠0, cosθ≠0,
∴ F((tanθ)^2) = 0,
でもいいな。
0529１３２人目の素数さん
2010/02/02(火) 16:49:58正解
ついでに言うとp が素数のときQ上既約
0530１３２人目の素数さん
2010/02/13(土) 11:11:25a,b,cが互いに素であり、a^2=b^2+c^2を満たすとき
b-cが素数になるっぽいけど、これって証明されてる？
0531530
2010/02/13(土) 11:13:000532１３２人目の素数さん
2010/02/13(土) 13:40:300533530
2010/02/13(土) 14:29:130534１３２人目の素数さん
2010/03/10(水) 13:39:05(a_i, b_i), i = 1, 2, 3, ...... とすると、
Arctan(b_i/a_i), i = 1, 2, 3, ..... は Q 上一次独立となる事を示せ。
0535１３２人目の素数さん
2010/03/12(金) 05:08:45a_i ± b_i * √(-1) = √(p_i) * e^(±t_i * √(-1)) 。
Σ[i=1～n] c_i * t_i = 0, (nは自然数、c_i はすべて有理数で、少なくとも1つは0でない) と仮定する。
必要なら t_i の順番を入れ替えて正整数を掛けることで、どの c_i も0でない整数としてよい。
このとき
Π[i=1～n] (a_i + b_i * √(-1))^c_i = Π[i=1～n]√(p_i)^c_i、
Π[i=1～n] (a_i + b_i * √(-1))^(2 * c_i) = Π[i=1～n] (p_i)^c_i、
Π[i=1～n] (a_i + b_i * √(-1))^c_i = Π[i=1～n] (a_i - b_i * √(-1))^c_i
だが、Q(√(-1)) の整数環 Z(√(-1)) は一意分解整域だから、これは矛盾である。
0536１３２人目の素数さん
2010/03/12(金) 17:50:11正解
では
Arctan(b_i/a_i), i = 1, 2, 3, ..... に 1 を追加してもは Q 上一次独立か？
これは私も未だ完全に解いてないのだが？
0537１３２人目の素数さん
2010/03/12(金) 18:04:07sage で書き込んだのに？
0538１３２人目の素数さん
2010/03/12(金) 18:07:30おまえ、数学系質問掲示板について語るスレ２ にも書き込んだろｗｗｗ
0539１３２人目の素数さん
2010/03/12(金) 22:14:28ID調べにカネの使いすぎ＞Ｄ
0540535
2010/03/12(金) 23:53:24c_0 + Σ[i=1～n] c_i * t_i = 0
(nは自然数、c_i はどれも0でない整数) と仮定する。>>535と同様
Π[i=1～n] (a_i + b_i * √(-1))^c_i = e^(-c_0 * √(-1)) * Π[i=1～n]√(p_i)^c_i
Π[i=1～n] √(p_i)^(-c_i) * (a_i + b_i * √(-1))^c_i = e^(-c_0 * √(-1))
左辺は代数的数だが、右辺はLindemannの定理より超越数なので矛盾である。
0541１３２人目の素数さん
2010/03/13(土) 00:52:28すばらしい。
0542１３２人目の素数さん
2010/03/13(土) 20:50:45これはなんだ
0543１３２人目の素数さん
2010/03/14(日) 15:56:55（今となっては容易問題）
0544１３２人目の素数さん
2010/03/15(月) 01:12:44tan(a-b) = {tan(a)-tan(b)} / {1+tan(a)*tan(b)} = (7-1)/(1+7*1) = 3/4
0545１３２人目の素数さん
2010/03/21(日) 16:33:28c[1],c[2],....が全て合成数になるような素数c[0]を2つ求めよ
って問題が東工大AOで出たが
c[0]=2ならc[n]は1+2^nで割り切れる、c[0]=7ならc[n]は7で割り切れるから
2と7が答えになるけど
それ以外にどんな素数が答えになるのか
0546１３２人目の素数さん
2010/03/23(火) 02:36:43a^3+3ab+b^3=1
0547１３２人目の素数さん
2010/03/23(火) 18:49:07a^{3n}+3a^nb^n+b^{3n}=1
0548１３２人目の素数さん
2010/03/24(水) 03:16:43k=c[0]-1とおくと c[n]=k*2^(3n) +1 だから、
kがSierpinski数であれば c[n] はすべて合成数だけど、
現在知られているSierpinski数の求め方ではk+1が合成数となってしまうので使えないね。
（Sierpinski数でなくても同様の求め方により、例えば k≡83 (mod 195)であれば
k*8^n +1は常に合成数になるが、k+1は3の倍数になってしまう)
0549１３２人目の素数さん
2010/03/25(木) 00:23:03Sierpinski数なんてのがあったのか
東工大の問題作った人の脳の隅にもSierpinski数があったのかな
0550１３２人目の素数さん
2010/03/26(金) 03:12:58a^3+3ab+b^3-1=(a+b-1){(a-b)^2+(a+1)^2+(b+1)^2}/2 だから、
a^3+3ab+b^3=1 ⇔ a+b-1=0 または a=b=-1
(a, b) = (-1, -1), (t, 1-t) (t:整数)
>>547 n は 2 以上の正整数と決め打っておく。
上に述べたことから、a^n+b^n=1 または a^n=b^n=-1
n が偶数のとき、a^n, b^nはともに非負整数であるから (a, b) = (0, ±1), (±1, 0)。
n が 3 以上の奇数のとき、a^n+b^n=1 とすると a, b がともに 0 以下になることはないので、
たとえば a>0 であるとすると b^n = 1-a^n ≦0、よって 0≧b＞-a で a+b は 1 の約数だから a+b=1。
c=-b とおくと 0≦c, a=1+c, a^n-c^n=1 だから、
0 = (1+c)^n - c^n - 1 = C(n-1,1)*c+C(n-1,2)*c^2+...+C(n-1,n-1)c^(n-1)。
右辺の各項は非負であるから、c = 0 でなければならない。
以上より、(a, b) = (-1, -1), (1, 0), (0, 1)。
0551１３２人目の素数さん
2010/04/11(日) 00:11:31〔出題345〕
方程式 3^x + 4^y = 5^z の自然数解をすべて求めよ。（だるまにおん）
http://www.casphy.com/bbs/test/read.cgi/highmath/1204794089/345
casphy - 高校数学 - 整数問題
0552１３２人目の素数さん
2010/04/11(日) 00:23:35〔出題319〕
5^x + 3^y = 2^z を満たす整数(x,y,z)の組を全て求めよ。(arccoversinh)
http://www.casphy.com/bbs/test/read.cgi/highmath/1204794089/319
casphy - 高校数学 - 整数問題
0553１３２人目の素数さん
2010/04/12(月) 00:38:48同スレ内で既出。きちんと読め。カス野郎。
453, 456 を参照しる。
0554１３２人目の素数さん
2010/04/13(火) 15:28:23どうして そういうことを言うのかなあ…
0555１３２人目の素数さん
2010/04/18(日) 10:17:045u+3v=1
5-6=-1
u2^z=(-1+3m)2^z=5^x-1
v2^z=(2-5m)2^z=3^y-1
2^z(5u+3v)=2^z
x=log((-1+3m)2^z)/log5+1
y=log((2-5m)2^z)/log3+1
(-1+3m)2^z=5^s z=0,m=(5^s+1)/3,x=s+1
m=(2-3^k)/5=(5^s+1)/3
1=3^k+1+5^s+1
k=log(1-5^s+1)/log3-1
y=log(1-5^s+1)/log3
0556１３２人目の素数さん
2010/04/19(月) 22:01:35「y^2 = x^3 - 4 の有理点 と 整点」[2006.07.01]
"Rational points and integral points on elliptic curve: y^2 = x^3 -4"
整点: (2,±2), (5,±11),
有理点: (106/(3^2), ±1090/(3^3)), (785/(22^2), ±5497/(22^3)), (151322/(61^2), ±58862702/(61^3)), ･･････
判別式 Δ = -6912 = -2^8･3^3,
j = 0,
導手 N = 432,
[参考書]
Nigel P. Smart, "The algorithmic resolution of Diophantine equations", LMSST 41, Cambridge University Press, (1998),
243pp
￡16.95
ISBN 0-521-64633-2.
http://www.kaynet.or.jp/~kay/misc/ix3m4.html
0557１３２人目の素数さん
2010/04/19(月) 22:21:10〔補題〕
n≧2, (5^n) | (7^k -1) ならば、4･5^(n-2) | k,
(略証)
7^4 - 1 = (7^2 - 1)(7^2 + 1) = 96･5^2,
k≡0 (mod 4) のとき 7^k - 1 ≡ 7^0 - 1 = 0 (mod 96･5^2)
k≡1 (mod 4) のとき 7^k - 1 ≡ 7^1 - 1 = 6 (mod 96･5^2)
k≡2 (mod 4) のとき 7^k - 1 ≡ 7^2 - 1 = 48 (mod 96･5^2)
k≡3 (mod 4) のとき 7^k - 1 ≡ 7^3 - 1 = 342 (mod 96･5^2)
∴ kは4の倍数に限る。
∴ 7^k - 1 = (7^4)^(k/4) - 1 = (1 + 96･5^2)^(k/4) - 1 = 24k･5^2 + (k(k-4)/2)･(24^2)･5^4 + ････
ところで題意より、7^k -1 中の5のベキ指数は n≧2,
7^k - 1 ≡ 0 (mod 96･5^n),
∴ 24k･5^2 ≡ 0 (mod 96･5^n)
k ≡ 0 (mod 4･5^(n-2))
4･5^(n-2) | k,
(終)
0558１３２人目の素数さん
2010/04/19(月) 23:10:07x^3 + y^3 + z^3 = 52, を満たす整数(x,y,z) をすべて求む。
例 (x,y,z) = (60702901317, 23961292454, -61922712865)
x+y = 84664193771 = 521*162503251,
z^3 ≡ 52 (mod 521) より z≡-290 (mod 521)
0559１３２人目の素数さん
2010/04/20(火) 22:04:27Mordell曲線
y^2 = x^3 -4 ････････ (E)
上に有理点 P1: (x1,y1) があるとき、 (y1≠0)
P1 でのEの接線の傾きは M = (3x1^2)/(2y1), 接線は
y = y1 + M(x-x1) ･･･････ (L)
(E) と (L) の交点を考える。
{y1 + M(x-x1)}^2 = x^3 - 4,
0 = x^3 -(M^2)x^2 + ････
∴ この３次方程式は x1 (重根) のほかに M^2 - 2x1 を解にもつ。
x2 = M^2 - 2x1,
y2 = M^3 -3M･x1 + y1,
P2: (x2,y2) もまたE上の有理点である。
このようにして、E上に無限に多くの有理点があることを示せる。
例 (2, ±2) → (5, ±11) → (785/(22^2), 干5497/(22^3)) → ･･････
0560１３２人目の素数さん
2010/04/27(火) 01:50:55pを、4を法として1に合同であるような素数とする。
p=4n+1とすると、nはpを法として4乗剰余であること、つまり
a^4≡n (mod p)を満たす整数aが存在することを証明せよ。
0561１３２人目の素数さん
2010/04/27(火) 23:40:04mod 24 で考える。
x=0 ⇒ 2^x = 1,
x=1 ⇒ 2^x = 2,
x=2 ⇒ 2^x = 4,
x奇数、x≧3 ⇒ 2^x ≡ 8 (mod 24)
x偶数、x≧4 ⇒ 2^x ≡ 16 (mod 24)
y=0 ⇒ 3^y = 1,
y奇数 ⇒ 3^y ≡ 3 (mod 24)
y偶数 ⇒ 3^y ≡ 9 (mod 24)
z奇数 ⇒ 5^z ≡ 5 (mod 24)
z偶数 ⇒ 5^z ≡ 1 (mod 24)
0562561
2010/04/27(火) 23:42:22>>561 より、題意を満たすのは 次の3つの場合。
(a) x=1、y奇数、z奇数
(b) x=2、y=0、z奇数
(c) x、y、z のすべて偶数（x≧4、y≧2）、
(a) は (x,y,z) = (1,1,1) >>453
(b) は (x,y,z) = (2,0,1)
(c) y=2y' z=2z' とおく。
2^x = 5^z - 3^y = (5^z' + 3^y')(5^z' - 3^y'),
5^z' + 3^y' = 2^(x-w),
5^z' - 3^y' = 2^w,
辺々引いて 2で割る。
3^y' = 2^(x-w-1) - 2^(w-1),
∴ w = 1,
一方、3^y' ≡ 1, 3 (mod 8)
∴ 2^(x-2) ≡ 2, 4 (mod 8)
xは偶数ゆえ x = 4,
∴ 3^y' = 2^(x-2) - 1 = 3,
∴ y'=1, y=2,
∴ z'=1, z=2,
∴ (x,y,z) = (4,2,2)
〔系〕 >>523 も同様。
ぬるぽ
0563１３２人目の素数さん
2010/04/30(金) 01:43:04aをpで割り切れない整数とするとき、(a/p)をルジャンドルの記号とする。
pが4を法として1に合同であるような素数だから
1=(-1/p)=(-4/p)だからx^2≡-4 (mod p)が解sを持つ
{ {s/2}+1}^2≡s^2/4 +s+1≡s，このとき、{s/2}+1=tとおくとt^4≡-4 (mod p)
明らかにtはpと互いに素である
1≡-4n≡t^4*n (mod p)よってn≡(1/t)^4 (mod p)となるから
a^4≡n (mod p)を満たす整数aが存在することがいえた。
>>562
ガッ
0564１３２人目の素数さん
2010/05/04(火) 02:30:25(2^n + 1)/n^2 が整数となるような自然数ｎを全て決定せよ。
http://science6.2ch.net/test/read.cgi/math/1254690000/163-166
面白い問題スレ１６
参考書
吉永良正「数学・まだこんなことがわからない－素数の謎から森理論まで－」(講談社ブルーバックス) (1990/11)
ISBN: 406132845X, ISBN-13: 978-4061328457
秋山 仁＋ﾋﾟｰﾀｰ･ﾌﾗﾝｸﾙ 共著「完全攻略 数学オリンピック」日本評論社 (1991/11/20)
ISBN: 4-535-78185-0 p.68～70 (ﾐｽﾌﾟﾘﾝﾄ有り)
0565１３２人目の素数さん
2010/05/04(火) 05:33:35>>563 (1+√(-1))^4=-4ということですね。
簡単な関連問題を。
[問]
pは奇素数、4n=p-(-1)^{(p-1)/2}とする。
n^n≡1(mod p)となる必要十分条件は
p≡1(mod 4)またはp=3であることを証明せよ。
0566１３２人目の素数さん
2010/05/14(金) 13:48:490567１３２人目の素数さん
2010/05/17(月) 00:44:46p≡1 (mod 4)のとき
p=4n+1
>>563より、n≡a^4 (mod p) をみたす整数aが存在する。
このときaとpは互いに素だから、
n^n≡a^(4n)≡a^(p-1)≡1 (mod p)となることがいえる。
p≡3 (mod 4)のとき
p=4n-1だから1≡4n (mod p)となる
p≡7 (mod 8)のとき
b^2≡2 (mod p)をみたす整数bが存在するから4≡2^2≡b^4 (mod p)
p≡3 (mod 8)のとき
b^2≡-2 (mod p)をみたす整数bが存在するから4≡(-2)^2≡b^4 (mod p)
1≡b^4*n (mod p)とかける
bとpは互いに素だからn≡{1/b}^4 (mod p)
したがってn≡c^4 (mod p)をみたす整数cが存在する。
cとpは互いに素だから、n^n≡c^(4n)≡c^(p+1)≡c^2 (mod p)
だからn^n≡1 (mod p)となるのはc^2≡1 (mod p)よりn≡1 (mod p)がいえる。
明らかに1≦n＜4n-1=pだから、n≡1 (mod p)となるのはn=1の場合に限られる。
0568１３２人目の素数さん
2010/05/17(月) 22:35:190569１３２人目の素数さん
2010/05/18(火) 06:55:05問題あってる？桁数大杉じゃね？
0570１３２人目の素数さん
2010/05/19(水) 08:05:494^545≡2 mod 73
545^4≡71 mod 73
よってNは73で割り切れる
0571１３２人目の素数さん
2010/05/20(木) 08:28:010572１３２人目の素数さん
2010/06/01(火) 19:03:02カレン数の中に素数が無限に存在するか？
Ｃ_n = n･2^n + 1 という数式で表される数をカレン数（Cullen number) という。
ほとんどのカレン数は合成数である一方、カレン素数も無数にあると予想されている｡
Ｃ_n が素数となる n は以下の16個が知られている。
n = 1, 141, 4713, 5795, 6611, 18496, 32292, 32469, 59656, 90825, 262419, 361275, 481899, 1354828, 6328548, 6679881, ……
Ｃ_n が素数となる n が無限個あるか、という問題が歴史的な問題である。
http://ja.wikipedia.org/wiki/カレン数
0573１３２人目の素数さん
2010/06/02(水) 22:15:10k･2^n + 1 （k,nは自然数）の形の素数は無限に存在するか？
フェルマー数 F_n = 2^(2^n) + 1 の因数は k･2^(n+2) + 1 (k≧3) の形をしている(Lucas)。
フェルマー数はどの二つも互いに素である。
http://メモ.jp/dictionary/D1007/364.html
0574１３２人目の素数さん
2010/06/04(金) 03:40:18(-1)=g^{(p-1)/2}であり、2^(-1)=g^k を満たす整数kが取れるので、
問題は (p-1)/4 と kのパリティが等しいことを示すのと等価。
kが偶数 ⇔ -2は平方数 ⇔ (p-1)/4は偶数。 これより示せた。
0575１３２人目の素数さん
2010/06/04(金) 06:54:07「可逆元をちょうど11個持つような環は存在するか」
0576１３２人目の素数さん
2010/06/05(土) 03:48:48〔補題〕p | F_n のとき、p = k･2^(n+1) + 1 (kは自然数)の形
(略証)
2^(2^n) = F_n - 1 ≡ -1 (mod p)
2^{2^(n+1)} = {2^(2^n)}^2 = (F_n - 1)^2 ≡ (p-1)^2 ≡ 1 (mod p)
2^r ≡ 1 (mod p)
を満たす最小の自然数をrとおく。 (2の位数)
2^m ≡ 1 ⇔ r | m,
r | 2^(n+1) より r=2^k, (k≦n+1)
r | 2^n でないから k=n+1, r=2^(n+1),
一方、フェルマーの小定理より 2^(p-1) ≡ 1 (mod p)
∴ r | p-1,
∴ p = k･r + 1, (終)
〔補題〕
フェルマー数 F_m = 2^(2^m) + 1, はすべて互いに素。
(略証)
F_m･(F_m - 2) = F_{m+1} - 2 より
F_(n-1) | F_n - 2 | F_{n+1} - 2 ｜ …… | F_m - 2 | ……
また、定義より F_m は奇数である。 (終)
〔系〕 nが自然数のとき、等差数列 {k･(2^n) + 1} の中に素数が無限にある。
http://www.casphy.com/bbs/test/read.cgi/highmath/1204794089/383-387
casphy - 高校数学 - 整数問題
http://messages.yahoo.co.jp/bbs?.mm=GN&action=m&board=1835554&tid=a1vagbfta4acl58ba4kb8badfa49a4ka1a3a1wbf7bftbc0a1aaa1aa&sid=1835554&mid=1&first=1
Yahoo!掲示板 - 科学板 - 数学カテ - 「素数が無限に存在する！」新数式 トピ
0577１３２人目の素数さん
2010/06/05(土) 04:34:28任意の奇素数 p について、p-1 は偶数、よって p-1 = k*2^n （k はある奇数、n はある正整数）と書ける。
従って、その問題は k または n に何らかの条件をつけないと詰まらないものだろう。
たとえば n を1つ固定し k をパラメータにとるとすれば、
引き合いに出されているLucasの定理より、F_m (m≧n-2)の素因数が条件を満たし、
これは無限に存在する。
牛刀的だが、Dirichletの算術級数定理を用いてもいい。
それでは逆に、正整数 k を1つ固定して考えるとき、k*2^n + 1 が素数であるような
正整数 n は無限に存在するのだろうか。
kが1または2のべきの場合はFermat素数を求めることになるが、これは周知の通り未解決問題である。
また、適当にkを選べば k*2^n + 1 がいかなる正整数 n についても
素数とならないことがSierpinskiによって示されている。（本スレ >>77, >>78 を参照）
0578１３２人目の素数さん
2010/06/05(土) 04:38:30lucasの定理とか少し大袈裟な気が。
そんなもん、(2/p)の値をみれば明らか。
0579１３２人目の素数さん
2010/06/06(日) 01:18:11どこから(2/p)が出てくるんだ…？
具体的に、たとえば1024k+1の形の素数が無限に存在することを示すのに
「(2/p)の値をみれば明らか」って言われても意味不明。
0580１３２人目の素数さん
2010/06/06(日) 08:36:05任意に整数n≧2を与えるとき、
F_nの任意の素因数pに対して、
v_2(p-1)≧n+2 が成立する。
お宅はこれを大袈裟にlucasの定理とかいっているわけよね。
この命題が正しいことは(2/p)をみれば明らかといっているわけ。
まあ、意味不明と言われたからには証明の概観を書くとするか。
まず、お宅が既に書いたように、v_2(p-1)≧n+1 はいえたわけよね。
n≧2だから、とくに、(2/p)= +1 がいえるわけ。
これから、2^((p-1)/2) = +1 ・・・(*) がいえるね。
で、お宅が既に示したように、ord_p(2)= 2^(n+1) だから、
(*)より、2^(n+1)|(p-1)/2 がいえるわけ。はい終わり。
こんな底辺レベルな書き込みしてしまってすみません。
スレ汚しすみませんでした！
0581１３２人目の素数さん
2010/06/06(日) 13:18:08フェルマーの小定理より(>>60)とか大袈裟だってか。
0582１３２人目の素数さん
2010/06/06(日) 13:28:01lucasの定理って>>577が言い出したんじゃなくて>>573に書いてあるじゃん。
(２ちゃんで「お宅」なんて使う奴はじめて見た)
0583１３２人目の素数さん
2010/06/07(月) 00:18:59（ｍ＋ｌ）Ｃｌ＊（ｍ＋ｌ＋１）Ｃｌ＊・・・＊（ｍ＋ｌ＋ｎ－１）Ｃｌは
ｌＣｌ＊（ｌ＋１）Ｃｌ＊・・・＊（ｌ＋ｎ－１）Ｃｌで割り切れる」
0584１３２人目の素数さん
2010/06/09(水) 16:21:01m=1の時を示して、それを使ってmに関する数学的帰納法
m=1の場合は以下の式から成り立つ
Π[k=0,n-1] C[k+l+1,l] = C[n+l,l] Π[k=0,n-1] C[k+l,l]
0585１３２人目の素数さん
2010/06/10(木) 00:37:47mに関する帰納法ではうまく運ばないはず・・・。
mでの成立を仮定しても、それがm+1で活かせない。C［m+l+n,l］/C［m+l,l］が
整数であることを言わないといけないが、それができない。
根本的に違う解法の気がするが、難しい・・・。
0586１３２人目の素数さん
2010/06/10(木) 02:57:34ルジャンドルの等式を用いて、簡単な解析をすればでてくる。
ルーチンワーク。それ以外の方法に興味があるかもしれない。
0587１３２人目の素数さん
2010/06/10(木) 12:07:42なんだそれ？そもそもぐぐっても
ルジャンドルの多項式しかヒットしないけど・・・。
ルジャンドルの多項式の漸化式を使うのか？
0588１３２人目の素数さん
2010/06/10(木) 16:17:05v_p(n!) = Σ[n/p] が成立するというものでは。
ここに Legendre's Identity と紹介してあるね。
http://www.jstor.org/pss/2316661
たしかに上の等式は問題を床関数の解析におとしこむね。
でも、床関数の解析がいつも簡単だとはおもわないけどね^^;
すくなくとも、この問題だと、ΣΣを評価することになると。
0589１３２人目の素数さん
2010/06/11(金) 00:52:33そこまでは分かるが・・・
俺としては、583の命題の持つ美しい関係に感動する位だ。
任意の自然数という条件もすばらしい・・・。
0590１３２人目の素数さん
2010/06/13(日) 15:16:150591１３２人目の素数さん
2010/06/13(日) 17:49:54可逆元をちょうど11個持つような環は存在しない。
(証明)
Rは|R×|=11である環と仮定する。Rの乗法単位元をeとおく。位数が素数なので、R×は巡回群。R×=<a>とする。
(-e)^2=eだから、-e∈R×で、その位数は1または2だが、11の約数だから位数は1、
つまり-e=eでなければならない。よって2e=0だからRの標数は2。
すると(e+a+a^2)(a+a^2+a^4+a^5+a^7+a^8+a^10)=eだからe+a+a^2∈R×、
よってある整数n (0≦n≦10)があって、e+a+a^2=a^nと書ける。
F_2を標数2の素体とし、fをf(1)=e、f(X)=aで定義される、F_2[X]からRへの環準同型写像とする。
p(X)=1+X+X^2-X^n∈F_2[X]、q(X)=X^11-1∈F_2[X]とおくとf(p)=f(q)=0だから(p,q)⊂Ker(f)。
F_2[X]はPIDだから、イデアル(p,q)は単項で(s)と表されるが、
一方、p(1)=0より(X-1)|p(X)で、また、r(X)=X^10 +X^9 +...+X+1 とおくとq(X)=(X-1)r(X)であり、
r(X)はF_2[X]において既約(※)で、さらにr≠pだから、結局s(X)=X-1。
ところが(s)⊂Ker(f)だから0=f(s)=a-e、つまりa=eとなり、aのとり方に反する。(証明終)
(※)
r(X)=X^10+X^9+...+X+1がF_2[X]で既約であることは、rがF_2[X]の5次以下の既約元で
割り切れないことをみればよい。F_2[X]の5次以下の既約元は次の14個であることはすぐにわかる。
1次：X, X+1、2次：X^2+X+1、3次：X^3+X+1, X^3+X^2+1、4次：X^4+X+1, X^4+X^3+1, X^4+X^3+X^2+X+1、
5次：X^5+X^2+1, X^5+X^3+1, X^5+X^4+X^3+X^2+1, X^5+X^4+X^3+X+1, X^5+X^4+X^2+X+1, X^5+X^3+X^2+X+1
0592１３２人目の素数さん
2010/06/13(日) 19:40:18すばらしいです！
そんな初等的な方法があるものなんですね。
私は傍らから考えてはいましたが...。
>>r≠pだから
ここは q≠p だから の間違いですよね。
または deg(p)＜11 だからってことでしょうね。
■ このスレッドは過去ログ倉庫に格納されています