Giả sử $(a_n, b_n, c_n)$ là bộ số sau bước biến đổi thứ $n$, đặt $S_n = |a_n - b_n| + |b_n - c_n| + |c_n - a_n|$.
Rõ ràng $S_n$ là số nguyên dương với mọi $n$ và chứng minh được $S_{n+1} \le \dfrac{S_n}{2}$ nên tồn tại $n_0$ để $S_{n_0} = 0$ hay 3 số $a_{n_0}, b_{n_0}, c_{n_0}$ bằng nhau.
- perfectstrong và Leonguyen thích