Let A=a+1a+a+2a+a+3a+a+4a. Clearly, we have 0<A<4.
Solution using GCD: Write a=qp with p,q relatively prime positive integers. Then can write
A=p+qp+p+2qp+p+3qp+p+4qp=(p+q)(p+2q)(p+3q)(p+4q)2p(2p+5q)(p2+5pq+5q2)
Now note that p2+5pq+5q2 is relatively prime to p+q,p+2q,p+3q and p+4q, since
(p+q,p2+5pq+5q2)(p+2q,p2+5pq+5q2)(p+3q,p2+5pq+5q2)(p+4q,p2+5pq+5q2)=(p+q,4pq+5q2)=(p+q,4p+5q)=1=(p+2q,3pq+5q2)=(p+2q,3p+5q)=1=(p+3q,2pq+5q2)=(p+3q,2p+5q)=1=(p+4q,pq+5q2)=(p+4q,p+5q)=1
It follows that
(p+q)(p+2q)(p+3q)(p+4q)2p(2p+5q)=(p2+5pq+5q2)A
is an integer. This is a contradiction since 0<A<4 and p2+5pq+5q2>4.
Solution using polynomials: Let
fA(x)=(x+1)(x+2)(x+3)(x+4)(x+1x+x+2x+x+3x+x+4x−A)=(4−A)x4+30(3−A)x3+35(2−A)x2+50(1−A)x−24A.
Then, for A=1,2 and 3, we have
f1(x)f2(x)f3(x)=3x4+60x3+35x2−24,=2(x4+15x3−25x−24),=x4−35x2−100x−72.
It is easy to show that these polynomials do not have rational roots using the rational root lemma.