二年生の夢

数学において二年生の夢（にねんせいのゆめ、）とは、1697年に数学者ヨハン・ベルヌーイが発見した以下の恒等式(特に1つ目)を指すときの名称として用いられる。
formula_1
この名前は一年生の夢と対照的に付けられた名前である。 一年生の夢とは、誤った等式 を表す語であり、二年生の夢もこれと同じように「出来過ぎた」形をした式となっている。ただし一年生の夢と異なり、二年生の夢は実際に成り立つ式である。
証明.
2つ目の等式を証明する。1つ目の等式も2つ目と同様に証明が可能である。
 の冪級数展開を用いて、被積分関数 を次のように展開する。
formula_2
よって、与式の左辺は以下のように表せる。
formula_3
冪級数の一様収束性より、右辺の積分と総和は以下のように交換できる。
formula_4
ここで、 による次のような置換積分を考える。
formula_5
この右辺の定積分は第二種オイラー積分
formula_6
であるから、次のようになる。
formula_7
ゆえに
formula_8
ベルヌーイによる証明.
元々の証明は において与えられ、のちに現代的な証明が において与えられた。これらの証明の違いは項別積分
formula_9
の計算方法であり、このような（項別積分などの）過程の細かい差異を除けば同じである。上述の証明では置換積分によってガンマ関数を括りだす方法で計算をしているが、当時はまだガンマ関数は知られておらず、ベルヌーイは部分積分を繰り返し適用する方法で計算した。
再帰的な関係を明らかにするため二つの指数をそれぞれ別の文字で表し、次のように部分積分を行う（対数関数の原始関数の一覧を参照）。まず不定積分の計算から始めるが、積分定数 は定積分の計算の際に消えること、および元々の証明においても省略して計算が行われたことより以下省略する。
formula_10
これにより の指数が 減る（）。ここで は整数であるから、これを繰り返すと有限回で の指数が となり、単なる の積分となって終了する。ゆえにこの積分は次のような有限和となる。
formula_11
ただし は下降階乗冪（ポッホハマー記号）である。
ここで とし、どちらも整数であるとする。
formula_12
 から まで積分すると、右辺の和は最後の項を除いてすべて消滅し、次のようになる。
formula_13
現代的な観点から言えば、これは（縮尺の違いを除いて）異なる積分区間で第二種オイラー積分の計算をしているのに等しい。第二種オイラー積分自体も上と似たような手続きで計算することができる。