🌍 1. NGUỒN GỐC LỊCH SỬ: VÌ SAO LÔGARIT RA ĐỜI?
Vào thế kỷ 17, các nhà thiên văn học và hàng hải phải đối mặt với một nỗi ác mộng: họ phải thực hiện những phép tính nhân, chia các con số khổng lồ (lên tới hàng chục chữ số) để đo đạc khoảng cách giữa các vì sao. Việc này tốn hàng tháng trời và rất dễ sai sót.
Để giải cứu nhân loại, nhà toán học John Napier đã phát minh ra Lôgarit với một triết lý thần kỳ: Biến phép nhân thành phép cộng, biến phép chia thành phép trừ để tính toán nhanh hơn. Về sau, Lôgarit được định nghĩa chặt chẽ lại dựa trên mối quan hệ “ngược” với phép toán Lũy thừa:
$$\log_a b = x \iff a^x = b$$
🔍 2. Ý NGHĨA CỦA CÁC ĐIỀU KIỆN (VÌ SAO LẠI CÓ LUẬT NÀY?)
Từ chiếc “chìa khóa vàng” $a^x = b$ ở trên, ta sẽ giải mã được tại sao các nhà toán học lại đặt ra luật lệ nghiêm ngặt cho cơ số $a$ và biểu thức $b$:
🔹 Điều kiện 1: Tại sao biểu thức dưới dấu log phải dương ($b > 0$)?
- Giải thích: Nhìn vào công thức gốc $a^x = b$. Khi chúng ta chọn một cơ số $a$ là số dương, thì dù ta có nâng lên số mũ $x$ âm, dương hay bằng 0 đi chăng nữa, kết quả của lũy thừa $a^x$ luôn luôn là một số dương.
- Ví dụ: $2^3 = 8$, $2^0 = 1$, và thậm chí số mũ âm $2^{-3} = \frac{1}{8}$ thì kết quả vẫn lớn hơn 0. Không có cách nào khiến một số dương tự nhân chính nó mà ra số âm hoặc số 0 được. Vì $a^x$ luôn dương, nên hiển nhiên $b$ phải dương ($b > 0$).
🔹 Điều kiện 2: Tại sao cơ số phải dương ($a > 0$)?
- Giải thích: Nếu ta cho phép cơ số $a$ âm (ví dụ $a = -2$), phép toán lũy thừa $(-2)^x$ sẽ bị lỗi ngay lập tức khi số mũ $x$ là một phân số.
- Ví dụ: Với $x = \frac{1}{2}$, ta có $(-2)^{\frac{1}{2}} = \sqrt{-2}$. Đây là một số vô nghĩa trong tập số thực! Để đảm bảo hàm số lôgarit luôn hoạt động mượt mà và liên tục với mọi số thực $x$, người ta phải cấm cơ số âm.
🔹 Điều kiện 3: Tại sao cơ số phải khác 1 ($a \neq 1$)?
- Giải thích: Hãy tưởng tượng nếu cho $a = 1$, ta sẽ có phương trình $1^x = b$.
- Nếu ta tính $\log_1 5 = x \iff 1^x = 5$ ➜ Điều này là vô lý (không có số $x$ nào biến 1 thành 5 được).
- Nếu ta tính $\log_1 1 = x \iff 1^x = 1$ ➜ Điều này lại đúng với vô số số $x$ (vì 1 mũ mấy cũng bằng 1).
- Vì cơ số 1 vừa gây ra vô lý, vừa gây ra vô định, nên nó hoàn toàn vô dụng trong toán học. Do đó ta phải loại bỏ nó ($a \neq 1$).