4
$\begingroup$

Assume that $x_1, \dots, x_n$ are non-negative real numbers such that $$ x_1 + \dots + x_n \in \mathbb Q~~~~~~~~~~~~~~ \text{ and } ~~~~~~~~~~~~~~~x_1 + 2x_2 + \dots + nx_n\in \mathbb Q. $$

Does this imply that the numbers $x_1,\dots, x_n$ are rational too?

5 Answers 5

5

Counterexample:

$$x_1=\sqrt2$$ $$x_2=10-2\sqrt 2$$ $$x_3=\sqrt 2$$ $$x_1+x_2+x_3=10\in Q$$ $$x_1+2x_2+3x_3=\sqrt 2+20-4\sqrt 2+3\sqrt 2=20\in Q$$

  • 2
    Question says non-negative.2012-12-17
  • 0
    OH, Thank you. I will edit it2012-12-17
3

What is true is that if $\sum_{j=1}^n j^k x_j$ is rational for $k = 0,1,\ldots,n-1$, then the $x_j$ are rational. That is becaue the $n \times n$ Vandermonde matrix with entries $j^k$ is invertible, and its inverse has rational entries. But if you impose fewer than $n$ conditions $\sum_j a_{ij} x_j$ rational, you have a coefficient matrix with fewer rows than columns, and this will have a nontrivial null space. You can add to any solution a vector in the null space (which can have all its nonzero entries irrational) without changing any of the sums.

  • 0
    Thats awesome!! Thank you for this comment :))2012-12-17
2

Not in general, no. Subtracting the first equation from the second gives $$ x_2 + 2x_3 + \cdots + (n-1)x_n \in \mathbb{Q}, $$ and subtracting this from the first again gives $$ x_1 - x_3 - 2x_4 - \cdots - (n-2)x_n \in \mathbb{Q}. $$ So if $n=1$ or $n=2$, then $x_1,\ldots,x_n$ are rational. Otherwise they need not be. For instance, let $x_1=1+\pi$, $x_2=10-2\pi$, and $x_3=\pi$ (and $x_n=0$ for $n\ge 4$).

1

If $n \leq 2$ it is easy to prove that the answer is yes.

If $n \geq 3$.

Pick $x_3=\pi$ and $x_2=10-2 \pi$. Let $x_1=5+\pi$, $x_4,..,x_n \in \mathbb Q$. More generarily

$$x_3 \notin \mathbb Q \,;\, x_2=n-2x_3 \,;\,x_1=m+x_3$$

P.S. If instead you ask that for all $1 \leq k \leq n$ you have

$$x_1+2x_2+..+kx_k \in \mathbb Q$$

then it is simple to show that all of them are rational.

0

No, if $n \geq 3$. Consider the following example for $n=3$: $x_1 =\pi$, $x_2 = 10-2\pi$, $x_3= \pi$.