Reasoning about products of reals

Question

Take 2 sets of real numbers:

• $x_1, x_2, \dots, x_n$ and $y_1, y_2, \dots, y_m$ such that $\prod\limits_{1 \le i \le n} x_i > \prod\limits_{1 \le j \le m} y_j$.

Let $k$ be any positive real number.

Does it necessarily follow that $\prod\limits_{1 \le i \le n} (x_i+k) > \prod\limits_{1 \le j \le m} (y_j +k)$

If the question were related to addition, then the generalization would apply: $$\sum\limits_{i=1}^n\left(x_i + k\right) > \sum\limits_{j=1}^m \left(y_j + k\right)$$

Intuitively, adding a positive to each real $x_i$ and each real $y_j$ should increase the product so the question relates to how much it increases each product.

For example, if I choose $x_1 = 10, x_2, = 11$ and $y_1 =1, y_2 = 2$ and $k=1$ it is clear that $110 > 2$ and $132 > 6$.

It seems to me that the answer is yes. Am I correct? If yes, how does one prove this? If no, what is the argument against?

Answer 1

No, it isn't always true. For example, let $n = 2$, $x_1 = x_2 = 3$, $y_1 = 1$, $y_2 = 8$ and $k = 1$. Then we have

$$\prod_{i=1}^{2}x_i = 3(3) = 9 \gt \prod_{j=1}^{2}y_j = 1(8) = 8 \tag{1}\label{eq1A}$$

but

$$\prod_{i=1}^{2}(x_i + k) = 4(4) = 16 \lt \prod_{j=1}^{2}(y_j + k) = 2(9) = 18 \tag{2}\label{eq2A}$$

Answer 2

Irrelevant at this point, but I started this answer before the question was answered, so I might as well put it up.

Probably the easiest way to understand this is to take logs. Since everything is positive, and the logarithm is increasing, we have that $$ \prod\limits_{i=1}^n\left(x_i + k\right) > \prod\limits_{j=1}^n \left(y_j + k\right)$$ if and only if $$\log\left(\prod\limits_{i=1}^n\left(x_i + k\right)\right) > \log\left(\prod\limits_{j=1}^n \left(y_j + k\right)\right)$$ which in turn is equivalent to $$\sum\limits_{j=1}^n\log\left(x_j + k\right) > \sum\limits_{j=1}^n\log\left(y_j + k\right) $$

But this you can see is actually not true, because of the behavior of the natural log. It has sort of diminishing returns, right? So, one idea is to construct a scheme where the LHS has inputs to the log that are all too big, so the collective impact of the greater increases on the right is enough to make the difference. Notice also that if there doesn't have to be the same number of these numbers, this is quite easy. But, with the idea in mind, let's suppose that the RHS has a lot of numbers that are quite small.

So, let's take $x$ to be the sequence $1, 1, \ldots, 1$ with 10 elements. Then we take $y$ to be the sequence$10^8$, then $.1$ 9 times. Both of these sequences have 10 elements and the product of $x$ is 1 which is bigger than that of $y$, which is $\frac{1}{10}$. But if I add 1 to $x$ the product becomes just $1024$, which when I do it to $y$ it becomes $(10^8+1)(1.1)^9$, which is larger.

Answer 3

A counterexample is given by $m=n=2,\; x_1=x_2=-1,\; y_1=y_2=0,\; k=1.$