勒让德多项式
容易验证，这样定义的连带勒让德多项式能够使得上面的正交关系可以推广到 为负数的情况。