Browse · MathNet
PrintNational Olympiad of Argentina
Argentina number theory
Problem
The positive integers , and are less than and satisfy . Find the minimum and the maximum of .
Solution
Assume by symmetry; then . Also , so that . Thus . Write the equation as .
For look at and first. If then , and is a prime. Hence , . If then , and has no representation with between and . The sum of integers with a fixed product is a minimum when the factors are as close as possible, therefore and . The equality is attained for , , i.e. , ; the triple is admissible. We show that is the desired minimum.
Note that implies , hence . So a sufficient condition for is . This is equivalent to . The quadratic function increases in and , implying for . If then . As and , have the same parity, we see that . If then , and the factors in the last product are closest possible. Hence and .
For the maximum of note first that is odd. Also in view of and . Moreover the four numbers , , , have the same parity, so with an integer. We prove that the maximum is attained when , i.e. .
First restrict attention to admissible triples that satisfy the last additional condition. Set for clarity. Then , and one can express in terms of : Since is odd, is an integer. So and are divisors of with product . We have to minimize their sum in order that be a maximum. A factorization is needed with and closest possible, which leads to . Therefore . The value is attained for the triple which is admissible.
If then , hence To complete the proof it suffices to show that whenever . Use the last inequality to reach the equivalent form . The latter holds for all real since the trinomial has a negative discriminant.
For look at and first. If then , and is a prime. Hence , . If then , and has no representation with between and . The sum of integers with a fixed product is a minimum when the factors are as close as possible, therefore and . The equality is attained for , , i.e. , ; the triple is admissible. We show that is the desired minimum.
Note that implies , hence . So a sufficient condition for is . This is equivalent to . The quadratic function increases in and , implying for . If then . As and , have the same parity, we see that . If then , and the factors in the last product are closest possible. Hence and .
For the maximum of note first that is odd. Also in view of and . Moreover the four numbers , , , have the same parity, so with an integer. We prove that the maximum is attained when , i.e. .
First restrict attention to admissible triples that satisfy the last additional condition. Set for clarity. Then , and one can express in terms of : Since is odd, is an integer. So and are divisors of with product . We have to minimize their sum in order that be a maximum. A factorization is needed with and closest possible, which leads to . Therefore . The value is attained for the triple which is admissible.
If then , hence To complete the proof it suffices to show that whenever . Use the last inequality to reach the equivalent form . The latter holds for all real since the trinomial has a negative discriminant.
Final answer
minimum = 125, maximum = 243
Techniques
Techniques: modulo, size analysis, order analysis, inequalitiesFactorization techniquesLinear and quadratic inequalitiesQM-AM-GM-HM / Power MeanIntegers