トップページ⇒math
62コメント13KB

ついに２で割り切れる素数を発見

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2006/10/14(土) 19:16:29
2です
0002１３２人目の素数さん2006/10/14(土) 19:18:20
0003１３２人目の素数さん2006/10/14(土) 19:35:40
>>1
king死ね
0004１３２人目の素数さん2006/10/14(土) 20:00:10
漏れは３で割り切れる素数をハケーンしますた
0005（・人ζもみもみ ◆Momi/T3ouE 2006/10/14(土) 20:03:31
駄スレ保守
0006１３２人目の素数さん2006/10/14(土) 21:14:08
漏れは５で割り切れる素数をみっけますたよ
0007１３２人目の素数さん2006/10/14(土) 21:19:54
逝ってよし
0008サッフォー ◆RWbI2.Pg1I 2006/10/14(土) 22:00:18
私に見つけられる前にはじめからそこに存在していたのだ
我々は勝手に定義付けをしただけだ
0009１３２人目の素数さん2006/10/14(土) 22:15:15
すごいことに気付いた！！
素数を適当に二つ選ぶじゃん？
そしたらその二つの素数の積を求めるとその数で割り切れる素数は一つも無い！！！
0010１３２人目の素数さん2006/10/14(土) 22:27:42
ついでに全部素数で構成される長さ100公差1以上の等差数列が存在する事も証明してくれ
0011１３２人目の素数さん2006/10/14(土) 23:00:36
私の友人の田尾君に頼んでみる
0012菅_理人@kmath1107BBS ◆.ffFfff1uU 2006/10/14(土) 23:05:42
フィールズ賞
0013１３２人目の素数さん2006/10/14(土) 23:46:24
これはやられた
0014１３２人目の素数さん2006/10/15(日) 06:17:36
ここで素数が無限個存在することの証明↓
0015１３２人目の素数さん2006/10/15(日) 07:39:39
>>9
照明してみろよ
0016KingOfUniverse ◆667la1PjK2 2006/10/15(日) 10:08:13
talk:>>3 お前が先に死ね。
0017１３２人目の素数さん2006/10/15(日) 10:48:08
>>16
こんな糞スレ立てたお前は死に値する。
0018１３２人目の素数さん2006/10/15(日) 19:04:59
落ち着け…『素数』を数えて落ち着くんだ…
0019KingOfUniverse ◆667la1PjK2 2006/10/15(日) 19:32:30
talk:>>17 お前が先に死ね。
0020１３２人目の素数さん2006/10/15(日) 20:00:47
>>1きめぇよ死ね
0021１３２人目の素数さん2006/10/15(日) 20:29:20
>>18
プッチ神父ってあれ数えてるんじゃなくて順に挙げてるだけだよね。
0022１３２人目の素数さん2006/10/15(日) 21:58:13
>>19
はぁ？こんな糞スレたてるお前は「お前が先に死ね。」と書き込む途中で死ね。
0023KingOfUniverse ◆667la1PjK2 2006/10/15(日) 21:59:21
talk:>>22 私がこのスレッドを立てたと思い込んでいるお前は幼稚園からやり直せ。
0024１３２人目の素数さん2006/10/15(日) 22:03:45
ｷﾝｸﾞさんって賢いの？？
0025KingOfUniverse ◆667la1PjK2 2006/10/15(日) 22:14:35
talk:>>24 I'm the King of kings.
0026１３２人目の素数さん2006/10/15(日) 22:17:06
>>25
では、King of kingsに限らず、一般にkingというのは賢いものなのか？
0027１３２人目の素数さん2006/10/15(日) 22:25:37
>>23
お前はここまで何の反論もしていなかった。よってお前がたてたスレと誤解されてもしかたなかろう。

>>26
ヒント：裸の王様
0028KingOfUniverse ◆667la1PjK2 2006/10/15(日) 22:58:46
人の脳を読む能力を悪用する奴を潰せ。
0029KingOfUniverse ◆667la1PjK2 2006/10/15(日) 23:07:41
人の脳を読む能力を悪用する奴を潰せ。
0030KingOfUniverse ◆667la1PjK2 2006/10/16(月) 00:03:27
人の脳を読む能力を悪用する奴を潰せ。
0031１３２人目の素数さん2006/10/16(月) 00:04:38
同じ発言ばかり立て続けに、おまえ大丈夫か？
0032KingOfUniverse ◆667la1PjK2 2006/10/16(月) 00:07:42
talk:>>31 そのような疑問が出るなら人の脳を読む能力を悪用する奴を潰せ。

人の脳を読む能力を悪用する奴を潰せ。
0033KingOfUniverse ◆667la1PjK2 2006/10/16(月) 00:15:38
人の脳を読む能力を悪用する奴を潰せ。
0034KingOfUniverse ◆667la1PjK2 2006/10/16(月) 00:17:58
人の脳を読む能力を悪用する奴を潰せ。
0035KingOfUniverse ◆667la1PjK2 2006/10/16(月) 00:20:53
人の脳を読む能力を悪用する奴を潰せ。
0036１３２人目の素数さん2006/10/16(月) 00:27:05
怖いよママ
0037KingOfUniverse ◆667la1PjK2 2006/10/16(月) 00:37:06
talk:>>36 そう思うなら人の脳を読む能力を悪用する奴を潰せ。

人の脳を読む能力を悪用する奴を潰せ。
0038KingOfUniverse ◆667la1PjK2 2006/10/16(月) 00:43:10
人の脳を読む能力を悪用する奴を潰せ。
0039KingOfUniverse ◆667la1PjK2 2006/10/16(月) 00:43:55
人の脳を読む能力を悪用する奴を潰せ。
0040KingOfUniverse ◆667la1PjK2 2006/10/16(月) 00:57:37
人の脳を読む能力を悪用する奴を潰せ。
0041１３２人目の素数さん2006/10/16(月) 01:04:09
どうした今日は一段と電波だな
また女にでも振られたか？
いや改名してないところをみると違うな
もう寝とけ
0042１３２人目の素数さん2006/10/16(月) 01:11:05
人の脳を読む能力を悪用する奴を潰せと言っている奴を潰せ。
0043KingOfUniverse ◆667la1PjK2 2006/10/16(月) 01:13:23
人の脳を読む能力を悪用する奴を潰せ。
0044KingOfUniverse ◆667la1PjK2 2006/10/16(月) 01:17:46
人の脳を読む能力を悪用する奴を潰せ。
0045KingOfUniverse ◆667la1PjK2 2006/10/16(月) 01:37:40
人の脳を読む能力を悪用する奴を潰せ。
0046ぴか ◆pikaMw.D1M 2006/10/16(月) 01:38:39
なぜこんな連投を
0047KingOfUniverse ◆667la1PjK2 2006/10/16(月) 01:45:55
人の脳を読む能力を悪用する奴を潰せ。
0048KingOfUniverse ◆667la1PjK2 2006/10/16(月) 01:48:21
人の脳を読む能力を悪用する奴を潰せ。
0049１３２人目の素数さん2006/10/16(月) 01:58:46
アク禁されるぞ、そのうち。
0050KingOfUniverse ◆667la1PjK2 2006/10/16(月) 02:03:10
人の脳を読む能力を悪用する奴を潰せ。
0051KingOfUniverse ◆667la1PjK2 2006/10/16(月) 02:05:48
人の脳を読む能力を悪用する奴を潰せ。
0052KingOfUniverse ◆667la1PjK2 2006/10/16(月) 02:15:15
人の脳を読む能力を悪用する奴を潰せ。
0053KingOfUniverse ◆667la1PjK2 2006/10/16(月) 02:27:17
人の脳を読む能力を悪用する奴を潰せ。
0054１３２人目の素数さん2006/10/16(月) 02:34:15
>>14
有限個としてそれらの積をＮとおく。Ｎ>2は明らか。Ｎ-1の素因数をp_iとおくと、
ＮもＮ-1もp_iの倍数より、Ｎ-(Ｎ-1)=1もp_iの倍数だが、これはあり得ない。

整数に要素が公差が0でない前後に無限に続く等差数列である集合を開基とする位相を入れる。
素数nで生成されるideal I(n) はclosed である。今、素数が有限であるとして、
それら全ての素数に対するこのようなidealの和集合を考えると、有限なので
closedとなり、その補集合はopenである。ところが、この補集合は{-1,1}なので、
明らかにopenでない。

2,3,5,……,p_jを小さい順に並べた最初のj個の素数とする。
x∈Nに対し、M(x)=｛n∈N｜n≦x,全ての素数p>p_jについて「p|nでない」}とし、
M(x)の要素の個数をN(x)とおく。
任意のn∈M(x)は、squarefreeなmを用いてn=((n_1)^2)mとおける。
m=(2^(b_1))(3^(b_2))(5^(b_3))……((p_j)^(b_j)),b_i=0 or 1
よって、mは高々2^j通りしか存在しない。
また、n_1≦√n≦√xだから、n_1は高々√x通りしか存在しない。
よって、nの値は高々(2^j)√x通りしか存在しないので、
N(X)≦(2^j)√x
さて、素数が有限個のj個しか存在しないと仮定しよう。
このとき、そもそもp>p_jとなる素数はそもそも存在しないので、
M(X)={n∈N|n≦x}={1,2,3,……,x}となり、
任意のxに対してN(x)=xとなり、x=N(x)≦(2^j)√x
両辺二乗して
x^2≦(2^(2j))x
両辺をxで割って
x≦(2^(2j))
しかし、xは任意なので、x=(2^(2j))+1とおけるから矛盾する
0055１３２人目の素数さん2006/10/17(火) 19:43:04
なんでわざわざ難しい証明にするの？
0056１３２人目の素数さん2006/10/18(水) 00:13:39
簡単なのはみんな知っている
0057１３２人目の素数さん2006/10/18(水) 00:14:22
どうするんだ横のスレ
0058１３２人目の素数さん2006/10/18(水) 01:13:58
>>56
弟子は知らないと思う
0059１３２人目の素数さん2006/10/18(水) 13:27:03
>>58
>56を訂正。
簡単なのは弟子以外みんな知っている
0060１３２人目の素数さん2006/10/23(月) 10:50:15
簡単なのも書くか。

R={a+b√(-5)|a,b∈Z}とする。2,3,1±√(-5)はこの環でprimeで、
6=2*3=(1-√(-5))(1+√(-5))より、RはUFDでないから、PIDでもない。
よって、prime ideal が無限に存在する。もし素数が有限個しかないとすると、
それらを割り切るprime ideal が有限個になり矛盾。

F_n=2^(2^n)+1　(n=0,1,2,……）
とおく。
(F_n)-2=Π[i=0 to n-1]F_i
とおける。
右辺の各F_iの素因数がF_nに含まれるとすると、(F_n)-2にも
含まれるので、F_n-((F_n)-2)=2にも含まれる。よって、それは
2であるが、F_nは奇数なのであり得ない。
つまり、F_iに含まれる素因数は全て異なるので、
有限なm個しか素数がないとすると、F_0,F_1,F_2,……,F_mに
m+1個の素因数が存在することに反する。よって、無限にある。

隣接する自然数は互いに素なので、n>1として、n,n+1は異なる素因数を持つ。
つまり、a_1=n(n+1)は少なくとも2つの素因数を持つ。
今、a_kが少なくともk+1個の素因数を持つとすると、a_k,(a_k)+1は互いに素なので異なる素因数を持つ。
つまり、a_(k+1)=(a_k)((a_k)+1)は少なくともk+2個の素因数を持つ。
よって、どのようにmを与えても、それより多くの素因数を持つ自然数が存在するので、素数は有限個ではない。
つまり、無限に存在する。
0061１３２人目の素数さん2006/10/23(月) 10:51:28
改行大杉と怒られたので分割でもう一つ

n>2を自然数とする。1≦i<j≦nなる自然数i,jについて、
M=gcd((n!)i+1,(n!)j+1)とおく。j=i+dとおくと、
(n!)j+1=(n!)i+1+(n!)dより、M=gcd(((n!)i+1,(n!)d)だが、
(n!)dの素因数はたかだかn以下だから、(n!)j+1を割ると1余る。
よってM=1である。そこで、素数が有限個m個しかないとすると、
n=m+1とおいた上記の(n!)i+1には異なるiの値毎に全て異なる素因数が
含まれているので、少なくともm+1個の素数が存在することになり
仮定に反する。

これでおけ？
0062１３２人目の素数さん2006/10/29(日) 22:50:28
http://blog.animate.tv/akesaka/
■ このスレッドは過去ログ倉庫に格納されています