2.1.2 几何归纳法