How can I show that a√6+b√3+c√2 is irrational given that at least one of b,c is nonzero? I've seen the argument when a=b=c=1, but in the general case the algebra is a lot more tedious (I need to avoid division by 0, for example). Here's what I have so far:
Suppose that a√6+b√3+c√2∈Q. If a=0, then b√3+c√2∈Q (note that b√3+c√2≠0, otherwise b√3=−c√2⟹√6=−2c/b which is a contradiction since √6 is irrational) so that
b√3−c√2=3b−2cb√3+c√2∈Q
Hence,
(b√3+c√2)+(b√3−c√2)=2b√3∈Q
which is a contradiction if b≠0. (Note that if b=0, then by assumption c≠0 and we can use a similar argument to arrive at a contradiction)
Therefore, assume that a≠0.
Then, it follows that
r=(a√3+c)(√2+ba)=(a√6+b√3+c√2)+cba∈Q
since the sum of two rationals is rational. Then,
a√3+c=r√2+ba=r√2+ba⋅√2−ba√2−ba=r2−b2a2⋅(√2−ba)
and so
a√3−r√22−b2a2=−rba(2−b2a2)−c∈Q
Note that a√3−r√22−b2a2≠0, otherwise a√6=2r2−b2a2∈Q. On the other hand,
a√3+r√22−b2a2=3a2−2r2(2−b2a2)2a√3−r√22−b2a2=3a2−2r2(2−b2a2)2−rb2a−b2a−c∈Q
However, if a√3+r√22−b2a2∈Q and a√3−r√22−b2a2∈Q, then
(a√3+r√22−b2a2)+(a√3−r√22−b2a2)=2a√3∈Q
This is a contradiction, since we assumed a≠0.
As you see the argument is very tedious (and perhaps there are even holes / mistakes, in which case please let me know). Is there a better (cleaner) way to prove the statement
Answer
Let q=a√6+b√3+c√2 with the premise that a,b,c,q∈Q ,then if q=0⟹(−a√6)2=(b√3+c√2)2⟹6a2=3b2+2bc√6+2c2⟹√6∈Q, a contradiction unless b=0 or c=0 which in turn yields a much simpler case and a contradiction is easily obtained. If q≠0, then normalize the equation we can assume from now on q=1 and repeat the steps above we have √6 is rational or a=−bc. The former can't happen and if the latter does, then we have: 1=−bc√6+b√3+c√2⟹(b√3−1)(1−c√2)=0⟹√3=1b or √2=1c which are rationals, and we have a contradiction again. Done.
No comments:
Post a Comment