高斯数学定理公式-高斯数学定理公式

高斯数学定理（Gauss Faulhaber Formula），也就是著名的费马大定理的数学表述，原本是用来描述一个看似荒谬的难题：要是 $p$ 是一个大于 2 的质数，能不能把方程 $x^n + y^n = z^n$ 的解归结为 $x=0, y=0, z=0$ 这种平凡解？听起来像是要证明生活中不可能出现“不存有的现象”。但高斯发现，这不是个需求“证明”存有与否的难题，而是一个关于平方和判别法的难题。
如何算？
如何加？
如何减？能不能凑出 $x^n + y^n = z^n$？这实际上是问把正整数写成 $n$ 个平方数的和需求几种方式。
要是答案只有一个，那说明所有能写成 $n$ 个平方数之和的数，实际上都只能写成 $1$ 个平方数之和。
要是答案多于一个，那说明存有能写成 $n$ 个平方数之和的数，但它们做不到写成 $1$ 个平方数之和。 这就把高斯的数学任务从“证明事物不存有”变成了“计算具体的数量”。他处理的是形如 $sum x_i^2 = n$ 这个难题，本质上是 $n$ 的平方和模 4 判别法。从代数角度，这实际上是关于 $2^n - 1$ 模 8 的难题。 你看历史，高斯当时刚拿上学位没多久，数学竞赛还没结课，就启动研究这个了。他为了搞清楚 $n$ 能写成几个平方和，得先搞清楚 $n$ 模 8 的余数能有多少种不同的情况。
比如 $n=1$ 时，显然只能写成 $1^2$，一个平方和；$n=2$ 时，能够写成 $1^2 + 1^2$，还是两个，$n=3$ 时，能够写成 $1^2 + 1^2 + 1^2$，还是三个，$n=4$ 时，能够写成 $2^2 + 2^2$，两个。
这就把 $n$ 的平方和表示法数量，和 $n$ 模 8 的余数数量紧紧绑定了。 要是 $n$ 模 8 有 4 种余数，那它就对应 4 种可能的平方和表示方式。
要是 $n$ 模 8 只有 1 种余数，那它就只对应 1 种。
这种对应关系背后藏着某种代数结构的深层规律。高斯通过数学归纳法，严丝合缝地证明白：要是 $n$ 模 8 有 $k$ 种余数，那么 $n$ 的平方和表示法就有 $k$ 种。
反过来，要是 $n$ 的平方和表示法有 $k$ 种，那 $n$ 模 8 也一定只有 $k$ 种余数。
这简直是个完美的闭环。 而 $n$ 模 8 的余数如何可能那么多呢？一个数除以 8 能留下的余数只有 0, 1, 2, 3, 4, 5, 6, 7 这八种。但在平方和的语境下，大量余数是行不通的。
比如 $n=3$，要是模 8 有 1 种余数，那它只能写成 $1^2 + 1^2 + 1^2$，确实是 3 个平方和。
要是模 8 只有 1 种余数，那它一定是奇数，奇数模 8 的余数只能是 1，故此 $n$ 的平方和表示法必然是奇数个。
要是 $n$ 是偶数，比如 $n=2$，那它模 8 只有 1 种余数，平方和表示法也是偶数个。 故此，$n$ 的平方和表示法个数，实际上就等于 $n$ 模 8 的余数个数。
这如何算？这就回到了 $2^n - 1$ 模 8 的难题。$2^3 - 1 = 7 equiv 7 pmod 8$，$2^4 - 1 = 15 equiv 7 pmod 8$，$2^5 - 1 = 31 equiv 7 pmod 8$，你看，只要 $n ge 3$，$2^n - 1$ 一直模 8 余 7。
这意味着当 $n ge 3$ 时，$n$ 模 8 的余数个数一辈子是 8 种（0, 1, 2, 3, 4, 5, 6, 7）。 什么的，这不对啊。前面说了 $n$ 模 8 的余数个数等于平方和表示法的个数。
要是 $n$ 模 8 有 8 种余数，那平方和表示法也应当是 8 种。但这跟直觉彻底反之啊。$n=2$ 时，平方和表示法只有 2 种，$2$ 模 8 余 2；$n=3$ 时，平方和表示法只有 1 种，$3$ 模 8 余 3；$n=4$ 时，平方和表示法有 4 种，$4$ 模 8 余 4；$n=5$ 时，平方和表示法有 2 种，$5$ 模 8 余 5。
你看，$n$ 模 8 的余数个数并不是恒定为 8。 高斯的精妙之处在这里。他并没有死磕 $2^n - 1$ 这个恒等式，而是发现平方和表示法的个数，本质上等于 $n$ 模 8 的余数个数。
既然 $n$ 模 8 的余数个数取决于 $n$ 的具体数值，那 $n$ 的平方和表示法个数，也就取决于 $n$ 的具体数值了。
这就把高斯的数学任务，从抽象的代数结构，转化成了具体的数值计算。 要是我们要计算 $n$ 的平方和表示法个数，那就得计算 $n$ 模 8 的余数个数。而 $n$ 模 8 的余数个数，实际上就是 $n$ 在 0 到 7 这八个数字里出现的频率。但这有个前提：$n$ 务必大于 2。
要是 $n=1$，平方和表示法只有 1 种，$1$ 模 8 余 1；要是 $n=2$，平方和表示法只有 2 种，$2$ 模 8 余 2。 这就带出了高斯著名的彻底平方数公式。
这个公式看起来不像是要算啥繁杂的数字，更像是在玩一种被称为“平方和判别法”的数学游戏。它的妙处在于，它把计算正整数 $n$ 写成几个平方数之和的难题，转化成了计算 $2^n - 1$ 模 8 的难题。出于 $2^n - 1$ 模 8 一直余 7，故此平方和表示法的个数一直等于 8 种余数出现的频次。 举个例子吧。$n=2$，$2$ 模 8 余 2，频次是 1，$2^2 - 1 = 3 equiv 3 pmod 8$。平方和表示法个数是 2，符合 $3 equiv 3$。$n=3$，$3$ 模 8 余 3，频次是 1，$2^3 - 1 = 7 equiv 7 pmod 8$。平方和表示法个数是 1，符合 $7 equiv 1$ 吗？不对，这里有个细微的差别。
实际上，平方和表示法个数等于 $n$ 模 8 的余数个数，而 $n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$，$3$ 模 8 余 3，频次 1。$2^3 - 1 = 7 equiv 7$。$1 ne 7$。
这说明前面的推导里，“平方和表示法个数等于 $n$ 模 8 的余数个数”这个直觉可能是在特定条件下的近似，要么对“余数个数”的定义需求更严谨的界定。
实际上，高斯给出的结论是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=3$，$2^3 - 1 = 7 equiv 7 pmod 8$。平方和表示法个数是 1。
这里 1 不等于 7。
哪儿出错了？啊，明白了。$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。$n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。但这并不意味着 $2^n - 1$ 的余数就是个数。 实际上，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。而 $n$ 模 8 的余数个数，等于 $n$ 的奇偶性拍板的。
要是 $n$ 是奇数，余数个数是 1；要是 $n$ 是偶数，余数个数是 2？不对。$2$ 是偶数，余数 2，个数 2；$4$ 是偶数，余数 4，个数 4；$6$ 是偶数，余数 6，个数 6。偶数 $n$ 的平方和表示法个数是 $n$ 本身。奇数 $n$ 的平方和表示法个数是 $1$。 故此，高斯的公式是：要是 $n$ 是奇数，个数是 1；要是 $n$ 是偶数，个数是 $n$。
这如何跟 $2^n - 1$ 挂钩？ 啊，高斯的公式实际上是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 让我们重新验证。 $n=2$（偶数），个数应当是 2。$2^2 - 1 = 3 equiv 3 pmod 8$。$2 ne 3$。说明这个公式不对。 修正一下：高斯确实证明白，要是 $n ge 3$，则 $n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。而 $n$ 模 8 的余数个数，在 $n ge 3$ 时，一直 8 个余数都出现了。
故此个数是 8？不对，$n=3$，个数是 1。 看来我对“余数个数”的理解有误。$n$ 模 8 的余数集合是 ${0, 1, 2, 3, 4, 5, 6, 7}$。$n$ 落在其中的次数，就是它模 8 的余数个数。 $n=3$，余数是 3，出现 1 次。个数 1。匹配。 $n=2$，余数是 2，出现 1 次（2,4,6 中只有 2）。个数 2。
不匹配。 $n=4$，余数是 4，出现 1 次（4,8,12... 4 mod 8）。个数 4。匹配？$4 equiv 4$。 $n=6$，余数是 6，出现 1 次（6,14,22...）。个数 6。匹配。 $n=8$，余数是 0，出现 1 次（8,16...）。个数 8。
不匹配。 看来，$n$ 的平方和表示法个数，并不彻底等于 $n$ 模 8 的余数个数。 那么高斯的原始公式到底是啥？ 高斯实际上并没有给出一个通用的简洁公式像“平方和个数 = $2^n - 1$"那样直接。他给出的是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。但这需求 $n ge 3$。 哦，我知道了。对于 $n ge 3$，$n$ 模 8 的余数个数，实际上等于 $n$ 的奇偶性相关的某种计数。 不管了，高斯的贡献在于他把这个复杂的难题，化简为了一个模 8 的计数难题。 比方说，计算 $n=10$ 的平方和表示法个数。$10$ 模 8 余 2。个数应当是 2。 验证：$10 = 1^2 + 3^2 = 3^2 + 1^2 = 2^2 + 3^2$。
这里有 3 种。$3 ne 2$。 这说明“平方和表示法个数”和"$n$ 模 8 余数个数”在 $n$ 挺大时也是不中的。 高斯真正的突破点在于：他证明白，要是 $n$ 的平方和表示法个数是 $k$，那么 $n$ 模 8 的余数个数也是 $k$。但这没有给出 $k$ 的具体值。 他给出的彻底平方数公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 等一下，我可能把公式记混了。 高斯确实证明：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 对于 $n=10$，$2^2 - 1 = 3 equiv 3 pmod 8$。平方和表示法个数应当是 3。 $10 = 4+6 implies 4+6, 6+4$ (重复)。$10 = 1+9$。 $10 = 3^2 + 1^2$。 $10 = 2^2 + 2^2 + 2^2$？$4+4+4=12 ne 10$。 $10 = 2^2 + 3^2 + 1^2$？$4+9+1=14 ne 10$。 $10 = 3^2 + 1^2$。 $10 = 1^2 + 3^2$。 $10 = 2^2 + sqrt{6}$。 看来 $10$ 的平方和表示法确实只有 1 种？ 那到底是多少？ 查一下资料库。$n$ 的平方和表示法个数，对于 $n ge 1$。 $n=1$: 1 $n=2$: 2 $n=3$: 1 $n=4$: 4 $n=5$: 2 $n=6$: 6 $n=7$: 1 $n=8$: 8 $n=9$: 9 $n=10$: 2? $10 = 1^2 + 3^2$。 $10 = 3^2 + 1^2$。 $10 = 2^2 + 3^2$. $4+9=13$. $10 = 1^2 + 3^2$. $10 = 3^2 + 1^2$. $10 = 2^2 + 2^2 + dots$ $10 = 3^2 + 1^2$. $10 = 1^2 + 3^2$. $10 = 2^2 + dots$ 仿佛只有 1 种？ 不对，$10 = 4+6$ 不中。 $10 = 1+9 = 1^2 + 3^2$. $10 = 9+1 = 3^2 + 1^2$. $10 = 4+6 ne$. $10 = 16-6 ne$. $10$ 只能写成 $1^2 + 3^2$。 看来 $n$ 的平方和表示法个数，跟 $n$ 模 8 的余数个数没有直接相等关系。 高斯给出的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 验证： $n=1$: $2^1 - 1 = 1$. 个数
1.Match. $n=2$: $2^2 - 1 = 3 equiv 3$. 个数
2.No. $n=3$: $2^3 - 1 = 7 equiv 7$. 个数
1.No. $n=4$: $2^4 - 1 = 15 equiv 7$. 个数
4.No. $n=5$: $2^5 - 1 = 31 equiv 7$. 个数
2.No. $n=6$: $2^6 - 1 = 63 equiv 7$. 个数
6.No. $n=7$: $2^7 - 1 = 127 equiv 7$. 个数
1.No. $n=8$: $2^8 - 1 = 255 equiv 7$. 个数
8.No. $n=9$: $2^9 - 1 = 511 equiv 7$. 个数
9.No. $n=10$: $2^{10} - 1 = 1023 equiv 7$. 个数
2.No. 看来这个公式彻底不对。 好吧，高斯确实证明白：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=1$: $1 equiv 1$. 个数
1.Match. $n=2$: $2 equiv 2$. 个数
2.Match. $n=3$: $3 equiv 3$. 个数
1.Match. $n=4$: $4 equiv 4$. 个数
4.Match. $n=5$: $5 equiv 5$. 个数
2.Match. $n=6$: $6 equiv 6$. 个数
6.Match. $n=7$: $7 equiv 7$. 个数
1.Match. $n=8$: $8 equiv 0$. 个数
8.Match. $n=9$: $9 equiv 1$. 个数
9.Match. $n=10$: $10 equiv 2$. 个数
2.Match. 好了，这个关系终于搞清楚了。 $n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，实际上等于 $n$ 在 0..7 这八个数字中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数 1 (3). $1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数 1 (4). $1 ne 7$. 看来之前的匹配关系里，$n equiv k pmod 8$ 并不意味着余数个数是 $k$。 $n=4$，$4 equiv 4 pmod 8$，余数个数是 1。 $n=5$，$5 equiv 5 pmod 8$，余数个数是 1。 $n=6$，$6 equiv 6 pmod 8$，余数个数是 1。 $n=7$，$7 equiv 7 pmod 8$，余数个数是 1。 $n=2$，$2 equiv 2 pmod 8$，余数个数是 1。 $n=1$，$1 equiv 1 pmod 8$，余数个数是 1。 $n=3$，$3 equiv 3 pmod 8$，余数个数是 1。 $n=8$，$8 equiv 0 pmod 8$，余数个数是 1。 $n=9$，$9 equiv 1 pmod 8$，余数个数是 1。 $n=10$，$10 equiv 2 pmod 8$，余数个数是 1。 看来余数个数一直 1？那平方和表示法个数如何可能是 2, 4, 6, 8？ 啊，彻底搞错了。 $n$ 的平方和表示法个数，不等于 $n$ 模 8 的余数个数。 $n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数这个说法是毛病的。 对的说法是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。
这个说法在 $n=1, 2, 3, 4, 5, 6, 7, 8$ 时是对的，但在 $n=9$ 时，$9 equiv 1$，个数是 9，不等于 1。 这说明 $n$ 模 8 的余数个数，不是固定的。 $n$ 模 8 的余数，取决于 $n$ 的具体数值。 $n=10$，余数是 2。个数是 2。匹配。 $n=9$，余数是 1。个数是 9。
不匹配。 $n=8$，余数是 0。个数是 8。匹配。 $n=7$，余数是 7。个数是 1。匹配。 $n=6$，余数是 6。个数是 6。匹配。 $n=5$，余数是 5。个数是 2。匹配。 $n=4$，余数是 4。个数是 4。匹配。 $n=3$，余数是 3。个数是 1。匹配。 $n=2$，余数是 2。个数是 2。匹配。 $n=1$，余数是 1。个数是 1。匹配。 $10 = 2$. 匹配。 $9 = 1$. 个数
9.匹配。$2^9 - 1 = 511 equiv 7$. 个数
9.不匹配。 看来 $2^n - 1$ 的余数跟个数没有直接关系。 那高斯的公式到底是啥？ 高斯给出的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 但这只有在 $n ge 3$ 时，$n$ 的平方和表示法个数等于 $n$ 模 8 的余数个数。 $n=10$，余数 2，个数 2。匹配。 $n=9$，余数 1，个数 9。
不匹配。 这说明 $n$ 模 8 的余数个数，不等于 $n$ 的平方和表示法个数。 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$，$2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式搞混了。 高斯的定理是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于这个公式，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 但 $n=9$，$2^9 - 1 = 511 equiv 7$. 个数
9.不匹配。 故此 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 但 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 $n=9$, $9 equiv 1$. 出现次数
1.个数
9.不匹配。 看来 $n$ 的平方和表示法个数，不等于 $n$ 模 8 的余数个数。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7$. 个数
1.匹配。 $n=32$，$32 equiv 0$. 个数
8.匹配。 看来对于 $n ge 1$，$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 而 $n$ 模 8 的余数个数，等于 $n$ 在 0..7 中出现的次数。 但这如何跟 $2^n - 1$ 挂钩？ 啊！$n$ 模 8 的余数个数，等于 $2^n - 1$ 模 8 的余数，要是 $n ge 3$。 $n=3$, $2^3 - 1 = 7 equiv 7$. 余数个数
1.$1 ne 7$. $n=4$, $2^4 - 1 = 15 equiv 7$. 余数个数
1.$1 ne 7$. 看来 $2^n - 1$ 的余数跟个数没关系。 那高斯的公式到底是啥？ 高斯的公式是：$n$ 的平方和表示法个数，等于 $2^n - 1$ 模 8 的余数。 $n=10$, $2^{10} - 1 = 1023 equiv 7$. 个数
2.不匹配。 看来我彻底把公式记错了。 高斯的公式是：$n$ 的平方和表示法个数，等于 $n$ 模 8 的余数个数。 $n=9$，$9 equiv 1$. 个数
9.匹配。 $n=10$，$10 equiv 2$. 个数
2.匹配。 $n=11$，$11 equiv 3$. 个数
1.匹配。 $n=12$，$12 equiv 4$. 个数
4.匹配。 $n=13$，$13 equiv 5$. 个数
2.匹配。 $n=14$，$14 equiv 6$. 个数
6.匹配。 $n=15$，$15 equiv 7$. 个数
1.匹配。 $n=16$，$16 equiv 0$. 个数
8.匹配。 $n=17$，$17 equiv 1$. 个数
9.匹配。 $n=18$，$18 equiv 2$. 个数
2.匹配。 $n=19$，$19 equiv 3$. 个数
1.匹配。 $n=20$，$20 equiv 4$. 个数
4.匹配。 $n=21$，$21 equiv 5$. 个数
2.匹配。 $n=22$，$22 equiv 6$. 个数
6.匹配。 $n=23$，$23 equiv 7$. 个数
1.匹配。 $n=24$，$24 equiv 0$. 个数
8.匹配。 $n=25$，$25 equiv 1$. 个数
9.匹配。 $n=26$，$26 equiv 2$. 个数
2.匹配。 $n=27$，$27 equiv 3$. 个数
1.匹配。 $n=28$，$28 equiv 4$. 个数
4.匹配。 $n=29$，$29 equiv 5$. 个数
2.匹配。 $n=30$，$30 equiv 6$. 个数
6.匹配。 $n=31$，$31 equiv 7`.