Maths Olympiad Prep

Library / /7 of 12

Number theory Difficulty 5.9 AIME, harder Prove it Mongolia

Can the expression aa+1+aa+2+aa+3+aa+4\frac{a}{a+1} + \frac{a}{a+2} + \frac{a}{a+3} + \frac{a}{a+4} be an integer for some positive rational number aa?

Solution

Let A=aa+1+aa+2+aa+3+aa+4A = \frac{a}{a+1} + \frac{a}{a+2} + \frac{a}{a+3} + \frac{a}{a+4}. Clearly, we have 0<A<40 < A < 4.

Solution using GCD: Write a=pqa = \frac{p}{q} with p,qp, q relatively prime positive integers. Then can write
A=pp+q+pp+2q+pp+3q+pp+4q=2p(2p+5q)(p2+5pq+5q2)(p+q)(p+2q)(p+3q)(p+4q) A = \frac{p}{p+q} + \frac{p}{p+2q} + \frac{p}{p+3q} + \frac{p}{p+4q} = \frac{2p(2p+5q)(p^2+5pq+5q^2)}{(p+q)(p+2q)(p+3q)(p+4q)}
Now note that p2+5pq+5q2p^2 + 5pq + 5q^2 is relatively prime to p+q,p+2q,p+3qp+q, p+2q, p+3q and p+4qp+4q, since
(p+q,p2+5pq+5q2)=(p+q,4pq+5q2)=(p+q,4p+5q)=1(p+2q,p2+5pq+5q2)=(p+2q,3pq+5q2)=(p+2q,3p+5q)=1(p+3q,p2+5pq+5q2)=(p+3q,2pq+5q2)=(p+3q,2p+5q)=1(p+4q,p2+5pq+5q2)=(p+4q,pq+5q2)=(p+4q,p+5q)=1 \begin{align*} (p+q, p^2+5pq+5q^2) &= (p+q, 4pq+5q^2) = (p+q, 4p+5q) = 1 \\ (p+2q, p^2+5pq+5q^2) &= (p+2q, 3pq+5q^2) = (p+2q, 3p+5q) = 1 \\ (p+3q, p^2+5pq+5q^2) &= (p+3q, 2pq+5q^2) = (p+3q, 2p+5q) = 1 \\ (p+4q, p^2+5pq+5q^2) &= (p+4q, pq+5q^2) = (p+4q, p+5q) = 1 \end{align*}
It follows that
2p(2p+5q)(p+q)(p+2q)(p+3q)(p+4q)=A(p2+5pq+5q2) \frac{2p(2p+5q)}{(p+q)(p+2q)(p+3q)(p+4q)} = \frac{A}{(p^2+5pq+5q^2)}
is an integer. This is a contradiction since 0<A<40 < A < 4 and p2+5pq+5q2>4p^2 + 5pq + 5q^2 > 4.

Solution using polynomials: Let
fA(x)=(x+1)(x+2)(x+3)(x+4)(xx+1+xx+2+xx+3+xx+4A)=(4A)x4+30(3A)x3+35(2A)x2+50(1A)x24A. \begin{align*} f_A(x) &= (x+1)(x+2)(x+3)(x+4) \left( \frac{x}{x+1} + \frac{x}{x+2} + \frac{x}{x+3} + \frac{x}{x+4} - A \right) \\ &= (4-A)x^4 + 30(3-A)x^3 + 35(2-A)x^2 + 50(1-A)x - 24A. \end{align*}
Then, for A=1,2A = 1, 2 and 33, we have
f1(x)=3x4+60x3+35x224,f2(x)=2(x4+15x325x24),f3(x)=x435x2100x72. \begin{align*} f_1(x) &= 3x^4 + 60x^3 + 35x^2 - 24, \\ f_2(x) &= 2(x^4 + 15x^3 - 25x - 24), \\ f_3(x) &= x^4 - 35x^2 - 100x - 72. \end{align*}
It is easy to show that these polynomials do not have rational roots using the rational root lemma.

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.