MathLabs

Bài 1

Ta gọi một bộ 55 số nguyên là sắp được nếu các phần tử của nó có thể gán nhãn a,b,c,d,ea,b,c,d,e theo một thứ tự nào đó sao cho a−b+c−d+e=29a-b+c-d+e=29. Xác định mọi bộ 20172017 số nguyên n1,n2,…,n2017n_1,n_2,\ldots,n_{2017} sao cho nếu đặt chúng trên một vòng tròn theo thứ tự chiều kim đồng hồ, thì mọi bộ 55 số ở các vị trí liên tiếp trên vòng tròn đều sắp được.
Bước 4 trên 4: Giáng cấp vô hạn buộc mọi mi=0m_i=0
mi all even  ⟹  mi/2 satisfies the same condition  ⟹  mi=0 ∀im_i \text{ all even} \implies m_i/2 \text{ satisfies the same condition} \implies m_i=0\ \forall i
Phân tích chi tiết

Vì mọi mim_i đều chẵn, thay mỗi mim_i bằng mi/2m_i/2 vẫn giữ tính chất mọi 55 số hạng liên tiếp có thể gán nhãn lại để thỏa a−b+c−d+e=0a-b+c-d+e=0, vì điều kiện này tuyến tính và thuần nhất. Nếu có mi≠0m_i\ne0, việc chia đôi này có thể lặp lại vô hạn, nhưng chia đôi liên tục một số nguyên khác không cuối cùng sẽ cho một số lẻ, mâu thuẫn với việc mọi số hạng vẫn chẵn ở mọi giai đoạn. Vậy mọi mi=0m_i=0, nên n1=⋯=n2017=29n_1=\cdots=n_{2017}=29.