Let a , b , c be rational numbers satisfying a + b 3 2 + c 3 4 = 0 . Then which of the statements to the right is true?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
By Eisenstein's Irreducibility Criterion, X 3 − 2 is irreducible over the rationals. If there existed a , b , c ∈ Q , not all zero, such that a + b 3 2 + c 3 4 = 0 , then f ( X ) = a + b X + c X 2 ∈ Q ( X ) would be such that f ( 3 2 ) = 0 . Since 3 2 is irrational, we must have c = 0 , and hence f ( X ) is quadratic. Thus we must be able to write X 3 − 2 = p ( X ) f ( X ) + q ( X ) for linear polynomials p ( X ) , q ( X ) ∈ Q [ X ] . Since p ( 3 2 ) = 0 and 3 2 is irrational, we deduce that p ( X ) ≡ 0 , and hence that f ( X ) divides X 3 − 2 . This is not possible. Thus if a , b , c ∈ Q are such that a + b 3 2 + c 3 4 = 0 , then a = b = c = 0 .
Basically, if α = 3 2 , then the field Q ( α ) obtained by adding α to Q is a 3 -dimensional vector space over Q , and 1 , α , α 2 is a basis.
Dont you mean Q[a] not Q(a)?
Log in to reply
Since I am talking about a field, I want the field of fractions Q ( α ) . Of course, since α is algebraic, this is the same as Q [ α ] . The two would not be the same if α were transcendental.
Log in to reply
Why do you want a field in this case?
Log in to reply
@Alexander Gibson – I don’t need one, but I get one, so I might as well say so. The proof will go through if you just consider the ring Q [ α ] , if you like.
Problem Loading...
Note Loading...
Set Loading...
First we cube both sides of this equation rearranged to get
( a + b ⋅ 2 3 1 ) 3 = a 3 + b 3 + 3 a b ( a ⋅ 2 3 1 + b ⋅ 2 3 2 ) = − 4 c
which implies that if a , b , c are rational, both must be rational also
( a + b ⋅ 2 3 1 )
( a ⋅ 2 3 1 + b ⋅ 2 3 2 ) = 2 3 1 ( a + b ⋅ 2 3 1 )
which is an impossibility for any rational ( a , b ) except ( a , b ) = ( 0 , 0 )