プラクティカル数のソースを表示

[[File:Practical number Cuisenaire rods 12.png|thumb|12がプラクティカル数であることの図的説明]]

[[数論]]において、'''プラクティカル数''' (practical number; '''実際数'''<ref>{{citation|和書|url=https://www.morikita.co.jp/books/book/470|author=James J. Tattersall|translator-last=小松尚夫|title=初等整数論9章|edition=第2|publisher=森北出版|isbn=978-4-627-08162-8|year=2008|month=09}} ({{PDFlink|[https://www.morikita.co.jp/data/mkj/008162mkj.pdf 見本]}})</ref>) もしくは'''パナリズミック数''' (pan&shy;arithmic number<ref>{{harvtxt|Margenstern|1991}} cites {{harvtxt|Robinson|1979}} and {{harvtxt|Heyworth|1980}} for the name "pan&shy;arithmic numbers".</ref>; 汎数的数) とは[[約数]]の和でその数より小さな正の[[整数]]すべてが表せる[[自然数]]である。例えば、12は約数1,2,3,4,6を持ち、1から11までの整数は、1,2,3,4,6の和として表せるため、12はプラクティカル数である。（5 = 3 + 2, 7 = 6 + 1, 8 = 6 + 2, 9 = 6 + 3, 10 = 6 + 3 + 1, 11 = 6 + 3 + 2）

プラクティカル数の数列は{{OEIS|A005153}}に記載されており、
:1, 2, 4, 6, 8, 12, 16, 18, 20, 24, 28, 30, 32, 36, 40, 42, 48, 54, 56, 60, 64, 66, 72, 78, 80, 84, 88, 90, 96, 100, 104, 108, 112, 120, 126, 128, 132, 140, 144, 150....
と続く。

[[1202年]]、[[レオナルド・フィボナッチ|フィボナッチ]]は[[算盤の書]]で、[[エジプト式分数]]として[[有理数]]を表す問題にプラクティカル数を用いた。フィボナッチはプラクティカル数を正確に定義したわけではないが、フィボナッチはプラクティカル数を分母とする分数のエジプト式分数表現の表を与えた<ref name="sigler">{{harvtxt|Sigler|2002}}.</ref>。

プラクティカル数という名前は{{harvtxt|Srinivasan|1948}}に由来する。スリニヴァサンは「金・重さ・長さの単位は4, 12, 16, 20, 28のような数で細分化されており、10の[[累乗]]での細分化に置き換えるべき不便さである。」と述べた。スリニヴァサンはそのような数の数論的な性質を再発見し、{{harvtxt|Stewart|1954}}と{{harvtxt|Sierpiński|1955}}によってこのような数の分類が完了した。この特徴付けにより、素因数分解によって与えられた数がプラクティカル数であるかを判別できるようになった。偶数の[[完全数]]と2のべき乗は、すべてプラクティカル数である。

プラクティカル数は素数と様々な性質で関連付けられている<ref>{{harvtxt|Hausman|Shapiro|1984}}; {{harvtxt|Margenstern|1991}}; {{harvtxt|Melfi|1996}}; {{harvtxt|Saias|1997}}</ref>。

==プラクティカル数の特徴==
プラクティカル数の最初の特徴付けは、{{harvtxt|Srinivasan|1948}}によって行われたもので、プラクティカル数は不足が2以上である[[不足数]]にはなりえないというものである。不足数とは(自身を除く)約数の和がそれ自身より小さい数であり、ここでは約数の和がそれ自身より2以上小さい数のみを指す。もし ''n'' の(1と自身を含む)約数の[[順序集合]]を<math>{d_1, d_2,..., d_j}</math> 、 <math>d_1=1</math> 、 <math>d_j=n</math>とすると、スリニヴァサンの特徴付けは以下の不等式に対応する
:<math>2n\leq1+\sum_{i=1}^j d_i</math>.
言い換えると、プラクティカル数のすべての約数を小さい順に並べた<math>{d_1<d_2<...<d_j}</math>はcomplete sub-sequenceである。

この部分的特徴付けは、{{harvtxt|Stewart|1954}} と {{harvtxt|Sierpiński|1955}} により拡張され、[[素因数分解]]を用いてある数がプラクティカル数かどうかを判別できることが示された。
1より大きな正の整数を素因数分解し、<math>n=p_1^{\alpha_1}...p_k^{\alpha_k}</math>と表す。ここで、素数は小さい順に<math>p_1<p_2<\dots<p_k</math>と並んでいるものとする。このとき、<math>n</math>がプラクティカル数であるのは、各素因数<math>p_i</math>が十分小さく、<math>p_i-1</math>がより小さな約数の和で表せるとき、かつそのときに限る。
これが真であるためには、（1以外の）プラクティカル数の最小の素因数<math>p_1</math>は2であり、 ''i'' ( 2 〜 ''k''） に対して、次の素数<math>p_i</math>は以下の不等式に従わなければならない。
:<math>p_i\leq1+\sigma(p_1^{\alpha_1}p_2^{\alpha_2}\dots p_{i-1}^{\alpha_{i-1}})=1+\prod_{j=1}^{i-1}\frac{p_j^{\alpha_j+1}-1}{p_j-1},</math>

ここで、<math>\sigma(x)</math>は''x''の約数の和である。
例えば、2 × 3<sup>2</sup> × 29 × 823 = 429606について考えると、
:3 ≤ σ(2) + 1 = 4
:29 ≤ σ(2 × 3<sup>2</sup>) + 1 = 40
:823 ≤ σ(2 × 3<sup>2</sup> × 29) + 1 = 1171
と不等式を満たすので、429606はプラクティカル数である。

この条件は自然数がプラクティカル数であるための[[必要十分条件]]である。<math>p_i-1</math>を''n''の約数の和で表すためにはこの条件が必要であり、[[数学的帰納法]]によって十分条件であることもわかる。
より強い条件として、''n''の 素因数分解が上記の条件を満たすならば、任意の<math>m \le \sigma(n)</math>は以下のように ''n'' の約数の和で表現できる<ref>{{harvtxt|Stewart|1954}}; {{harvtxt|Sierpiński|1955}}</ref>。
* <math>q = \min\{\lfloor m/p_k^{\alpha_k}\rfloor, \sigma(n/p_k^{\alpha_k})\}</math>となる ''q''と、<math>r = m - qp_k^{\sigma_k}</math>となる ''r''を用意する
* <math>q\le\sigma(n/p_k^{\alpha_k})</math> であり <math>n/p_k^{\alpha_k}</math> がプラクティカル数であることより、<math>n/p_k^{\alpha_k}</math>の約数の和で ''q'' を表せる。
*<math>r\le \sigma(n) - p_k^{\alpha_k}\sigma(n/p_k^{\alpha_k}) = \sigma(n/p_k)</math>であり、<math>n/p_k</math>はプラクティカル数であることから、<math>n/p_k</math>の約数の和で ''r'' を表せる。
* ''r'' を表す約数と、 ''q'' を表す約数のそれぞれを<math>p_{k}^{\alpha_{k}}</math>倍すると、 ''m'' は ''n'' の約数で表せる。

==性質==
*奇数のプラクティカル数は1のみである。2以上の奇数は2を約数の和として表せない。さらに、{{harvtxt|Srinivasan|1948}}は1と2を除くすべてのプラクティカル数は4または6の倍数であることを示した。
*2つのプラクティカル数の積はプラクティカル数である{{sfnp|Margenstern|1991}}。さらに、2つのプラクティカル数の [[最小公倍数]]もプラクティカル数である。つまり、プラクティカル数すべての集合は積について閉じている。
*スチュワートとシェルピンスキーによる上記の性質から、もし ''n'' がプラクティカル数であり、 ''d'' がその約数であれば、 ''nd''もプラクティカル数である。
*すべてのプラクティカル数からなる集合において、プラクティカル数のプリミティブ集合が存在する。プリミティブプラクティカル数は、平方因子を持たないプラクティカル数か素因数分解の素数の次数が2以上であるような素因数で割った場合にプラクティカル数ではなくなるプラクティカル数である。このようなプリミティブプラクティカル数の数列は {{OEIS|A267124|}} で
::1, 2, 6, 20, 28, 30, 42, 66, 78, 88, 104, 140, 204, 210, 220, 228, 260, 272, 276, 304, 306, 308, 330, 340, 342, 348, 364, 368, 380, 390, 414, 460 ...
と続く。

==ほかの数との関係==
有名な整数からなる集合は、プラクティカル数のみから構成できることがある。
*上記の性質から、 プラクティカル数 ''n'' とその約数 ''d''に対して、''nd''もプラクティカルであるため、2のべき乗の6倍と3のべき乗の6倍はプラクティカル数である。
*すべての2のべき乗はプラクティカル数である。<ref name="s48"/>。 2のべき乗は素因数分解により上記の必要条件を満たし、''p''<sub>1</sub>=2も満たす。
*すべての偶数の完全数は、プラクティカル数である<ref name="s48"/>。偶数の完全数は 2<sup>''n''-1</sup>(2<sup>''n''</sup>-1)の形である結果から導ける。素因数分解の奇数部分は偶数部分の約数の和である。従って、偶数の完全数はプラクティカル数である。
*すべての[[素数階乗]] (最小の''i''個の素数の積）はプラクティカル数である<ref name="s48"/>。1つめの素数階乗の2と2つめの素数階乗の6はプラクティカル数である。それ以降の素数階乗は素数 ''p''<sub>''i''</sub> と素数階乗の積であり、つまり2と次の最小の素数で''p''<sub>''i''-1</sub>で割り切れる。[[ベルトランの仮説]]により、''p''<sub>''i''</sub><2''p''<sub>''i''-1</sub>が成り立つので、次の素因数は前の素数階乗の約数よりも小さい。同様に、すべての素数階乗はプラクティカル数である性質を満たし、平方因子も含まない。
*素数階乗を一般化し、最小の ''k'' 個の素数の累乗の積もプラクティカル数である。これは[[シュリニヴァーサ・ラマヌジャン]]の[[高度合成数]]（自然数のうち、それ未満のどの自然数よりも約数が多いもの）や[[階乗]]も含む<ref name="s48">{{harvtxt|Srinivasan|1948}}</ref>。

==プラクティカル数とエジプト式分数==
''n'' がプラクティカル数であれば、任意の有理数 ''m''/''n'' (''m'' < ''n'') は ''n''の異なる約数を ''d<sub>i</sub>'' としたときに、 ∑''d<sub>i</sub>''/''n'' で表せる。それぞれの項は単位分数に約分できるため、 ''m''/''n'' はエジプト式分数で表せる。例えば、
:<math>\frac{13}{20}=\frac{10}{20}+\frac{2}{20}+\frac{1}{20}=\frac12+\frac1{10}+\frac1{20}.</math>

1202年、フィボナッチは『算盤の書』<ref name="sigler"/>において、有理数のエジプト式分数での表現を見つける手法を列挙した。このうち、最初の処理は、その数が単位分数であるかの判別であるが、2つめの処理は、上述のように分母の約数の合計として分子の表現を探索することに対応する。この手法はプラクティカル数である分母に対してのみ成功することが保証されている。フィボナッチは分母として、6, 8, 12, 20, 24, 60, 100を用い、これらについての表を与えた。.

{{harvtxt|Vose|1985}}は任意の数 ''x''/''y'' に対してたかだか<math>\scriptstyle O(\sqrt{\log y})</math> 項でのエジプト式分数の表現が存在することを示した。この証明にはプラクティカル数の列''n''<sub>''i''</sub>を見つける処理が含まれており、''n''<sub>''i''</sub>以下のそれぞれの数に対してたかだか<math>\scriptstyle O(\sqrt{\log n_{i-1}})</math>個の異なる''n''<sub>''i''</sub>の約数が存在することを用いる。ここで、 ''i'' は ''n''<sub>''i'' - 1</sub><''y''≤''n''<sub>''i''</sub>であり、 ''xn<sub>i</sub>'' は ''y''で割ったときに商 ''q'' とあまり ''r'' をもつ。これにより<math>\scriptstyle\frac{x}{y}=\frac{q}{n_i}+\frac{r}{yn_i}</math>となる。それぞれの分子を展開することで、所望のエジプト式分数の表現が得られる。{{harvtxt|Tenenbaum|Yokota|1990}}は異なるプラクティカル数の数列を含んだ似た手法を用い、任意の有理数 ''x''/''y'' がエジプト式分数の表現を持ち、その最大の分母が <math>\scriptstyle O(\frac{y\log^2 y}{\log\log y})</math>であることを示した。

[[孫智偉]]が2015年9月に出した予想によれば、すべての正の有理数は、分母がすべてプラクティカル数であるエジプト式分数の表現を持つ。<ref>[http://maths.nju.edu.cn/~zwsun/UnitFraction.pdf A Conjecture on Unit Fractions Involving Primes]</ref>そしてその証明はデビッド・エップシュタインのブログにある<ref>[https://11011110.github.io/blog/2016/11/20/egyptian-fractions-with.html 0xDE: Egyptian fractions with practical denominators]</ref>。

== 素数とのアナロジー ==
プラクティカル数に興味が集まっている理由の一つに、素数との類似性がある。実際、[[ゴールドバッハの予想]]や[[双子素数の予想]]はプラクティカル数に対しては知られている（すべての偶数は2つのプラクティカル数の和で表せる。''x''-2, ''x'', ''x''+2がすべてプラクティカル数である三つ組みが存在する）<ref>{{harvtxt|Melfi|1996}}</ref>。ギウゼッペ・メルフィはプラクティカル数であるフィボナッチ数が無限に存在することを示した{{OEIS|id=A124105}}。フィボナッチ素数が無限に存在するかはまだ未解決問題である。{{harvtxt|Hausman|Shapiro|1984}}は正の実数''x''に対して、[''x''<sup>2</sup>,(''x''+1)<sup>2</sup>]の範囲に少なくとも一つのプラクティカル数が存在することを示した。これは素数に対する[[ルジャンドル予想]]（未解決）である。

''p''(''x'') を、''x''以下のプラクティカル数の数とする。
{{harvtxt|Margenstern|1991}}は、 ''p''(''x'') は ''cx''/log''x'' に漸近すると予想した（ ''c'' は定数）。この形は[[素数定理]]の素数の個数と似ており、{{harvtxt|Erdős|Loxton|1979}} がプラクティカル数の整数内での濃度が0であることのより強い主張である。
{{harvtxt|Saias|1997}}はその定数について、 ''c''<sub>1</sub> と ''c''<sub>2</sub>を適切に設定することで

:<math>c_1\frac x{\log x}<p(x)<c_2\frac x{\log x}</math>

となることを証明した。

{{harvtxt|Weingartner|2015}} はモルゲンシュタインの予想を以下のように証明した。

:<math>p(x) = \frac{c x}{\log x}\left(1 + O\!\left(\frac{\log \log x}{\log x}\right)\right)</math>

この定数 <math>c</math>は<ref name="wein2019">{{harvtxt|Weingartner|2019}}</ref>によって与えられる。

:<math> c= \frac{1}{1-e^{-\gamma}} \sum_{n \ \text{practical}} \frac{1}{n}  \Biggl( \sum_{p\le \sigma(n)+1}\frac{\log p}{p-1} - \log n\Biggr) \prod_{p\le \sigma(n)+1} \left(1-\frac{1}{p}\right),</math>

ここで、 <math>\gamma</math> は[[オイラー・マスケローニ定数]]であり、 <math>p</math> は素数である。この結果、<math>1.311<c<1.693</math><ref name="wein2019"/>であり、プラクティカル数は素数に比べて31.1% から 69.3% 多いことがわかる。

==脚注==
{{reflist|30em}}

==参考文献==
*{{citation
 | last1 = Erdős | first1 = Paul | author1-link = Paul Erdős
 | last2 = Loxton | first2 = J. H.
 | doi = 10.1017/S144678870001243X
 | journal = Journal of the Australian Mathematical Society (Series A)
 | pages = 319–331
 | issue = 03
 | title = Some problems in partitio numerorum
 | volume = 27
 | year = 1979}}.
*{{citation
 | last = Heyworth | first = M. R.
 | issue = 1
 | journal = New Zealand Math. Mag.
 | pages = 24–28
 | title = More on panarithmic numbers
 | volume = 17
 | year = 1980}}. As cited by {{harvtxt|Margenstern|1991}}.
*{{citation
 | last1 = Hausman | first1 = Miriam | last2 = Shapiro | first2 = Harold N.
 | title = On practical numbers
 | journal = [[Communications on Pure and Applied Mathematics]]
 | volume = 37
 | year = 1984
 | issue = 5
 | pages = 705–713
 | mr = 0752596
 | doi = 10.1002/cpa.3160370507}}.
*{{citation
 | last = Margenstern | first = Maurice
 | issue = 18
 | journal = Comptes Rendus de l'Académie des Sciences, Série I
 | pages = 895–898
 | title = Résultats et conjectures sur les nombres pratiques
 | volume = 299
 | year = 1984}}. As cited by {{harvtxt|Margenstern|1991}}.
*{{citation
 | last = Margenstern | first = Maurice
 | title = Les nombres pratiques: théorie, observations et conjectures
 | journal = [[Journal of Number Theory]]
 | volume = 37
 | year = 1991
 | issue = 1
 | pages = 1–36
 | mr = 1089787
 | doi = 10.1016/S0022-314X(05)80022-8}}.
*{{citation
 | authorlink = Giuseppe Melfi | last = Melfi | first = Giuseppe
 | title = On two conjectures about practical numbers
 | journal = Journal of Number Theory
 | volume = 56
 | year = 1996
 | issue = 1
 | pages = 205–210
 | mr = 1370203
 | doi = 10.1006/jnth.1996.0012}}.
*{{citation
 | last1 = Mitrinović | first1 = Dragoslav S.
 | last2 = Sándor | first2 = József
 | last3 = Crstici | first3 = Borislav
 | contribution = III.50 Practical numbers
 | isbn = 978-0-7923-3823-9
 | pages = 118–119
 | publisher = Kluwer Academic Publishers
 | series = Mathematics and its Applications
 | title = Handbook of number theory, Volume 1
 | volume = 351
 | year = 1996}}.
*{{citation
 | last = Robinson | first = D. F.
 | issue = 2
 | journal = New Zealand Math. Mag.
 | pages = 47–52
 | title = Egyptian fractions via Greek number theory
 | volume = 16
 | year = 1979}}. As cited by {{harvtxt|Margenstern|1991}} and {{harvtxt|Mitrinović|Sándor|Crstici|1996}}.
*{{citation
 | last = Saias | first = Eric
 | title = Entiers à diviseurs denses, I
 | journal = Journal of Number Theory
 | volume = 62
 | issue = 1
 | year = 1997
 | pages = 163–191
 | mr = 1430008
 | doi = 10.1006/jnth.1997.2057}}.
*{{citation
 | title = Fibonacci's Liber Abaci
 | last = Sigler | first = Laurence E. (trans.)
 | publisher = Springer-Verlag
 | year = 2002
 | isbn = 0-387-95419-8
 | pages = 119–121}}.
*{{citation
 | last = Sierpiński | first = Wacław | author-link = Wacław Sierpiński
 | doi = 10.1007/BF02410762
 | issue = 1
 | journal = Annali di Matematica Pura ed Applicata
 | pages = 69–74
 | title = Sur une propriété des nombres naturels
 | volume = 39
 | year = 1955}}.
*{{citation
 | last = Srinivasan | first = A. K.
 | title = Practical numbers
 | journal = [[Current Science]]
 | volume = 17
 | year = 1948
 | pages = 179–180
 | mr = 0027799
 | url = http://www.currentscience.ac.in/Downloads/article_id_017_06_0179_0180_0.pdf}}.
*{{citation
 | last = Stewart | first = B. M. | authorlink = Bonnie Stewart
 | title = Sums of distinct divisors
 | journal = [[American Journal of Mathematics]]
 | volume = 76
 | year = 1954
 | pages = 779–785
 | mr = 0064800
 | doi = 10.2307/2372651
 | jstor = 2372651
 | issue = 4
 | publisher = The Johns Hopkins University Press}}.
*{{citation
 | last1 = Tenenbaum | first1 = G. | author1-link = Gérald Tenenbaum
 | last2 = Yokota | first2 = H.
 | doi = 10.1016/0022-314X(90)90109-5
 | mr = 1057319
 | journal = Journal of Number Theory
 | pages = 150–156
 | issue = 2
 | title = Length and denominators of Egyptian fractions
 | volume = 35
 | year = 1990}}.
*{{citation
 | last = Vose | first = M.
 | doi = 10.1112/blms/17.1.21
 | mr = 0766441
 | journal = [[London Mathematical Society|Bulletin of the London Mathematical Society]]
 | page = 21
 | title = Egyptian fractions
 | issue = 1
 | volume = 17
 | year = 1985}}.
*{{citation
 | last = Weingartner | first = A.
 | issue = 2
 | journal = The Quarterly Journal of Mathematics
 | pages = 743–758
 | title = Practical numbers and the distribution of divisors
 | volume = 66
 | year = 2015
 | doi = 10.1093/qmath/hav006| arxiv = 1405.2585
 }}.
*{{citation
 | last = Weingartner | first = A.
 | journal = Mathematics of Computation
 | pages = 1883-1902
 | title = On the constant factor in several related asymptotic estimates
 | volume = 88
 | year = 2019
 | doi = 10.1090/mcom/3402| arxiv = 1705.06349
 }}.

== 外部リンク ==
*[http://www.dm.unipi.it/gauss-pages/melfi/public_html/pratica.html Tables of practical numbers] compiled by Giuseppe Melfi.
*{{PlanetMath |urlname=PracticalNumber |title=Practical Number}}
*{{Mathworld |urlname=PracticalNumber |title=Practical Number}}

{{Divisor classes}}
[[Category:整数の類]]
[[Category:数学に関する記事]]
{{デフォルトソート:ふらくていかるすう}}