A sequence of integers is called kawaii, if , , and, for any positive integer , we have
An integer is called kawaii if it belongs to a kawaii sequence.
Suppose that two consecutive positive integers and are both kawaii (not necessarily belonging to the same kawaii sequence). Prove that 3 divides , and that is kawaii.
Solutions — 2
Solution 1
We start by rewriting the condition in the problem as:
We have and for all .
Now, since and , we have that for all . Since and are kawaii integers, then necessarily .
We also observe that or . Moreover,
1. If , then for all since .
2. If , then for all since .
Since , any kawaii sequence containing does not satisfy (2), so it must satisfy (1). Hence, is odd and is even.
Take a kawaii sequence containing . Let be such that .
As does not satisfy (1), it must satisfy (2). Then for all .
We define the sequence . This is a kawaii sequence: and for all ,
Finally, we notice that the term which implies that is kawaii.
Solution 2
We start by proving the following:
Claim 1 We have for all .
Proof. We have or , so , and since and the result follows.
Hence if and are kawaii, then necessarily .
Claim 2 An integer is kawaii if and only if it can be written as for some with satisfying for and for all .
Proof. For a kawaii sequence , we can write or , so or . Hence, where or and or .
Conversely, given a number that can be written in that way, we consider any sequence given by , and for and given by the kawaii condition for . This defines a kawaii sequence containing the given number as .
Let us suppose that and are kawaii, then they belong to some kawaii sequences and we can write them as in Claim 2 as and where is odd and is even because of modulo reasons. Since , we have , so .
Then for some 's as in Claim 2 with and : so with for all . Then with as in Claim 2 and is a kawaii integer.