แนวคิดพื้นฐานและบทนิยามของลอการิทึม

ยินดีต้อนรับสู่บทแรกของคอร์ส ฟังก์ชันลอการิทึม ในบทนี้เราจะเริ่มต้นจากสิ่งที่ทุกคนคุ้นเคยอยู่แล้ว นั่นคือ เลขยกกำลัง แล้วค่อย ๆ เชื่อมโยงไปสู่แนวคิดของลอการิทึมทีละขั้น เมื่อเข้าใจบทนิยามแล้ว เราจะไปดูกราฟของฟังก์ชันลอการิทึมว่ามีลักษณะอย่างไร และมีเงื่อนไขอะไรที่ต้องระวัง

ทบทวนเลขยกกำลัง

ก่อนที่จะพูดถึงลอการิทึม เราต้องเข้าใจเลขยกกำลังให้แม่นก่อน เพราะลอการิทึมเกิดขึ้นมาเพื่อเป็น "ฟังก์ชันผกผัน" ของเลขยกกำลัง

เลขยกกำลังในรูปทั่วไปคือ

$$a^y = x$$

เมื่อ $a$ คือฐาน (base), $y$ คือเลขยกกำลัง (exponent) และ $x$ คือผลลัพธ์

ตัวอย่าง:

• $2^3 = 8$ (ฐาน 2 ยกกำลัง 3 เท่ากับ 8)
• $10^2 = 100$ (ฐาน 10 ยกกำลัง 2 เท่ากับ 100)
• $5^0 = 1$ (จำนวนใด ๆ ยกกำลัง 0 เท่ากับ 1 เสมอ)

สังเกตว่าในรูปของเลขยกกำลัง เรา รู้ฐานและเลขยกกำลัง แล้วหาผลลัพธ์ แต่ในบางครั้งเราอาจรู้ผลลัพธ์และฐาน แล้วอยากรู้ว่าต้องยกกำลังเท่าไร นี่คือจุดที่ลอการิทึมเข้ามามีบทบาท

บทนิยามของลอการิทึม

ลอการิทึมคือฟังก์ชันผกผันของเลขยกกำลัง กล่าวคือ แทนที่เราจะถามว่า "$a$ ยกกำลังเท่าไรจะได้ $x$?" เราเขียนในรูปของลอการิทึมได้ดังนี้

$$y = \log_a x \iff x = a^y$$

อ่านว่า "$y$ เท่ากับลอการิทึมฐาน $a$ ของ $x$" ซึ่งหมายความว่า $a$ ยกกำลัง $y$ เท่ากับ $x$

เงื่อนไขที่สำคัญ

เพื่อให้ลอการิทึมมีความหมายทางคณิตศาสตร์ ต้องมีเงื่อนไขดังนี้

1. $a > 0$ และ $a \neq 1$ — ฐานต้องเป็นจำนวนบวกและไม่เท่ากับ 1
2. $x > 0$ — ค่าที่อยู่ในลอการิทึม (argument) ต้องเป็นจำนวนบวกเท่านั้น

เหตุผลที่ $a \neq 1$ เพราะ $1^y = 1$ เสมอ ไม่ว่า $y$ จะเป็นเท่าไร ทำให้ไม่สามารถหาฟังก์ชันผกผันได้

เหตุผลที่ $x > 0$ เพราะถ้า $a > 0$ แล้ว $a^y$ จะไม่มีทางเป็นลบหรือศูนย์ ดังนั้น $\log_a x$ จึงไม่นิยามเมื่อ $x \leq 0$

ตัวอย่างการแปลงรูป

มาดูตัวอย่างการแปลงไปมาระหว่างรูปเลขยกกำลังและรูปลอการิทึม

รูปเลขยกกำลัง	รูปลอการิทึม
$2^3 = 8$	$\log_2 8 = 3$
$10^2 = 100$	$\log_{10} 100 = 2$
$5^0 = 1$	$\log_5 1 = 0$
$3^{-1} = \frac{1}{3}$	$\log_3 \frac{1}{3} = -1$
$4^{\frac{1}{2}} = 2$	$\log_4 2 = \frac{1}{2}$

เคล็ดลับจำ: ลอการิทึมเป็นแค่การถามคำถามง่าย ๆ ว่า "ฐานต้องยกกำลังเท่าไรถึงจะได้ค่าที่อยู่ใน log?" ถ้าจำประโยคนี้ได้ การแปลงรูปก็ไม่ยากแล้ว

ค่าลอการิทึมที่ควรจำ

มีค่าลอการิทึมพื้นฐานบางค่าที่ควรจำให้แม่น เพราะจะได้ใช้บ่อยในบทต่อ ๆ ไป

1. $\log_a 1 = 0$ (เมื่อ $a > 0, a \neq 1$)

เพราะ $a^0 = 1$ เสมอ ดังนั้นลอการิทึมฐานใด ๆ ของ 1 จึงเท่ากับ 0

2. $\log_a a = 1$ (เมื่อ $a > 0, a \neq 1$)

เพราะ $a^1 = a$ ดังนั้นลอการิทึมฐาน $a$ ของ $a$ จึงเท่ากับ 1

3. $\log_a a^n = n$ (เมื่อ $a > 0, a \neq 1$)

เพราะ $a^n = a^n$ นี่เป็นสมบัติที่ใช้บ่อยมากในการคำนวณ

ตัวอย่าง:

• $\log_2 32 = \log_2 2^5 = 5$
• $\log_3 81 = \log_3 3^4 = 4$
• $\log_{10} 1000 = \log_{10} 10^3 = 3$

กราฟของฟังก์ชันลอการิทึม

เมื่อเราวาดกราฟของ $y = \log_a x$ เราจะเห็นความสัมพันธ์กับกราฟของ $y = a^x$ อย่างชัดเจน กราฟทั้งสองเป็น กราฟที่สะท้อนกันผ่านเส้น $y = x$ เพราะเป็นฟังก์ชันผกผันของกันและกัน

กรณี $a > 1$ (เช่น $a = 2$)

กราฟของ $y = \log_2 x$ มีลักษณะดังนี้

• โดเมน (ค่า $x$ ที่ใส่ได้): $x > 0$
• เรนจ์ (ค่า $y$ ที่ได้): $y \in \mathbb{R}$ (ทุกจำนวนจริง)
• จุดตัดแกน $x$: $(1, 0)$ เพราะ $\log_a 1 = 0$
• จุดที่ผ่าน: $(a, 1)$ เพราะ $\log_a a = 1$
• เมื่อ $x \to 0^+$ กราฟจะลู่เข้าสู่เส้นกำกับแนวตั้ง $x = 0$ (แกน $y$) โดย $y \to -\infty$
• เมื่อ $x \to \infty$ กราฟจะเพิ่มขึ้นอย่างช้า ๆ โดย $y \to \infty$
• กราฟ เพิ่มขึ้น ตลอด (monotonically increasing)

กรณี $0 < a < 1$ (เช่น $a = \frac{1}{2}$)

กราฟของ $y = \log_{\frac{1}{2}} x$ มีลักษณะคล้ายกับกรณี $a > 1$ แต่ กลับด้าน ในแนวแกน $y$

• โดเมน: $x > 0$
• เรนจ์: $y \in \mathbb{R}$
• จุดตัดแกน $x$: $(1, 0)$
• จุดที่ผ่าน: $(a, 1)$ ซึ่งในกรณีนี้คือ $(\frac{1}{2}, 1)$
• เมื่อ $x \to 0^+$ กราฟจะ $y \to +\infty$
• เมื่อ $x \to \infty$ กราฟจะ $y \to -\infty$
• กราฟ ลดลง ตลอด (monotonically decreasing)

สรุปลักษณะกราฟ

คุณสมบัติ	$a > 1$	$0 < a < 1$
โดเมน	$(0, \infty)$	$(0, \infty)$
เรนจ์	$(-\infty, \infty)$	$(-\infty, \infty)$
จุดตัดแกน $x$	$(1, 0)$	$(1, 0)$
ทิศทาง	เพิ่มขึ้น	ลดลง
เส้นกำกับแนวตั้ง	$x = 0$	$x = 0$

ตัวอย่างโค้ด: วาดกราฟด้วย Python

ถ้าคุณมีพื้นฐานการเขียนโปรแกรมเล็กน้อย สามารถลองวาดกราฟเพื่อเห็นภาพได้ดังนี้

import numpy as np
import matplotlib.pyplot as plt

x = np.linspace(0.01, 10, 500)

fig, axes = plt.subplots(1, 2, figsize=(12, 5))

# กรณี a > 1
axes[0].plot(x, np.log2(x), label='y = log₂(x)')
axes[0].plot(x, 2**x, label='y = 2ˣ', linestyle='--')
axes[0].plot(x, x, label='y = x', linestyle=':', color='gray')
axes[0].set_title('a > 1 (เช่น a = 2)')
axes[0].legend()
axes[0].grid(True)

# กรณี 0 < a < 1
axes[1].plot(x, np.log(x) / np.log(0.5), label='y = log₀.₅(x)')
axes[1].plot(x, 0.5**x, label='y = 0.5ˣ', linestyle='--')
axes[1].plot(x, x, label='y = x', linestyle=':', color='gray')
axes[1].set_title('0 < a < 1 (เช่น a = 0.5)')
axes[1].legend()
axes[1].grid(True)

plt.tight_layout()
plt.show()

จากโค้ดจะเห็นว่ากราฟของ $y = a^x$ และ $y = \log_a x$ สะท้อนกันผ่านเส้น $y = x$ ซึ่งยืนยันว่าทั้งสองเป็นฟังก์ชันผกผันของกันจริง ๆ

สรุปท้ายบท

ในบทนี้เราได้เรียนรู้สิ่งต่อไปนี้

1. ความสัมพันธ์ระหว่างเลขยกกำลังและลอการิทึม: $y = \log_a x \iff x = a^y$ ลอการิทึมคือฟังก์ชันผกผันของเลขยกกำลัง
2. เงื่อนไขสำคัญ: ฐาน $a$ ต้องเป็นบวกและไม่เท่า 1 ($a > 0, a \neq 1$) และค่าใน log ต้องเป็นบวก ($x > 0$)
3. ค่าที่ควรจำ: $\log_a 1 = 0$, $\log_a a = 1$, $\log_a a^n = n$
4. กราฟของลอการิทึม: โดเมนคือ $(0, \infty)$ เรนจ์คือ $\mathbb{R}$ มีเส้นกำกับแนวตั้งที่ $x = 0$ เพิ่มขึ้นเมื่อ $a > 1$ และลดลงเมื่อ $0 < a < 1$

ในบทถัดไปเราจะเรียนรู้ สมบัติและทฤษฎีบทของลอการิทึม ที่จะช่วยให้การคำนวณลอการิทึมซับซ้อน ๆ กลายเป็นเรื่องง่าย พร้อมกับตัวอย่างและแบบฝึกหัดที่จะฝึกให้คุณคล่องแคล่วยิ่งขึ้น