Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2016/digital-systems-linear-algebra-introduction-to-formal-proof/6/c/solution

Apply to the stated linear combination and use each eigenvector equation:
Subtract times the original relation. This gives
The assumed linear independence implies separately for every . Since the eigenvector is nonzero, not all can vanish. Choose any with ; division by that coefficient gives . In fact every nonzero coefficient is attached to that same eigenvalue.

New to topics? Read the docs here!