Maths Olympiad Prep

Library / /39 of 40

Combinatorics Difficulty 7.6 National olympiad, round 2 Prove it China

Let nn be a positive integer, and f(n)f(n) denote the number of nn-digit integers a1a2an\overline{a_1a_2\cdots a_n} (called wave number) that satisfy the following conditions:
(i) ai{1,2,3,4}a_i \in \{1, 2, 3, 4\}, and aiai+1a_i \neq a_{i+1}, i=1,2,i = 1, 2, \dots;
(ii) When n3n \ge 3, the numbers aiai+1a_i - a_{i+1} and ai+1ai+2a_{i+1} - a_{i+2} have opposite signs, i=1,2,i = 1, 2, \dots.
Find (1) the value of f(10)f(10),
(2) the remainder of f(2008)f(2008) divided by 13.

Solution

(1) When n2n \ge 2, if a1<a2<a1a2ana_1 < a_2 < \overline{a_1a_2\cdots a_n} is classified as A class. The number of a1a2an\overline{a_1a_2\cdots a_n} is denoted by g(n)g(n). If a1>a2a_1 > a_2, then a1a2an\overline{a_1a_2\cdots a_n} is classified as B class. By symmetry, the number of such a1a2an\overline{a_1a_2\cdots a_n} is also g(n)g(n). Thus, f(n)=2g(n)f(n) = 2g(n).
Now we want to find g(n)g(n). Denote mk(i)m_k(i) as the kk-digit "A wave number" whose last digit is ii (i=1,2,3,4i = 1, 2, 3, 4), then
g(n)=i=14mn(i). g(n) = \sum_{i=1}^{4} m_{n}(i).
As a2k1<a2ka_{2k-1} < a_{2k}, a2k>a2k+1a_{2k} > a_{2k+1}, we have the following 2 cases.
(a) When kk is even, mk+1(4)=0m_{k+1}(4) = 0, mk+1(3)=mk(4)m_{k+1}(3) = m_k(4), mk+1(2)=mk(4)+mk(3)m_{k+1}(2) = m_k(4) + m_k(3), mk+1(1)=mk(4)+mk(3)+mk(2)m_{k+1}(1) = m_k(4) + m_k(3) + m_k(2).
(b) When kk is odd, mk+1(1)=0m_{k+1}(1) = 0, mk+1(2)=mk(1)m_{k+1}(2) = m_k(1), mk+1(3)=mk(1)+mk(2)m_{k+1}(3) = m_k(1) + m_k(2), mk+1(4)=mk(1)+mk(2)+mk(3)m_{k+1}(4) = m_k(1) + m_k(2) + m_k(3).
It is obvious that m2(1)=0m_2(1) = 0, m2(2)=1m_2(2) = 1, m2(3)=2m_2(3) = 2, m2(4)=3m_2(4) = 3, then, g(2)=6g(2) = 6.
Hence,
m3(1)=m2(2)+m2(3)+m2(4)=6, m_3(1) = m_2(2) + m_2(3) + m_2(4) = 6,
m3(2)=m2(3)+m2(4)=5, m_3(2) = m_2(3) + m_2(4) = 5,
m3(3)=m2(4)=3,m3(4)=0. m_3(3) = m_2(4) = 3, \quad m_3(4) = 0.
Therefore
g(3)=i=14m3(i)=14. g(3) = \sum_{i=1}^{4} m_{3}(i) = 14.
On the other hand, since
m4(1)=0,m4(2)=m3(1)=6, m_{4}(1) = 0, \quad m_{4}(2) = m_{3}(1) = 6,
m4(3)=m3(1)+m3(2)=11, m_{4}(3) = m_{3}(1) + m_{3}(2) = 11,
m4(4)=m3(1)+m3(2)+m3(3)=14, m_{4}(4) = m_{3}(1) + m_{3}(2) + m_{3}(3) = 14,
we obtain,
g(4)=i=14m4(i)=31. g(4) = \sum_{i=1}^{4} m_{4}(i) = 31.
In the same way, we could get g(5)=70g(5) = 70, g(6)=157g(6) = 157, g(7)=353g(7) = 353, g(8)=793g(8) = 793.
Then, in general, when n5n \ge 5,
g(n)=2g(n1)+g(n2)g(n3).3 g(n) = 2g(n-1) + g(n-2) - g(n-3). \quad \textcircled{3}
Now we prove ③ as follows.
Using mathematical induction, we are done when n=5,6,7,8n=5, 6, 7, 8. Suppose ③ holds when for 5, 6, 7, 8..., nn now consider the case for n+1n+1. When nn is even, from (a), (b), we have
mn+1(4)=0,mn+1(3)=mn(4), m_{n+1}(4) = 0, \quad m_{n+1}(3) = m_{n}(4),
mn+1(2)=mn(4)+mn(3), m_{n+1}(2) = m_{n}(4) + m_{n}(3),
mn+1(1)=mn(4)+mn(3)+mn(2). m_{n+1}(1) = m_{n}(4) + m_{n}(3) + m_{n}(2).
As mn(1)=0m_n(1) = 0, then
g(n+1)=i=14mn+1(i)=2(i=14mn(i))+mn(4)mn(2) \begin{align*} g(n+1) &= \sum_{i=1}^{4} m_{n+1}(i) \\ &= 2\left(\sum_{i=1}^{4} m_{n}(i)\right) + m_{n}(4) - m_{n}(2) \end{align*}
=2g(n)+mn(4)mn(2). = 2g(n) + m_n(4) - m_n(2).
Since
mn(4)=mn1(1)+mn1(2)+mn1(3)+0=i=14mn1(i)=g(n1), \begin{aligned} m_n(4) &= m_{n-1}(1) + m_{n-1}(2) + m_{n-1}(3) + 0 \\ &= \sum_{i=1}^{4} m_{n-1}(i) = g(n-1), \end{aligned}
mn(2)=mn1(1)=mn2(4)+mn2(3)+mn2(2)+0=g(n2). \begin{aligned} m_n(2) &= m_{n-1}(1) = m_{n-2}(4) + m_{n-2}(3) + m_{n-2}(2) + 0 \\ &= g(n-2). \end{aligned}
We obtain,
g(n+1)=2g(n)+g(n1)g(n2). g(n + 1) = 2g(n) + g(n - 1) - g(n - 2).
On the other hand, when nn is odd, g(n+1)=i=14mn+1(i)g(n+1) = \sum_{i=1}^{4} m_{n+1}(i).
Since mn+1(1)=0,mn+1(2)=mn(1),mn(4)=0, \text{Since } m_{n+1}(1) = 0, \quad m_{n+1}(2) = m_n(1), \quad m_n(4) = 0,
mn+1(3)=mn(1)+mn(2),mn+1(4)=mn(1)+mn(2)+mn(3), \begin{aligned} m_{n+1}(3) &= m_n(1) + m_n(2), \\ m_{n+1}(4) &= m_n(1) + m_n(2) + m_n(3), \end{aligned}
then,
g(n+1)=i=14mn+1(i)=2i=14mn(i)+mn(1)mn(3)=2g(n)+mn(1)mn(3). \begin{aligned} g(n + 1) &= \sum_{i=1}^{4} m_{n+1}(i) \\ &= 2 \sum_{i=1}^{4} m_{n}(i) + m_{n}(1) - m_{n}(3) \\ &= 2g(n) + m_{n}(1) - m_{n}(3). \end{aligned}
Since
mn(1)=mn1(4)+mn1(3)+mn1(2)+0=g(n1), m_n(1) = m_{n-1}(4) + m_{n-1}(3) + m_{n-1}(2) + 0 = g(n-1),
mn(3)=mn1(4)=mn2(1)+mn2(2)+mn2(3)+0=g(n2). \begin{aligned} m_n(3) &= m_{n-1}(4) = m_{n-2}(1) + m_{n-2}(2) + m_{n-2}(3) + 0 \\ &= g(n-2). \end{aligned}
We get
g(n+1)=2g(n)+g(n1)g(n2). g(n + 1) = 2g(n) + g(n - 1) - g(n - 2).
Hence, ③ holds for n+1n+1. By mathematical induction, ③ holds when n5n \ge 5.
From ③,
g(9)=2g(8)+g(7)g(6)=1782, g(9) = 2g(8) + g(7) - g(6) = 1782,
g(10)=2g(9)+g(8)g(7)=4004. g(10) = 2g(9) + g(8) - g(7) = 4004.
Thus,
f(10)=2g(10)=8008. f(10) = 2g(10) = 8008.

(2) Now consider the sequence of remainders of {g(n)}\{g(n)\} divided by 13. From ③, when n=2,3,4,,14,15,16,17,n = 2, 3, 4, \dots, 14, 15, 16, 17, \dots, the corresponding remainders are 6, 1, 5, 5, 1, 2, 0, 1, 0, 1, 1, 3; 6, 1, 5, 5, ...
Therefore, when n2n \ge 2, the sequence of remainders is a periodic sequence whose minimum period is 12. As
2008=12×167+4, 2008 = 12 \times 167 + 4,
we get
g(2008)5(mod13). g(2008) \equiv 5 \pmod{13}.
Therefore,
f(2008)10(mod13). f(2008) \equiv 10 \pmod{13}.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.