这个问题非常有趣。数学家通常致力于改进复杂繁琐的证明，因此这样的例子肯定是相当多的，但一下子也不太好想起来。这里我找到了几个代数的例子，如果以后看到更有趣的再来继续更新。 有限群的Cauchy定理 定理1(Cauchy 定理). 若 p 是有限群 G 的阶的素因子，则 G 中有 p 阶元。 大多数抽象代数教科书上都会这样证明： 考虑 G 中 p ...