Desde el polinomio $x^3-x-1$ es irreducible sobre$\def\Q{\Bbb Q}~\Q$ por la raíz racional de la prueba, se podría identificar el elemento $\frac{1+a}{1-a}$ donde $a$ es la imagen de $x$ en el campo de $K=\Q[x]/(x^3-x-1)$, y para calcular su polinomio mínimo de más de$~\Q$; debido a que el grupo de Galois de la división de campo de la $x^3-x-1$ permutes sus raíces transitivamente, que el polinomio también tiene como raíces los elementos obtenidos mediante la sustitución de otra raíz ($b$ o $c$)$~a$.
Para calcular la inversa de a$1-a$$K$, hallar la Bézout coeficientes de $\gcd(1-x,x^3-x-1)=1$ se $-x-x^2$ $-1$ desde $1=(-x-x^2)(1-x) -(-1-x+x^3)$; el primero da a la inversa $-a-a^2$$1-a$. Ahora calcular $ \frac{1+a}{1-a}=(1+a)(-a-a^2)=-a-2a^2-a^3$, que se reduce a $-1-2a-2a^2$$a^3=a+1$. Utilizando la misma relación se encuentra el cuadrado y el cubo de $-1-2a-2a^2$, respectivamente,$9+16a+12a^2$$-65-114a-86a^2$. Ahora simple álgebra lineal se encuentra la dependencia lineal de $1,a,a^2,a^3$
$1-a+7a^2+a^3=0$ por lo que el polinomio que se pidió es $1-x+7x^2+x^3$.