11. C5 (FIN) Find all finite sequences such that for every , equals the number of times appears in the sequence.
Problem 786
Official solution
11. Let be any such sequence: its terms are clearly nonnegative integers. Also, yields a contradiction, so . Let be the number of positive terms among . Since counts the terms equal to , the sum counts the total number of positive terms in the sequence, which is known to be . Therefore among exactly terms are equal to 1 , one is equal to 2 , and the others are 0 . Only can exceed 2 , and consequently at most one of can be positive. It follows that .
(i) : Then (since is impossible), so . The resulting sequence is .
(ii) : Either or . These cases yield and respectively.
(iii) : This means that for some . Hence and . Further, is impossible, so and ; there are no more positive terms in the sequence. The resulting sequence is .