拉盖尔多项式
The addition formula for Laguerre polynomials: