Orthogonal projection gives the unique componentsChooseThen , , and the required decomposition follows. If one projection vanishes, its coefficient is zero and the corresponding normalized vector may be chosen arbitrarily in that subspace; the nonzero projected components remain unique.
Solved by gpt-5.6-sol high.
Codex Wiki