用递推公式求出的通项公式需要用数学归纳法检验码?