平方数

数学上，平方数，或称完全平方数，是指可以写成某个整数的平方的数，即其平方根为整数的数。例如，9 = 3 × 3，它是一个平方数。

平方数也称正方形数，若 n 为平方数，将 n 个点排成矩形，可以排成一个正方形。

若将平方数概念扩展到有理数，则两个平方数的比仍然是平方数，例如， (2 × 2) / (3 × 3) = 4/9 = 2/3 × 2/3。

若一个整数没有除了 1 之外的平方数为其因數，则称其为无平方数因数的数。

前n個平方數

（OEIS數列A000290）：

0² = 0

1² = 1

2² = 4

3² = 9

4² = 16

5² = 25

6² = 36

7² = 49

8² = 64

9² = 81

10² = 100

11² = 121

12² = 144

13² = 169

14² = 196

15² = 225

16² = 256

17² = 289

18² = 324

19² = 361

20² = 400

21² = 441

22² = 484

23² = 529

24² = 576

25² = 625

26² = 676

27² = 729

28² = 784

29² = 841

30² = 900

31² = 961

32² = 1024

33² = 1089

34² = 1156

35² = 1225

36² = 1296

37² = 1369

38² = 1444

39² = 1521

40² = 1600

41² = 1681

42² = 1764

43² = 1849

44² = 1936

45² = 2025

46² = 2116

47² = 2209

48² = 2304

49² = 2401

50² = 2500

表达式

一个整数是完全平方数当且仅当相同数目的点能够在平面上排成一个正方形的点阵，使得每行每列的点都一样多。

1² = 1
2² = 4
3² = 9
4² = 16
5² = 25

通项公式

对于一个整数 n，它的平方写成 n²。n²等于头 n 个正奇数的和（ $n^{2}=\sum _{k=1}^{n}(2k-1)$ ）。在上图中，从1开始，第 n 个平方数表示为前一个平方数加上第 n 个正奇数，如 5² = 25 = 1 + 3 + 5 + 7 + 9 = 16 + 9。即第五个平方数25等于第四个平方数16加上第五个正奇数：9。

递归公式

每个平方数可以从之前的两个平方数计算得到，递推公式为 $n^{2}=2(n-1)^{2}-(n-2)^{2}+2$ 。例如，2×5² − 4² + 2 = 2×25 − 16 + 2 = 50 − 16 + 2 = 36 = 6²。

连续整数的和

平方数还可以表示成 n² = 1 + 1 + 2 + 2 + ... + n − 1 + n − 1 + n。例如，4² = 16 = 1 + 1 + 2 + 2 + 3 + 3 + 4。可以将其解释为在边长为 3 的矩形上添加宽度为 1 的一行和一列，即得到边长为 4 的矩形。这对于计算较大的数的平方数非常有用。例如， 52² = 50² + 50 + 51 + 51 + 52 = 2500 + 204 = 2704.

性质

一个平方数是两个相邻三角形數之和。两个相邻平方数之和为一个中心正方形數。所有的奇数平方数同时也是中心八边形数。^{[查证请求]}^{[來源請求]}^{[原創研究？]}

四平方和定理說明所有正整数均可表示为最多四个平方数的和。特别的，三个平方数之和不能表示形如 4^k(8m + 7) 的数。若且唯若一个正整数可以表示因數中没有形如 4k + 3 的素数的奇次方，则它可以表示成两个平方数之和。^{[查证请求]}^{[來源請求]}^{[原創研究？]}

在十进制中，平方数只能以 1，4，6，9 或 00 25 结尾。

若一个数以 0 结尾，它的平方数以 0 结尾（除 0 外，其他數字的個位和十位數字都是 0 ），且00前面的數也是平方数（例如：0x0=0、10x10=100）
若一个数以 1 或 9 结尾，它的平方数以 1 结尾，且前面的兩位數字构成的兩位数能被 4 整除（例如：1x1=1、11x11=121；9x9=81、19x19=361）
若一个数以 2 或 8 结尾，它的平方数以 4 结尾，且前面的一位數字為偶数（例如：2x2=4、12x12=144；8x8=64、18x18=324）
若一个数以 3 或 7 结尾，它的平方数以 9 结尾，且前面的兩位數字构成的兩位数能被 4 整除（例如：3x3=9、13x13=169；7x7=49、17x17=289）
若一个数以 4 或 6 结尾，它的平方数以 6 结尾，且前面的一位數字為奇数（例如：4x4=16、14x14=196；6x6=36、16x16=256）
若一个数以 5 结尾，它的平方数以 25 结尾，且前面的一位或两位数字必定为 0，2，06，56 之一，25前面的數是普洛尼克數（例如：5x5=25、15x15=225）

至於為什麼祇能以00、25结尾，可以將該數字除以100。可以發現，n.5若寫成分數形式，則為(2n+1)/2。設2n+1=p，則p與n互質。根據完全平方公式可得，( 2n/2 + 1/2 )^2=n^2 + 1 + 0.25。由於前面均為整數，所以最終結果小數部分必為.25。乘以100后，則最後兩位必為25。

在十二进制中，平方數的末位數必定是平方數（0, 1, 4或9）：^{[查证请求]}^{[來源請求]}^{[原創研究？]}

若一個數同時是2和3的倍數（也就是為6的倍數），它的平方数以 0 结尾，且前面的一位數字為0或3。
若一個數既不是2的倍數也不是3的倍數（也就是與12互質），它的平方数以 1 结尾，且前面的一位數字為偶数。
若一個數是2的倍數但不是3的倍數，它的平方数以 4 结尾，且前面的一位數字除以4的餘數為0或1（也就是說，前一位數為0,1,4,5,8,9）。
若一個數不是2的倍數而是3的倍數，它的平方数以 9 结尾，且前面的一位數字為0或6。

每4个连续的自然数相乘加 1，必定会等於一个平方数，即 $n(n+1)(n+2)(n+3)+1=(n^{2}+3n+1)^{2}=[n+(n+1)^{2}]^{2}$ 。^[1]^[2]^{[註 1]}

平方数必定不是完全数。^{[註 2]}
平方數必定是3的倍數或者3的倍數+1。
平方數必定是4的倍數或者4的倍數+1。
（以上兩者均包括 0 （ 0 倍））

0以外的平方數每一位數數字相加之和，不停重複地相加到剩一位數時必定是 1, 4, 9, 7 。^{[註 3]}

是否在相继正方形数之间存在一个素数这一命题，对9000000以内的数目是正确的。^[3]
除了00以外，平方數末2位數若相同，必為44：如12²=144，38²=1444，62²=3844。
除了000以外，平方數末3位數若相同，必為444：如38²=1444，462²=213444。^[4]
除了0000以外，平方數末4位數不可能相同。
除了0以外，平方數不可能是普洛尼克數。^{[註 4]}。
除了0以外，平方數也不可能是連續若干個（至少兩個）數的積。
除了0，1，144以外，平方數不可能是費波那契數。^[5]

除了1跟4以外，平方數也不可能^{[來源請求]}是盧卡斯數。^{[查证请求]}^{[來源請求]}^{[原創研究？]}
除了0，1，169以外，平方數不可能^{[來源請求]}是佩爾數。^{[查证请求]}^{[來源請求]}^{[原創研究？]}
除了0，1，4，19600以外，平方數不可能是四面體數^[6]^[7]。
除了1跟4900以外，平方數不可能是四角錐數。^{[查证请求]}^{[來源請求]}^{[原創研究？]}
平方數不可能是楔形數。^{[查证请求]}^{[來源請求]}^{[原創研究？]}
平方數是模任何整數的二次剩餘；另外，如果某個整數是模任何整數的二次剩餘，那麼她一定是平方數。^{[查证请求]}^{[來源請求]}^{[原創研究？]}
平方數的正因數總和(含自己)一定是奇數。^{[查证请求]}^{[來源請求]}^{[原創研究？]}
平方數的正因數個數是奇數。^[8]
當 $m\leq 300000$ 時，不定方程 $1^{2}+2^{2}+3^{2}+......+m^{2}=\sum _{k=1}^{m}k^{2}={\color {Red}{\frac {m(m+1)(2m+1)}{6}}=n^{2}}$ 的正整數解(m , n)只有(1 , 1)與(24 , 70)。

註釋

^ 更一般地，任何整數等差數列連續4項之乘積加上公差的4次方必為平方數，亦即a(a+d)(a+2d)(a+3d)+d⁴=(a²+3ad+d²)²。當公差d=1時，即為前述性質。
^ 因為完全数的正因數總和(含自己)必為偶數，但平方數的正因數總和必為奇數。
^ 亦即0以外的平方數必為9的倍數+1, 9的倍數+4, 9的倍數+9, 9的倍數+7 。
^ 因為n與(n+1)差1，所以兩數互質，故若n×(n+1)為平方數，則n與(n+1)也皆為平方數，2個平方數差1，則必為0與1，因此唯一的普洛尼克數兼平方數為0=0×1。

參考資料

^ Sloane, N.J.A. (编). Sequence A062938 (a(n)= n*(n+1)*(n+2)*(n+3)+1 = (n^2 +3*n + 1)^2.). The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
^ Sloane, N.J.A. (编). Sequence A028387. The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
^ 《数论妙趣》267页[美国]阿尔伯特-贝勒著谈祥柏译，上海教育出版社，ISBN 9787532054732。
^ Bernard Schott. Numbers m such that m^2 ends in 444.. 整數數列線上大全. 2019-10-31 [2023-05-27]. （原始内容存档于2023-05-27）.
^ JOHN H. E. COHN. 〈Square Fibonacci Numbers, Etc.〉. Bedford College, University of London, London, N.W.1. [2019-05-12]. （原始内容存档于2012-06-30）. Theorem 3. If F_n = x², then n = 0, ±1, 2 or 12.
^ D. Wells, The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, NY, 1986, 600.
^ D. Wells, The Penguin Dictionary of Curious and Interesting Numbers, p. 165 (Rev. ed. 1997).
^ 郭耀元. 探討完全平方數在數論領域中之研究 (PDF). 私立高英高級工商職業學校. （原始内容 (PDF)存档于2018年1月6日）.

參看

平方
立方數：平方數在立體的推廣
四次方數：平方數在四維空間的推廣
五次方數：平方數在五維空間的推廣
三角形数
三角平方數：同時為三角形數和平方數的數
多邊形數

[3] 更一般地，任何整數等差數列連續4項之乘積加上公差的4次方必為平方數，亦即a(a+d)(a+2d)(a+3d)+d⁴=(a²+3ad+d²)²。當公差d=1時，即為前述性質。

[4] 因為完全数的正因數總和(含自己)必為偶數，但平方數的正因數總和必為奇數。

[5] 亦即0以外的平方數必為9的倍數+1, 9的倍數+4, 9的倍數+9, 9的倍數+7 。

[8] 因為n與(n+1)差1，所以兩數互質，故若n×(n+1)為平方數，則n與(n+1)也皆為平方數，2個平方數差1，則必為0與1，因此唯一的普洛尼克數兼平方數為0=0×1。

[1] Sloane, N.J.A. (编). Sequence A062938 (a(n)= n*(n+1)*(n+2)*(n+3)+1 = (n^2 +3*n + 1)^2.). The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.

[2] Sloane, N.J.A. (编). Sequence A028387. The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.

[6] 《数论妙趣》267页[美国]阿尔伯特-贝勒著谈祥柏译，上海教育出版社，ISBN 9787532054732。

[7] Bernard Schott. Numbers m such that m^2 ends in 444.. 整數數列線上大全. 2019-10-31 [2023-05-27]. （原始内容存档于2023-05-27）.

[9] JOHN H. E. COHN. 〈Square Fibonacci Numbers, Etc.〉. Bedford College, University of London, London, N.W.1. [2019-05-12]. （原始内容存档于2012-06-30）. Theorem 3. If F_n = x², then n = 0, ±1, 2 or 12.

[10] D. Wells, The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, NY, 1986, 600.

[11] D. Wells, The Penguin Dictionary of Curious and Interesting Numbers, p. 165 (Rev. ed. 1997).

[12] 郭耀元. 探討完全平方數在數論領域中之研究 (PDF). 私立高英高級工商職業學校. （原始内容 (PDF)存档于2018年1月6日）.

[1]

[2]

[註 1]

[註 2]

[註 3]

[3]

[4]

[註 4]

[5]

[6]

[7]

[8]