Linear Combination of Orthogonal Polynomials

linear algebranumerical linear algebrapolynomials

I am currently taking a Numerical Linear Algebra course where orthogonal polynomials is the current topic being discussed.

At some point regarding the aforementioned topic, the author wrote something which i cant seem to figure out why it should be true:

"Any polynomial with degree $m$ can be written as a linear combination of the first (m + 1) orthogonal polynomials $p_{0}, p_{1}, \ldots, p_{m}$"

Where orthogonal polynomials are the ones for which the following relation holds:

\begin{equation}
\left(\mathrm{p}_{\mathrm{k}} \mid \mathrm{p}_{\ell}\right)=0 \quad \mathrm{k} \neq \ell
\end{equation}

where $\mathrm{p}_{\mathrm{k}}(\mathrm{x})=\mathrm{c}_{\mathrm{k}} \mathrm{x}^{\mathrm{k}}+\mathrm{c}_{\mathrm{k}-1} \mathrm{x}^{\mathrm{k}-1}+\ldots+\mathrm{c}_{1} \mathrm{x}+\mathrm{c}_{0}$
and $\left(p_{k} \mid p_{\ell}\right)$ expresses the inner product between polynomials $p_{k}$ and $p_{\ell}$.

Can someone help me? The author did not mention any theorem or proposition for further justifications. I did find some solved examples at Burden & Faires Numerical Analysis book but i guess i am not gonna be fully satisfied until i can prove it or read a full proof.

Thanks in advance!

Best Answer

A proof uses linear algebra. Orthogonality implies the polynomials in a basis are linearly independent. To see this more clearly, the inner product of a finite sum of orthogonal polynomials $\sum_{k=0}^m a_k p_k$ and a $p_i$ where $0 \leq i \leq m$ is a $c a_i$ for a constant $c$.