CombinatoricsDifficulty 6.5National olympiadProve it
18. (POL 1) Let Sn be the number of sequences (a1,a2,…,an), where ai∈{0,1}, in which no six consecutive blocks are equal. Prove that Sn→∞ as n→∞.
Solution
18. Let Bn be the set of sequences with the stated property (Sn=∣Bn∣). We shall prove by induction on n that Sn≥23Sn−1 for every n. Suppose that for every i≤n,Si≥23Si−1, and consequently Si≤(32)n−iSn. Let us consider the 2Sn sequences obtained by putting 0 or 1 at the end of any sequence from Bn. If some sequence among them does not belong to Bn+1, then for some k≥1 it can be obtained by extending some sequence from Bn+1−6k by a sequence of k terms repeated six times. The number of such sequences is 2kSn+1−6k. Hence the number of sequences not satisfying our condition is not greater than k≥1∑2kSn+1−6k≤k≥1∑2k(32)6k−1Sn=23Sn1−2(2/3)62(2/3)6=601192Sn<21Sn Therefore Sn+1 is not smaller than 2Sn−21Sn=23Sn. Thus we have Sn≥(23)n.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.