
_START_ARTICLE_
穷举法
_START_SECTION_
证明的美感
_START_PARAGRAPH_
数学家会尽量不用分类数目很多的穷举法, 因为这看上去不优雅. 以下举一个例子来解释何以这样的证明显得不优雅, 这个例子是证明所有现代夏季奥运会的举办年份都能被4整除._NEWLINE_证明: 现代首届夏季奥运会于1896年举办, 然后每4年举办一次(忽略掉因两次世界大战而未能举办的那几届). 因为 1896 = 474 × 4 能被4整除, 下一届奥运会的年份为474 × 4 + 4 = (474 + 1) × 4, 同样能被4整除, 以下类推(这个证明用的是数学归纳法). 命题得证._NEWLINE_这个命题也可用穷举法来证, 即列出所有曾举办过夏季奥运会的年份, 核实其皆能被4整除. 到2016年为止, 夏季奥运会共举办过28次, 所以这是一个分了28种情形的穷举证明. 用到数学归纳法的证明不仅更优雅, 且连带对未来无限多次夏季奥运会都证明了命题; 而用穷举法则需在每次开过夏季奥运会之后再做一次核验.