错位相减简洁结论(公式化)