For some $\alpha\in\mathbb C$ let $E=\mathbb Q(\alpha)$ be a number field and $\mathcal I$ its ring of integers. Suppose $(a_1+b_1\alpha)\cdots(a_k+b_k\alpha)=\beta^2$ for some $\beta\in E$ and $a_i,b_i\in\mathbb Z$. Then it follows that $\beta\in\mathcal I$.
My initial idea: $\beta^2$ is the product of algebraic integers, so it follows that $\beta^2\in\mathcal I$ and therefore $\beta^2$ is the root of some monic polynomial $p(x)$. But now I am struggling can construct another polynomial $q(x)$ such that $\beta$ is a root.