很小的时候，曾看到一本数学科普书，其中有一章谈到定理的一般证明和特殊情况下的证明。一般来说，后者会容易些。现在能想到的例子（不是当时书上的）有刚体力学和一般多粒子系统。不可压缩流体和一般的流体力学。但该书指出，例外也是有的。

费马大定理 N=3  的证明，a^3+b^3=c^3对任意整数abc  不成立，用到相当高深的数论知识。但如果把数域从正整数扩展到高斯数，证明就容易的多。书中用了2-3页。

什么是高斯数，当时（小学）不知道，现在还是不知道，只记得  -1的立方根也是高斯数。证明的第一步就是把c^3移到左边变成（-c）^3。

这证明应该很简单，但对一个小学生还是太难。如从上大学算起，我已经找了30年了，无法找到。

有一朋友还给出另一个例子，整数线性规划是一般线性规划的特例，但至今没有系统的方法，而一般线性规划，早就有了标准的单纯形法（Simplex）。