This is a beta course, so its structure, chapters, and examples may continue to change.
The Reverse Order Addition Method
The reverse order addition method is the clever technique that young Gauss used to compute 1 + 2 + ⋯ + 100 1+2+\cdots+100 1 + 2 + ⋯ + 100 . This method exploits the symmetry of a sequence, simplifying the computation by adding the sequence in forward and reverse order.
The Principle of the Method
定义
定义是对概念、术语或对象含义的精确描述。理解定义是学习任何知识领域的基础,每个概念都有其明确的定义。
The reverse order addition method For a sequence with symmetry, write it in forward and reverse order and add them, using the fact that a k + a n − k + 1 a_k + a_{n-k+1} a k + a n − k + 1 is constant to simplify the summation.
Basic steps :
Write the forward sum: S n = a 1 + a 2 + a 3 + ⋯ + a n S_n = a_1 + a_2 + a_3 + \cdots + a_n S n = a 1 + a 2 + a 3 + ⋯ + a n
Write the reverse sum: S n = a n + a n − 1 + a n − 2 + ⋯ + a 1 S_n = a_n + a_{n-1} + a_{n-2} + \cdots + a_1 S n = a n + a n − 1 + a n − 2 + ⋯ + a 1
Add the two equations: 2 S n = ( a 1 + a n ) + ( a 2 + a n − 1 ) + ⋯ + ( a n + a 1 ) 2S_n = (a_1 + a_n) + (a_2 + a_{n-1}) + \cdots + (a_n + a_1) 2 S n = ( a 1 + a n ) + ( a 2 + a n − 1 ) + ⋯ + ( a n + a 1 )
If every pair of sums is equal, then 2 S n = n ( a 1 + a n ) 2S_n = n(a_1 + a_n) 2 S n = n ( a 1 + a n )
Applicable Scenarios
The reverse order addition method applies to sequences satisfying the following condition:
Symmetry condition : a k + a n − k + 1 = C a_k + a_{n-k+1} = C a k + a n − k + 1 = C (a constant)
This means that the sums of “first-last pairs” are equal.
Typical examples :
Arithmetic sequences: a k + a n − k + 1 = a 1 + a n a_k + a_{n-k+1} = a_1 + a_n a k + a n − k + 1 = a 1 + a n
Binomial coefficients: C n k + C n n − k = C n k + C n k C_n^k + C_n^{n-k} = C_n^k + C_n^k C n k + C n n − k = C n k + C n k (when k = n − k k = n-k k = n − k )
A Classic Application: Gaussian Summation
The method young Gauss used to compute 1 + 2 + 3 + ⋯ + 100 1+2+3+\cdots+100 1 + 2 + 3 + ⋯ + 100 :
S = 1 + 2 + 3 + ⋯ + 98 + 99 + 100 S = 100 + 99 + 98 + ⋯ + 3 + 2 + 1 2 S = 101 + 101 + 101 + ⋯ + 101 + 101 + 101 ( 100 copies of 101 ) \begin{aligned}
S &= 1 + 2 + 3 + \cdots + 98 + 99 + 100 \\
S &= 100 + 99 + 98 + \cdots + 3 + 2 + 1 \\
\hline
2S &= 101 + 101 + 101 + \cdots + 101 + 101 + 101 \quad (\text{100 copies of 101})
\end{aligned} S S 2 S = 1 + 2 + 3 + ⋯ + 98 + 99 + 100 = 100 + 99 + 98 + ⋯ + 3 + 2 + 1 = 101 + 101 + 101 + ⋯ + 101 + 101 + 101 ( 100 copies of 101 )
2 S = 100 × 101 = 10100 2S = 100 \times 101 = 10100 2 S = 100 × 101 = 10100
S = 5050 S = 5050 S = 5050
This is exactly the derivation of the arithmetic sequence summation formula!
Worked Examples
Example 1: Summing an Arithmetic Sequence
Find the sum: S n = 1 + 3 + 5 + ⋯ + ( 2 n − 1 ) S_n = 1 + 3 + 5 + \cdots + (2n-1) S n = 1 + 3 + 5 + ⋯ + ( 2 n − 1 )
Solution :
S n = 1 + 3 + 5 + ⋯ + ( 2 n − 1 ) S n = ( 2 n − 1 ) + ( 2 n − 3 ) + ( 2 n − 5 ) + ⋯ + 1 2 S n = 2 n + 2 n + 2 n + ⋯ + 2 n ( n copies of 2 n ) \begin{aligned}
S_n &= 1 + 3 + 5 + \cdots + (2n-1) \\
S_n &= (2n-1) + (2n-3) + (2n-5) + \cdots + 1 \\
\hline
2S_n &= 2n + 2n + 2n + \cdots + 2n \quad (\text{$n$ copies of $2n$})
\end{aligned} S n S n 2 S n = 1 + 3 + 5 + ⋯ + ( 2 n − 1 ) = ( 2 n − 1 ) + ( 2 n − 3 ) + ( 2 n − 5 ) + ⋯ + 1 = 2 n + 2 n + 2 n + ⋯ + 2 n ( n copies of 2 n )
2 S n = n × 2 n = 2 n 2 2S_n = n \times 2n = 2n^2 2 S n = n × 2 n = 2 n 2
S n = n 2 S_n = n^2 S n = n 2
Example 2: A Symmetric Sequence
Find the sum: S n = 1 1 + n + 1 1 + n − 1 + ⋯ + 1 1 + 2 + 1 1 + 1 S_n = \frac{1}{1+\sqrt{n}} + \frac{1}{1+\sqrt{n-1}} + \cdots + \frac{1}{1+\sqrt{2}} + \frac{1}{1+\sqrt{1}} S n = 1 + n 1 + 1 + n − 1 1 + ⋯ + 1 + 2 1 + 1 + 1 1
Solution :
Let a k = 1 1 + k a_k = \frac{1}{1+\sqrt{k}} a k = 1 + k 1 . Then:
S n = a n + a n − 1 + ⋯ + a 2 + a 1 S_n = a_n + a_{n-1} + \cdots + a_2 + a_1 S n = a n + a n − 1 + ⋯ + a 2 + a 1
In reverse order:
S n = a 1 + a 2 + ⋯ + a n − 1 + a n S_n = a_1 + a_2 + \cdots + a_{n-1} + a_n S n = a 1 + a 2 + ⋯ + a n − 1 + a n
Observe: is a k + a n − k + 1 a_k + a_{n-k+1} a k + a n − k + 1 a constant?
Actually, this example does not satisfy the simple symmetry condition and requires other methods.
Example 3: Summing Binomial Coefficients
Find the sum: S n = C n 0 + C n 1 + C n 2 + ⋯ + C n n S_n = C_n^0 + C_n^1 + C_n^2 + \cdots + C_n^n S n = C n 0 + C n 1 + C n 2 + ⋯ + C n n
Solution :
Using the binomial coefficient property C n k = C n n − k C_n^k = C_n^{n-k} C n k = C n n − k :
S n = C n 0 + C n 1 + C n 2 + ⋯ + C n n S n = C n n + C n n − 1 + C n n − 2 + ⋯ + C n 0 2 S n = ( C n 0 + C n n ) + ( C n 1 + C n n − 1 ) + ⋯ \begin{aligned}
S_n &= C_n^0 + C_n^1 + C_n^2 + \cdots + C_n^n \\
S_n &= C_n^n + C_n^{n-1} + C_n^{n-2} + \cdots + C_n^0 \\
\hline
2S_n &= (C_n^0 + C_n^n) + (C_n^1 + C_n^{n-1}) + \cdots
\end{aligned} S n S n 2 S n = C n 0 + C n 1 + C n 2 + ⋯ + C n n = C n n + C n n − 1 + C n n − 2 + ⋯ + C n 0 = ( C n 0 + C n n ) + ( C n 1 + C n n − 1 ) + ⋯
But a simpler method is to use the binomial theorem: ( 1 + 1 ) n = 2 n (1+1)^n = 2^n ( 1 + 1 ) n = 2 n
What is the essence of the reverse order addition method? The essence of the reverse order addition method is to eliminate variables by using symmetry .
When the sequence satisfies a k + a n − k + 1 = C a_k + a_{n-k+1} = C a k + a n − k + 1 = C (a constant), after adding the forward and reverse sums, every pair sums to C C C . There are n n n pairs, so 2 S n = n C 2S_n = nC 2 S n = n C .
The cleverness of this method lies in:
Turning complexity into simplicity : converting varying terms into constants
Holistic thinking : handling the whole instead of computing term by term
Symmetric beauty : reflecting the beauty of symmetry in mathematics
This is also why the arithmetic sequence summation formula can be written as S n = n ( a 1 + a n ) 2 S_n = \frac{n(a_1 + a_n)}{2} S n = 2 n ( a 1 + a n ) !
Practice Problems
Exercise 1
Find the sum: S n = 2 + 4 + 6 + ⋯ + 2 n S_n = 2 + 4 + 6 + \cdots + 2n S n = 2 + 4 + 6 + ⋯ + 2 n
Reference Answer (2 个标签)
sequence summation reverse order addition
Idea : use the reverse order addition method.
Detailed steps :
S n = 2 + 4 + 6 + ⋯ + 2 n S n = 2 n + 2 ( n − 1 ) + 2 ( n − 2 ) + ⋯ + 2 2 S n = ( 2 + 2 n ) + ( 4 + 2 n − 2 ) + ⋯ = ( 2 n + 2 ) × n \begin{aligned}
S_n &= 2 + 4 + 6 + \cdots + 2n \\
S_n &= 2n + 2(n-1) + 2(n-2) + \cdots + 2 \\
\hline
2S_n &= (2 + 2n) + (4 + 2n-2) + \cdots = (2n+2) \times n
\end{aligned} S n S n 2 S n = 2 + 4 + 6 + ⋯ + 2 n = 2 n + 2 ( n − 1 ) + 2 ( n − 2 ) + ⋯ + 2 = ( 2 + 2 n ) + ( 4 + 2 n − 2 ) + ⋯ = ( 2 n + 2 ) × n S n = n ( 2 n + 2 ) 2 = n ( n + 1 ) S_n = \frac{n(2n+2)}{2} = n(n+1) S n = 2 n ( 2 n + 2 ) = n ( n + 1 )
Answer : S n = n ( n + 1 ) S_n = n(n+1) S n = n ( n + 1 )
Exercise 2
Find the sum: S = 1 × 2024 + 2 × 2023 + 3 × 2022 + ⋯ + 2024 × 1 S = 1 \times 2024 + 2 \times 2023 + 3 \times 2022 + \cdots + 2024 \times 1 S = 1 × 2024 + 2 × 2023 + 3 × 2022 + ⋯ + 2024 × 1
Reference Answer (2 个标签)
sequence summation reverse order addition
Idea : let a k = k ( 2025 − k ) a_k = k(2025-k) a k = k ( 2025 − k ) and use reverse order addition.
Detailed steps :
S = 1 × 2024 + 2 × 2023 + ⋯ + 2024 × 1 S = 2024 × 1 + 2023 × 2 + ⋯ + 1 × 2024 2 S = ( 1 × 2024 + 2024 × 1 ) + ( 2 × 2023 + 2023 × 2 ) + ⋯ \begin{aligned}
S &= 1 \times 2024 + 2 \times 2023 + \cdots + 2024 \times 1 \\
S &= 2024 \times 1 + 2023 \times 2 + \cdots + 1 \times 2024 \\
\hline
2S &= (1 \times 2024 + 2024 \times 1) + (2 \times 2023 + 2023 \times 2) + \cdots
\end{aligned} S S 2 S = 1 × 2024 + 2 × 2023 + ⋯ + 2024 × 1 = 2024 × 1 + 2023 × 2 + ⋯ + 1 × 2024 = ( 1 × 2024 + 2024 × 1 ) + ( 2 × 2023 + 2023 × 2 ) + ⋯ Each pair: k ( 2025 − k ) + ( 2025 − k ) k = 2 k ( 2025 − k ) k(2025-k) + (2025-k)k = 2k(2025-k) k ( 2025 − k ) + ( 2025 − k ) k = 2 k ( 2025 − k )
2 S = ∑ k = 1 2024 2 k ( 2025 − k ) = 2 ∑ k = 1 2024 k ( 2025 − k ) 2S = \sum_{k=1}^{2024} 2k(2025-k) = 2\sum_{k=1}^{2024} k(2025-k) 2 S = ∑ k = 1 2024 2 k ( 2025 − k ) = 2 ∑ k = 1 2024 k ( 2025 − k )
This would loop around, so let us change the approach:
a k + a 2025 − k = k ( 2025 − k ) + ( 2025 − k ) k = 2 k ( 2025 − k ) a_k + a_{2025-k} = k(2025-k) + (2025-k)k = 2k(2025-k) a k + a 2025 − k = k ( 2025 − k ) + ( 2025 − k ) k = 2 k ( 2025 − k )
In fact, each term is itself symmetric, so:
S = ∑ k = 1 2024 k ( 2025 − k ) = 2025 ∑ k = 1 2024 k − ∑ k = 1 2024 k 2 S = \sum_{k=1}^{2024} k(2025-k) = 2025\sum_{k=1}^{2024} k - \sum_{k=1}^{2024} k^2 S = ∑ k = 1 2024 k ( 2025 − k ) = 2025 ∑ k = 1 2024 k − ∑ k = 1 2024 k 2
= 2025 × 2024 × 2025 2 − 2024 × 2025 × 4049 6 = 2025 \times \frac{2024 \times 2025}{2} - \frac{2024 \times 2025 \times 4049}{6} = 2025 × 2 2024 × 2025 − 6 2024 × 2025 × 4049
= 2024 × 2025 × 2023 3 = \frac{2024 \times 2025 \times 2023}{3} = 3 2024 × 2025 × 2023
Answer : S = 2024 × 2025 × 2023 3 S = \frac{2024 \times 2025 \times 2023}{3} S = 3 2024 × 2025 × 2023
Summary
Symbols Used in This Article
符号 类型 读音/说明 在本文中的含义 S n S_n S n 求和符号 S sub n The sum of the first n n n terms of a sequence a k a_k a k 元素符号 a sub k The k k k th term of a sequence C n k C_n^k C n k 组合数 C n choose k The number of ways to choose k k k elements from n n n
中英对照
中文术语 英文术语 音标 说明 倒序相加法 reverse order addition /rɪˈvɜːs ˈɔːdə əˈdɪʃən/ The summation method of adding forward and reverse orders 对称性 symmetry /ˈsɪmətri/ The relationship between corresponding first and last terms 组合数 binomial coefficient /baɪˈnəʊmiəl ˌkəʊɪˈfɪʃənt/ The binomial coefficient