 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ib/paper-3/17b/c/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

For each node

x_{i}^{(n)}

, let

ℓ_{i} (x) = \prod_{j \neq = i} \frac{x - x _{j}^{(n)}}{x _{i}^{(n)} - x _{j}^{(n)}}

n

and satisfies

ℓ_{i} (x_{j}^{(n)}) = δ_{ij}

. Since

ℓ_{i}^{2} \in P_{2 n}

, exactness gives

a_{i}^{(n)} = I_{n} (ℓ_{i}^{2}) = I (ℓ_{i}^{2}) = \int_{a}^{b} ℓ_{i} (x)^{2} w (x) d x .

The integrand is nonnegative and is positive except at finitely many points, so

a_{i}^{(n)} > 0 .

 New to topics? Read the docs here!