Trên bảng được viết 2026 số nguyên. Mỗi bước, giáo viên cho phép học sinh thực hiện thao tác như sau: Chọn ra hai số $a$ và $b$ bất kỳ trên bảng thoả mãn điều kiện khoảng cách giữa chúng lớn hơn 70 (tức là $|a-b|>70$), sau đó xoá hai số này đi và viết lên bảng hai số nguyên mới là $\lfloor \frac{a+b}{2}\rfloor$ và $\lceil \frac{a+b}{2}\rceil$.
(Trong đó, ký hiệu $\lfloor x\rfloor$ là phần nguyên của $x$, tức là số nguyên lớn nhất không vượt quá $x$; và $\lceil x\rceil$ là phần trần của $x$, tức là số nguyên nhỏ nhất lớn hơn hoặc bằng $x$).
a) Chứng minh sau một số hữu hạn bước, quá trình trên phải dừng lại (tức là không thể tìm được cặp số $a,b$ nào thoả mãn điều kiện $|a-b|>70$).
b) Giả sử quá trình đã dừng lại. Chứng minh trên bảng luôn tồn tại ít nhất 29 số có giá trị bằng nhau.