By definition, is the set of all x that can be written as a linear combination of . So if and only if for some . I believe all you need to show is how to derive a_k.

where the last equality holds because is 1 if j = k and 0 otherwise since is an orthonormal sequence.