等諧數列

等諧数列，又名調和数列（英文：harmonic sequence 或 harmonic progression），是数列的一种。在等諧数列中，任何相邻两项倒數的差相等，该差值的倒數称为公諧差（common harmonic difference）。

例如数列：

¹/₃ , ¹/₅ , ¹/₇ , ¹/₉ , ¹/₁₁ , ¹/₁₃ , ...

就是一个等諧数列。 在这个数列中，从第二项起，每项与其前一项之公諧差都等于 ¹/₂。

性質

如果一个等諧数列的首项記作 a，公諧差記作 h，那么该等諧数列第 n 项 a_n 的一般項为：

${\displaystyle a_{n}={\frac {1}{{\frac {1}{a}}+{\frac {n-1}{h}}}}}$ 

換句話說，任意一個等諧数列 {a_n} 都可以寫成

${\displaystyle \{a\,,\,\,{\frac {1}{{\frac {1}{a}}+{\frac {1}{h}}}}\,,\,\,{\frac {1}{{\frac {1}{a}}+{\frac {2}{h}}}}\,,\,\cdots \,,\,\,{\frac {1}{{\frac {1}{a}}+{\frac {n-1}{h}}}}\}}$ 

在一個等諧數列中，給定任意兩相連項 a_n+1 和 a_n ，可知公諧差

${\displaystyle h={\frac {1}{{\frac {1}{a_{n+1}}}-{\frac {1}{a_{n}}}}}}$ 

給定任意兩項 a_m 和 a_n ，則有公諧差

${\displaystyle h={\frac {m-n}{{\frac {1}{a_{m}}}-{\frac {1}{a_{n}}}}}}$ 

此外，在一個等諧数列中，選取某一項，該項的前一項與後一項之倒數和，為原來該項倒數的兩倍。舉例來說，${\displaystyle {\frac {1}{a_{1}}}+{\frac {1}{a_{3}}}={\frac {2}{a_{2}}}}$ 。

更一般地說，有：

${\displaystyle {\frac {1}{a_{n-1}}}+{\frac {1}{a_{n+1}}}={\frac {2}{a_{n}}}}$ 

證明如下：

${\displaystyle {\begin{aligned}{\frac {1}{a_{n-1}}}+{\frac {1}{a_{n+1}}}&=\left({\frac {1}{a}}+{\frac {n-2}{h}}\right)+\left({\frac {1}{a}}+{\frac {n}{h}}\right)\\&={\frac {2}{a}}+{\frac {2n-2}{h}}\\&=2\left({\frac {1}{a}}+{\frac {n-1}{h}}\right)\\&={\frac {2}{a_{n}}}\\\end{aligned}}}$ 

證畢。

從另一個角度看，等諧數列中的任意一項，是其前一項和後一項的調和平均：

${\displaystyle a_{n}={\frac {2}{{\frac {1}{a_{n-1}}}+{\frac {1}{a_{n+1}}}}}}$ 

此結果從上面直接可得。

如果有正整數 m, n, p, q，使得 ${\displaystyle m+n=p+q}$ ，那么则有：

${\displaystyle {\frac {1}{a_{m}}}+{\frac {1}{a_{n}}}={\frac {1}{a_{p}}}+{\frac {1}{a_{q}}}}$ 

證明如下：

${\displaystyle {\begin{aligned}{\frac {1}{a_{m}}}+{\frac {1}{a_{n}}}&=\left({\frac {1}{a}}+{\frac {m-1}{h}}\right)+\left({\frac {1}{a}}+{\frac {n-1}{h}}\right)\\&={\frac {2}{a}}+{\frac {m+n-2}{h}}\\&={\frac {2}{a}}+{\frac {p+q-2}{h}}\\&=\left({\frac {1}{a}}+{\frac {p-1}{h}}\right)+\left({\frac {1}{a}}+{\frac {q-1}{h}}\right)\\&={\frac {1}{a_{p}}}+{\frac {1}{a_{q}}}\\\end{aligned}}}$ 

由此可將上面的性質一般化成：

${\displaystyle {\frac {1}{a_{n-k}}}+{\frac {1}{a_{n+k}}}={\frac {2}{a_{n}}}}$ 

${\displaystyle a_{n}={\frac {2}{{\frac {1}{a_{n-k}}}+{\frac {1}{a_{n+k}}}}}}$ 

其中 k 是一個小於 n 的正整數。

給定一個等諧數列 ${\displaystyle \{a_{n}\}}$ ，則有：

• ${\displaystyle \{b\cdot a_{n}\}}$  是一個等諧數列。
• ${\displaystyle \{{\frac {b}{a_{n}}}\}}$  是一個等差數列。

等諧数列和

一個等諧數列的首 n 項之和，稱為等諧数列和（sum of harmonic sequence）或調和級數（harmonic series），記作 S_n。

舉例來說，等諧數列 {¹/₃, ¹/₅, ¹/₇, ¹/₉} 的和是 ¹/₃ + ¹/₅ + ¹/₇ + ¹/₉ = ²⁴⁸/₃₁₅。

等諧數列並沒有簡單的求和公式。但使用以下反常積分，可對數列和以數值積分作估算：

${\displaystyle S_{n}=a\int _{0}^{1}{\left({\frac {1-x^{{\frac {a}{h}}\cdot n}}{1-x^{\frac {a}{h}}}}\right)}\mathrm {d} x}$ 

公式證明如下：

${\displaystyle {\begin{aligned}S_{n}&=a+{\frac {1}{{\frac {1}{a}}+{\frac {1}{h}}}}+{\frac {1}{{\frac {1}{a}}+{\frac {2}{h}}}}+\cdots +{\frac {1}{{\frac {1}{a}}+{\frac {n-1}{h}}}}\\&=a+{\frac {a}{1+{\frac {a}{h}}}}+{\frac {a}{1+{\frac {2a}{h}}}}+\cdots +{\frac {a}{1+{\frac {(n-1)a}{h}}}}\\&=a\left(1+{\frac {1}{{\frac {a}{h}}+1}}+{\frac {1}{{\frac {2a}{h}}+1}}+\cdots +{\frac {1}{{\frac {(n-1)a}{h}}+1}}\right)\\&=a\left[x+{\frac {x^{{\frac {a}{h}}+1}}{{\frac {a}{h}}+1}}+{\frac {x^{{\frac {2a}{h}}+1}}{{\frac {2a}{h}}+1}}+\cdots +{\frac {x^{{\frac {(n-1)a}{h}}+1}}{{\frac {(n-1)a}{h}}+1}}\right]_{x=0}^{x=1}\\&=a\int _{0}^{1}\left(1+x^{\frac {a}{h}}+x^{\frac {2a}{h}}+\cdots +x^{\frac {(n-1)a}{h}}\right)\mathrm {d} x\\&=a\int _{0}^{1}\left({\frac {1-x^{{\frac {a}{h}}\cdot n}}{1-x^{\frac {a}{h}}}}\right)\mathrm {d} x\\\end{aligned}}}$ 

最後一步，使用了等比數列的求和公式。

使用上面的例子，對於數列 {¹/₃, ¹/₅, ¹/₇, ¹/₉} ：

${\displaystyle {\begin{aligned}S_{4}&={\frac {1}{3}}\int _{0}^{1}\left({\frac {1-x^{{\frac {2}{3}}\cdot 4}}{1-x^{\frac {2}{3}}}}\right)\mathrm {d} x\\&={\frac {1}{3}}\int _{0}^{1}\left({\frac {1-x^{\frac {8}{3}}}{1-x^{\frac {2}{3}}}}\right)\mathrm {d} x\\&\approx 0.7873\end{aligned}}}$ 

結果相等。

從這公式中容易看出，等諧級數是發散的。

等諧数列积

一個等諧數列的首 n 項之積，稱為等諧数列積（product of harmonic sequence），記作 P_n。

舉例來說，等諧數列 {¹/₃, ¹/₅, ¹/₇, ¹/₉} 的積是 ¹/₃ × ¹/₅ × ¹/₇ × ¹/₉ = ¹/₉₄₅。

等諧数列積的公式可以Γ函數表示：

${\displaystyle P_{n}=h^{n}\cdot {\frac {\Gamma ({\frac {h}{a}})}{\Gamma ({\frac {h}{a}}+n)}}}$ 

證明如下：

${\displaystyle {\begin{aligned}P_{n}&=a\cdot {\frac {1}{{\frac {1}{a}}+{\frac {1}{h}}}}\cdot {\frac {1}{{\frac {1}{a}}+{\frac {2}{h}}}}\cdot \cdots \cdot {\frac {1}{{\frac {1}{a}}+{\frac {n-1}{h}}}}\\&={\frac {1}{{\frac {1}{h^{n}}}\cdot {\frac {\Gamma ({\frac {h}{a}}+n)}{\Gamma ({\frac {h}{a}})}}}}\\&=h^{n}\cdot {\frac {\Gamma ({\frac {h}{a}})}{\Gamma ({\frac {h}{a}}+n)}}\\\end{aligned}}}$ 

這裡使用了等差數列的求積公式。

使用上面的例子，對於數列 {¹/₃, ¹/₅, ¹/₇, ¹/₉} ：

${\displaystyle {\begin{aligned}P_{4}&={\frac {1}{2^{4}}}\cdot {\frac {\Gamma ({\frac {3}{2}})}{\Gamma ({\frac {3}{2}}+4)}}\\&={\frac {1}{16}}\cdot {\frac {0.88622\dots }{52.342\dots }}\\&={\frac {1}{945}}\\\end{aligned}}}$ 

結果相等。

参见

• 序列
• 數列
• 級數
• 調和級數
• 調和平均
• 等差數列
• 等比數列

参考文献

• Weisstein, Eric W. "Harmonic Series." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/HarmonicSeries.html （页面存档备份，存于互联网档案馆）.
• Yadav, A., Pi, H, G., Mukhopadhyay, S., et al. "Harmonic Progressions." From Brilliant. https://brilliant.org/wiki/harmonic-progression/ （页面存档备份，存于互联网档案馆）.