0,999… = 1: Vì sao đẳng thức “vô lý” này lại đúng?

Phản ứng đầu tiên: “Vô lý!”

$0{,}999\ldots$ rõ ràng phải nhỏ hơn $1$. Nó thiếu “một chút” — nhưng chút đó là bao nhiêu? Không ai trả lời được. Chính câu hỏi tưởng ngớ ngẩn này lại là chìa khóa của một trong những đẳng thức gây tranh cãi nhất toán học phổ thông — tranh cãi đến mức Wikipedia dành hẳn một bài viết dài chỉ để nói về nó.

Ba chứng minh, mỗi cái chưa đầy ba dòng

Cách 1 — từ phân số quen thuộc. Ai cũng đồng ý $\frac{1}{3} = 0{,}333\ldots$ Nhân cả hai vế với $3$:

$$3 \times \frac{1}{3} = 3 \times 0{,}333\ldots$$

Vế trái bằng $1$, vế phải bằng $0{,}999\ldots$ Vậy $1 = 0{,}999\ldots$

Cách 2 — mẹo đại số. Đặt $x = 0{,}999\ldots$ Nhân hai vế với $10$: $10x = 9{,}999\ldots$ Trừ vế theo vế:

$$10x – x = 9{,}999\ldots – 0{,}999\ldots$$ $$9x = 9$$

Vậy $x = 1$.

Cách 3 — chặt chẽ nhất, bằng chuỗi số.

$$0{,}999\ldots = \frac{9}{10} + \frac{9}{100} + \frac{9}{1000} + \cdots$$

Đây là cấp số nhân lùi vô hạn với số hạng đầu $a = \frac{9}{10}$ và công bội $q = \frac{1}{10}$. Tổng của nó là $\dfrac{a}{1-q} = \dfrac{9/10}{9/10} = 1$.

Một lưu ý thành thật: Cách 2 tuy gọn nhưng lén dùng một giả định — rằng được phép cộng trừ số thập phân vô hạn như số hữu hạn. Giả định đó đúng, nhưng chứng minh nó đúng lại phải đi qua giới hạn — tức là quay về Cách 3. Trong toán học, con đường chặt chẽ nhất thường cũng là con đường dài nhất.

Vì sao trực giác của bạn vẫn không chịu tin

Vấn đề nằm ở chỗ: trực giác của bạn đang nghĩ về $0{,}999\ldots$ như một quá trình — cứ thêm mãi số 9, không bao giờ chạm tới 1. Còn toán học định nghĩa $0{,}999\ldots$ là một con số — chính là giới hạn của quá trình đó. Quá trình thì không bao giờ tới nơi; giới hạn thì ở ngay đó.

Hãy thử bắt trực giác “nói có sách”: giả sử $0{,}999\ldots < 1$ thật. Đặt $d = 1 – 0{,}999\ldots$ Số $d$ này phải dương. Nhưng nó nhỏ hơn $0{,}1$ (vì $0{,}999\ldots > 0{,}9$), nhỏ hơn $0{,}01$ (vì $> 0{,}99$), nhỏ hơn $0{,}001$… Cứ thế, $d$ nhỏ hơn mọi số dương dạng $10^{-n}$.

Bạn có kể được một số dương nào mà nhỏ hơn mọi số dương không? Không. Số duy nhất không lớn hơn bất kỳ số dương nào chính là 0. Vậy $d = 0$, tức $0{,}999\ldots = 1$.

Nói cách khác: giữa $0{,}999\ldots$ và $1$ không “nhét” vừa một số dương nào. Hai ký hiệu, một con số — cũng bình thường như chuyện $\frac{1}{2}$ và $\frac{2}{4}$ là một.

Cái bẫy “số vô cùng bé”

Phản biện phổ biến nhất trên mạng nghe rất có lý: “$0{,}999\ldots = 1 – \varepsilon$, trong đó $\varepsilon$ là một số vô cùng bé — bé hơn mọi số dương nhưng vẫn dương.”

Nghe hay, nhưng trong hệ số thực chuẩn, con số $\varepsilon$ ấy không tồn tại. Đây là tính chất nền móng của số thực (tính Archimedes, nói nôm na): với bất kỳ số dương nào, bạn luôn tìm được một số $10^{-n}$ còn nhỏ hơn nó. Không có “số dương bé nhất”, cũng không có “số dương vô cùng bé”.

Rất nhiều “chứng minh” $0{,}999\ldots \neq 1$ lan truyền trên mạng sập đúng cái bẫy này: lén đưa vào một con số mà hệ số thực không hề chứa, rồi dùng nó để kết luận. Một khi đã chỉ ra con số đó không tồn tại, toàn bộ lập luận đổ theo.

Những câu hỏi thường gặp

Máy tính của tôi tính ra 0,9999999 chứ không phải 1? Máy tính chỉ hiển thị được hữu hạn chữ số nên nó làm tròn và cắt bớt. $0{,}999\ldots$ với vô hạn số 9 là một khái niệm toán học; còn 0,9999999 trên màn hình chỉ là phiên bản bị cắt cụt của nó. Đừng nhầm bản cắt cụt với bản gốc.

Vậy 0,999… và 1 là hai số khác nhau nhưng bằng nhau? Không. Chúng là một số duy nhất với hai cách viết — như $\frac{1}{2}$ và $50\%$ là một.

Có số nào nằm giữa 0,999… và 1 không? Không. Giữa hai số thực phân biệt luôn chen được một số thứ ba (tính trù mật của số thực). Vì không nhét vừa bất kỳ số nào vào giữa $0{,}999\ldots$ và $1$, chúng không thể là hai số phân biệt.

Bài học lớn: định nghĩa thắng trực giác

$0{,}999\ldots = 1$ không phải trò ảo thuật. Nó là hệ quả trực tiếp của cách số thực được định nghĩa — qua giới hạn, chứ không qua cảm giác.

Và đây không phải lần duy nhất trực giác thua. Ngay cả câu hỏi tưởng đơn giản “số này là hữu tỉ hay vô tỉ?” cũng từng khiến các nhà toán học bế tắc hàng thập kỷ — như câu chuyện của Roger Apéry và hằng số $\zeta(3)$ mà Toán Khó đã kể tại đây.

Lần tới, khi gặp một đẳng thức trông “sai sai”, đừng hỏi “nó có hợp trực giác không”. Hãy hỏi: “định nghĩa nói gì”. Toán học thưởng cho người chịu đi theo định nghĩa đến cùng — dù đích đến có ngược với cảm giác ban đầu.

Bài viết cho bạn của Toán Khó. Nếu muốn bài viết về chủ đề nào, hãy liên hệ với chúng mình nhé!