The following theorem and corollary are in chapter 2 of Marcus's book Number Fields:
Theorem 2. The following are equivalent:
- $\alpha$ is algebraic integer.
- The additive group $\left(\mathbb{Z}[\alpha],+\right)$ is finitely generated.
- $\alpha$ belongs to some subring of $\mathbb{C}$ whose additive group is finitely generated.
- $\alpha A \subset A$ for some finitely generated subgroup $A \leq \mathbb{C}$.
The proof of $4 \implies 1$ goes as follows:
Let $a_1 , \dots a_n$ generate $A$. Expressing each $\alpha a_i$ as a linear combination of $a_1 , \dots a_n$ with coefficients in $\mathbb{Z}$, we obtain:
$$
\begin{pmatrix}
\alpha a_1\\
\dots\\
\alpha a_n \\
\end{pmatrix} = M \begin{pmatrix}
a_1\\
\dots\\
a_n \\
\end{pmatrix}
$$
where $M \in \mathcal{M}_n (\mathbb{Z)}$. Equivalently,
$$
(\alpha I -M)\begin{pmatrix}
a_1\\
\dots\\
a_n \\
\end{pmatrix}
$$
is the zero vector. Since the $a_i$ are not all zero, it follows that $\alpha I - M$ has determinant $0$. Expressing this determinant in terms of the $n^2$ coordinates of $\alpha I - M$, we obtain
$$
\alpha^n + \text{lower degree terms}=0
$$
thus we have produced a monic polynomial over $\mathbb{Z}$ having $\alpha$ as a root.
Corollary 1. If $\alpha$ and $\beta$ are algebraic integers, then so are $\alpha + \beta$ and $\alpha \beta$
Proof: We know $\mathbb{Z}[\alpha]$ and $\mathbb{Z}[\beta]$ have finitely generated additive groups. Then so does the ring $\mathbb{Z}[\alpha, \beta]$. (If $\alpha_1 , \dots , \alpha_m$ generate $\mathbb{Z}[\alpha]$ and $\beta_1 , \dots , \beta_n$ generate $\mathbb{Z}[\beta]$, then the $mn$ products $\alpha_i \beta_j$ generate $\alpha_1 , \dots , \alpha_m$ generate $\mathbb{Z}[\alpha, \beta]$.) Finally $\alpha_1 , \dots , \alpha_m$ generate $\mathbb{Z}[\alpha, \beta]$ contains $\alpha + \beta$ and $\alpha \beta$, so by characterization 3 this implies thet they are algebraic integers.
You can apply this method to produce monic polynomials for $\alpha \beta$ and $\alpha + \beta$ from the minimal polynomials of $\alpha$ and $\beta$. For example,let $\alpha = \sqrt 3$ and $\beta = \sqrt{2}$ and let's apply the determinant method to find the monic polynomial associated to $\alpha+\beta$.
The minimal polynomials of $\alpha$ and $\beta$ are, respectively, $f(x)=x^2 - 3$ and $g(x)=x^2 - 2$. Since $\deg(f)=\deg(g)=2$, then $\{1, \alpha\}$ generates $\left( \mathbb{Z}[\alpha],+ \right)$ and $\{1, \beta\}$ generates $\left( \mathbb{Z}[\beta],+ \right)$, and thus $A=\{1, \alpha, \beta, \alpha \beta\}$ generates $\left(\mathbb{Z}[\alpha, \beta],+ \right)$, and since:
$$
\mathbb{Z}[\alpha + \beta] \subset \mathbb{Z}[\alpha, \beta]$$
$$\mathbb{Z}[\alpha \beta] \subset \mathbb{Z}[\alpha, \beta]$$
then $A$ generates these two subrings. We have the system of linear equations:
$$
(\alpha + \beta) \begin{pmatrix}
1\\
\alpha \\
\beta \\
\alpha \beta \\
\end{pmatrix} =
\begin{pmatrix}
\alpha + \beta \\
2 + \alpha \beta\\
\alpha \beta + 3 \\
2 \beta + 3 \alpha \\
\end{pmatrix}
=
\begin{pmatrix}
0 & 1 & 1 & 0\\
2 & 0 & 0 & 1\\
3 & 0 & 0 & 1\\
0 & 3 & 2 & 0\\
\end{pmatrix}
\begin{pmatrix}
1 \\
\alpha \\
\beta \\
\alpha \beta \\
\end{pmatrix}
$$
From where we obtain:
$$
\det\begin{pmatrix}
\alpha + \beta & -1 & -1 & 0\\
-2 & \alpha + \beta & 0 & -1\\
-3 & 0 & \alpha + \beta & -1\\
0 & -3 & -2 & \alpha + \beta\\
\end{pmatrix}=0
$$
and thus, $\alpha + \beta$ is the root of the monic polynomial with coefficients in $\mathbb{Z}$:
$$
p(x)=\det\begin{pmatrix}
x & -1 & -1 & 0\\
-2 & x & 0 & -1\\
-3 & 0 & x & -1\\
0 & -3 & -2 & x\\
\end{pmatrix}
$$
Best Answer
Both $x^{1010}(x^{1010} + x + 2)$ and $x^2 + x + 1$ are non-negative functions of $x$, so that any real root of $x^{1010}(x^{1010} + x + 2) + x^2 + x + 1$ must also be a real root of $x^2 + x + 1$. But $x^2 + x + 1$ does not have real roots.