Maths Olympiad Prep

Library / /244 of 520

Number theory Difficulty 6.0 National olympiad Prove it

Example 3 Let positive integers x,y,zx, y, z satisfy (x,y,z)=1(x, y, z)=1, and 1x+1y=1z\frac{1}{x}+\frac{1}{y}=\frac{1}{z}. Prove: x+y,xz,yzx+y, x-z, y-z are all perfect squares.

Solution

Proof: Let (x,y)=m(x, y)=m, and set x=mn,y=mlx=m n, y=m l, where m,l,nm, l, n are all positive integers, and (l,n)=1(l, n)=1. Thus, from the condition we have
(l+n)z=mln.(l+n) z=m l n .

Using (x,y,z)=1(x, y, z)=1, we know (m,z)=1(m, z)=1, hence, from (1) we know zlnz \mid ln. Since (l,n)=1(l, n)=1, it follows that (l,l+n)=1,(n,l+n)=1(l, l+n)=1, (n, l+n)=1, therefore, from (1) we know lz,nzl|z, n| z, and by (l,n)=1(l, n)=1, we have lnzln \mid z. So, z=lnz=ln, and thus m=l+nm=l+n. This way, we have
x+y=m(l+n)=(l+n)2xz=mnln=n(ml)=n2yz=mlln=l(mn)=l2\begin{array}{c} x+y=m(l+n)=(l+n)^{2} \\ x-z=m n-l n=n(m-l)=n^{2} \\ y-z=m l-l n=l(m-n)=l^{2} \end{array}

The proposition is proved.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.