Call a tuple of integers *perfect* if both following conditions are fulfilled:
1. There exists an integer such that for all ;
2. For all , there exists a prime number and a non-negative integer such that .
Prove that if is large enough then there is no perfect tuples, and find all perfect tuples with the maximal number of components.
Solution
*Answer:* .
Clearly is a perfect tuple with length 5. Show in the rest that there are no other perfect tuples with length 5 or larger.
For that, let be an arbitrary perfect tuple with length at least 5. There must exist at least two odd exponents among ; let and be the two largest odd exponents. As and are prime powers while having a common divisor , these two integers must be powers of the same prime . Thus the larger of them, , is divisible by the smaller one, , which shows that divides also the difference . Hence , implying . So as is odd. By choice of , the only odd exponents in our perfect tuple are 1 and 3 and the tuple is of the form .
As and are powers of the same prime number , also the ratio is a power of . Note that by , hence is divisible by . Thus the difference is divisible by . This filters out the only possibility .