The Reverse Order Addition Method

The reverse order addition method is the clever technique that young Gauss used to compute 1+2++1001+2+\cdots+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 ak+ank+1a_k + a_{n-k+1} is constant to simplify the summation.

Basic steps:

  1. Write the forward sum: Sn=a1+a2+a3++anS_n = a_1 + a_2 + a_3 + \cdots + a_n
  2. Write the reverse sum: Sn=an+an1+an2++a1S_n = a_n + a_{n-1} + a_{n-2} + \cdots + a_1
  3. Add the two equations: 2Sn=(a1+an)+(a2+an1)++(an+a1)2S_n = (a_1 + a_n) + (a_2 + a_{n-1}) + \cdots + (a_n + a_1)
  4. If every pair of sums is equal, then 2Sn=n(a1+an)2S_n = n(a_1 + a_n)

Applicable Scenarios

The reverse order addition method applies to sequences satisfying the following condition:

Typical examples:

  • Arithmetic sequences: ak+ank+1=a1+ana_k + a_{n-k+1} = a_1 + a_n
  • Binomial coefficients: Cnk+Cnnk=Cnk+CnkC_n^k + C_n^{n-k} = C_n^k + C_n^k (when k=nkk = n-k)

A Classic Application: Gaussian Summation

The method young Gauss used to compute 1+2+3++1001+2+3+\cdots+100:

S=1+2+3++98+99+100S=100+99+98++3+2+12S=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}

2S=100×101=101002S = 100 \times 101 = 10100

S=5050S = 5050

This is exactly the derivation of the arithmetic sequence summation formula!

Worked Examples

Example 1: Summing an Arithmetic Sequence

Find the sum: Sn=1+3+5++(2n1)S_n = 1 + 3 + 5 + \cdots + (2n-1)

Solution:

Sn=1+3+5++(2n1)Sn=(2n1)+(2n3)+(2n5)++12Sn=2n+2n+2n++2n(n copies of 2n)\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}

2Sn=n×2n=2n22S_n = n \times 2n = 2n^2

Sn=n2S_n = n^2

Example 2: A Symmetric Sequence

Find the sum: Sn=11+n+11+n1++11+2+11+1S_n = \frac{1}{1+\sqrt{n}} + \frac{1}{1+\sqrt{n-1}} + \cdots + \frac{1}{1+\sqrt{2}} + \frac{1}{1+\sqrt{1}}

Solution:

Let ak=11+ka_k = \frac{1}{1+\sqrt{k}}. Then:

Sn=an+an1++a2+a1S_n = a_n + a_{n-1} + \cdots + a_2 + a_1

In reverse order:

Sn=a1+a2++an1+anS_n = a_1 + a_2 + \cdots + a_{n-1} + a_n

Observe: is ak+ank+1a_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: Sn=Cn0+Cn1+Cn2++CnnS_n = C_n^0 + C_n^1 + C_n^2 + \cdots + C_n^n

Solution:

Using the binomial coefficient property Cnk=CnnkC_n^k = C_n^{n-k}:

Sn=Cn0+Cn1+Cn2++CnnSn=Cnn+Cnn1+Cnn2++Cn02Sn=(Cn0+Cnn)+(Cn1+Cnn1)+\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}

But a simpler method is to use the binomial theorem: (1+1)n=2n(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 ak+ank+1=Ca_k + a_{n-k+1} = C (a constant), after adding the forward and reverse sums, every pair sums to CC. There are nn pairs, so 2Sn=nC2S_n = nC.

The cleverness of this method lies in:

  1. Turning complexity into simplicity: converting varying terms into constants
  2. Holistic thinking: handling the whole instead of computing term by term
  3. Symmetric beauty: reflecting the beauty of symmetry in mathematics

This is also why the arithmetic sequence summation formula can be written as Sn=n(a1+an)2S_n = \frac{n(a_1 + a_n)}{2}!

Practice Problems

Exercise 1

Find the sum: Sn=2+4+6++2nS_n = 2 + 4 + 6 + \cdots + 2n

Reference Answer(2 个标签)
sequence summationreverse order addition

Idea: use the reverse order addition method.

Detailed steps:

Sn=2+4+6++2nSn=2n+2(n1)+2(n2)++22Sn=(2+2n)+(4+2n2)+=(2n+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}

Sn=n(2n+2)2=n(n+1)S_n = \frac{n(2n+2)}{2} = n(n+1)

Answer: Sn=n(n+1)S_n = n(n+1)

Exercise 2

Find the sum: S=1×2024+2×2023+3×2022++2024×1S = 1 \times 2024 + 2 \times 2023 + 3 \times 2022 + \cdots + 2024 \times 1

Reference Answer(2 个标签)
sequence summationreverse order addition

Idea: let ak=k(2025k)a_k = k(2025-k) and use reverse order addition.

Detailed steps:

S=1×2024+2×2023++2024×1S=2024×1+2023×2++1×20242S=(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}

Each pair: k(2025k)+(2025k)k=2k(2025k)k(2025-k) + (2025-k)k = 2k(2025-k)

2S=k=120242k(2025k)=2k=12024k(2025k)2S = \sum_{k=1}^{2024} 2k(2025-k) = 2\sum_{k=1}^{2024} k(2025-k)

This would loop around, so let us change the approach:

ak+a2025k=k(2025k)+(2025k)k=2k(2025k)a_k + a_{2025-k} = k(2025-k) + (2025-k)k = 2k(2025-k)

In fact, each term is itself symmetric, so:

S=k=12024k(2025k)=2025k=12024kk=12024k2S = \sum_{k=1}^{2024} k(2025-k) = 2025\sum_{k=1}^{2024} k - \sum_{k=1}^{2024} k^2

=2025×2024×202522024×2025×40496= 2025 \times \frac{2024 \times 2025}{2} - \frac{2024 \times 2025 \times 4049}{6}

=2024×2025×20233= \frac{2024 \times 2025 \times 2023}{3}

Answer: S=2024×2025×20233S = \frac{2024 \times 2025 \times 2023}{3}


Summary

Symbols Used in This Article

符号类型读音/说明在本文中的含义
SnS_n求和符号S sub nThe sum of the first nn terms of a sequence
aka_k元素符号a sub kThe kkth term of a sequence
CnkC_n^k组合数C n choose kThe number of ways to choose kk elements from nn

中英对照

中文术语英文术语音标说明
倒序相加法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