Find the number of 4-tuples (a,b,c,d) of natural numbers with and
Discussion: Number of 4-tuples
The basic idea is: factorial function is faster than the exponential function in the long run. Note that all three of a, b, c cannot be larger than 3; then the left side will be divisible by 4 but the right side is not. Hence the possible values of a are 1, 2, and 3.
If a=1, then b and c both cannot be greater than or equal to 3 (then the left-hand side is not divisible by 3). So we have the following cases:
b=1 or b=2
If b =1 then we have Surely c! is 1 mod 3 (otherwise the left-hand side is not divisible by 3). Then the possible values of c is 1. And indeed fits into our equation. Hence (1, 1, 1, 1) is a solution and for b=1 there is no other.
If b=2 then we have . Surely c! is 0 mod 3. Hence possible values of c are 3, 4, 5, ...
c=3 and c=4 furnish specific solutions as and . Hence (1, 2, 3, 2) and (1, 2, 4, 3) are two solutions.
Can c be greater than 4? Surely c cannot be 5 since is not a power of 3. From c=6 onward we argue implies implies . Since c is greater than 5, c! will contain atleast two 3's in it's prime factorization (and d will be greater than 4 as 5! = 120 > 81 ) . Hence is divisible by 3.
Thus in the equation left hand side is 1 mod 3 (that is produces 1 as remainder when divided by 3) and right hand side is 0 mod 3. Hence no solution.
Hence there are exactly 3 solutions.