**Required math: calculus**

**Required physics: none**

The Legendre polynomials can be obtained either from an expansion of the simple cosine rule for triangles or from a solution of Legendre’s differential equation. We’ve seen how both these methods work in other posts, but we need to prove that the polynomials obtained in the two cases really are the same. That’s the objective of this post, although on the way we’ll derive a few interesting recurrence relations that relate the polynomials and their derivatives to each other.

The starting point of the derivation of the polynomials from the cosine rule was the Taylor expansion

By taking the derivative with respect to , we get

Multiplying through by and using the earlier equation, we get

We now have two power series in equal to each other, which means each separate power of must be equal, according to the uniqueness of power series. Since appears in the factors multiplying each series, we need to multiply these factors into the series and relabel some of the summation indexes so that each series has a term in .

Extracting the coefficient of from this equation (assuming ), we get

Thus using the starting values of and , we can generate all higher polynomials from this recurrence relation.

Now to the matter of demonstrating that these polynomials are the same as those encountered when solving Legendre’s differential equation. We start with the cosine rule expansion above, and this time take the derivative with respect to :

Again, we multiply through by :

From here, we multiply the factors into the series and redefine the summation indexes in the usual way:

which is valid for .

Shifting the index by 1 gives us a relation in line with that above, which is now valid for :

There are several other recurrence relations that can be derived, but our main goal is to show that satisfies Legendre’s equation, so we’d better focus on that. From the above relation for , we can take the derivative to get:

Adding this to times 1 we get

Cancelling terms gives

Rearranging 1 gives us

Taking (3-2) gives us the relation

where we’ve shifted the index by 1 in the second line. Adding this equation to times 4 we get

Taking the derivative of this equation we get

We now use 4 to substitute for :

which is, finally, Legendre’s equation, as we saw it when we derived the Legendre polynomials as its solutions (except we used instead of as the index). Thus the Legendre polynomials obtained via the cosine rule or via Legendre’s differential equation are the same.