The Cyclotomic Field of 8-th Roots of Unity is $\Q(\zeta_8)=\Q(i, \sqrt{2})$
Problem 491
Let $\zeta_8$ be a primitive $8$-th root of unity.
Prove that the cyclotomic field $\Q(\zeta_8)$ of the $8$-th root of unity is the field $\Q(i, \sqrt{2})$.