Math Labs

Bài 3

Cho a1,a2,a3,…a_1,a_2,a_3,\ldots là một dãy vô hạn các số nguyên dương, và cho NN là một số nguyên dương. Giả sử rằng, với mỗi n>Nn>N, số ana_n bằng số lần an−1a_{n-1} xuất hiện trong danh sách (a1,a2,…,an−1)(a_1,a_2,\ldots,a_{n-1}). Chứng minh rằng ít nhất một trong hai dãy a1,a3,a5,…a_1,a_3,a_5,\ldots và a2,a4,a6,…a_2,a_4,a_6,\ldots là tuần hoàn kể từ một lúc nào đó.
Bước 1 trên 6: Bức tranh các tháp
Hiểu nôm na

Hãy hình dung đặt một khối được đánh số cho mỗi số hạng của dãy vào tháp mang nhãn bằng giá trị của số hạng đó; khi đó mỗi số hạng mới sau chỉ số N chính là chiều cao hiện tại của tháp mà số hạng trước đó trỏ tới.

M=max⁡(a1,…,aN)M=\max(a_1,\ldots,a_N)
Phân tích chi tiết

Đặt M=max⁡(a1,…,aN)M=\max(a_1,\ldots,a_N) và hình dung một dãy các tháp được đánh số 1,2,3,…1,2,3,\ldots; với i=1,2,…i=1,2,\ldots, số hạng aia_i thêm một khối vào tháp aia_i. NN khối đầu tiên được gọi là khối đỏ; với i>Ni>N, khối aia_i được đặt vào tháp aia_i, và chiều cao mới của tháp đó sau khi đặt khối chính là aia_i, nghĩa là khối aia_i nằm đúng ở độ cao aia_i trong tháp của nó — phản ánh việc aia_i đếm số lần ai−1a_{i-1} đã xuất hiện cho tới thời điểm đó.