数学归纳法是我们所学过的关于数学论证的一种行之有效的有利论证工具。然而,一天 我却在网上看到这样的论证: 1、“饭永远吃不饱!”证明如下: n=1时,1粒饭绝对吃不饱,n=1成立 设n=k时成立 n=k+1时,k粒饭吃不饱,多吃一粒也吃不饱的啦,n=k+1成立 所以,对所有自然数n,都有n粒饭吃不饱

 归纳： 数学归纳法与强数学归纳法 运用良序公理来证明  递归： 递归定义 结构归纳法与递归算法

证明数学归纳法和良序原理等价

 归纳  数学归纳法  强数学归纳法  运用良序公理来证明  递归  递归定义  结构归纳法  递归算法

一、数域 二、数域的性质 三、数学归纳法

准对角矩阵称为 Jordan形矩阵,而主对角线上的小块方阵J称为 Jordan块 定理设A是数域K上的n维线性空间V上的线性变换.如果A的特征值全属于K, 则A在V的某组基下的矩阵为 Jordan形,并且在不计 Jordan块的意义下 Jordan形是唯 一的. 证明:对n作数学归纳法

„ 递推方程的定义 „ 递推方程的实例 „ 常系数线性递推方程的求解 „ 常系数线性递推方程定义 „ 公式解法 „ 递推方程在计数问题中的应用 „ 换元法 „ 迭代归纳法--递归树 „ 差消法 „ 尝试法 „ 应用实例

• 逐次降阶计算低阶行列式 • 化成三角形行列式计算 • 利用递推公式或数学归纳法计算 • 利用范德蒙行列式公式计算 • 小结

数学归纳法的公式表示： [P(1) ∧ m(m  1 ∧ P(m) → P(m+1))] →  n P(n) 1、归纳基础：P(1) 2、归纳步骤： m (m  1 ∧ P(m) → P(m+1))

即矩阵乘积的行列式等于它的因子的行列式的乘积 用数学归纳法,定理1可以推广到多个因子的情形,即有 推论1设A1,A2,…A是数域P上的mXn矩阵,于是 1A1A2…AHA1‖A2|…|A 定义6数域P上的n×n矩阵A称为非退化的,如果|A|≠0,否则称为退化