Maths Olympiad Prep

Library / Selected Problems from the Final Round of National Olympiad /3 of 9

Selected Problems from the Final Round of National Olympiad

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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.