 Orthogonal decomposition by a closed subspace

For a closed subspace $F$ of a Hilbert space,The closest point $P_{F}x$ gives the first component, and differentiating $\Vert x-P_{F}x-tu{\Vert }^2$ at zero shows that the remainder is orthogonal to every $u\in F$.