Interesting series

Algebra Level 3

Consider the a n {a_n} series of positive integers. Let b n = ( a 1 + a 2 + + a n ) ( 1 a 1 + 1 a 2 + 1 a 3 + + 1 a n ) b_n=(a_1+a_2+\dots+a_n)\left(\dfrac{1}{a_1}+\dfrac{1}{a_2}+\dfrac{1}{a_3}+\dots+\dfrac{1}{a_n}\right)

Is it true, that for each k k the b k \left \lfloor \sqrt{b_k} \right \rfloor is different?

Notation: \lfloor \cdot \rfloor denotes the floor function .

True No, it is false

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.

2 solutions

Steven Yuan
Jul 10, 2017

By the Cauchy-Schwarz Inequality,

b n = i = 1 n a n i = 1 n 1 a n = i = 1 n a n 2 i = 1 n ( 1 a n ) 2 ( i = 1 n a n 1 a n ) 2 = n 2 . \begin{aligned} b_n &= \sum_{i = 1}^n a_n \sum_{i = 1}^n \dfrac{1}{a_n} \\ &= \sum_{i = 1}^n \sqrt{a_n}^2 \sum_{i = 1}^n \left ( \dfrac{1}{\sqrt{a_n}} \right)^2 \\ &\geq \left ( \sum_{i = 1}^n \sqrt{a_n} \dfrac{1}{\sqrt{a_n}} \right )^2 \\ &= n^2. \end{aligned}

Thus, b n n 2 = n . \left \lfloor \sqrt{b_n} \right \rfloor \geq \left \lfloor \sqrt{n^2} \right \rfloor = n. From this, we can see that b n \left \lfloor \sqrt{b_n} \right \rfloor and b n + 1 \left \lfloor \sqrt{b_{n + 1}} \right \rfloor differ by at least one, so we conclude that yes , all the b k \left \lfloor \sqrt{b_k} \right \rfloor are different.

It is enough to prove that for each k k b n + 1 b n + 1 \sqrt{b_n}+1\leq\sqrt{b_{n+1}}

Let d = a 1 + a 2 + + a n , c = 1 a 1 + 1 a 2 + + 1 a n d=a_1+a_2+\dots+a_n, c=\dfrac{1}{a_1}+\dfrac{1}{a_2}+\dots+\dfrac{1}{a_n} and x = a n + 1 x=a_{n+1} .

Now we have to prove: ( d + x ) ( c + 1 x ) c d + 1 \sqrt{(d+x)\left(c+\dfrac{1}{x}\right)}\geq\sqrt{cd}+1 From that d x + c x 2 c d \dfrac{d}{x}+cx\geq2\sqrt{cd} which is true because the relationship between arithmetic mean and geometric mean.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...