Suppose a,b \in \mathbb{R} are such that the complex number a+bi is a root of unity and p(a)=0 for some monic polynomial p(x) \in \mathbb{Z}[x]. Show that a \in \{-1,0,1 \}.