\[\dfrac {a^k}{(a-b)(a-c)} + \dfrac {b^k}{(b-a)(b-c)} + \dfrac {c^k}{(c-a)(c-b)} > \dfrac {k(k-1)}{2}\]

If \(a\), \(b\) and \(c\) are distinct positive reals such that \(abc = 1\), and \(k \geq 3\) is a positive integer, show that the inequality above holds.

**Note:** The RMO problem had the case \(k=3\).

No vote yet

1 vote

×

Problem Loading...

Note Loading...

Set Loading...

Easy Math Editor

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## Comments

Sort by:

TopNewestSharky, you've got the right idea. There is a much easier way to show that identity

Claim: \[ a^m (b-c) + b^m(c-a) + c^m (a-b) = (a^2b-a^2c+b^2c-b^2a+c^2a-c^2b) \sum_{i + j + k = m-2} a^i b^j c^k \]

Proof: Let's find the coefficient of the term \( a^p b^q c^r, \) where \( p+q+r = m+1, \) on the RHS.

Sometimes if you know what you want, it's best to prove it directly instead of trying to explain how you found it out. Esp if the way that you first found it provides no additional insight into the process.

Log in to reply

Anyone got a better solution than this?

Firstly, we add the fractions together (using the fact \(b-a=-(a-b)\), etc. to get

\[\begin{align} \dfrac {a^k}{(a-b)(a-c)} + \dfrac {b^k}{(b-a)(b-c)} + \dfrac {c^k}{(c-a)(c-b)} &= \dfrac{a^k (b-c) - b^k (a-c) + c^k (a-b)}{(a-b)(a-c)(b-c)}\\ &= \dfrac {a^k b - ab^k - a^k c + b^k c + c^k (a-b)}{(a-b)(a-c)(b-c)}\\ &= \dfrac {ab (a-b)(a^{k-2} + \ldots + b^{k-2}) - c (a-b)(a^{k-1} + \ldots + b^{k-1}) + c^k (a-b)}{(a-b)(a-c)(b-c)}\\ &= \dfrac {a^{k-1} b + \ldots + ab^{k-1} - a^{k-1} c + \ldots + b^{k-1} c + c^k}{(a-c)(b-c)}\\ &= \dfrac {a^{k-1} b - a^{k-1} c + a^{k-2} b^2 - a^{k-2} bc + \ldots + ab^{k-1} - ab^{k-2} c - b^{k-1} c + c^k}{(a-c)(b-c)}\\ &= \dfrac {(b-c)(a^{k-1} + a^{k-2}b + \ldots + ab^{k-2}) - c(b-c)(b^{k-2} + \ldots + c^{k-2})}{(a-c)(b-c)}\\ &= \dfrac {a^{k-1} + \ldots + ab^{k-2} - b^{k-2}c - \ldots - c^{k-1}}{a-c}\\ &= \dfrac {a^{k-1} - c^{k-1} + a^{k-2} b - b c^{k-2} + \ldots + ab^{k-2} - b^{k-2} c}{a-c}\\ &= \dfrac {(a-c)(a^{k-2} + \ldots + c^{k-2}) + b(a-c)(a^{k-3} + \ldots + c^{k-3}) + \ldots + b^{k-2} (a-c)}{a-c}\\ &= a^{k-2} + \ldots + c^{k-2} + a^{k-3} b + \ldots + b c^{k-3} + \ldots + b^{k-2} \end{align}\]

Notice that this expression goes through every single possible term composed of variables \(a, b, c\) and degree \(k-2\). Thus, by Supermarket Principle, there are \(\binom{k}{2}\) terms here. Notice that the product of all the terms will have equal degrees for each of \(a\), \(b\) and \(c\) by symmetry, so their product will be just 1 (using \(abc = 1\)). Also, we must have \(a\), \(b\) and \(c\) distinct for the original expression to have a defined value. Thus, by AM-GM, we have

\[\begin{align} \dfrac {a^{k-2} + \ldots + c^{k-2} + a^{k-3} b + \ldots + b c^{k-3} + \ldots + b^{k-2}}{\dbinom{k}{2}} &> 1\\ a^{k-2} + \ldots + c^{k-2} + a^{k-3} b + \ldots + b c^{k-3} + \ldots + b^{k-2} &> \dbinom {k}{2} = \dfrac {k(k-1)}{2} \end{align}\]

Thus, proven.

Log in to reply

@Svatejas Shivakumar To be clear, your approach works for general \(n\) through a simple generalization.

Log in to reply

Comment deleted Oct 21, 2016

Log in to reply

The claim of "One can prove by induction" is not obvious, in part since you didn't use the induction hypothesis to prove \( k = 4 \).

Can you elaborate on the induction approach?

Note: The approach that I'm thinking of simply uses what you have, without any inductive step. It essentially boils down to finding that "4th factor" and showing that it is greater than k(k-1)/2.

Log in to reply