Number theoryDifficulty 5.5AIME, harderProve itCzech-Polish-Slovak Mathematical Match
For any real number p≥1 let us consider the set of all real numbers x with p<x<(2+p+41)2 Prove that from such a given set one can select four mutually different natural numbers a,b,c,d with ab=cd.
Solution
The numbers a=(k−1)k, b=(k+1)k, c=(k−1)(k+1), d=k2 clearly satisfy the equality ab=cd and the inequalities a<c<d<b for any k>1. Let thus k be the least natural number for which p<a, i.e. p<(k−1)k (for a given p). We will show that for this k necessarily b=(k+1)k≤p+4+24p+1, which is evidently a number by 41 smaller than the upper bound of the interval in our problem, so we will be done.
In view of the choice of the number k we have p≥(k−2)(k−1). Solving this quadratic inequality yields the estimate k≤23+p+41, from which it already follows that b=(k+1)k≤(25+p+41)⋅(23+p+41)=415+4p+41+(p+41)=p+4+24p+1.
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.