助教你好,最近做证明题有一些问题,不知道能否为我解答?谢谢!
(i) 为什么数学归纳法是正确的?
(ii) 数学归纳法使用上有两种:
Type A 当 n= c1,c2 时,叙述成立 (先试几个实例)
假设 n= k 时,叙述成立
推到 n= k+1 叙述亦成立,则 对于所有c1,c2以上的正整数 叙述都成立
Type B 当 n= c1,c2 时,叙述成立 (先试几个实例)
假设 n<= k-1 时,叙述成立
推到 n= k 叙述亦成立,则 对于所有c1,c2以上的实数 叙述都成立
这两种分别是离散型和连续型的数学归纳法,两种证明方式都是正确的吗?