Legendre polynomials
其中最后一个式子在计算勒让德多项式的积分中较为有用。