 Solution

Every positive-energy Dirac spinor obeys $(/p-m)u^s(\mathbf{p})=0$. Therefore the fermion spin sum satisfiesSince ${\bar{u}}^s=u^{s†}{\gamma }^0$ and $({\gamma }^0{)}^2=I$, the trace of each outer product is its contracted scalar. The prescribed normalization and the two spin states yieldNow make exactly the stated polynomial assumption and apply polynomial reduction of a slashed vector. By a, on the mass shell $p^2=m^2$ write $P=A/p+BI$. ThenThe matrices $I$ and $/p$ are linearly independent for a physical nonzero $p$, so $B=mA$. The gamma matrix trace identities, $\mathrm{tr}{\gamma }^0=0$ and $\mathrm{tr}({\gamma }^{\mu }{\gamma }^0)=4{\eta }^{\mu 0}$, giveThus $A=1$ andNo explicit representation of the Dirac spinors has been used. The same reasoning covers $m=0$ provided $p^0>0$.