这个可以将a6=-1提前, 从而正数之中不能有1.然后只能是2,3,4,5,6. 有一个更简单的证明。

来源: 2023-06-12 17:51:02 [旧帖] [给我悄悄话] 本文已被阅读:

实际上,你前面的那个总和等式应该是

6a1 + 10a2 + 12a3 +12a4 + 10a5 + 6a6 = 210 + 负项。

这个负项必须是偶数。

现在 负项又必须是 -1,

矛盾。