>>685 qがp1〜pnによって素因数分解できると仮定すれば
(p1*p2*...*pn)+1=(p1^x1*p2^x2*...*pn^xn) x1...xnは零以上の整数
素数pa(1≦a≦n)を右辺の約数とし、paで両辺を割ると
左辺={(p1*p2*...*pn)+1}/pa=(p1*p2*...*pn)/pa+1/pa (分配法則)
左辺の(p1*p2*...*pn)/paは整数、1/paは1以下の有理数となり整数ではない
右辺は整数になるので
はじめ仮定した(p1*p2*...*pn)+1=(p1^x1*p2^x2*...*pn^xn)は否定され
∴qはp1〜pnによって素因数分解できない
だと、だめでせうか?
690 :
672:03/12/15 18:41 ID:+eW3bJ6D
>>688 少なくともメルセンヌ素数は無限にある。
でも、それ以外の素数は無限にあるんだろうか?
691 :
672:03/12/15 18:46 ID:+eW3bJ6D
>>689 あ、これは納得できます(いきなり敬語)。
そうですよね、左辺右辺が等しいならば整数で割ったらおなじように変数に
ならないとまずいですよね。
有り難うございます。
692 :
668:03/12/15 18:53 ID:1gURbvfn
解決しちゃったんなら必要ないけど
書いちゃったから張らせて
p,qを自然数として
p * m = q
となる、自然数mは存在しないならば
p * (n*m) = q
となる、自然数n、mも存在しない。
ゆえに
(p*n) * m = q
となる自然数n、mも存在しない。
よって、
p,qを自然数として
p * m = q
となる、自然数mは存在しないならば
pはpを因数にもつ(p*n)で割り切れない。
693 :
名無しさん@4周年:03/12/15 18:57 ID:CzY5RBMV
RSAの論文で感動しておきながら、俺はPGP一度も使ったことないのよね・・・・・
SSLはRC6の鍵のやり取りだけにだけにRSA使ってるってはじめて知ったよ 昨日
p1〜pnは素数小さい順からの並びである。
pnが最大の素数と仮定して背理法により素数に
限りが無いとこを証明する。
Q=(p1*p2*...*pn)+1 なるQを考える。
Qの素因数分解を試みてみるが数式より
p1からpnで割っても常に余り1で割り切れない。
よってQ自体が素数かpnより大きい素因数を持つ可能性があり矛盾する。
で良いんじゃないの?
696 :
名無しさん@4周年:03/12/15 19:08 ID:Y9U2kd69
はいりはいりうえ 背理法〜♪
大きくなれよー
697 :
◆Jyg8dKL1d. :03/12/15 19:08 ID:Dea5W1zm
sosyuuuuugetto
698 :
672:03/12/15 19:09 ID:+eW3bJ6D
自分なりにまとめると
仮に
p1、p2、・・・、pn
がすべての素数とする。
>>659 で述べられているように
(p1*p2*・・・*pn)+1=q
とするとqはp1,p2,・・・,pnのどの値でも割り切れない値になる。
qは素数である可能性があるが、別の素数の組み合わせによる
素因数分解ができる可能性が残っている。
しかし、
>>689 で述べられているように、qはp1,p2,・・・,pnの数字の中から任意の数字を1回以上つかっただけの素因数分解はできない。
したがって、qは素数で無い可能性はあるが、この場合、qの素因数分解をすると
p1,p2,・・・,pn以外の素数が使われるはず。
p1,p2,・・・,pnは、pn以下の素数を列挙したものだから、この素数はpn
を越えた値である。
したがって、qが素数であろうがなかろうが、pnを越えた素数が存在
しなければならない。
したがって、素数は無限に存在する。
699 :
名無しさん@4周年:03/12/15 19:10 ID:NabOMSAW
発見したことが重要なんだよ。
日本人にはできない芸当だな。
>>690 嘘つけ。メルセンヌ素数は未だ有限とも無限とも証明されていない。
>>695 pnが最大の素数と仮定したんだからQがpnより大きい素因数を持つ可能性を考慮する必要は無いと思うけど。
@素数が新たに発見される。
↓
A素数公式の手がかりが一つ増える。
↓
B@とAの繰り返し
↓
C素数公式発見!
↓
Dウマー
703 :
672:03/12/15 19:21 ID:+eW3bJ6D
素数公式ってありえるんだろうか・・・。
705 :
668:03/12/15 21:34 ID:1gURbvfn
>>698 もう見てないとは思うけど……
質問させて
> (p1*p2*・・・*pn)+1=q
>
> とするとqはp1,p2,・・・,pnのどの値でも割り切れない値になる。
> qは素数である可能性があるが、別の素数の組み合わせによる
> 素因数分解ができる可能性が残っている。
何度見てもここが分からない。
「…のどの値でも割り切れない」と既に言っているのに、
何故その「割り切れない数」の倍数で割り切れる可能性について
言及してるの?
aで割り切れない数は、aのn倍では割り切れないでしょう?
706 :
672:03/12/15 22:14 ID:Twu/KzUV
>>668 >>705 >>「…のどの値でも割り切れない」と既に言っているのに、
>>何故その「割り切れない数」の倍数で割り切れる可能性について
>>言及してるの?
・・・すいません。言われてみればその通りです(ふたたび敬語)。
(px*z)も(px^2*py^2)もpxの倍数にはかわりないんだから割り切れないのは当たり前ですね。
pxを二乗するとなにか別次元の値にでもなるかのような錯覚おこしてました。
仮に素数がp1 * p2 * 〜 pnだけだったとすると
(p1 * p2 * 〜 pn) + 1 = q
で、qが素数で無い場合、qはp1,p2,〜,pnのどれでも余り1で割り切れないし、
当然のごとくp1,p2,〜,pnの倍数(もちろんこれらの任意の数の乗も含む)でも割り切れない
だから、qの素因数分解をするとp1,p2,〜,pn以外の素数が使われるはず。
p1,p2,〜,pnはpn以下の素数を全て列挙したものだから、これ以外の素数
という事はpnを越えた値になるはず。
で、よろしいでしょうか?
707 :
695:03/12/15 22:24 ID:u7zWfkZL
708 :
668:03/12/15 22:39 ID:1gURbvfn
>>706 おそらくそんな感じだと思います。
あってるかどうかまでは分かりませんが、
私の中での疑問点は無くなりました。
709 :
プッチ:03/12/15 23:08 ID:9tZ6ZSLZ
素数を数えて落ち着くんだ…。
49999,49993,49991,49957,49943,49939,49937,49927,
49921,49919,49891,49877,49871,49853,49843,49831,
49823,49811,49807,49801,49789,49787,49783,49757,
49747,49741,49739,49727,49711,49697,49681,49669,
49667,49663,49639,49633,49627,49613,49603,49597,
49559,49549,49547,49537,49531,49529,49523,49499,
49481,49477,49463,49459,49451,49433,49429,49417,
49411,49409,49393,49391,49369,49367,49363,49339,
49333,49331,49307,49297,49279,49277,49261,49253,
49223,49211,49207,49201,49199,49193,49177,49171…。
710 :
名無しさん@4周年:03/12/16 00:06 ID:rWigKRr+
>>681 俺らは勉強もできないしもちろん頭も悪いよ
って訂正しておけ
>>693 公開鍵暗号は共通鍵暗号に比べて処理が重すぎるんだな。
だからメッセージの処理は共通鍵暗号に任せて
公開鍵暗号は共通鍵の秘密配送と認証のみに用いられるのが普通。
パーン
_, ,_ ∩
( ‘д‘)彡☆))Д´)←
>>1 ⊂彡
おまいが根本的にわかってないから、
こんなに厨が集まってくるじゃネーカ!
713 :
名無しさん@4周年:03/12/16 11:59 ID:sIxROFuD
,、,、
(・e・)
゚しJ゚
ソウトモイウ
ト-、___
_,,-‐‐‐‐‐‐t-:、_ `‐、、_
__,,,-‐'´ .:. ,,:.:``‐、;:;:;ヽ_
,,,_____,,..、_,,,,,-‐‐‐-、、_,,-'´ ............:.:/: .:. ````ヽ、_
〈=__,,,,__,,,,,,,,,,,,..::::::::::... ;.:.:.:.:.:.:.:.:.:.:.:.:.:.:,;ノ::. `‐、、
/ .._____.. .. . `````ヽ- '--‐‐'''''~~~'`::::ヽ:.:.:..... 、 ヽ、
ヒ;-'´ ````:‐:‐:-:-.:__,,、、、、、 ....:.:.:.:.:.:.`:.:.:.:,;,;,;,;.:.:.;,;...........ヽ、ヽT ◎ ヽ、
````‐--:-:‐:':´:`:`´:: :::``:..、_:.:.:.:.:.:.:.ヽ、__ ,-==,
````‐‐:-:-:-:-:‐"
716 :
名無しさん@4周年:03/12/17 02:00 ID:EpGvEP28
パーキングにて
日本人 --> いちいちバックで停める人多し。
外国人 --> そんなめんどくさいことはしない。当然頭から
地下鉄にて
日本人 --> 駅が近づくと階段の方向へ電車内を移動する人多し。
外国人 --> そんなめんどくさいことはしない。移動するのは強盗ぐらい。
街中にて
日本人 --> 遅刻しそうなのか走っている人多し。
外国人 --> そんな疲れることはしない。10分かそこらの遅れは遅刻と
考えない。走ってるのはひったくりぐらい
本屋にて
日本人 --> 本を下から引っこ抜いていく人多し。
外国人 --> そんなめんどくさいことはしない。汚れてても気にしない。
要するに外国人は細かいことは気にしない、めんどくさいことはしない
疲れることはやらない、急がない。 外国人がこれを破る時は
= = = 金 か 命 が か ら む 時 で あ る = = =
632万430桁か。
現代のコンピュータを駆使してもその程度なんだな。
恐るべし素数。
>>717 だからこそ暗号としての利用価値があるわけで。
逆に量子コンピュータが実用化して、NP問題がガシガシ解けるようになったら、
どうやってプライバシーを守ったらいいんだろう?と今から心配したり。
719 :
名無しさん@4周年:03/12/17 12:33 ID:kdkRqWKB
720 :
名無しさん@4周年:03/12/17 21:15 ID:eA7iNSf2
羊が2匹、羊が3匹、羊が5匹、羊が7匹、羊が11匹、羊が13匹、羊が17匹、
羊が19匹、羊が23匹、羊が29匹、羊が31匹、羊が37匹、羊が…zzzzz
721 :
名無しさん@4周年:03/12/18 19:22 ID:dXWGMfCF
>>719 俺は頭がいいし、そのお陰でお前の言っている勉強というやつも一応、できる。
>>721 もうIDも変わってるのに、「自分が
>>710だ」という会話の前提すら述べずに
いきなり「俺は頭がいいし…」などと言い出すヤツが
本当に頭がいいとは、とても思えんのだが。 ┐('〜`;)┌
シムシティのどうでもいいニュースに出てきそうだな。
724 :
名無しさん@4周年:03/12/19 00:27 ID:/AqcfiE7
>>718 素数であることの判定と、素因数分解の難易度は
同等ではないと思う、ただしコンピューターの能力の向上は
脅威であることには、変わりない
追伸、量子暗号があるよ
725 :
名無しさん@4周年:03/12/19 00:47 ID:QdZH4GPO
素数が100%判明しているのは何桁までなの?
そっちの方が有用じゃない?
726 :
名無しさん@4周年:03/12/19 11:19 ID:QDc/rGGr
11111111111111111111111 は素数
底辺があってその反対側が1個しか頂点がない多角形があるとき
その頂点の合計は素数である。
出鱈目暗号最強。出鱈目だから誰も解けない。最強
731 :
名無しさん@4周年:03/12/20 09:00 ID:LkSPfOr5
>>729 「…あ、よく考えたら分かったYO!」とかいう反応でも期待してるのか?
気の利いたこと書こうと思ったんだろうけどさ…失笑しか出ないぞ。
そもそも「反対側」って何だよ。この手のジョークを書く場合、
ちゃんと用語を数学用語で統一してさももっともらしく当たり前のことを
書いてこそ、成立するんだよ。「反対側」とか書いた時点で、
本当に頭の良くない子供がマジで書いた戯言に成り下がってしまう。
…わかる?
4830 プライムシステム
倒産寸前の株価です
733 :
名無しさん@4周年:03/12/20 12:52 ID:fVwxZYnl
とりあえずお前らも次のメルセンヌさがせや。
話はそれからだ。
734 :
名無しさん@4周年:03/12/20 13:03 ID:m+3SB65S
俺の素数は、今日も元気に走りまわってる。
735 :
名無しさん@4周年:03/12/20 13:17 ID:LctqnTKC
>>731 禿同。
せめて、「一辺と、その辺によって
形成されない頂点がただ一つ存在する
多角形」とか書いて欲しいよね。
736 :
名無しさん@4周年:03/12/20 13:19 ID:A22xnC6i
737 :
名無しさん@4周年:03/12/20 13:24 ID:HoFaBMF+
キラークイーンがまだ出てないんだな・・
738 :
名無しさん@4周年: