質問: 二進無限列とはなんですか？

平方数
平方数（へいほうすう、Transclusion error: {{En}} is only for use in File namespace. Use {{lang-en}} or {{en icon}} instead.）とは、自然数の自乗（二乗）で表される整数のことである。正方形の形に点を並べたときにそこに並ぶ点の総数に等しいので、四角数（しかくすう）ともいい、多角数の一種である。最小の平方数として、定義に 02 = 0 を加えることができる。平方数は無数にあり、その列は次のようになる。
（(sequence A290 in the OEIS)）
平方数の列の隣接二項間についての漸化式を考えると、1 から連続する正の奇数の総和は平方数に等しい：




∑

k
=
1


n


(
2
k
−
1
)
=

n

2




{\displaystyle \sum _{k=1}^{n}(2k-1)=n^{2}}





14916
性質
0, 1 以外の平方数は合成数である。
正の約数の個数が奇数である自然数は平方数に限る。特に正の約数の個数が3個である自然数は素数の2乗で表せる。
1 から 2<i>n − 1 までの n 個の奇数の総和は n2 に等しい：




∑

k
=
1


n


(
2
k
−
1
)
=

n

2




{\displaystyle \sum _{k=1}^{n}(2k-1)=n^{2}}


n 番目の平方数 n2 までの総和は 




∑

k
=
1


n



k

2


=


1
6


n
(
n
+
1
)
(
2
n
+
1
)


{\displaystyle \sum _{k=1}^{n}k^{2}={\frac {1}{6}}n(n+1)(2n+1)}

 であり、これは n 番目の四角錐数に等しい。また組合せ記号を用いて n+1C3 + nC3 とも表現できる。
0 を除く平方数の逆数和は 






π

2


6




{\displaystyle {\frac {\pi ^{2}}{6}}}

 に収束する：




∑

k
=
1


∞




1

k

2




=



π

2


6




{\displaystyle \sum _{k=1}^{\infty }{\frac {1}{k^{2}}}={\frac {\pi ^{2}}{6}}}

（→ゼータ関数、バーゼル問題）
連続する平方数 n2 と (n + 1)2 の間に必ず素数があるかは、証明されていない（ルジャンドル予想）。だが、素数であるか2個の素数の積である数が存在することは、1975年に陳景潤によって証明されている。
平方数の列の階差数列は公差 2 の等差数列であり、したがって第二階差数列は定数列 2である。
平方数は連続する2つの三角数の和で表せる。
奇数の平方数の差は8の倍数となる。
奇数の完全数は存在したとしても正の約数の個数が偶数であることが知られている。これより、平方数は完全数にはなりえないと分かる。
フィボナッチ数である平方数は 0, 1, 144 のみである。
三角数である平方数を平方三角数という。その数列は （(sequence A001110 in the OEIS)）
五角数である平方数は （(sequence A036353 in the OEIS)）
ハーシャッド数である平方数は （(sequence A118547 in the OEIS)）
立方数でもある平方数は6乗数 n6 である。（(sequence A001014 in the OEIS)）。約数を7個持つ数は素数を6乗した数のみ。
十の位が奇数の平方数は、一の位が必ず 6 になる。 など。
下2桁が 25 の平方数は、百の位が必ず  のいずれかになる。
144 と 441、169 と 196 と 961、256 と 625、1024 と 2401 のように、数字を並べ替えただけで、別の平方数になるものがある。（(sequence A034289 in the OEIS)）
百、1万、1億、1兆などの数は底が 10（102<i>n = (10n)2 の形）の平方数である。
十進法において、平方数の数字根は 1, 4, 7, 9 のどれかにしかならない。これにより、三進法では三の位が 0 の場合は一の位は 0 または 1 であり、三の位が 1, 2 の場合は一の位が 1 としかならない。
十進法において、平方数の下二桁は 00, 01, 04, 09, 16, 21, 24, 25, 29, 36, 41, 44, 49, 56, 61, 64, 69, 76, 81, 84, 89, 96 の22通りのうちどれかにしかならない。これにより、5 で割った余りも 0, 1, 4 のどれかにしかならないし 10 で割った余りも 0, 1, 4, 5, 6, 9 のどれかにしかならない。
平方数の下桁の数が自分自身と同じになる数については自己同形数を参照。
平方数を二進法表示したとき、二の位は必ず 0 となる。二進法では下2桁は  の4通りであり、それぞれ平方すると  と二の位がいずれも 0 であるため。
n進法表示にしても、121 = 112 (n ≥ 3), 144 = 122, 441 = 212 (n ≥ 5) は成り立つ。
平方数を 3 で割った余りは 0 または 1 である。
平方数による表現
全ての自然数は、高々4個の平方数の和で表される。（→四平方定理）
全ての自然数は、平方数と偶数の平方数と三角数との和で表される。（→多角数定理）
全ての自然数は、平方数と2個の三角数との和で表される。（→多角数定理）
4<i>k + 1 の形の素数は2個の平方数の和で表される。（→二個の平方数の和）
8<i>k + 1, 8<i>k + 3 の形の素数は x2 + 2<i>y2 で表される。（→二個の平方数の和#重みつき平方数の和）
12<i>k + 1, 12<i>k + 7 の形の素数は x2 + 3<i>y2 で表される。（→二個の平方数の和#重みつき平方数の和）
 の形の自然数は高々3個の平方数の和で表される。（→三個の平方数の和）
31個の数を除くすべての自然数は異なる平方数の和で表される。（(sequence A001422 in the OEIS)）
互いに異なり、かついずれも0よりも大きい一対の平方数の「和」と「差」（正に限る）は三辺の長さが整数となる直角三角形の「斜辺」と「隣辺の一方」の長さに応用できる。
一般化
有理数の平方として表される有理数を<b data-parsoid='{"dsr":[5157,5166,3,3]}'>平方数</b>ということもある。さらに一般には、可換体 K の乗法群 K* の部分集合 {x2 | x ∈ K} （直積集合と紛れるおそれのないときにはこれを (K*)2 などと表す）の元を平方数や平方元と呼ぶことがある。主に (K*)2 ≠ K* のときに意味を持つ。
参考文献
Chen, J. R. "On the Distribution of Almost Primes in an Interval." Sci. Sinica 18, 611-627, 1975.
関連項目
図形数
立方数
二重平方数
多角数
三角数
四角錐数
外部リンク