首先对于这个式子a2000≤a1+1999 可以知道:a2=a1+1...a3=a2+3类,前提是等号成立再者可以继续使用数学归纳法第一数学归纳法。若 (1) p(m)为真(其中m为某一确定的自然数) (2) p(k)为真蕴含p(k+1)为真(其中k为不小于m的任一自然数) 则对一切不小于m的自然数n,p(n)为真。 第二数学归纳法。如果 (1) p(m)为真(其中m为某一确定的自然数) (2) 对任一不小于m的自然数k,m=后面的同理,两个式子联立,当且仅当等号成立,完事!