A rational and irrational problem

Let a , b , c a,b,c be rational numbers satisfying a + b 2 3 + c 4 3 = 0 a+b\sqrt[3]{2}+c\sqrt[3]{4}=0 . Then which of the statements to the right is true?

a a , b b and c c must all be equal to 0 0 There exists a triplet a , b , c a,b,c with a , b , c 0 a,b,c\neq 0 At least one of a a , b b or c c must be 0 0 , but they do not all have to be equal to 0 0

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.

2 solutions

Michael Mendrin
Aug 8, 2018

First we cube both sides of this equation rearranged to get

( a + b 2 1 3 ) 3 = a 3 + b 3 + 3 a b ( a 2 1 3 + b 2 2 3 ) = 4 c \left(a+b \cdot 2^{\frac{1}{3}}\right)^3 =a^3+b^3+3ab\left( a \cdot 2^ { \frac{1}{3} } +b \cdot 2^{ \frac{2}{3} } \right)=-4c

which implies that if a , b , c a, b, c are rational, both must be rational also

( a + b 2 1 3 ) \left(a+b \cdot 2^{\frac{1}{3}}\right)
( a 2 1 3 + b 2 2 3 ) = 2 1 3 ( a + b 2 1 3 ) \left(a \cdot 2^ { \frac{1}{3} } +b \cdot 2^{ \frac{2}{3} } \right) = 2^{\frac{1}{3}} \left(a+b \cdot 2^{\frac{1}{3}}\right)

which is an impossibility for any rational ( a , b ) (a,b) except ( a , b ) = ( 0 , 0 ) (a,b)=(0,0)

Mark Hennings
Aug 10, 2018

By Eisenstein's Irreducibility Criterion, X 3 2 X^3 - 2 is irreducible over the rationals. If there existed a , b , c Q a,b,c \in \mathbb{Q} , not all zero, such that a + b 2 3 + c 4 3 = 0 a + b\sqrt[3]{2} + c\sqrt[3]{4}= 0 , then f ( X ) = a + b X + c X 2 Q ( X ) f(X) = a + bX + cX^2 \in \mathbb{Q}(X) would be such that f ( 2 3 ) = 0 f(\sqrt[3]{2}) = 0 . Since 2 3 \sqrt[3]{2} is irrational, we must have c 0 c \neq 0 , and hence f ( X ) f(X) is quadratic. Thus we must be able to write X 3 2 = p ( X ) f ( X ) + q ( X ) X^3 - 2 = p(X)f(X) + q(X) for linear polynomials p ( X ) , q ( X ) Q [ X ] p(X),q(X) \in \mathbb{Q}[X] . Since p ( 2 3 ) = 0 p(\sqrt[3]{2}) =0 and 2 3 \sqrt[3]{2} is irrational, we deduce that p ( X ) 0 p(X) \equiv 0 , and hence that f ( X ) f(X) divides X 3 2 X^3 - 2 . This is not possible. Thus if a , b , c Q a,b,c \in \mathbb{Q} are such that a + b 2 3 + c 4 3 = 0 a + b\sqrt[3]{2} + c\sqrt[3]{4}= 0 , then a = b = c = 0 a=b=c=0 .

Basically, if α = 2 3 \alpha = \sqrt[3]{2} , then the field Q ( α ) \mathbb{Q}(\alpha) obtained by adding α \alpha to Q \mathbb{Q} is a 3 3 -dimensional vector space over Q \mathbb{Q} , and 1 , α , α 2 1,\alpha,\alpha^2 is a basis.

Dont you mean Q[a] not Q(a)?

Alexander Gibson - 2 years, 10 months ago

Log in to reply

Since I am talking about a field, I want the field of fractions Q ( α ) \mathbb{Q}(\alpha) . Of course, since α \alpha is algebraic, this is the same as Q [ α ] \mathbb{Q}[\alpha] . The two would not be the same if α \alpha were transcendental.

Mark Hennings - 2 years, 10 months ago

Log in to reply

Why do you want a field in this case?

Alexander Gibson - 2 years, 10 months ago

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 [ α ] \mathbb{Q}[\alpha] , if you like.

Mark Hennings - 2 years, 10 months ago

Log in to reply

@Mark Hennings ok, chill out

Alexander Gibson - 2 years, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...