[TOP]

約数について

2009年6月27日作成/2025年5月25日mathjax対応

 二つの整数 $N, M$ について、$N=aM$ となる整数 $a$ が存在するとき、$N$ を $M$ の倍数 (multiple) であるといい、$M$ を $N$ の約数 (divisor) であるという。
 $N$ の約数の個数を $d(N)$ とかき、$N$ の約数の和を $\sigma(N)$ とかく。なお、いずれの場合も、約数の中には $1$ や $N$ 自身を含む。

 たとえば、$\sigma(6)=6+3+2+1=12, \sigma(12)=12+6+4+3+2+1=28$ など。また、 $p$ が素数ならば、 $p$ の約数は $1$ と $p$ の2つしかない。よって、$d(p)=2, \sigma(p)=p+1$ である。

 素因数分解の一意性から、$M, N$ が $1$ より大きな整数ならば、 $M=p_1^{f_1} p_2^{f_2} \cdots p_k^{f_k}, N=p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k}, p_1, p_2, \ldots, p_k$ は相異なる素数で $e_1, e_2, \ldots, e_k, f_1, \ldots, f_k$ は負ではない整数、と一意に表せる(指数が $0$ になるものは無視する)。 よって、 $N$ が $M$ の倍数ならば、 $N=aM$ とかけ、 $a, M$ はそれぞれ正の整数であるから、それぞれ素因数分解でき、 $N$ の素因数分解はそれによって定まる。 したがって、 $N$ の素因数分解には 各 $p_i$ が $f_i$ 回以上現れることになる。すなわち、 $f_i\leq e_i$ となる。
 逆に、 $M=p_1^{f_1} p_2^{f_2}\cdots p_k^{f_k}, N=p_1^{e_1} p_2^{e_2} \cdots p_k^{f_k}$, $p_1, p_2, \ldots, p_k$ は相異なる素数で $f_i\leq e_i$ ならば、 $M$ は $N$ の約数であることはすぐに分かる (ここで、素因数分解の一意性は重要である。もし素因数分解の一意性がなければ、 $N$ の素因数分解が、上で言うところの $N=aM$ から従うもののほかにもあるかも知れず、そのような $N$ の素因数分解は $M$ の素因数分解とは関係付けられなくなってしまうからである)。

 したがって、 $N=p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k}, p_1, \ldots, p_k$ は相異なる素数で $e_1, e_2, \ldots, e_k$ は負ではない整数のとき、 $N$ の約数はちょうど上記の形をしたものすべてとなることがわかる。

 よって、$d(N)$ および $\sigma(N)$ について次のことが分かる。 \[d(N)=(e_1+1)(e_2+1)\cdots (e_k+1), \sigma8N)=(p_1^{e_1}+p_1^{e_1- 1}+\cdots +1)(p_2^{e_2}+p_2^{e_2- 1}+\cdots +1)\cdots (p_k^{e_k}+p_k^{e_k- 1}+\cdots +1)\]


 自分自身を除く約数の和が自分自身に等しくなる数は完全数 (perfect number) と呼ばれる。すなわち、$\sigma(N)=2N$ となるとき、 $N$ を完全数という。たとえば、 $6=3+2+1, 28=14+7+4+2+1$ などである。完全数の概念は古代ギリシアのピタゴラスにまで遡るといわれる。
 また、旧約聖書の「創世記」には「神は6日で世界を創造した」という記述があるが、これは $6$ が完全数であることと結びついているとされる(その後、「$7$日目に休息した」という記述から、西洋では $7$ こそが完全な数であり $6$ は悪魔の数字とされるようになったとも言われるが、良く分からない)。

 紀元前には既にユークリッドによって $6, 28, 496, 8128$ が完全数であることは知られていた。ユークリッドはまた、 $2^N-1$ が素数(今日で言う、メルセンヌ素数である)ならば、 $2^{N-1}(2^N-1)$ は完全数であることを示した。
 18世紀に入って、オイラーは偶数の完全数はユークリッドが示した形のものしかないことを証明した。したがって、偶数の完全数はメルセンヌ素数と一対一に対応する。
 メルセンヌ素数は無限に存在する(つまり、偶数の完全数は無限に存在する)と予想されているが、未だに解決されていない。

 奇数の完全数は存在するのだろうか。これはピタゴラスの時代には問題にされていたもので、数論における最古の未解決問題と言われている。

 ピタゴラスはまた、完全数と良く似た概念である友愛数という数を考えた。二つの数の組で、一方の約数の和(自分自身を除く)が、もう片方の約数の和(自分自身を除く)に等しいものである。ある人から「友人とは何ですか?」と開かれた時、「それはもうひとつの私です。たとえば $220$ と $284$ のようなものです」と答えたという。
 実際、$220=2^2\times 5\times 11, 284=2^2\times 71$ だから、 $\sigma(220)=7\times 6\times 12=504, \sigma(284)=7\times 72=504$ となり、$\sigma(220)-220=284, \sigma(284)-284=220$ となる。 

タイトル
名前
URL
E-mail address
本文中ではLaTeXコマンドが使用可能です。
イメージ色
[admin]


[BACK][NEXT]

#1429:[ 無題 ] Home Mail https://hedgedoc.info.uqam.ca_____Date: 06/11 09:57 GMT
References:


Vegas casino magnate steve https://hedgedoc.info.uqam.ca

#1428:[ 無題 ] Home Mail http://www.bmw-workshop.com/_____Date: 06/11 09:45 GMT
References:


7red casino http://www.bmw-workshop.com/

#1427:[ 無題 ] Home Mail http://adrestyt.ru/user/driveglue34/_____Date: 06/11 09:41 GMT
References:


Video poker http://adrestyt.ru/user/driveglue34/

#1426:[ 無題 ] Home Mail http://okprint.kz/user/flatdead99/_____Date: 06/11 09:27 GMT
References:


Nb casino http://okprint.kz/user/flatdead99/

#1425:[ 無題 ] Home Mail https://truckwiki.site/_____Date: 06/11 09:18 GMT
References:


River rock casino richmond https://truckwiki.site/

#1424:[ 無題 ] Home Mail https://tvoyaskala.com/user/traintank8/_____Date: 06/11 09:06 GMT
References:


Flash casino https://tvoyaskala.com/user/traintank8/

#1423:[ 無題 ] Home Mail instapaper.com_____Date: 06/11 08:30 GMT
References:


Hard rock casino albuquerque instapaper.com

#1422:[ 無題 ] Home Mail eggswiki.site_____Date: 06/11 08:05 GMT
References:


Casino circus eggswiki.site

#1421:[ 無題 ] Home Mail https://xtuml.org/_____Date: 06/11 07:55 GMT
References:


Turning stone casino https://xtuml.org/

#1420:[ 無題 ] Home Mail hackmd.okfn.de_____Date: 06/11 07:50 GMT
References:


Evansville casino hackmd.okfn.de

#1419:[ 無題 ] Home Mail https://doc.adminforge.de/_____Date: 06/11 07:39 GMT
References:


Cassino italy https://doc.adminforge.de/

#1418:[ 無題 ] Home Mail https://gaiaathome.eu/gaiaathome/show_user.php?userid=1977643_____Date: 06/11 07:28 GMT
References:


Kazino https://gaiaathome.eu/gaiaathome/show_user.php?userid=1977643

#1417:[ 無題 ] Home Mail hack.allmende.io_____Date: 06/11 07:28 GMT
References:


Sims slots hack.allmende.io

#1416:[ 無題 ] Home Mail justbookmark.win_____Date: 06/11 07:17 GMT
References:


Cosmopolitan casino justbookmark.win

#1415:[ 無題 ] Home Mail peatix.com_____Date: 06/11 07:17 GMT
References:


Maryland live casino poker peatix.com

#1414:[ 無題 ] Home Mail https://priceton8.werite.net/_____Date: 06/11 06:46 GMT
References:


Newyork newyork casino https://priceton8.werite.net/

#1413:[ 無題 ] Home Mail https://eggswiki.site/wiki/Ihre_Garantie_fr_stabile_Gewinne_____Date: 06/11 06:28 GMT
References:


Casino magic neuquen https://eggswiki.site/wiki/Ihre_Garantie_fr_stabile_Gewinne

#1412:[ 無題 ] Home Mail https://commonwiki.space/wiki/Jetzt_online_spielen_____Date: 06/11 00:45 GMT
References:


King casino https://commonwiki.space/wiki/Jetzt_online_spielen

#1411:[ 無題 ] Home Mail https://carwiki.site/wiki/100_bis_zu_500_200_Freispiele_____Date: 06/11 00:33 GMT
References:


Casino bonus 2 https://carwiki.site/wiki/100_bis_zu_500_200_Freispiele

#1410:[ 無題 ] Home Mail https://telegra.ph_____Date: 06/11 00:32 GMT
References:


Best way to play roulette https://telegra.ph

#1409:[ 無題 ] Home Mail briefjournal.space_____Date: 06/11 00:25 GMT
References:


Super scratch programming adventure briefjournal.space

#1408:[ 無題 ] Home Mail https://materialwiki.site/_____Date: 06/11 00:21 GMT
References:


Manoir de beauregard https://materialwiki.site/

#1407:[ 無題 ] Home Mail frantzen-wright.technetbloggers.de_____Date: 06/11 00:12 GMT
References:


Casino rio frantzen-wright.technetbloggers.de

#1406:[ 無題 ] Home Mail hedgedoc.info.uqam.ca_____Date: 06/11 00:01 GMT
References:


Casino zurich hedgedoc.info.uqam.ca

#1405:[ 無題 ] Home Mail bmw-workshop.com_____Date: 06/10 23:54 GMT
References:


New buffalo casino bmw-workshop.com

#1404:[ 無題 ] Home Mail materialwiki.site_____Date: 06/10 23:41 GMT
References:


London casinos materialwiki.site

#1403:[ 無題 ] Home Mail pbase.com_____Date: 06/10 23:38 GMT
References:


Colosseum casino pbase.com

#1402:[ 無題 ] Home Mail https://chesswiki.site/_____Date: 06/10 23:25 GMT
References:


Eldorado casino https://chesswiki.site/

#1401:[ 無題 ] Home Mail 500px.com_____Date: 06/10 23:20 GMT
References:


Betsson casino 500px.com

#1400:[ 無題 ] Home Mail https://briefjournal.site_____Date: 06/10 23:16 GMT
References:


How do betting odds work https://briefjournal.site

#1399:[ 無題 ] Home Mail liberalwiki.space_____Date: 06/10 23:06 GMT
References:


Grand portage lodge and casino liberalwiki.space

#1398:[ 無題 ] Home Mail https://hackmd.okfn.de/_____Date: 06/10 22:58 GMT
References:


Launceston casino https://hackmd.okfn.de/

全てのコメントを HTML 化してダウンロードできます。
ダウンロード後、ファイルの拡張子をhtml に変更してご利用ください。


管理者 Tomohiro Yamada : JawaNote v1.41 [Shigeto Nakazawa], revised by Tomohiro Yamada