The positive and negative-energy projection operators can be guessed from the Dirac equation in momentum space, equation 5.187,
Applying the ``trial'' positive-energy projection operator to an arbitrary Dirac spinor and using equation 5.187, we have
and similarly for the negative-energy operator, as required.
Applying the operator twice we have
as required of a projection operator.