Suppose p0,p1,,pmp_0,p_1,\dots,p_m are polynomials in Pm(F)\mathcal P_m(\mathbf F) such that pj(2)=0p_j(2) = 0 for each jj. Prove that p0,p1,,pmp_0,p_1,\dots,p_m is not linearly indepenent in Pm(F)\mathcal P_m(\mathbf F).


Let U=span(p0,,pm)U = \text{span}(p_0,\dots,p_m). we know dimUm+1\dim U \le m+1

The polynomials 1,(x2),(x2)2,,(x2)m1,(x-2),(x-2)^2,\dots,(x-2)^m are independent in Pm(F)\mathcal P_m(\mathbf F) and span Pm(F)\mathcal P_m(\mathbf F) (proof left to the reader) meaning we can write

pj=a0+a1(x2)++(x2)mp_j = a_0 + a_1(x-2) + \dots + (x-2)^m

We see p(2)=0p(2) = 0 implies a0=0a_0 = 0, thus (x2),,(x2)m(x_2),\dots,(x-2)^m spans the subspace where p(2)=0p(2) = 0, and so by 2.23 p0,,pmp_0,\dots,p_m cannot be linearly independent because it's too long.