Number theoryDifficulty 5.3AIME, harderProve itCroatia
The lengths of all sides of a quadrilateral are integers, and each of them is a divisor of the sum of the other three lengths. Prove that at least two of the sides of that quadrilateral have equal lengths.
Solution
On the contrary, let's assume that all sides are of different lengths; i.e. a<b<c<d (a, b, c, d are lengths of the sides, ordered by their length). Each of the lengths is a divisor of S=a+b+c+d, by assumption. Also, it must be a+b+c>d or equivalently S>2d and finally dS>2. Since d is a divisor of S it follows that dS≥3. Now we have c<d≤3S and since c is a divisor of S, it follows that c≤4S. Analogously we obtain b≤5S and a≤6S. Then S=a+b+c+d≤6S+5S+4S+3S=S(61+51+41+31)=6057S<S. Contradiction!
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 and solution reproduced as published; topic and difficulty added by this site.