分数裂项公式推导过程