なっていることによる。調和級数の各項は前後の項の調和平均になっており、また調和平均という用語もやはり音楽に由来するものである。外部リンク歴史Edit史実として、調和級数が発散することの最初の証明は14世紀のニコル・オレームによるものだが、これには誤りがあった。後に正しい証明がなされるのは17世紀、ピエトロ・モンゴリ、ヨハン・ベルヌーイ、ヤコブ・ベルヌーイらによってである。歴史的には、調和数列は建築学の観点からの需要があった。バロック時代には、平面図や立面図での均衡をとるために、あるいは教会や宮殿の内装と外装の構造的詳細の調和関係を確立するために用いられた[1]。なるにもかかわらず発散するという意味で、初学者にとっては直観的ではない級数である。収束する数列の無限和が必ずしも有限値に収束するとは限らないことが示される。調和級数が発散することに起因するいくつかの逆理や直観に反する結果が知られている。呼ばれる逆理がある[2]。内容は「1メートルの(無限に伸びることができる)ゴムひもがある。ひもの一端からもう一方の端に向かって芋虫が毎分1センチの速さでひもの上を這うものとする。ゴムひもは1分ごとに(正確には芋虫が1センチ這った直後に)一様に長さが1メートル引き伸ばされる。1分後に芋虫は始点から1センチ這っただけだが、実際は(ゴムひもが引き伸ばされたため)始点から2センチの位置にいることになる。2分後にはそこからさらに1センチしか這っていないにもかかわらず、実際は始点から4.5センチの位置にいる。このようなプロセスを繰り返すとき、芋虫はひもの端まで到達できるだろうか」というものである。答えは、直観に反して「到達できる」である。L_{0}=0}とする)という漸化式で表される。{1}{n}}}となる。1}となるときである。対して上の式は成り立つ。芋虫は端まで到達できることになる。値を極めて大きくする必要がある。分でやっと端に到達できることになる。別な例として「まったく同じドミノの集まりが与えられたとき、それをテーブルの縁に積み上げることができるのは明らかだが、それではテーブルのへりを(どの程度)張り出すように積めるか」というものが挙げられる。この直観的でない結果というのは、「ドミノが十分あれば、いくらでも好きなだけ張り出させることができる」である[3][4]。この事実を証明する方法はよく知られたものがいくつか存在する。比較判定法Edit調和級数の発散性を示す方法の一つは別の発散級数と比較することである。調和級数の各項は、以下の第二の級数の対応する項よりも大きいかさもなくば一致するので、調和級数の和の値は第二の級数よりも大きい。.\end{aligned}}}しかし、第二の級数の値は無限大であるから比較判定法により、調和級数の和も同様に無限大となる。この証明はニコル・オレームによるもので、中世の数学の極みである。現在では、この方法が教科書的な証明の標準的なものとして教えられている。コーシーの判定法はこの方法を一般化したものになっている。積分判定法Edit調和級数の発散をある広義積分との比較によって示すこともできる。これには、調和級数の各項に対応する面積をもつ可算無限個の長方形の集まりを考える。