Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-49/2/a/solution

The Pauli Z gate exchanges the two Hadamard basis states: and . Multiplying the displayed gate by the Pauli X gate gives
On the other hand,
The two operators agree, proving
Also in the J gate convention. Keeping this angle sign explicit avoids confusing the two conventions for equatorial qubit measurements.

New to topics? Read the docs here!