Maths Olympiad Prep

Library / Junior Balkan Mathematical Olympiad /66 of 95

Junior Balkan Mathematical Olympiad

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+k⇒k≤10 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+n2−mn−m−n)≥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+n≥5m+n \geq 5 then we will show that
m2+n2−mn−m−n≥2 m^{2}+n^{2}-m n-m-n \geq 2
which is equivalent to
(m−n)2+(m−1)2+(n−1)2≥6 (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 (m−1)2≥9(m-1)^{2} \geq 9 or (n−1)2≥9(n-1)^{2} \geq 9 hence the desired result holds. As a result, it remains to check what happens if m≤3m \leq 3 and n≤3n \leq 3. Using the condition m+n≥5m+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+n2−mn−m−n≥2m^{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+n2−mn−m−n) A=(m+n)\left(m^{2}+n^{2}-m n-m-n\right)
given that (m+n)(m2+n2−mn−m−n)>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(m2−2m)≥6(32−6)=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)(m−2)>0m(m+1)(m-2)>0, therefore m>2m>2 and
A≥3⋅(3+1)⋅(3−2)=12 A \geq 3 \cdot(3+1) \cdot(3-2)=12
If n≥2n \geq 2, then since m≥n+1m \geq n+1 we have
A=(m+n)(m(m−n−1)+n2−n)≥(2n+1)(n2−n)≥5(22−2)=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 A≥10A \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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