网络公式与数学归纳法