Past exam of the physics A course of the University of Cambridge / 2019 / Paper 1 / Section B / B6 / b

In the $S_z$ eigenbasis, let a candidate eigenvector be $(a,b{)}^{\mathsf{T}}$. The eigenvalue equation is $b=(2s_x/\hslash )a$ and $a=(2s_x/\hslash )b$, so a nonzero vector requires $(2s_x/\hslash {)}^2=1$. Choosing normalized phases givesThe two spin eigenstates are orthogonal, as required for distinct eigenvalues of a self-adjoint operator.