hi! i have to find the polinomial ireductible over the rationals asosiated with -1+2^[1/2] can any body heplme?
You're looking for a polynomial with rational coefficients that hasas a root.
That means, in some extension field, you can factor outfrom the polynomial.
Can you think of another root, say(which may be in the extension), so that when you expand
, the polynomial will have rational coefficients?
note that if x = √2 - 1
x2 = (√2 - 1)2 = 2 - 2√2 + 1 = 3 - 2√2
so x2 + 2x = 3 - 2√2 + 2√2 - 2 = 3 - 2 = 1
thus: x2 + 2x - 1 = 0
that is, √2 - 1 is a root of x2 + 2x - 1 in Q[x].
note that if x2 + 2x - 1 is reducible over Q, it must factor as x2 + 2x - 1 = (x - a)(x - b) for rational a, b.
by a theorem of Gauss, a and b must actually be integers, so either:
a = 1, b= -1, or a = -1, b = 1, both of which lead to a contradiction.