1
$\begingroup$

Let $x_1,x_2,\ldots,x_n\, (n\geq 3)$ are positive real numbers such that $$\sum_{1\leq i,j\leq n}|1-x_ix_j|=\sum_{1\leq i,j\leq n}|x_i-x_j|.$$ Prove: for arbitrary real number $a_1,a_2,\ldots,a_n$, there is a real number $t$, such that $$\sum_{i=1}^n |\sin (t-a_i)|\leq \cot \left(\frac\pi{2\sum_{i=1}^n x_i}\right).$$

I think $\sum_{1\leq i,j\leq n}|1-x_ix_j|=\sum_{1\leq i,j\leq n}|x_i-x_j|$ is difficult to use, because it seems so surprising.

$\endgroup$
0
$\begingroup$

This edition gives a second and better counterexample.

As you say, the given condition on the $x_1,x_2,x_3,\cdots,x_n$ is difficult to use.

I'm afraid what you're proposing is not true. Here a counterexample for $n=3$. Because of the difficulty mentioned above the calculations are approximate but the continuity makes them very plausible.

Take $(x_1,x_2,x_3)\approx(0.1,\space 1.432,\space 0.02)$. You have with these values $$(|x_1-x_2|+|x_1-x_3|+|x_2-x_3|)-(|1-x_1x_2|+|1-x_1x_3|+|1-x_2x_3|)\approx 0.01$$ In other words $RHS-LHS\approx 0.01$ and with $x_1,x_2,x_3$ having better decimal approximation would have the equality.

Now one has $$2(x_1+x_2+x_3)\approx 3.104\\\cot\left(\dfrac{\pi}{3.104}\right)\approx 0.6251195670$$ and taking the arbitraries $(a_1,a_2,a_3)=\left(\dfrac{\pi}{2},\dfrac{\pi}{5},\dfrac{\pi}{5}\right)$ one has the function $$g(x)=|\sin(x-\dfrac{\pi}{2})|+2|\sin(x-\dfrac{\pi}{5})|\ge 0.831$$ For which, whatever $x$ ($t$ in your notation) we would have the absurdity $$0.831\le 0.625$$

A better second counterexample: $(x_1,x_2,x_3)=(0.3,\space0.07,\space 1.3157)$.

Now you have $$LHS-RHS=0.000791$$ and $\cot\left(\dfrac{\pi}{3.3714}\right)\approx 0.7429287$ which with the same $g(x)$ above gives the absurde $$0.831\le0.7429$$

►This counterexample is better than the first one because $LHS$ is closer to $RHS$◄

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.