 Find the number of  4-tuples (a,b,c,d) of natural numbers with $a \le b \le c$ and $a! + b! + c! = 3^d$

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 $1! + 1! + c! = 3^d$  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 $1! + 1! + 1! = 3^1$ 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 $1! + 2! + c! = 3^d$. Surely c! is 0 mod 3. Hence possible values of c are 3, 4, 5, …

c=3 and c=4 furnish specific solutions as $1! + 2! + 3! = 3^2$ and $1! + 2! + 4! = 3^3$ . 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 $1! + 2! + 5! = 123$ is not a power of 3. From c=6 onward we argue $1! +2! + c! = 3^d$ implies $3(1 + \frac {c!}{3} ) = 3^d$ implies $1 + \frac {c!}{3} = 3^{d-1}$ . 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 $\frac {c!}{3}$ is divisible by 3.
Thus in the equation $1 + \frac {c!}{3} = 3^{d-1}$ 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.

• If you are a student of the Online Advanced Math Olympiad Program visit www.cheenta.com and log in. Further discussions are happening in our forum.
• If you are not a student of Cheenta, visit this place again. We will post all the solutions soon. You may click on the “Follow” button to get notified about updates.