Giả thiết về O mũ 0

Các giả thiết về 0 lũy thừa 0 (00 = ?)

Nếu bạn được ai đó hỏi rằng: “00 bằng mấy?” thì bạn sẽ trả lời ra sao? Theo quán tính, nhiều bạn sẽ không ngần ngại trả lời 00 = 1!
Cũng có bạn cho rằng 00 = 0 (do 0n = 0).
Có hẳn vậy không? Vậy tại sao một số giáo trình lại liệt kê
là 1 dạng vô định. Vậy kết quả nào là chính xác?
Để khẳng định chắc chắn 00 = 1 , nhiều người đã sử dụng kết quả sau:


Nên:

Do đó:

Tuy vậy, lý luận này chưa được chặt chẽ và logic lắm vì:
là dạng vô định.
Một số người thì cho rằng đây là quy ước, giống như quy ước:

Một số khác thì chứng minh cụ thể bằng cách khảo sát hàm số:
và
. Dựa vào đồ thị của 2 hàm số trên thì rõ ràng:



Ngoài ra, theo định lý khai triển nhị thức ta có:

Rõ ràng, định lý này không thể đúng trong trường hợp x = 0, ngoại trừ việc chấp nhận
Vì khi đó:


Hơn nữa, bằng công cụ chuỗi hàm lũy thừa ta có:

Hai chuỗi này đều là chuỗi hội tụ nhưng sẽ không còn đúng trong trường hợp x = 0, nếu không công nhận
(vì trong trường hợp x = 0 thì 2 chuỗi số ở vế phải có tổng riêng phần
, trong khi tổng của chuỗi đều bằng 1).
Do đó, việc đề nghị
là điều hợp lý.
Nhưng theo hướng ngược lại, ta cũng có nhiều dẫn chứng để chứng tỏ
phải là dạng vô định.
Thật vậy, nếu
thì:


Suy ra:

Như vậy, nếu
thì phải chấp nhận
. Đây là điều không thể vì
là dạng vô định.
Ngoài ra, bằng công cụ L’Hospital – Bernulli, ta có thể khảo sát các giới hạn sau có dạng
nhưng có các giá trị khác nhau:
.
Ngoài ra, nếu sử dụng kiến thức về hàm số nhiều biến cho hàm số
thì hàm số này không tồn tại giới hạn khi
(do giới hạn tiến đến 0 dọc theo đường x = 0 nhưng giới hạn tiến đến 1 dọc theo đường y = 0). Điều đó chứng tỏ
là điểm gián đoạn của hàm số
.
Do đó, trên quan điểm của giới hạn thì 00là một dạng vô định.
Vậy 00là dạng vô định cũng là điều hợp lý.
Điều này giải thích cho việc vì sao có một số giáo trình Toán học xem 00 là dạng vô định nhưng giáo trình khác lại định nghĩa 00 = 1. Đó là do tùy trường hợp, tùy hoàn cảnh mà ta có sự điều chỉnh cho thích hợp.
Cũng chính vì những lý do trên, bạn sẽ thấy có những khác biệt giữa các phần mềm Toán học. Nếu như Maple và Mathlab định nghĩa
thì Mathematica xem đây là dạng vô định , còn Maxima sẽ báo lỗi.
Như vậy, bài toán 00giúp ta hiểu rằng Toán học không phải lúc nào cũng tuyệt đối mà nhiều lúc ta phải chấp nhận tính tương đối của nó.
——
Bài viết có tham khảo tư liệu từ nguồn:
http://www.faqs.org/faqs/sci-math-faq/specialnumbers/0to0/