4. 249 Proof: The equation x−y+z=1 has infinitely many sets of positive integer solutions where x,y,z are all distinct, and the product of any two of them is divisible by the third.
Translate the above text into English, please retain the original text's line breaks and format, and output the translation result directly.
4. 249 Proof: The equation x−y+z=1 has infinitely many sets of positive integer solutions where x,y,z are all distinct, and the product of any two of them is divisible by the third.
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Official solution
[Proof] Let x,y,z be positive integer solutions of the original equation that meet the problem's requirements. Then x,y,z are pairwise distinct, and there exist positive integers u,v,w such that ⎩⎨⎧xy=zuyz=xvzx=yw. (1) × (2) × (3) gives (xyz)2=(xyz)(uvw),
Noting that xyz=0, we have xyz= uvw. .
Substituting (1), (2), and (3) into the left side of (4), we get z2u=x2v=y2w=xyz=uvw
Thus, we have
i.e., □ x2=uw,y2=uv,z2=vw,
Let x=uw,y=uv,z=vw.n=u,m=w,k=v
Then □ x=nm,y=nk,z=mk.
Substituting (5) into the original equation, we get nm−nk+mk=1
i.e., n(k−m)=mk−1
Taking k−m=1, then k=m+1,n=m2+m−1
Substituting (6) into (5) gives x=m(m2+m−1),y=(m+1)(m2+m−1),z=m(m+1). Upon verification, when m=2,3,4,⋯⋯, the above expressions provide infinitely many sets of positive integer solutions that meet the requirements of the original equation.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.