原来那个证明中还有一个BUG。

“20的连续表达不能包含这个负整数，它必定是a1或a6。”

20的连续表达不能包含这个负整数是对的。因为如果负项包含在20的表达式中，它一定不是6项和。加上一项将得到一个大于20的表达。但是，这个并不能直结推出负项一定是首尾。比如，有没有可能 a1 + a2 + a3 + a4 = 20 a5 负，a6 正。

负项必须是a1 或 a6 在后面推出负项为-1时很关键。

准备总结一个最简证明。发上来后发现这个BUG。所以删了。

加油。

所有跟帖： 

• 这个简单a5负，或者a5, a5+a6双不正，或者六数总和不小于20 -15少- ♂ (0 bytes) () 06/13/2023 postreply 03:57:32

• 再来。如果五正数中有1，则可以由四个表达19，a6=-1不是必然。 -wxcfan123- ♂ (0 bytes) () 06/13/2023 postreply 09:35:38

• 当然不是必然，总之是多少都不行。 -15少- ♂ (114 bytes) () 06/13/2023 postreply 13:49:22