Geometry?

Geometry Level 5

min x i x j 1 + x i x j C \large \min{\left|\frac{x_i-x_j}{1+x_ix_j}\right|} \leq C

For all 7-tuples of real numbers ( x 1 , x 2 , . . . , x 7 ) (x_1, x_2,...,x_7) , the following inequality holds, where the minimum is taken over all 1 i < j 7 1 \leq i < j \leq 7 . Let D D be the smallest possible value of C C . If we can have min x i x j 1 + x i x j = D \min{\left|\dfrac{x_i-x_j}{1+x_ix_j}\right|} = D , submit your answer as 1 D 2 + 2017 \dfrac{1}{D^2} + 2017 . If not, then submit your answer as 1 D 2 + 1 \dfrac{1}{D^2} + 1 .


The answer is 4.

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.

1 solution

Manuel Kahayon
Jun 4, 2017

Let a i = arctan x i a_i = \arctan {x_i} . Notice that if a i a j π 6 |a_i - a_j| \leq \frac{\pi}{6} , then x i x j 1 + x i x j = tan ( a i a j ) 1 3 |\frac{x_i-x_j}{1+x_ix_j}| = | \tan(a_i - a_j)| \leq \frac{1}{\sqrt{3}} . Notice also that since 0 a i π 0 \leq a_i \leq \pi , we must have at least one pair ( i , j ) (i,j) for which a i a j π 6 |a_i - a_j| \leq \frac{\pi}{6} . But then, if a i a j π 6 |a_i - a_j| \geq \frac{\pi}{6} , this implies that we equally distributed the a i a_i 's along the interval [ 0 , π ] [0, \pi] , implying one of the a i a_i 's equal π 2 \frac{\pi}{2} , which implies x i x_i is undefined, which is not possible. As such, there must always be i , j i,j for which a i a j < π 6 |a_i - a_j| < \frac{\pi}{6} , implying that x i x j 1 + x i x j < 1 3 |\frac{x_i-x_j}{1+x_ix_j}| < \frac{1}{\sqrt{3}} . Thus, D = 1 3 D= \frac{1}{\sqrt{3}} , and equality cannot be attained. This implies that our answer is 1 D 2 + 1 = 3 2 + 1 = 4 \frac{1}{D^2} + 1 = \sqrt{3}^2 + 1 = \boxed{4} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...