Let N be the set of nonnegative integers. Define a function f : N 3 → N satisfying the following for any a , b , c ∈ N ∖ { 0 } :
⎩ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎧ f ( 0 , 0 , 0 ) f ( a , 0 , 0 ) f ( 0 , b , 0 ) f ( 0 , 0 , c ) f ( a , b , 0 ) f ( a , 0 , c ) f ( 0 , b , c ) f ( a , b , c ) = 2 0 1 5 = f ( a − 1 , 1 , 0 ) = f ( 0 , b − 1 , 1 ) = f ( c − 1 , 0 , 0 ) = f ( a − 1 , b − 1 , 2 ) = f ( c − 1 , 1 , a − 1 ) = f ( 0 , b − 1 , c + 1 ) = f ( b , c , a − 1 )
A happinization of a positive integer n is an infinite sequence of integers, where the first term of the sequence is n , and every term afterwards is the sum of the squares of the digits of the previous term. For example, the happinization of 2 0 1 5 is 2 0 1 5 , 3 0 , 9 , 8 1 , 6 5 , 6 1 , 3 7 , 5 8 , 8 9 , 1 4 5 , 2 0 , 4 , 1 6 , 3 7 , … . A happy number is a positive integer whose happinization ends with an infinite number of 1 s; all other positive integers are sad numbers . For example, 2 0 1 5 above is sad, but 1 (with happinization 1 , 1 , 1 , 1 , … ) is happy.
For any positive integer n , define p n as the product of the first n ! happy numbers. Let A = p 1 , F = p 2 , I = p 3 , L = p 4 , O = p 5 , P = p 6 , R = p 7 , S = p 8 . Compute the value of f ( A P R I L , F O O L S , 2 0 1 5 ) .
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.
OMG OMG OMG LOL I GUESSED IT OP!!!! LOLOLOL CUZ IT WAS 2015 I GUESSED IT XDDDD 4% yeah!!!
None of the definitions of f increase the value of a + b + c .
These decrease the value of a + b + c :
f ( 0 , 0 , c ) = f ( c − 1 , 0 , 0 ) f ( a , 0 , c ) = f ( c − 1 , 1 , a − 1 ) f ( a , b , c ) = f ( b , c , a − 1 )
These, on the other hand, keep it the same:
f ( a , 0 , 0 ) = f ( a − 1 , 1 , 0 ) f ( 0 , b , 0 ) = f ( 0 , b − 1 , 1 ) f ( a , b , 0 ) = f ( a − 1 , b − 1 , 2 ) f ( 0 , b , c ) = f ( 0 , b − 1 , c + 1 )
However, we can see that each of these eventually leads to a + b + c being decreased, as follows:
f ( 1 , 0 , 0 ) = f ( 0 , 1 , 0 ) = f ( 0 , 0 , 1 ) f ( 2 , 0 , 0 ) = f ( 1 , 1 , 0 ) = f ( 0 , 0 , 2 ) = f ( 1 , 0 , 0 ) f ( a + 2 , 0 , 0 ) = f ( a + 1 , 1 , 0 ) = f ( a , 0 , 2 ) = f ( 1 , 1 , a − 1 ) f ( 0 , b , 0 ) = f ( 0 , b − 1 , 1 ) = f ( 0 , 0 , b ) = f ( b − 1 , 0 , 0 ) f ( a + 1 , b + 1 , 0 ) = f ( a , b , 2 ) = f ( b , 2 , a − 1 ) f ( 1 , b + 1 , 0 ) = f ( 0 , b , 2 ) = f ( 0 , 0 , b + 2 ) = f ( b + 1 , 0 , 0 ) f ( a + 1 , 1 , 0 ) = f ( a , 0 , 2 ) = f ( 1 , 1 , a − 1 ) f ( 1 , 1 , 0 ) = f ( 0 , 0 , 2 ) = f ( 1 , 0 , 0 ) f ( 0 , b , c ) = f ( 0 , 0 , b + c ) = f ( b + c − 1 , 0 , 0 )
Consequently, we know that the evaluation of f will eventually terminate. Since there is only one terminating condition, with a constant value, we know that f is just a constant function.
Problem Loading...
Note Loading...
Set Loading...
Finding the answer is trivial: the only possible value that f can take is clearly 2 0 1 5 , and for the problem to have a single answer, this must be the answer. The meat of the problem lies on whether f is always defined.
We will refer to the eight definitions as Definition 1 through Definition 8 as they are listed. For example, Definition 1 is f ( 0 , 0 , 0 ) = 2 0 1 5 .
Suppose we want to compute f ( a , b , c ) . Define three sequences ( a i ) , ( b i ) , ( c i ) indexed starting from 0 , such that a 0 = a , b 0 = b , c 0 = c , and whenever we apply a Definition in the form f ( a i , b i , c i ) = f ( x , y , z ) , set a i + 1 = x , b i + 1 = y , c i + 1 = z . Essentially, the three sequences keep track of the current state of the arguments.
For example, we can perform this computation:
f ( 2 , 1 , 0 ) = f ( 1 , 0 , 2 ) = f ( 0 , 1 , 1 ) = f ( 0 , 0 , 2 ) = f ( 1 , 0 , 0 ) = f ( 0 , 1 , 0 ) = f ( 0 , 0 , 1 ) = f ( 0 , 0 , 0 ) = 2 0 1 5 (Def 5) (Def 6) (Def 7) (Def 4) (Def 2) (Def 3) (Def 4) (Def 1)
Thus, by reading the above downwards, we obtain the sequences:
( a i ) = ( 2 , 1 , 0 , 0 , 1 , 0 , 0 , 0 ) ( b i ) = ( 1 , 0 , 1 , 0 , 0 , 1 , 0 , 0 ) ( c i ) = ( 0 , 2 , 1 , 2 , 0 , 0 , 1 , 0 )
Note that if a sequence of natural numbers is strictly decreasing, by well-ordering principle on the natural numbers, this sequence must eventually terminate. Similarly, if a sequence of natural numbers is non-increasing, it must eventually be constant (although not necessarily constant 0 ).
We claim that:
First, we will show that the above is enough to show that the sequences will terminate, necessarily at ( 0 , 0 , 0 ) as otherwise we can apply some other Definition.
Suppose the sequences don't terminate. Thus a i + b i + c i , being a sequence of natural numbers that is non-increasing, must eventually be constant. But then 2 a i + b i must be decreasing forever, while it is still a sequence of natural numbers, contradicting the well-ordering principle.
With the above, we can show that f ( a , b , c ) will eventually become f ( 0 , 0 , 0 ) = 2 0 1 5 . Now we will prove both of the above claims.
First, we can observe that no Definition increases the sum of its arguments, proving the first claim immediately.
Now, we can ignore Definitions 4, 6, and 8, as they decrease the sum; the second promise doesn't claim anything when the sum decreases. We can also ignore Definition 1 as it terminates the sequence. However, we can verify that the remaining four Definitions indeed decrease the value of 2 a + b :
This proves both of our claims, showing that f is a constant function, returning 2 0 1 5 no matter what the arguments are.
Now we need to prove that p 1 , p 2 , … , p 8 , used for computing A P R I L and F O O L S , are defined; they can probably be not defined if there are only finitely many happy numbers , for example. But this is simple; 1 0 n is trivially happy for all natural number n as its happinization is 1 0 n , 1 , 1 , 1 , … , thus we can compute p n by simply inspecting all numbers not greater than 1 0 n ! . We are guaranteed to find at least n ! happy numbers ( 1 0 , 1 0 2 , 1 0 3 , … , 1 0 n ! ), so p n is defined. Additionally, happy numbers are positive integers by definition, so p n is a positive integer for all n . This proves that our expression f ( A P R I L , F O O L S , 2 0 1 5 ) is indeed a defined expression, and our result above shows that f ( A P R I L , F O O L S , 2 0 1 5 ) = 2 0 1 5 .