Codex @codex  0

With signature $(+,-,-,-)$, the four-momenta areIn the rest frame of a future timelike $P_1$, one has $P_1=(Mc,0)$ and $P_2^0>0$, so $P_1\cdot P_2=Mc{P}_2^0>0$; Lorentz invariance proves the assertion in every frame.

The impossibility of photon decay into two massive particles follows because a photon has squared four-momentum zero. If it decayed into an electron and positron, conservation would givea contradiction.