Xin chia sẻ với các bạn một sự việc từng xảy ra với tôi: Trong khi đọc một tài liệu về Toán phổ thông tôi gặp một bài toán như sau:

Kiểm tra xem số sau đây có phải số hữu tỉ hay không: 0,12345678910111213… Nói chung là phần thập phân của nó là các số tự nhiên liên tiếp lần lượt xếp hàng. Phải thú nhận rằng (với đôi chút xấu hổ) là ngay lúc ấy tôi cảm thấy hơi bối rối và chẳng biết trả lời thế nào. Dù rằng sau đó tôi cũng đã tìm ra câu trả lời nhưng điều làm tôi quan tâm là tại sao vào thời điểm đó tôi lại cảm thấy băn khoăn như vậy?

Các bạn thử suy nghĩ một chút nhé, để thêm phần phong phú có lẽ tôi sẽ cho thêm một ví dụ kiểu như vậy nữa, chẳng hạn như số: 0.01001000100001… Số này liệu có phải là số hữu tỉ hay không?

Những bạn mà cũng gặp bối rối giống như tôi có lẽ là bởi vì chúng ta đã phải hứng chịu một ám ảnh về số vô tỉ: đó là phần thập phân của nó là dài vô hạn và xuất hiện một cách loạn xạ chẳng thể dự đoán được. Chẳng hạn như số

Nếu ta gọi số đo của cạnh huyền này là x thì theo định lý Pythago ta có: ( Nói thêm sở dĩ Pythgo là nguời đầu tiên phát hiện ra chuyện này đơn giản là vì ông ta cũng là chủ sở hữu của định lý đã mang tên ông: định lý Pythago)

*
Hay 
*

Điều đáng sợ đối với Pythgo là mặc dù số

*
này là số đo một đoạn thẳng cụ thể nhưng nó lại không phải là bất kì một số hữu tỉ nào…Việc khám phá ra tính vô tỉ của số đã gây kinh hoàng trong hàng ngũ các môn sinh của Pythago bởi nó không những phá vỡ niềm tin vào tính đầy đủ của các số hửu tỉ mà còn làm cho nhiều lý thuyết tổng quát của họ trở nên không còn giá trị (trên tất cả là niềm tin bị sụp đổ). Chính vì thế mà mọi môn đồ của Pythago phải lập lời tuyên thệ giữ kín bí mật này, bên cạnh đó hình phạt dành cho kẻ vi phạm là rất khủng khiếp. Hippasus, một thành viên trong hội đã để lộ bí mật này ra ngoài và lưu truyền rằng anh ta đã bị dìm chết ngoài biển.

Bạn đang xem: Cách chứng minh một số là số vô tỉ cực hay, chi tiết

Để lại câu chuyện thương tâm đó qua một bên, bây giờ chúng ta sẽ cùng tìm hiểu tại sao

*
không phải là số hữu tỉ.

Tôi sẽ trình bày ở đây 2 phép chứng minh, một rất quen thuộc (xuất hiện ở khắp nơi) và một độc đáo hơn mà có thể bạn chưa từng xem qua.

Ta sẽ chỉ ra điều này bằng phản chứng: giả thiết rằng

*
là số hữu tỉ, suy ra tồn tại 2 số nguyên m,n sao cho: 
*
. Ở đây n phải khác không và giả sử rằng phân số 
*
đã được rút gọn cho tối giản. Như vậy: 
*
. Đến đây là một điểm tinh tế: Từ
*
. Thật vậy vì nếu m không chia hết cho 2 (là số lẻ) thì 
*
cũng phải là số lẻ tức là không chia hết cho 2 ! Vậy m chia hết cho 2 nên ta có thể đặt m=2k với k là số nguyên. Do 
*
. Lập luận y hệt như trên ta cũng đi đến kết luận n cũng chia hết cho 2. Tức là phân số 
*
vẫn chưa tối giản (vì còn rút gọn được cho 2). Điều này mâu thuẫn với giả thiết ban đầu! Vậy suy ra 
*
không phải là số hữu tỉ.

Ngày ấy khi lần đầu đọc chứng minh này tôi cứ thắc mắc tại sao lại có thể giả thiết 

*
là tối giản? Không giả thiết như vậy có đuợc không? Bạn thử suy nghĩ xem nào… Thôi thế này nhé, chúng ta cứ bỏ đi cái giả thiết là 
*
tối giản, thực hiện các bước như trên là rút ra được kết luận rằng 
*
có thể giản ước được cho 2. Vậy thì ta sẽ giản ước nó cho 2 và được số hữu tỉ mới bằng với số hữu tỉ ban đầu. Lập lại chứng minh trên cho số hữu tỉ mới giản ước này ta lại suy ra rằng nó tiếp tục có thể giản ước cho 2 nữa… Bạn đã thấy được điều mâu thuẫn rồi chứ. Một số hữu tỉ không thể cứ giản ước được cho 2 mãi được, vì thế mà dẫn đến điều vô lý. Chứng minh thế này cũng được, nhưng để lời giải đuợc gọn gàng và sáng sủa hơn thôi thì ta cứ giả thiết 
*
là tối giản ngay từ lúc đầu…

Còn bây giờ là lời giải thứ 2, thử thách hơn một chút nhưng sẽ rất thú vị: Chúng ta sẽ xuất phát từ ngay chỗ 

*
nhé. Các bạn đã học lớp 6 chắc là biết rằng bất kì số nguyên nào đều có thể phân tích thành tích các thừa số nguyên tố chứ? Ta xét sự phân tích m thành tích các thừa số nguyên tố: Mặc dù trong phân tích này có thể có bao nhiêu thừa số 2 thì không rõ… Nhưng chắc chắn rằng trong phân tích của 
*
số lượng thừa số 2 sẽ được gấp đôi lên và như vậy chắc chắn sẽ có một số chẵn các thừa số 2 trong phân tích đó. Một ví dụ cụ thể cho đơn giản nhé: Chẳng hạn: 
*
vậy thì 
*
. Ở trường hợp này trong phân tích ra thừa số nguyên tố của 
*
số 2 xuất hiện 2 lần (tức là một số chẵn lần). Lập luận tương tự thì trong phân tích của 
*
thừa số 2 cũng sẽ xuất hiện một số chẵn lần, mà nếu thế thì 
*
sẽ xuất hiện một số lẻ lần (vì có thêm thừa số 2 ở phía trước). Từ đây ta thấy ngay 
*
và 
*
không thể bằng nhau. Suy ra mâu thuẫn…

Giải thích thì dông dài mà hiểu ra thì thấy đơn giản phải không? Điểm thú vị của cách này là bạn có thể sử dụng cách trên để chứng minh được rằng tất cả những số có dạng 

*
với a là số nguyên tố đều là số vô tỉ. Các bạn nghĩ xem có phải vậy không? Thậm chí ngay cả khi a là hợp số (miễn là không phải số chính phương) cách này vẫn có thể dùng được (với một chút điều chỉnh).

Xem thêm: Nghị Định 63/2014/Nđ-Cp Thuvienphapluat, Nghị Định 63/2014/Nđ

Bây giờ ta trở lại với câu hỏi đã được đặt ra ban đầu: Tại sao những số thập phân vô hạn tuần hoàn lại là số hữu tỉ ? Xin chia sẻ một chút với bạn đọc rằng: Tôi viết blog này chủ yếu dành cho những bạn học sinh muốn hỉểu toán ( mà đa phần các bạn ấy có thể không giỏi toán từ trước) vì vậy mà chỉ cốt sao cho đơn giản chứ không phải là chăm lo đến sự chặt chẽ trong từng phép chứng minh. Vì vậy nên để giải đáp cho câu hỏi này tôi sẽ dẫn ra đây một ví dụ cụ thể:

Xét số thập phân vô hạn tuần hoàn: 0,123123123…

Các bạn để ý thấy không ta luôn có thể biểu diễn: 

*

Chính vì là nó tuần hoàn nên ta luôn có thể đưa nó về tổng một cấp số nhân lùi vô hạn với công bội nhỏ hơn 1 ( trong trường hợp này là 

*
). Nếu bạn đọc đã học qua lớp 11 rồi thì sẽ biết tính tổng vô hạn này (là một số hữu hạn) và bằng :

*
. Như vậy

*
( là số hữu tỉ)

* Dành cho những bạn chưa từng học qua tổng của cấp số nhân lùi vô hạn: Cách làm sau đây còn đơn giản hơn rất nhiều: Ta đặt:

*
Không giống như Pythago và các môn đồ của ông, các nhà Toán học khác có cái nhìn bao dung hơn rất nhiều. Khi biết được bí mật trọng đại này về những số không phải là số hữu tỉ, họ đã giang rộng vòng tay đón chào người anh em số vô tỉ này gia nhập vào đại gia đình nhà số. Tập hợp số khi số hữu tỉ và vô tỉ cùng sát cánh bên nhau đã được bổ sung để trở nên đầy đủ và mạnh mẽ hơn rất nhiều mà như ta đã biết đến nó dưới tên gọi ngày nay: Tập hợp số thực.