Maths Olympiad Prep

Library / /3 of 9

Number theory Difficulty 5.7 AIME, harder Prove it Estonia

Find all quadruples (w,x,y,z)(w, x, y, z) of positive integers such that wx+wy=wzw^x + w^y = w^z.

Solutions — 2

Solution 1

Consider the following cases.
If w=1w = 1, then no solution can exist, since the l.h.s. of the equality equals 22 while the r.h.s. equals 11.
If w≥2w \ge 2, then x<zx < z and y<zy < z, i.e., x≤z−1x \le z - 1 and y≤z−1y \le z - 1. Thus wx+wy≤wz−1+wz−1=2⋅wz−1≤w⋅wz−1=wzw^x + w^y \le w^{z-1} + w^{z-1} = 2 \cdot w^{z-1} \le w \cdot w^{z-1} = w^z. To satisfy the equation, equalities must hold in both inequalities and thus x=y=z−1x = y = z - 1 and w=2w = 2. This gives the solutions (w,x,y,z)=(2,n,n,n+1)(w, x, y, z) = (2, n, n, n+1), where nn is an arbitrary positive integer.

Solution 2

In the case w=1w = 1 there are no solutions because 1+1=21 + 1 = 2 is not a power of 11. Assume in the rest that w>1w > 1. W.l.o.g., assume x≤y<zx \le y < z. Then the equation takes the form wx(1+wy−x)=wzw^x(1 + w^{y-x}) = w^z, whence 1+wy−x=wz−x1 + w^{y-x} = w^{z-x}. Consequently, 1+wy−x1 + w^{y-x} is a positive power of ww and is divisible by ww. If y−xy-x were positive, then wy−xw^{y-x} would also be divisible by ww, whence 11 should be divisible by ww, which is impossible. The remaining case y−x=0y-x = 0 leads to 2=wz−x2 = w^{z-x} that gives w=2w = 2 and z−x=1z-x = 1 as the only possibility. Hence the solutions of the equation are of the form (w,x,y,z)=(2,n,n,n+1)(w, x, y, z) = (2, n, n, n+1), where nn is any positive integer. Checking shows that all these quadruples satisfy the equation.

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.