Số mũ là một hàm được biểu diễn dưới dạng x ª, trong đó x biểu thị một hằng số, được gọi là cơ số, và ‘a’, số mũ của hàm này, và có thể là bất kỳ số nào. Số mũ được gắn vào vai trên bên phải của cơ sở. Nó xác định số lần cơ số được nhân với chính nó. Ví dụ, 4 3 đại diện cho một phép toán; 4 x 4 x 4 = 64. Mặt khác, lũy thừa phân số biểu thị gốc của cơ số, ví dụ, (81) 1/2 cho 9. Quy tắc số mũ bằng khôngXem xét một số cách mà chúng ta có thể xác định một số mũ, chúng ta có thể suy ra quy tắc số mũ bằng không bằng cách xem xét những điều sau:  Có nhiều cách để lập luận câu hỏi trên, tuy nhiên tất cả đều dựa vào một tính chất cực kì cơ bản của phép chia luỹ thừa mà thôi. Một sự thật thú vị đó là, anh em có biết 0^0 thậm chí còn lớn hơn 0^1 không, tất cả đều có thể giải thích nhờ lập luận trên đấy. Nếu sau này con cháu hay người thân có hỏi thì chúng ta cũng đều biết cách trả lời rồi nhé 😁 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ê ${0^0}$ 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: $\dfrac{x^{a}}{x^{b}}=x^{a-b}$ Nên: $$1=\dfrac{x^{a}}{x^{a}}=x^{a-a}=x^{0}\Rightarrow 0^{0}=\dfrac{0^{a}}{0^{a}}=1$$ Tuy vậy, lý luận này chưa được chặt chẽ và logic lắm vì: $\dfrac{0^{a}}{0^{a}}=\dfrac{0}{0}$ là dạng vô định. Một số người thì cho rằng đây là quy ước, giống như quy ước: 0! = 1. Một số khác thì chứng minh cụ thể bằng cách khảo sát hàm số: $y=x^{x}\; \; và\; \; y=\left ( sinx \right )^{x},\; \; \left ( x>0 \right )$. Dựa vào đồ thị của 2 hàm số trên thì rõ ràng: $x^{x}\rightarrow 1\; \; khi\; \; x\rightarrow 0;\; \; \left ( sinx \right )^{x}\rightarrow 1\; \; khi\; \; x\rightarrow 0$.
Ngoài ra, theo định lý khai triển nhị thức ta có: $\left ( 1+x \right )^{n}=\sum_{k=0}^{n}C_{n}^{k}x^{n}$ 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 $0^{0}=1$. Vì khi đó: $$1^{n}=C_{n}^{0}0^{0}+C_{n}^{1}0^{1}+C_{n}^{2}0^{2}+...+C_{n}^{n}0^{n}$$ Hơn nữa, bằng công cụ chuỗi hàm lũy thừa ta có: $$\dfrac{1}{1-x}=\sum_{k=0}^{\infty }x^{n}\; ;\; \; e^{x}=\sum_{k=0}^{+\infty }\dfrac{x^{n}}{n!}$$ 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 $0^{0}=1$. (vì trong trường hợp $x = 0$ thì 2 chuỗi số ở vế phải có tổng riêng phần $S_{n}=0^{0}$, trong khi tổng của chuỗi đều bằng 1). Do đó, việc đề nghị $0^{0}=1$ 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ỏ $0^{0}$ phải là dạng vô định. Thật vậy, nếu $0^{0}=1$ thì: $$ln\left ( 0^{0} \right )=ln1=0\Rightarrow 0ln0=0\Rightarrow 0\left ( -\infty \right )=0$$ Như vậy, nếu $0^{0}=1$ thì phải chấp nhận $0.\infty =0$. Đây là điều không thể vì $0.\infty =0$ là dạng vô định. Ngoài ra, bằng công cụ L’Hospital – Bernoulli, ta có thể khảo sát các giới hạn sau có dạng $0^{0}$ nhưng có các giá trị khác nhau: $$\lim_{t\rightarrow 0+}t^{t}=1\; ;\; \; \lim_{x\rightarrow 0+}\left ( e^{-\dfrac{1}{t^{2}}} \right )^{t}=0\; ;\; \; \lim_{x\rightarrow 0+}\left ( e^{-\dfrac{1}{t^{2}}} \right )^{-t}=+\infty \; ;\; \; \lim_{x\rightarrow 0+}\left ( e^{-t} \right )^{at}=e^{-a}$$ Ngoài ra, nếu sử dụng kiến thức về hàm số nhiều biến cho hàm số $f\left ( x,y \right )=x^{y}$ thì hàm số này không tồn tại giới hạn khi $\left ( x,y \right )\rightarrow 0$ (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ỏ $0^{0}$ là điểm gián đoạn của hàm số $x^{y}$. Do đó, trên quan điểm của giới hạn thì $0^{0}$ là một dạng vô định. Vậy $0^{0}$ là 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 $0^{0}$ là dạng vô định nhưng giáo trình khác lại định nghĩa $0^{0}=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 $0^{0}=1$ thì Mathematica xem đây là dạng vô định , còn Maxima sẽ báo lỗi. Như vậy, bài toán $0^{0}$ giú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ó. |
