Browse · MathNet
PrintJapan 2013 Initial Round
Japan 2013 number theory
Problem
There are 2013 cards numbered , , , , . Initially, all the cards are placed with the face with a written number down. Then, we perform for each the following operation starting with and with increasing order ending up with :
Operation : Flip each of the cards having the number for .
How many cards are with their faces up (showing their numbers) at the end of all the operations?
Here we denote by for each real number the greatest integer less than or equal to .
Operation : Flip each of the cards having the number for .
How many cards are with their faces up (showing their numbers) at the end of all the operations?
Here we denote by for each real number the greatest integer less than or equal to .
Solution
Let throughout the subsequent discussion on this problem. For any real number denote by the smallest integer greater than or equal to . In order to obtain the desired solution, we prove the following two lemmas.
Lemma 1. For and , we have holds if the card with number is turned over at the operation , and , otherwise.
Proof: We note first that for any such pair , we have or , since holds. Now we have card numbered is turned over at the operation Note that the last statement is equivalent to , and therefore, this completes the proof of Lemma 1 in view of the opening remark for the proof.
For each integer , , let us say that the operations are performed if the operation and operation are applied consecutively.
Lemma 2. The following assertion is valid:
The card numbered is turned over once during the operations neither nor is an integer.
Proof: First note that the following holds in general for any pair of real numbers and for which is an integer: From Lemma 1 it follows that The card numbered is turned over once during the operations From the remark made above, we have and also Therefore, we can conclude that () holds either both and are integers, or neither is an integer. But since is not an integer, it is impossible to have both and to be integers simultaneously. This proves the assertion of the Lemma.
Now, since we have where denotes the greatest common divisor of and , we now have the following assertion: During the operations the card numbered is turned over once
Next, we note that the result of applying each of the operations once and only once the end result does not depend on the order these operations are applied. Therefore, in order to get the answer to the question of the problem, we may assume we apply operations , , , and the operation in any order.
From , we see that there are Since we have , among there are precisely half, namely, , , , , , , i's satisfying the corresponding conditions on stated above. In particular, for there are odd numbers of i's for which or and there are even number of i's for which takes other values. According to the statement if we apply the operations for even number of i's for which take the same value, the face-side-arrangement of the cards remain the same. Consequently, it is enough to consider the result of applying each of the following operations once.
(a) Operations for each for which , (b) Operations for each for which , (c) Operation .
Because of the statement , after the application of the type (a) above, those cards having numbers which have remainder after the division by change their sides. After the application of the type (b) above, those cards having numbers which have remainder after division by also changes their sides. Consequently, by the Chinese Remainder Theorem, we obtain the fact that the number of cards with their side with their number facing down (i.e., the face-side state is the same as in the initial state) after the applications of the types (a) and (b) is given by . With the operation of the type (c) all of the cards will be turned over, and therefore, the number of cards which show their side with their number facing up after the application of all the operations , is .
Lemma 1. For and , we have holds if the card with number is turned over at the operation , and , otherwise.
Proof: We note first that for any such pair , we have or , since holds. Now we have card numbered is turned over at the operation Note that the last statement is equivalent to , and therefore, this completes the proof of Lemma 1 in view of the opening remark for the proof.
For each integer , , let us say that the operations are performed if the operation and operation are applied consecutively.
Lemma 2. The following assertion is valid:
The card numbered is turned over once during the operations neither nor is an integer.
Proof: First note that the following holds in general for any pair of real numbers and for which is an integer: From Lemma 1 it follows that The card numbered is turned over once during the operations From the remark made above, we have and also Therefore, we can conclude that () holds either both and are integers, or neither is an integer. But since is not an integer, it is impossible to have both and to be integers simultaneously. This proves the assertion of the Lemma.
Now, since we have where denotes the greatest common divisor of and , we now have the following assertion: During the operations the card numbered is turned over once
Next, we note that the result of applying each of the operations once and only once the end result does not depend on the order these operations are applied. Therefore, in order to get the answer to the question of the problem, we may assume we apply operations , , , and the operation in any order.
From , we see that there are Since we have , among there are precisely half, namely, , , , , , , i's satisfying the corresponding conditions on stated above. In particular, for there are odd numbers of i's for which or and there are even number of i's for which takes other values. According to the statement if we apply the operations for even number of i's for which take the same value, the face-side-arrangement of the cards remain the same. Consequently, it is enough to consider the result of applying each of the following operations once.
(a) Operations for each for which , (b) Operations for each for which , (c) Operation .
Because of the statement , after the application of the type (a) above, those cards having numbers which have remainder after the division by change their sides. After the application of the type (b) above, those cards having numbers which have remainder after division by also changes their sides. Consequently, by the Chinese Remainder Theorem, we obtain the fact that the number of cards with their side with their number facing down (i.e., the face-side state is the same as in the initial state) after the applications of the types (a) and (b) is given by . With the operation of the type (c) all of the cards will be turned over, and therefore, the number of cards which show their side with their number facing up after the application of all the operations , is .
Final answer
793
Techniques
Chinese remainder theoremGreatest common divisors (gcd)Floors and ceilingsInvariants / monovariants