Find an algebraic integer having norm 31 and trace 17.
Let and . Now and . We wish to find , , and such that is an algebraic integer, , and . If such an integer exists, then is a half-integer- in particular, we must have mod 4. Substituting, and letting , we have . Thus and , so that . Indeed, we can verify that and .