为什么项数为奇数时，仍可用等差数列求和公式？

先给结论一句话版：
等差数列求和公式本身对“n 是奇数还是偶数”没有任何要求，所以 n 为奇数当然也能用。
之所以很多人产生疑惑，是因为课本上常用的“首尾配对”推导看起来好像只适合 n 为偶数的情况。

1. 公式本身是通用的

等差数列：

a_1, a_2, \dots, a_n \quad(\text{公差 } d)

通用求和公式是：

S_n = \frac{n}{2}(a_1 + a_n) = \frac{n}{2}[2a_1 + (n-1)d]

这个公式的推导如果用通项公式 + 求和的方式，根本没有用到 “n 是奇数还是偶数”，所以它对任何正整数 $n$ 都成立。

简单推一遍（完全不靠“配对”）：

\begin{aligned} a_k &= a_1 + (k-1)d \\ S_n &= \sum_{k=1}^{n} a_k = \sum_{k=1}^{n} [a_1 + (k-1)d] \\ &= \sum_{k=1}^{n} a_1 + \sum_{k=1}^{n} (k-1)d \\ &= n a_1 + d \sum_{k=1}^{n} (k-1) \\ &= n a_1 + d \cdot \frac{(n-1)n}{2} \\ &= \frac{n}{2}[2a_1 + (n-1)d] \end{aligned}

这个推导过程对任何正整数 $n$ 都成立，所以结论也对奇数项成立。

很多人学到的是这种推导：

\begin{aligned} S_n &= a_1 + a_2 + \cdots + a_{n-1} + a_n \\ S_n &= a_n + a_{n-1} + \cdots + a_2 + a_1 \\ 2S_n &= (a_1 + a_n) + (a_2 + a_{n-1}) + \cdots \end{aligned}

如果 n 为偶数，比如 n=6，就很好理解：
共有 $n/2$ 个括号，每个括号里都是 $a_1 + a_n$ ，所以

2S_n = \frac{n}{2}(a_1 + a_n) \times 2 = n(a_1 + a_n) \Rightarrow S_n = \frac{n}{2}(a_1 + a_n)

问题是：n 为奇数时，看起来会多出一个“中间项”没法配对。

数列：

a_1, a_2, a_3, a_4, a_5

配对时：

但注意：
这是等差数列，所以中间项 $a_3$ 恰好是首项和末项的平均数：

a_3 = \frac{a_1 + a_5}{2}

于是：

\begin{aligned} S_5 &= (a_1 + a_5) + (a_2 + a_4) + a_3 \\ &= (a_1 + a_5) + (a_1 + a_5) + \frac{a_1 + a_5}{2} \\ &= \left(2 + \frac12\right)(a_1 + a_5) \\ &= \frac{5}{2}(a_1 + a_5) \\ &= \frac{n}{2}(a_1 + a_n) \end{aligned}

又因为等差数列对称性：

a_{m+1} = \frac{a_1 + a_n}{2}

于是：

\begin{aligned} S_n &= m(a_1 + a_n) + a_{m+1} \\ &= \frac{n-1}{2}(a_1 + a_n) + \frac{a_1 + a_n}{2} \\ &= \frac{n}{2}(a_1 + a_n) \end{aligned}

也就是说：
即使 n 是奇数，“中间那个单身狗”本身就等于一对的“平均值”，所以整体仍然可以视作有 n/2 个“首末平均值”。

如果你愿意，我可以再给你出几道“奇数项”的具体例题，带你一起算一遍，把这个概念彻底固牢。