数学归纳法证明等式问题