二重平方数のソースを表示

[[算術]]における'''四乗数'''（しじょうすう、よんじょうすう、{{lang-en-short|bi&shy;quadratic number}}; 複平方数{{efn2|別に英語の bi&shy;quadratic という形容は「複二次」ということを強調するものではない。そもそも接頭辞 "quadr-" は "4" を意味するので、quadratic は「4つの」「四次の」という意味のはずだが、四辺形 (square) の面積 "ex quadrem" が「平方」を意味し、それに伴って二次方程式や二次形式などで quadratic が「二次の」という意味で多用される中で、「四次の」を意味するために冗長ながら「二回」を意味する接頭辞 bi- を附した bi&shy;quadratic を使うことになったという事情による {{harv|コンウェイ|ガイ|2001}}。したがって、和訳語としては単に「四乗」を対応させるのが自然であると思われる。}}）あるいは'''二重平方数'''<ref>{{Cite book|和書|title=はじめて読む数学の歴史|author=上垣渉|publisher=ベレ出版|year=2006|page=102|isbn=978-4860641108}}</ref>とは、通常、[[自然数]]の四乗（{{en|fourth power}}）すなわち「[[平方数|平方]]の平方」 ({{en|bi&shy;quadratic}}) 
: {{math2|''n''<sup>4</sup> {{=}} ''n''<sup>3</sup> &times; ''n'' {{=}} ''n'' &times; ''n''<sup>3</sup> {{=}} ''n''<sup>2</sup> &times; ''n''<sup>2</sup> {{=}} ''n'' &times; ''n'' &times; ''n'' &times; ''n''}}
になっているような数 ({{en|forth power of {{mvar|n}}}}) を言う。[[図形数]]として、[[正八胞体|八胞体]]状に積み上げた点の数として表されるため、'''八胞体数'''（はちほうたいすう、{{lang-en-short|''tesseractic number''}}）ともいえる{{efn2|{{harvnb|コンウェイ|ガイ|2001}}}}。これは平方数を「[[四角数]]」、三乗数を「[[立方体数]]」（六面体数）と呼ぶことの延長である。

最小の四乗数は 1<sup>4</sup> = 1 であり、四乗数は無数にある。小さい数から順に列記すると
: [[1]], [[16]], [[81]], [[256]], [[625]], [[1296]], [[2401]], [[4096]], [[6561]], [[10000]], [[14641]], [[20736]], … （{{OEIS|id=A000583}}）
である。

広義では[[有理数]]あるいはより一般の[[環 (数学)|環]]での「数」の四乗を考える場合もあり、その際は四乗元と呼ぶ方が誤解が少ない。

== 性質 ==

四乗数 ''n''<sup>4</sup> は (''n''<sup>2</sup>)<sup>2</sup> と変形されるため全て[[平方数]]である。

一般に ''p'' を素数とすると ''p''<sup>4</sup> は 1, ''p'', ''p''<sup>2</sup>, ''p''<sup>3</sup>, ''p''<sup>4</sup> の5つの約数を持つ。例えば 2<sup>4</sup> の約数は 1(=2<sup>0</sup>), 2(=2<sup>1</sup>), 4(=2<sup>2</sup>), 8(=2<sup>3</sup>), 16(=2<sup>4</sup>) の5つである。逆に、[[約数]]をちょうど5つ持つ自然数は[[素数]]の四乗である。

日本語で用いられる[[10000|一万]]、[[100000000|一億]]、[[1000000000000|一兆]]などの数詞が指す数は 10<sup>4''n''</sup> = (10<sup>''n''</sup>)<sup>4</sup> より全て四乗数である。

四乗数の下2桁は、十進法では 00, 01, 16, 21, 25, 36, 41, 56, 61, 76, 81, 96 の12通りの内いずれかである。一般の記数法については後述する。

''n''番目までの四乗数の[[総和]]は ''S<sub>n</sub>'' =<math>\sum_{k=1}^{n} k^4 =\frac{1}{30}n(n+1)(2n+1)(3n^2+3n-1)</math> である。

四乗数の[[逆数]]の[[総和]]は
<math>\sum_{n=1}^{\infty} \frac{1}{n^4} = \frac{\pi^4}{90}</math>
である。{{See2|[[リーマンゼータ函数]]の特殊値を}}

四乗数の列の第3[[階差数列]]は公差 {{math|24}} の[[等差数列]]であり、第4階差数列は定数列 {{math|24}}である。したがって四乗数の列は4階等差数列である。

全ての自然数は高々19個の四乗数の和で表すことができる。また十分大きな自然数は高々16個の四乗数の和として表すことができる。{{main|[[ウェアリングの問題]]}}

=== 記数法ごとの末尾の特徴 ===
まず、各素数 ''p'' について[[素数冪]] ''p<sup>k</sup>'' (''k''=1,2,3,...)を法として四乗数がとる余りを調べれば、次のことがいえる。これは[[剰余環]] <math>\mathbb{Z}/{p^k \mathbb{Z}}</math> における元の四乗を調べることに等しく、抽象的に <math>\left( \mathbb{Z}/{p^k \mathbb{Z}} \right)^\times</math> の群構造を利用すると見通しがよい。

* 四乗数を16=2<sup>4</sup>で割った余りは0または1に限られる。これより四乗数を[[二進法]]で書いたときの下4桁、四進法での下2桁、八進法・十六進法での下1桁は非常に限られることがわかる。
** なお、32=2<sup>5</sup>で割った余りは、0, 1, 16, 17の4通りに限られる。
* 四乗数を3で割った余りは、0または1に限られる。
** 9=3<sup>2</sup>で割った余りは、0, 1, 4, 7の4通りに限られる（[[三進法]]で書けば 00, 01, 11, 21）。
* 四乗数を5で割った余りは、0または1に限られる。
** 25=5<sup>2</sup>で割った余りは、0, 1, 6, 11, 16, 21の6通りに限られる（[[五進法]]で書けば 00, 01, 11, 21, 31, 41）。
* 7以上の素数でも同様の議論が可能だが、それほどよい絞り込みはできない{{efn2|一般に四乗数を奇素数 ''p'' で割った余りは、''p''{{=}}4''t''+1 ならば ''t''+1 通り、''p''{{=}}4''t''-1 ならば 2''t'' 通りある（''t''は整数）。これは末位の可能性をおよそ1/4ないし1/2に絞り込めているが、この調子で下2桁目以上の考察を行っても芳しくない。}}。

これらを[[中国剰余定理]]を用いて組み合わせることで、合成数を含めた任意の底の位取り記数法における四乗数の末尾の情報が得られる。

;十進法
四乗数の末位は0, 1, 5, 6の4通りに限られる。下2桁は次の12通りに限られる。下3桁は52通り。
*末位が0 ⇒ 下2桁は 00（とくに下4桁は 0000）
*末位が1 ⇒ 下2桁は 01, 21, 41, 61, 81
*末位が5 ⇒ 下2桁は 25（とくに下4桁は 0625）
*末位が6 ⇒ 下2桁は 16, 36, 56, 76, 96

;他の底について
六進法では、末位は0, 1, 3, 4の4通りに限られる。下2桁は00, 01, 04, 13, 21, 24, 41, 44の8通りに限られ、00, 13に関してはそれぞれ下4桁が0000, 1213であることまで確定する。

十二進法では、末位は0, 1, 4, 9の4通り。下2桁は8通り。

十六進法では、末位は0, 1の2通り。下2桁は00, 10 および 01, 11, ..., E1, F1 の合わせて18通り。これは二進法の下4桁と下8桁に相当する。

二十進法では、末位は0, 1, 5, G(=16<sub>10</sub>)の4通り。下2桁は12通り。

六十進法では、末位（便宜上十進数2桁で表記する）は0, 1, 16, 21, 25, 36, 40, 45の8通り。下2桁は48通り。

== 脚注 ==
{{notelist2}}
== 参考文献 ==
* {{Cite book|和書|author1=J.H.コンウェイ|authorlink1=ジョン・ホートン・コンウェイ|author2=R.K.ガイ|title=数の本|translator=根上生也|publisher=シュプリンガー・フェアラーク東京|year=2001|isbn=978-4431707707}}
<references />

== 関連項目 ==
* [[冪乗]]
* [[平方数]]
* [[立方数]]
* [[五乗数]]

== 外部リンク ==
* {{MathWorld|title=Biquadratic Number|urlname=BiquadraticNumber}}
{{Classes of natural numbers}}
 
{{DEFAULTSORT:にしゆうへいほうすう}}
[[category:整数の類]]
[[category:図形数]]
[[Category:数学に関する記事]]