One approach to this is by using Pythagorean Theorem. You fill in the details.
Indeed, suppose that $T \psi \in Im T$. Note that $V = Ker T \oplus Ker T^\bot$. Now write $T \psi = k + k'$ where $k \in Ker T$ and $k' \in Ker T^\bot$. We get that
$$\|k'\|^2 \ge \|T k'\|^2 = \|T k + T k'\|^2 = \|T(T \psi)\|^2 = \|T \psi\|^2 = \|k\|^2 + \|k'^2\|,$$
from which we gather that $k = 0$. Therefore $T \psi \in Ker T^\bot$.
Thus $Im T \subset Ker T^\bot$. On the other hand if $\phi \in Im T^\bot \cap Ker T^\bot$, then one can show that $\phi \in Im T^* \cap Ker T^*$. (Because $Im T^\bot = Ker T^*$.) One can also show that $T^*$ is a projection. Let $\phi = T^* \psi$. Then $T^* \psi = T^* T^* \psi = T^* \phi = 0$. Hence $\phi = 0$. Since $V = Im T \oplus Im T^\bot$, we get that $Ker T^\bot \subset Im T$.
Note that $\|Tx\|=\|x\|$ is the definition of an isometry. Over a finite-dimensional real inner product space, this is equivalent to the matrix of $T$ in an orthonormal basis being "orthogonal", i.e. $A^TA=AA^T=I_n$.
Orthogonal projection means $T^2=T$ and $T^*=T$, i.e. self-adjoint idempotent. The first thing you should remark is that this is equivalent to $T$ being idempotent with $\ker T \perp \mbox{im} T$. Indeed, if $T$ is idempotent, then $T^*$ is idempotent with $\ker T^*=(\mbox{im} T)^\perp$ and $\mbox{im} T^*=(\ker T)^\perp$.
Claim: if $T$ is idempotent and $\|T\|\leq 1$ (i.e. $\|Tx\|\leq \|x\|$ for all $x\in V$), then $T$ is self-adjoint (i.e. $T$ is an orthogonal projection).
Remark: the converse is true since then the orthogonal direct sum $V=\ker T\oplus \mbox{im} T$ yields $\|x+y\|^2=\|x\|^2+\|y\|^2\geq \|y\|^2=\|0+Ty\|^2=\|T(x+y)\|^2$ for all $x\in \ker T$ and all $y\in \mbox{im} T$. Note that all this holds on a general inner product space. No need to assume finite dimension.
Proof: we need to prove that $(x,y)=0$ for every $x\in \ker T$ and every $y\in\mbox{im} T$. Let us take two such vectors, which are characterized by $Tx=0$ and $Ty=y$. Then for every $t\in\mathbb{R}$
$$
t^2\|y\|^2=\|ty\|^2=\|T(x+ty)\|^2\leq \|x+ty\|^2=\|x\|^2+2t\,\mbox{Re}(x,y)+t^2\|y\|^2
$$
whence
$$
\mbox{Re}(x,y)\geq -\frac{\|x\|^2}{2t}\;\forall t>0\qquad\mbox{and}\qquad \mbox{Re}(x,y)\leq -\frac{\|x\|^2}{2t}\;\forall t<0
$$
which implies $\mbox{Re}(x,y)=0$ by letting $t$ tend to $\pm \infty$. In the real case, we are done since $\mbox{Re}(x,y)=(x,y)=0$. In the complex case, take $e^{i\theta}$ such that $|(x,y)|=e^{i\theta}\mbox{Re}(x,y)=\mbox{Re}(x,e^{i\theta}y)$ and apply the above to $x,e^{i\theta}y$ to conclude that $|(x,y)|=0$ whence $(x,y)=0$. QED.
Best Answer
Let $f_{1}=g_{1}+h_{1}$, $f_{2}=g_{2}+h_{2}$ for $g_{1},g_{2}\in W$ and $h_{1},h_{2}\in W^{\perp}$, then \begin{align*} \left<Pf_{1},f_{2}\right>&=\left<g_{1},g_{2}+h_{2}\right>\\ &=\left<g_{1},g_{2}\right>\\ &=\left<g_{1}+h_{1},g_{2}\right>\\ &=\left<f_{1},Pf_{2}\right>. \end{align*}