• ベストアンサー

1だけ大きい過剰数が存在しないことの証明

過剰数:ある整数の約数の和(その整数そのものは除く)     がもとの整数より大きい数の事。例えば12の約数は     1、2、3、4、6なので過剰数。 過剰数はいくらでも見つかるのですが1だけ大きい 過剰数は存在しないようです。どうしてでしょうか?

質問者が選んだベストアンサー

  • ベストアンサー
  • yoikagari
  • ベストアンサー率50% (87/171)
回答No.3

「1だけ大きい過剰数」の問題は、リチャード・ガイ著の「数論における未解決問題集」に載っています。 この数は「準完全数」という名前で呼ばれていますので、以後この数を「準完全数」と呼ぶことにします。 この本によると、準完全数は奇数の平方数でなければならないことがわかっているけど、いまだにひとつも見つかっていないそうです。 ただ、存在しないという事が証明されたわけではありませんので。 「準完全数は奇数の平方数でなければならないこと」の証明が書かれている掲示板を引用しておきます。

参考URL:
http://science3.2ch.net/test/read.cgi/math/1106654316/32-36
全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (2)

回答No.2

過剰数を表す数式や公式がまだ発見されていません。 現在はしらみつぶしに数えていくだけのようです。 なので、「1だけ大きい過剰数が存在しない」という証明は出来ないのでは? ただ、現在見つかっている過剰数には1だけ大きいものがない、ということなのではないでしょうか? そもそも「1だけ大きい過剰数が存在しない」という話はどこから出てきたのでしょう? 出何処の方に訊いてみるのが良いでしょうね。 偽トリビアっぽいですが(笑)。

takeuchisan
質問者

補足

塾で講師をしているのですが塾生が持っている 「博士の愛した数式」なる本に載っていてたのが これなんです。 自力で解こうといろいろやってみたのですが。。。

全文を見る
すると、全ての回答が全文表示されます。
  • gamasan
  • ベストアンサー率19% (602/3160)
回答No.1

はぁ~ 過剰数に不足数ですか 人生40年弱で 初めて知りました 勉強になります 検索してみますと いくらでもあるわけでも ないようです 100までには 21個しかないようです 素因数分解と深く関係してるみたいですね 「存在しないようです」とありますが これは証明されてるんですかね? それとも これから証明しようという研究課題ですか? 小さい物から順番に検証していき 何故ないかの 理由を見つけるしかないように思いますし もしかしたら とんでもない大きい数でその 条件になるものがあるかもしれませんしね お役に立てませんが

参考URL:
http://suu.cc/html/hushigi2.htm
takeuchisan
質問者

お礼

参考URLを私も参照しましたが、なかなか 証明に直結するヒントは得られませんでした。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 完全数について

    自分自身を除いた約数の和が、自分自身に等しいものを完全数といいます。 例えば6の約数は、1,2,3,6で、6を除いた1,2,3の和は6ゆえ完全数です。 では、奇数の完全数は存在するのでしょうか? また、完全数は無限にあるのでしょうか? 有限とすればいくつ有るのでしょうか? 教えてください。 

  • 素数の問題です。

    a,bを異なる素数とする。 (1)a*bの正の約数は何個あるか?    またそれらの和はいくらか? (2)a^2*b^2の正の約数は何個あるか? (3)1225(=5^2*7^2)の正の約数全体の和はいくらか? (1)はaとbが約数となり、2個。    和はa+b (2)はa^2の約数が2個、b^2の約数が2個で、    合計4個の約数を2つずつ組み合わせて6通り。    4+6=10個。 と考えたのですが、合ってますか?? なんだか違うような気がして・・・。 (3)にいたっては、頑張って計算したら求められると思うのですが、 もっと簡単な方法があるような気がします。 ご回答、よろしくお願いします。

  • 連続した整数の数列の和が100になる数列は何通りあるか求めよ。 連続したn個の自然数の和はn(n+1)/2であるから n(n+1)/2=100 これを満たす自然数nは存在しない。 自然数だけで構成された連続する数では100を作ることが出来ません。。 最初から整数で考えるにはどうすればよいでしょうか。 答えを含めて教えて頂けたら幸いです。

  • 素数が無限個存在すること(エルデシュによる証明)

    素数が無限個存在することの証明について、 素数―wikipedia―によれば、エルデシュによる素数の逆数和の 発散性の証明は、素数が無限個存在することの証明にもなっているらしいです。 (証明において、素数が無限個存在することを用いていないため・・・?) http://ja.wikipedia.org/wiki/%E7%B4%A0%E6%95%B0 その証明は、 背理法による。 n 番目の素数を pn とする。 素数の逆数和が収束すると仮定すると、 任意の ε > 0 に対してある自然数 N が存在して、 1/pN+1 + 1/pN+2 + 1/pN+3 + ... < ε となる。 ★ いま、 ε = 1/2 としよう。任意の自然数 n に対して ・・・・・・・・ と説明されているのですが、 ★マークの部分がよくわかりません。 素数が無限個存在することを使用しているのでは!? もし有限なら、はるかに小さいεがとれないのではないでしょうか? どうかご教授ください。

  • 完全数はどうして「完全」と名づけた?

    約数の和がその数になるということに、なにか「完全」を想起するような意味あいがありますでしょうか?素人考えでは、「あ、そう」ってだけなんですけど。

  • 式を満たす自然数の組合せ

    式を満たす自然数の組合せ 下記の問題がでました。 x^2-y^2=60を満たす自然数x、yの組合せの数はいくらか。 僕は2つだと思うのですが、答えは4つらしいです。 僕の計算過程を書くので、間違いがあったらご指摘頂けると嬉しいです。 x^2-y^2=60 (x+y)*(x-y)=60 ここで60の約数は以下の通り。 1と60 2と30 3と20 4と15 5と12 6と10 例えば x+y=60 x-y=1 という連立方程式を考えると、 2*x=61となり、xは自然数でない。 つまり、約数の和が奇数のものは除外できる。 約数の和が偶数なのは 2と30 6と10 の2つだけなので、こたえは2つ。

  • このような自然数は存在するのでしょうか?

    いま、n桁の自然数、Nがここにあるとします。そのNを一の位から順番を逆に並べなおした数をMとします。このとき、MがNの約数となるような自然数は存在するのでしょうか?(例えば、N=5431ならば、M=1345です。)無限に自然数はあるので、ひとつくらいはありそうな気もしますが、どうなのでしょうか? ただし、2000、1234321、1210000、22222のような明らかに条件を満たす数は除きます。

  • 因数と素因数およびそれを用いた証明

    他の方の質問に回答しているやりとりの中でどうしても腑に落ちないことがあり、これ以上その方の回答欄に書くわけにもいかないと思い質問します。 「素因数」…ある整数の約数である素数のこと。 「因数」…一つの数または式がいくつかの数または式の積によって形成されている場合、その個々のその個々の数や式、因子。 (いずれも広辞苑より) とあります。 この説明を読む限りでは、素因数⊂因数だと思います。つまり、整数が因数の積で表される時、その因数が素数の時は特に素因数と呼ぶ、と。 ということは、証明においてある整数の因数全体で成り立つことが示せれば、その整数の素因数でも成り立つことは自明だと思うのですが、違うのでしょうか? また、ほとんどの参考書および教科書では、 「ある整数Aと1を除く自然数mにおいて、A^3がmの倍数⇔Aがmの倍数」であることを自明のこととして扱っています(mが素数かどうかに関わらず)。事実私もそうでした。しかし、自明ではないという意見もあるようです。どちらなのでしょうか? 自明であるという意見の方はその理由を、自明でないと言う方は反例をあげて下さい。 長文になりましたが、よろしくお願いします。

  • 素因数分解と約数の個数

    こんばんわ。早速ですが、質問に移らさせていただきます。 例えば、36=2の2乗×3の2乗、と素因数分解できます。このように、素数の積にする事により 約数の個数が解ります。この場合、 (指数+1)×(指数+1)が、約数の個数になります。 このような公式を学んだところなのですが、具体的な整数でいろいろと試してみましたが、なぜ、そのような公式になるのかが、検討もつきません。何か、手がかりがあれば、よろしくお願いいたします。

  • 整数∩自然数は存在しますか?

    整数∩自然数は存在しますか? 見かけ上の同じ数は数学では同じ数と見なしているのですか? 数学に詳しい人、教えて下さい。

このQ&Aのポイント
  • PX-M5081Fのシステムエラー2020600の対処方法とは?
  • PX-M5081Fのシステムエラー2020600の対処方法をご紹介します。
  • PX-M5081Fのシステムエラー2020600の解決策をお伝えします。
回答を見る