PolynomialExtendedGCD[x^3-a*x^2-(a+1)*x-1,x^2-x*(a-x)+x^2-a*x-(a+1)]