展开 数学归纳法属于直接证明还是间接证明