归纳法的应用