I think @Alamos already gave a good proof though I think you may still need to verify the condition that $P_1+P_2$ is orthogonal.
A matrix $P$ is an orthogonal projection iff
$$P^T= P, P^2 = P.$$
Since $P_1,P_2$ are orthogonal projection and $P_1P_2=P_2P_1 = 0$, verifying $(P_1+P_2)^2 = P_1+P_2$ and $(P_1+P_2)^T= P_1+P_2$ should not be too hard.
You do only need to show $\forall u\in S_1,v\in S_2, u^Tv =0$. Using the fact that $u = P_1u, v= P_2v$ (Since $P_1,P_2$ projects $\mathbb{R}^m$ on to $S_1,S_2$) and $P_1 P_2= P_1P_2=0$ and compute $u^Tv =(P_1u)^T(P_2v)=u^TP_1^TP_2v=u^TP_1P_2v$. You should be able to get the result.
I found a solution. The theorem is false as stated.
Counterexample. Let $c_1, c_2, c_3$ denote the canonical vectors of $\mathbf{R}^3$ and denote
$$
\begin{array}{rclrcl}
V_1 &= &\langle c_1, c_2 + c_3 \rangle, &W_1 &= &\langle c_2 \rangle, \\
V_2 &= &\langle c_1, c_2 \rangle, &W_2 &= &\langle c_3 \rangle.
\end{array}
$$
Then,
$$
V_1 \cap V_2 = \langle c_1 \rangle, \qquad W_1 + W_2 = \langle c_2, c_3 \rangle.
$$
Notice
$$
\left[\begin{matrix}
x \\ y \\z
\end{matrix}\right] = x c_1 + z (c_2 + c_3) + (y-z) c_2 = x c_1 + y c_2 + z c_3,
$$
therefore
$$
P_1\left[\begin{matrix}
x \\ y \\z
\end{matrix}\right] = x c_1 + z (c_2 + c_3) = \left[\begin{matrix}
x \\ z \\z
\end{matrix}\right],
\qquad
P_2\left[\begin{matrix}
x \\ y \\z
\end{matrix}\right] = x c_1 + y c_2 = \left[\begin{matrix}
x \\ y \\0
\end{matrix}\right]
$$
and
$$
P\left[\begin{matrix}
x \\ y \\z
\end{matrix}\right] = x c_1 = \left[\begin{matrix}
x \\ 0 \\0
\end{matrix}\right].
$$
Then,
$$
P_1P_2\left[\begin{matrix}
x \\ y \\z
\end{matrix}\right] = \left[\begin{matrix}
x \\ 0 \\0
\end{matrix}\right]
=
P\left[\begin{matrix}
x \\ y \\z
\end{matrix}\right],
$$
but
$$
P_2P_1\left[\begin{matrix}
x \\ y \\z
\end{matrix}\right] = \left[\begin{matrix}
x \\ z \\0
\end{matrix}\right].
$$
What is going on? Geometrically, every projector $P_{V \mid W}$ is diagonalisable since it is one times the identity on $V$ and it is zero times the identity on $W.$ A well-known necessary and sufficient condition for two diagonalisable linear functions to commute is that they should be simultaneously diagonalisable. This means that for $P_1$ and $P_2$ to commute, $P_2$ must act as the identy or as zero for every vector in $V_1$ and in $W_1$ and vice versa. The vector spaces $V_i$ and $W_i$ can then be constructed so that the "right cancellations" occur for only $P_1P_2$ to give $P$ but not for $P_2P_1.$ In fact, these considerations gave me a hint to prove a true characterisation.
Theorem. Suppose $\mathbf{R}^d = V_1 \oplus W_1 = V_2 \oplus W_2 =(V_1 \cap V_2) \oplus (W_1 + W_2).$ Let $P_i$ denote the projector onto $V_i$ along $W_i.$ Let $P=P_{V_1 \cap V_2 \mid W_1 + W_2}$ denote the projector onto $V_1 \cap V_2$ along $W_1 + W_2.$ A necessary and sufficient condition for $P = P_1 P_2$ is that $V_2 = (V_2 \cap V_1) \oplus (V_2 \cap W_1).$
Proof. Suppose first $P = P_1 P_2.$ For $x \in V_2$ we have $x = v_1 + w_1$ with $v_1 \in V_1$ and $w_1 \in W_1.$ Since $v_1 = P_1 x = P_1 P_2 x = P x \in V_1 \cap V_2,$ we have $w_1 = x - v_1 \in V_2,$ so $w_1 \in V_2 \cap W_1.$ Therefore, $V_2 = (V_2 \cap V_1) \oplus (V_2 \cap W_1).$ Reciprocally, assume that $V_2$ has the stated decomposition, so $x\in V_2$ can be uniquely written as $x = v + w$ with $v \in V_2 \cap V_1$ and $w \in V_2 \cap W_1.$ This is therefore the unique decomposition of $x \in V_1 \oplus W_1,$ and we see $P_1P_2x = P_1x = v = Px$ (true for all $x \in V_2$). For $x \in W_2,$ we clearly have $P_1P_2 x = P_10 = 0$ and $Px = 0.$ Therefore, $P_1P_2 = P.$ QED
With the previous theorem, it is now obvious that $P = P_1 P_2 = P_2 P_1$ if and only if $V_1 = (V_1 \cap V_2) \oplus (V_1 \cap W_2)$ and $V_2 = (V_2 \cap V_1) \oplus (V_2 \cap W_1).$ In the counterexample above, $V_2 = (V_2 \cap V_1) \oplus (V_2 \cap W_2)$ but $V_1 \neq (V_1 \cap V_2) \oplus (V_1 \cap W_2).$
Best Answer
If $P_1+P_2$ is a projection, then $$ P_1+P_2=(P_1+P_2)^2=P_1+P_2+P_1P_2+P_2P_1. $$ So $P_1P_2+P_2P_1=0$. Multiply on the left by $I-P_1$ to get $(I-P_1)P_2P_1=0$. So $P_2P_1=P_1P_2P_1$, selfadjoint, which then gives $P_1P_2=P_2P_1$. So $2P_1P_2=0$, and $P_1P_2=0$.
If $P_1-P_2$ is a projection, then $$ P_1-P_2=(P_1-P_2)^2=P_1+P_2-P_1P_2-P_2P_1. $$ So $P_1P_2+P_2P_1=2P_2$. Multiply by $I-P_2$ on the right, to get $P_2P_1(I-P_2)=0$. As above, we conclude that $P_2P_1=P_1P_2$. Then $$ 2P_2=P_1P_2+P_2P_1=2P_1P_2, $$ and $P_1P_2=P_2$.