 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2017/prelims/mathematics-i/1/c/solution

Subtracting the first vector from each of the other two preserves the basis property by iii. The resulting family is

e_{1}, (0, α, α^{2})^{T}, (0, β, β^{2})^{T} .

Its last two vectors belong to the plane with first coordinate zero. By b, they are linearly independent there precisely when

α β^{2} - β α^{2} = α β (β - α) \neq = 0.

In that case their two-dimensional span is the whole plane, and adjoining

e_{1}

gives a basis of

R^{3}

. If the displayed expression vanishes, a nontrivial linear relation among those two vectors prevents a basis. Thus

α \neq = 0, β \neq = 0, α \neq = β .

 New to topics? Read the docs here!