xの多項式H_nを次の漸化式で定義する。
H_0 = 1
H_1 = 2x
H_(n+1) = 2x*H_n - 2n*H_(n-1)

m≠nのとき
∫[-∞,+∞] (H_n)(H_m)(e^(-xx)) dx
についてどんなことが言えそうか?