**Let \(m_1, m_2 , … , m_k \) be k positive numbers such that their reciprocals are in A.P. Show that \(k< m_1 + 2 \) . Also find such a sequence for positive integer k > 0.**

……

*Teacher:* This is a simple application of Arithmetic Mean – Harmonic Mean Inequality. First notice that if \(k \le 2 \) we have nothing to prove as \(m_1 \ge 1\) , \(m_1 +2 \) is definitely greater than k.

So we are interested in the cases where \(k \ge 3 \)

Now apply the A.M. – H.M. inequality

*Student:* Ok. \(\displaystyle { \frac {k}{\frac{1}{m_1} + \frac {1}{m_2} + … + \frac{1}{m_k}} \ge \frac{m_1 + m_2 + … + m_k}{k} } \)

Now we already know that \(\displaystyle { \frac{1}{m_1} , \frac {1}{m_2} , … , \frac{1}{m_k} } \) are in A.P. So sum of these k terms in A.P. is (first term plus last term) times number of terms by 2. In other words \(\displaystyle { \frac{1}{m_1} + \frac {1}{m_2} + … + \frac{1}{m_k} = \frac {k}{2} \left ( \frac{1}{m_1} + \frac{1}{m_k} \right)} \)

So our expression becomes \(\displaystyle { \frac {k}{ \frac {k}{2} \left ( \frac{1}{m_1} + \frac{1}{m_k} \right)} \le \frac{m_1 + m_2 + … + m_k}{k} } \)

This implies \(\displaystyle { k \le (m_1 + m_2 + … + m_k) \frac {\left ( \frac{1}{m_1} + \frac{1}{m_k} \right)}{2} } \)

I cannot think what to do next.

*Teacher:*** **It is quite simple actually. Notice that \(m_1 , … , m_k \) are integers then their reciprocals are less than (or at most equal to) 1.

Hence \(\displaystyle { \frac {1}{m_1} \le 1 , \frac{1}{m_k} \le 1 \Rightarrow \frac{1}{m_1} + \frac{1} {m_k} \le 2 }\). \(m_1 \) and \(m_k \) are different hence both cannot be 1.

Thus \(\displaystyle { \frac{1}{m_1} + \frac{1} {m_k} < 2 \Rightarrow \frac {\left ( \frac{1}{m_1} + \frac{1}{m_k} \right)}{2} < 1 }\)

Hence \(\displaystyle { k \le (m_1 + m_2 + … + m_k) \frac {\left ( \frac{1}{m_1} + \frac{1}{m_k}\right)}{2} < (m_1 + m_2 + … + m_k) \le m_1 + k-1} \) since \(1 \le m_2 , … , 1 \le m_k \)

Now k is at least 3 (we are already done with k < 3). So \(k < m_1 + k-1 \le m_1 + 2 \)

## No comments, be the first one to comment !