タウ数のソースを表示

{{暫定記事名|date=2022-01}}
{{混同|[[τ (数学定数)|数学定数のタウ]]}}
[[ファイル:Refactorable_number_Cuisenaire_rods_12.png|サムネイル|{{仮リンク|クイゼネール・ロッド|en|Cuisenaire rods}}による、1、2、8、9、および12がタウ数であることの例示]]
'''タウ数'''（タウすう、 {{定訳なし|en|Refactorable number}}) とは、[[約数]]の個数で割り切れるような整数、すなわち、{{Math|τ(''n'') {{!}} ''n''}} を満たす自然数 {{Mvar|n}} である ({{Math|τ(''n'')}} は[[約数関数]]の一種で、{{Mvar|n}} の約数の個数を返す関数)。例えば、18は6個の約数 (1, 2, 3, 6, 9, 18) を持ち、さらに18は約数の個数6で割り切れるためrefactorableである。

タウ数を小さいものから並べると{{数列|indent=1|oeis=A033950|1|2|8|9|12|18|24|36|40}}となる。
== 歴史 ==
タウ数は約数関数 {{Math|τ(''n'')}} に関連して研究され、例えばクラウディア・スピロ{{Small|&nbsp;(Claudia Spiro)&nbsp;}}は与えられた数より小さいタウ数の個数や、関連した集合の個数についていくつか上界を与えている<ref name=":0" />。

1982年のスピロの論文では特に名称などは与えられておらず、1990年にカーティス・クーパー{{Enlink|Curtis Cooper (mathematician)|Curtis Cooper}}とロバート・E・ケネディ{{Small|&nbsp;(Robert E. Kennedy)&nbsp;}}によってタウ数と命名され、その後サイモン・コルトン{{Enlink|Simon Colton}}によって、[[コンピュータープログラム]]によって発見された数列として<ref name=":1">{{Cite journal|author=Simon Colton|year=1999|title=Refactorable Numbers - A Machine Invention|url=https://cs.uwaterloo.ca/journals/JIS/colton/joisol.html|journal=Journal of Integer Sequences|volume=2|accessdate=2022-01-20}}</ref>再発見された<ref name=":2" />。“Refactorable number” の名称はコルトンによるものである。

コルトンが行ったタウ数の基本的な性質についての予想は、そのうちいくつかはジョシュア・ゼリンスキー{{Small|&nbsp;(Joshua Zelinsky)&nbsp;}}によって証明された<ref name=":2" />。ゼリンスキーはタウ数およびタウ数の類似について数多くの定理と予想を示している。

== 性質 ==

=== 存在性 ===
タウ数は無限に存在し、複数の方法でタウ数の無限列 (または無限集合) を得ることができる：

* 素数 {{Mvar|p}} に対して {{Math|''p''<sup>''p''-1</sup>}}となる数 ({{数列|oeis=A036878|short=1|2|9|625|117649}})
* {{Mvar|n}} の素因数分解を <math>p_1^{m_1}\cdots p_k^{m_k}</math>としたとき、<math>p_1^{p_1^{m_1}-1}\cdots p_k^{p_k^{m_k}-1}</math>で表される数 ({{数列|oeis=A036879|short=1|1|2|9|8|625|18|117649|128}})
* 任意の奇素数 {{Mvar|p}} に対して {{Math|8''p''}} ({{数列|24|40|56|88|104}})
* 任意の相異なる3より大きい素数 {{Math|''p'', ''q''}} に対して {{Math|36 ''pq''}} ({{数列|1260|1980|2340|2772}})

奇数のタウ数は全て平方数である。そのような数を小さい順に並べると{{数列|indent=1|oeis=A036896|1|9|225|441|625|1089}}となる。

=== 間隔 ===
任意の連続した3つの整数がすべてタウ数となることはない。これはコルトンによって予想され、ゼリンスキーによってより強い形の命題が証明された。

* もし {{Mvar|n}} および {{Math|''n''+1}} がいずれもタウ数かつ {{Mvar|n}} が奇数であるならば、{{Math|1=''n''=1}} が成り立つ。

=== タウ数の個数 ===
正整数 {{Mvar|n}} に対して、{{Mvar|n}} 以下のタウ数の個数を {{Math|''T''(''n'')}} で表す。このとき、{{Math|''T''(''n'')}} と[[素数計数関数]] {{Math|π(''n'')}} の間に以下の関係が成り立つ：

* 任意の実数 (正実数としてよい) {{Mvar|k}} に対して、{{Mvar|n}} が十分大きいならば {{Math|''T''(''n'') > ''k''π(''n'')}} が成り立つ<ref name=":2">{{Cite journal|author=Joshua Zelinsky|year=2002|title=Tau Numbers: A Partial Proof of a Conjecture and Other Results|url=https://cs.uwaterloo.ca/journals/JIS/VOL5/Zelinsky/zelinsky9.html|journal=Journal of Integer Sequences|volume=5|issue=2|accessdate=2022-01-20}}</ref>。

ゼリンスキーによって証明されたこの定理は、コルトンが {{Math|1=''k'' = <sup>1</sup>/<sub>2</sub>}} について予想したものについて、部分的に証明したものである。ゼリンスキーは {{Math|1=''k'' = <sup>1</sup>/<sub>2</sub>}} の場合について、反例の上限が {{Val|7.42|e=13}}となることも示している。

クラウディア・スピロは {{Math|''T''(''n'')}} に対して、漸近的な近似値として<math display="block">T(n)=\frac{n}{\sqrt{\log{n}}(\log{\log{n}})^{1+o(1)}}</math>を与えた<ref name=":0">{{Cite journal|last=Spiro|first=Claudia|date=1985-08-01|title=How often is the number of divisors of n a divisor of n?|url=https://www.sciencedirect.com/science/article/pii/0022314X85900125|journal=Journal of Number Theory|volume=21|issue=1|pages=81–100|language=en|doi=10.1016/0022-314X(85)90012-5|issn=0022-314X}}</ref>。ただしここで {{Math|''o''(1)}} は[[ランダウの記号#その他の漸近記法|''o''記法]]である。すなわち、ある関数 {{Math|ε(''n'')}} が存在して<math display="block">T(n)=\frac{n}{\sqrt{\log{n}}(\log{\log{n}})^{1+\varepsilon(n)}}</math>であり、{{Math|ε(''n'')}} は任意の正定数 {{Mvar|K}} について、十分大きい {{Mvar|n}} に対して {{Math|{{!}} ε(''n'') {{!}} < ''K''}} が成り立つ。

=== その他 ===

* 全ての[[完全数]]はタウ数とならない<ref name=":1" />。

* [[ゴールドバッハの予想|ゴールドバッハ予想]]に関連して、次の事実が言える：
** 弱いゴールドバッハ予想が真ならば、任意の正整数は6個かそれ以下のタウ数の和として表せる。
** 強いゴールドバッハ予想が真ならば、任意の正整数は5個かそれ以下のタウ数の和として表せる。
* タウ数の{{仮リンク|自然密度|en|Natural density}}は0である<ref>{{Cite journal|last=Kennedy|first=Robert E.|last2=Cooper|first2=Curtis N.|date=1990|title=Tau numbers, natural density, and Hardy and Wright's theorem 437|url=https://www.hindawi.com/journals/ijmms/1990/717323/|journal=International Journal of Mathematics and Mathematical Sciences|volume=13|issue=2|pages=383–386|language=en|doi=10.1155/S0161171290000576|issn=0161-1712}}</ref>。

== 関連項目 ==

* [[:en:HR (software)]]

== 参考文献 ==
<references />

{{Divisor classes}}
{{DEFAULTSORT:たうすう}}
[[Category:整数の類]]
[[Category:数学に関する記事]]