Show that sqrt(2) + 1 has a multiplicative inverse in Z[sqrt(2)].
This is kind of overkill but here goes:
You can also do this using norms.has a norm
.
Suppose, then
.
So we're looking to solve.
Nowsince
for the last equality.
So as you can see to find a solution, we're left to solve a form of Pell's equation, which is solvable i.e. we can findand
. Thus
has an inverse.
After Pell's equation is solved though, we'll have an answer in terms ofand
, so this proof needs some polishing at the end. I won't do this however since I've already given you another solution; this posting was just a thought I had.