Looks simple, doesn't it?

k = 1 n k ! = a b \large \sum_{k=1}^{n}k!=a^{b}

Let a > 1 , b > 1 a > 1, b > 1 and n > 1 n > 1 be positive integers for which the summation above is fulfilled. Find the largest possible value of ( a + b + n ) 2 (a+b+n)^{2} .


The answer is 64.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Patrick Corn
Jun 10, 2014

I can build on Finn's partial solution. As he notes, the sum can't be a square unless n = 3 n = 3 . We can check one by one that for n 8 n \le 8 the sum is not a b b th power. Now for n = 8 n = 8 the sum is 46233 46233 , which is divisible by 9 9 and not 27 27 . Since k ! k! is divisible by 27 27 for k 9 k \ge 9 , the sum will be divisible by 9 9 and not 27 27 for n 9 n \ge 9 . So it can't be a b b th power for b 3 b \ge 3 either.

So the only solution is n = 3 n = 3 , which leads to 64 \fbox{64} .

Finn Hulse
May 18, 2014

I have an immensely powerful tool for approaching this problem. It's easy to find the first solution, which is ( 3 , 3 , 2 ) (3, 3, 2) , but how to prove it is the only and the largest?

It should not be too hard to figure out all the different sums.

At n = 2 n=2 , the sum is 3 3 . Similarly, letting f ( n ) f(n) be the summation, we get

f ( 3 ) = 9 f(3)=\boxed{9} ,

f ( 4 ) = 33 f(4)=33 ,

and f ( 5 ) = 153 f(5)=153 .

Now notice something about factorials. Everything after 4 ! 4! ends with a zero, like 120 120 , 720 720 , etc. Consider all squares m o d 10 \mod{10} . They are:

1 1 ,

4 4 ,

9 9 ,

6 6 ,

and 5 5 .

These are the only possible remainders. Why am I saying all this? Because look at f ( 4 ) f(4) and f ( 5 ) f(5) . They both end in 3 3 . Because, as we've pointed out, by adding the next highest factorials, the units digit will not be affected. From what we've collected about squares modulo 10 10 , it is impossible for any f ( n ) f(n) for n 4 n \geq 4 to be a perfect square. As for cubes and any higher powers, I am clueless. Otherwise, we have shown that n = 3 n=3 is the only solution and thus the required expression is ( 3 + 3 + 2 ) 2 = 8 2 = 64 (3+3+2)^2=8^2=\boxed{64} . Absolutely fantastic problem @Victor Loh but I have no idea how to prove this for higher powers. :O

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...