プラクティカル数

12がプラクティカル数であることの図的説明

数論において、プラクティカル数 (practical number; 実際数) もしくはパナリズミック数 (pan­arithmic number; 汎数的数) とは約数の和でその数より小さな正の整数すべてが表せる自然数である。例えば、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に記載されており、

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年、フィボナッチは算盤の書で、エジプト式分数として有理数を表す問題にプラクティカル数を用いた。フィボナッチはプラクティカル数を正確に定義したわけではないが、フィボナッチはプラクティカル数を分母とする分数のエジプト式分数表現の表を与えた。

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

プラクティカル数は素数と様々な性質で関連付けられている。

プラクティカル数の特徴

プラクティカル数の最初の特徴付けは、テンプレート:Harvtxtによって行われたもので、プラクティカル数は不足が2以上である不足数にはなりえないというものである。不足数とは(自身を除く)約数の和がそれ自身より小さい数であり、ここでは約数の和がそれ自身より2以上小さい数のみを指す。もし n の(1と自身を含む)約数の順序集合を$d_1,d_2,...,d_j$ 、 $d_1=1$ 、 $d_j=n$とすると、スリニヴァサンの特徴付けは以下の不等式に対応する

$2n\le 1+\sum _{i=1}^j{d}_i$.

言い換えると、プラクティカル数のすべての約数を小さい順に並べた$d_1<d_2<...<d_j$はcomplete sub-sequenceである。

この部分的特徴付けは、テンプレート:Harvtxt と テンプレート:Harvtxt により拡張され、素因数分解を用いてある数がプラクティカル数かどうかを判別できることが示された。 1より大きな正の整数を素因数分解し、$n=p_1^{{\alpha }_1}...p_k^{{\alpha }_k}$と表す。ここで、素数は小さい順に$p_1<p_2<\dots <p_k$と並んでいるものとする。このとき、$n$がプラクティカル数であるのは、各素因数$p_i$が十分小さく、$p_i-1$がより小さな約数の和で表せるとき、かつそのときに限る。 これが真であるためには、（1以外の）プラクティカル数の最小の素因数$p_1$は2であり、 i ( 2 〜 k） に対して、次の素数$p_i$は以下の不等式に従わなければならない。

$p_i\le 1+\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},$

ここで、$\sigma (x)$はxの約数の和である。 例えば、2 × 3² × 29 × 823 = 429606について考えると、

3 ≤ σ(2) + 1 = 4

29 ≤ σ(2 × 3²) + 1 = 40

823 ≤ σ(2 × 3² × 29) + 1 = 1171

と不等式を満たすので、429606はプラクティカル数である。

この条件は自然数がプラクティカル数であるための必要十分条件である。$p_i-1$をnの約数の和で表すためにはこの条件が必要であり、数学的帰納法によって十分条件であることもわかる。 より強い条件として、nの 素因数分解が上記の条件を満たすならば、任意の$m\le \sigma (n)$は以下のように n の約数の和で表現できる。

• $q=\min \{\lfloor m/p_k^{{\alpha }_k}\rfloor ,\sigma (n/p_k^{{\alpha }_k})\}$となる qと、$r=m-q{p}_k^{{\sigma }_k}$となる rを用意する
• $q\le \sigma (n/p_k^{{\alpha }_k})$ であり $n/p_k^{{\alpha }_k}$ がプラクティカル数であることより、$n/p_k^{{\alpha }_k}$の約数の和で q を表せる。
• $r\le \sigma (n)-p_k^{{\alpha }_k}\sigma (n/p_k^{{\alpha }_k})=\sigma (n/p_k)$であり、$n/p_k$はプラクティカル数であることから、$n/p_k$の約数の和で r を表せる。
• r を表す約数と、 q を表す約数のそれぞれを$p_k^{{\alpha }_k}$倍すると、 m は n の約数で表せる。

性質

• 奇数のプラクティカル数は1のみである。2以上の奇数は2を約数の和として表せない。さらに、テンプレート:Harvtxtは1と2を除くすべてのプラクティカル数は4または6の倍数であることを示した。
• 2つのプラクティカル数の積はプラクティカル数であるテンプレート:Sfnp。さらに、2つのプラクティカル数の 最小公倍数もプラクティカル数である。つまり、プラクティカル数すべての集合は積について閉じている。
• スチュワートとシェルピンスキーによる上記の性質から、もし n がプラクティカル数であり、 d がその約数であれば、 ndもプラクティカル数である。
• すべてのプラクティカル数からなる集合において、プラクティカル数のプリミティブ集合が存在する。プリミティブプラクティカル数は、平方因子を持たないプラクティカル数か素因数分解の素数の次数が2以上であるような素因数で割った場合にプラクティカル数ではなくなるプラクティカル数である。このようなプリミティブプラクティカル数の数列は テンプレート:OEIS で

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のべき乗はプラクティカル数である。。 2のべき乗は素因数分解により上記の必要条件を満たし、p₁=2も満たす。
• すべての偶数の完全数は、プラクティカル数である。偶数の完全数は 2^n-1(2ⁿ-1)の形である結果から導ける。素因数分解の奇数部分は偶数部分の約数の和である。従って、偶数の完全数はプラクティカル数である。
• すべての素数階乗 (最小のi個の素数の積）はプラクティカル数である。1つめの素数階乗の2と2つめの素数階乗の6はプラクティカル数である。それ以降の素数階乗は素数 p_i と素数階乗の積であり、つまり2と次の最小の素数でp_i-1で割り切れる。ベルトランの仮説により、p_i<2p_i-1が成り立つので、次の素因数は前の素数階乗の約数よりも小さい。同様に、すべての素数階乗はプラクティカル数である性質を満たし、平方因子も含まない。
• 素数階乗を一般化し、最小の k 個の素数の累乗の積もプラクティカル数である。これはシュリニヴァーサ・ラマヌジャンの高度合成数（自然数のうち、それ未満のどの自然数よりも約数が多いもの）や階乗も含む。

プラクティカル数とエジプト式分数

n がプラクティカル数であれば、任意の有理数 m/n (m < n) は nの異なる約数を d_i としたときに、 ∑d_i/n で表せる。それぞれの項は単位分数に約分できるため、 m/n はエジプト式分数で表せる。例えば、

$\frac{13}{20}=\frac{10}{20}+\frac{2}{20}+\frac{1}{20}=\frac{1}{2}+\frac{1}{10}+\frac{1}{20}.$

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

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

孫智偉が2015年9月に出した予想によれば、すべての正の有理数は、分母がすべてプラクティカル数であるエジプト式分数の表現を持つ。そしてその証明はデビッド・エップシュタインのブログにある。

素数とのアナロジー

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

p(x) を、x以下のプラクティカル数の数とする。 テンプレート:Harvtxtは、 p(x) は cx/logx に漸近すると予想した（ c は定数）。この形は素数定理の素数の個数と似ており、テンプレート:Harvtxt がプラクティカル数の整数内での濃度が0であることのより強い主張である。 テンプレート:Harvtxtはその定数について、 c₁ と c₂を適切に設定することで

$c_1\frac{x}{\log x}<p(x)<c_2\frac{x}{\log x}$

となることを証明した。

テンプレート:Harvtxt はモルゲンシュタインの予想を以下のように証明した。

$p(x)=\frac{cx}{\log x}(1+O\left(\frac{\log \log x}{\log x}\right))$

この定数 $c$はによって与えられる。

$c=\frac{1}{1-e^{-\gamma }}\sum _{n\text{practical}}\frac{1}{n}(\sum _{p\le \sigma (n)+1}\frac{\log p}{p-1}-\log n)\prod _{p\le \sigma (n)+1}(1-\frac{1}{p}),$

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

参考文献

• テンプレート:Citation.
• テンプレート:Citation. As cited by テンプレート:Harvtxt.
• テンプレート:Citation.
• テンプレート:Citation. As cited by テンプレート:Harvtxt.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation. As cited by テンプレート:Harvtxt and テンプレート:Harvtxt.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.

外部リンク

• Tables of practical numbers compiled by Giuseppe Melfi.
• テンプレート:PlanetMath
• テンプレート:Mathworld