CompilerTech

摘要： 数学归纳法是一种重要的论证方法。它们通常所说的“数学归纳法”大多是指它的第一种形式而言，本文想从最小数原理出发，对它的第二种形式即第二数学归纳法进行粗略的探讨，旨在加深对数学归纳法的认识。编辑本段原理第二数学归纳法原理是设有一个与自然数n有关的命题，如果： （1）当n＝1时，命题成立； （2）假设当n≤k时命题成立，由此可推得当n＝k+1时，命题也成立。 那么，命题对于一切自然数n来说都成立。编辑本段证明用反证法证明。 假设命题不是对一切自然数都成立。命N表示使命题不成立的自然数所成的集合，显然N非空，于是，由最小数原理N中必有最小数m，那么m≠1，否则将与（1）矛盾。所以m－1是一个自然数。 阅读全文

摘要： 带余除法，定理，定义，简单应用。 阅读全文