Legendre polynomials
ルジャンドル多項式がルジャンドルの微分方程式を満たすことは、恒等式