efinición (de Olinde Rodrigues): El polinomio de Legendre de grado n se define de la manera siguiente:


Puesto que 
y teniendo en cuenta que la derivada de orden cero de una función es la función misma, resulta que




Teorema 1: Los polinomios de Legendre verifican la relación:

Demostración: Notando
se calcula la derivada de orden
de
utilizando la fórmula de Leibniz:




Resulta que:

Por otra parte,



Igualando los resultados (5) y (6), se obtiene que


Ahora, utilizando las relaciones (1) y (7) y la regla de Leibniz, resulta que:



, es decir,

Al dividir ambas partes de esta última igualdad entre
resulta que


, es decir,
