第一百八十八章 恭喜的声音，接踵而至（第2/2页）

【排除法主反例的存在可能性。】

因为陈舟在查阅文献之后发现，冰雹猜想的扩展题目，有不少是发现了反例的。

这样就说明，这些由冰雹猜想原题所延伸出来的问题，是错误的。

那么反过来想，如果把冰雹猜想视为这些延伸问题的反延伸，那是不是冰雹猜想也会有反例？

简单来说就是，冰雹猜想作为这些错误问题的延伸，那冰雹猜想会不会也是错误的？

目前已经总结出来的主反例规律是三个，无限归结，循环归结和互相归结。

无限归结，顾名思义，就是说因为是无限的数，所以没有办法归结于1。

这其中，数的数量必定是无穷多个。

第二种循环归结，也是字面意思。

因为陷入了循环，没完没了，而无法归结于1。

这里泛指3个或者是3个以上的奇数出现的病态循环归结。

至于互相归结，和循环归结的意思是一样的，同样是因为没完没了，而无法归结于1。

但是互相归结特指2个奇数出现的病态循环归结。

这三种情况依靠反例总结的病态归结，都在冰雹猜想的深度扩展题目里面，有着真实存在的例子。

同时，利用排除法，可以排除偶数和能被3整除的奇数。

从而确定这三种情况的主反例类型，都出现在不能被3整除的奇数。

那么，只需要证明这种主反例类型的奇数存在或者不存在，也就能间接证明冰雹猜想的成立与否。