圣达地板公司:数列前N项和公式的推理过程.