Maths Olympiad Prep

Library / /74 of 105

Algebra Difficulty 6.3 National Olympiad Prove it JBMO

Problem:
Find the maximum positive integer kk such that for any positive integers m,nm, n such that m3+n3>(m+n)2m^{3}+n^{3}>(m+n)^{2}, we have
m3+n3(m+n)2+k m^{3}+n^{3} \geq (m+n)^{2}+k

Solution

Solution:
We see that for m=3m=3 and n=2n=2 we have m3+n3>(m+n)2m^{3}+n^{3}>(m+n)^{2}, thus
33+23(3+2)2+kk10 3^{3}+2^{3} \geq (3+2)^{2}+k \Rightarrow k \leq 10
We will show that k=10k=10 is the desired maximum. In other words, we have to prove that
m3+n3(m+n)2+10 m^{3}+n^{3} \geq (m+n)^{2}+10
The last inequality is equivalent to
(m+n)(m2+n2mnmn)10 (m+n)\left(m^{2}+n^{2}-m n-m-n\right) \geq 10
If m+n=2m+n=2 or m+n=3m+n=3, then (m,n)=(1,1),(1,2),(2,1)(m, n)=(1,1),(1,2),(2,1) and we can check that none of them satisfies the condition m3+n3>(m+n)2m^{3}+n^{3}>(m+n)^{2}.
If m+n=4m+n=4, then (m,n)=(1,3),(2,2),(3,1)(m, n)=(1,3),(2,2),(3,1). The pair (m,n)=(2,2)(m, n)=(2,2) doesn't satisfy the condition. The pairs (m,n)=(1,3),(3,1)(m, n)=(1,3),(3,1) satisfy the condition and we can readily check that m3+n3(m+n)2+10m^{3}+n^{3} \geq (m+n)^{2}+10.
If m+n5m+n \geq 5 then we will show that
m2+n2mnmn2 m^{2}+n^{2}-m n-m-n \geq 2
which is equivalent to
(mn)2+(m1)2+(n1)26 (m-n)^{2}+(m-1)^{2}+(n-1)^{2} \geq 6
If at least one of the numbers m,nm, n is greater or equal to 4 then (m1)29(m-1)^{2} \geq 9 or (n1)29(n-1)^{2} \geq 9 hence the desired result holds. As a result, it remains to check what happens if m3m \leq 3 and n3n \leq 3. Using the condition m+n5m+n \geq 5 we have that all such pairs are (m,n)=(2,3),(3,2),(3,3)(m, n)=(2,3),(3,2),(3,3).
All of them satisfy the condition and also the inequality m2+n2mnmn2m^{2}+n^{2}-m n-m-n \geq 2, thus we have the desired result.

Alternative solution by PSC. The problem equivalently asks for to find the minimum value of
A=(m+n)(m2+n2mnmn) A=(m+n)\left(m^{2}+n^{2}-m n-m-n\right)
given that (m+n)(m2+n2mnmn)>0(m+n)\left(m^{2}+n^{2}-m n-m-n\right)>0. If m=nm=n, we get that m>2m>2 and
A=2m(m22m)6(326)=18 A=2 m\left(m^{2}-2 m\right) \geq 6\left(3^{2}-6\right)=18
Suppose without loss of generality that m>nm>n. If n=1n=1, then m(m+1)(m2)>0m(m+1)(m-2)>0, therefore m>2m>2 and
A3(3+1)(32)=12 A \geq 3 \cdot(3+1) \cdot(3-2)=12
If n2n \geq 2, then since mn+1m \geq n+1 we have
A=(m+n)(m(mn1)+n2n)(2n+1)(n2n)5(222)=10 A=(m+n)\left(m(m-n-1)+n^{2}-n\right) \geq (2 n+1)\left(n^{2}-n\right) \geq 5\left(2^{2}-2\right)=10
In all cases A10A \geq 10 and the equality holds if m=n+1m=n+1 and n=2n=2, therefore if m=3m=3 and n=2n=2. It follows that the maximum kk is k=10k=10.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.