Với mỗi số nguyên dương n, ta gọi một hoán vị (a0,a1,…,an−1) của các số 0, 1, …, n−1 là tốt nếu ai+i là số chính phương với mọi i=0,1,…,n−1.
a) Chứng minh rằng với n=2026, trong một hoán vị tốt (a0,a1,…,a2025), luôn tồn tại ít nhất một chỉ số i sao cho ai+i chia hết cho 9.
b) Chứng minh rằng với mọi số nguyên dương n, luôn tồn tại ít nhất một hoán vị tốt.