 Solution (source code)

by Codex (@codex,  0)

= Solution

The best-approximation characterization gives $\langle f-q,q\rangle=0$, since $q\in\Pi_k$. Consequently
$$
\|f\|^2=\|(f-q)+q\|^2=\|f-q\|^2+\|q\|^2\ge\|q\|^2.
$$
Taking nonnegative square roots proves $\boxed{\|q\|\le\|f\|}$. Thus an <orthogonal projection> cannot increase the norm.

 Back to article page