Show that there are no 2-tuples (x,y) of positive integers satisfying the equation (x+1)(x+2)⋯(x+2014)=(y+1)(y+2)⋯(y+4028).
Solution
Proof For n=2k⋅m (k is a non-negative integer, m is odd), let v(n)=2k. We prove by contradiction: assume (x,y) is one positive integer solution of the equation. Let v(x+i)=1≤j≤2014max{v(x+j)}, then if 1≤j≤2014,j=i, v(x+j)=v(x+i+(j−i))=v(j−i), so v1≤j≤2014,j=i∏(x+j)=v((2014−j)!⋅(j−1)!)≤v(2013!) since ∏j=12014(x+j)=∏j=14028(y+j) is a multiple of 4028!, thus x+i≥v(x+i)≥v(2013!4028!)>21007, therefore x>21006. So (y+4028)4028>∏j=14028(y+j)=∏j=12014(x+j)>21006⋅2014, we have y+4028>2503, y>2502.
Lemma: Let 0≤xi<21(1≤i≤n), if x=n1∑i=1nxi, y=2max1≤i≤n{xi2}, then 1−x≥(i=1∏n(1−xi))n1≥1−x−y. Proof of lemma: By AM-GM inequality, the inequality on the left is easy to prove. The inequality on the right holds, since (i=1∏n(1−xi))n1≥∑i=1n1−xi1n≥∑i=1n(1+xi+2xi2)n=n+nx+2∑i=1nxi2n≥1+x+y1≥1−x−y, the lemma is proved.
Back to the problem, Let w=x+2015>21007, z=y+24029>2502, then the equation is equivalent to w⋅((1−w1)(1−w2)⋯(1−w2014))20141=z2⋅((1−4z21)(1−4z29)⋯(1−4z240272))20141. By lemma, w(1−2w2015)>w⋅((1−w1)(1−w2)⋯(1−w2014))20141 >w(1−2w2015−w22⋅20142)>w(1−2w2015)−81, thereforethedecimalof$w⋅((1−w1)(1−w2)⋯(1−w2014))20141$belongsto$(83,21)$.Ontheotherhand,bylemma z2(1−4z2⋅201412+32+⋯+40272)>z2⋅((1−4z21)(1−4z29)⋯(1−4z240272))20141>z2(1−4z2⋅201412+32+⋯+40272−(4z2)22⋅40274), thus z2−124⋅20142−1>z2⋅((1−4z21)(1−4z29)⋯(1−4z240272))20141>z2−124⋅20142−1−8z240274>z2−124⋅20142−1−81. Since z2−124⋅20142−1 is an integer, so the decimal of z2⋅((1−4z21)(1−4z29)⋯(1−4z240272))20141 belongs to (87,1), this is a contradiction.
Therefore, there are no 2-tuples (x,y) of positive integers satisfying j=1∏2014(x+j)=j=1∏4028(y+j).
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.