Empiezo con $x=\sqrt{4+2\sqrt{3}}-\sqrt{3}$, entonces
$\begin{align*} x +\sqrt{3} &= \sqrt{4+2\sqrt{3}}\\ (x +\sqrt{3})^2 &= (\sqrt{4+2\sqrt{3}})^2\\ x^2 + (2\sqrt{3})x + 3 &= 4+ 2\sqrt{3}\\ x^2 + (2\sqrt{3})x - 1 - 2\sqrt{3} &= 0 \end{align*} $
Así que he mostrado que hay un polinomio cuya solución es $x=\sqrt{4+2\sqrt{3}}-\sqrt{3}$, pero no he demostrado que ser 1.