Cách Tìm Tập Xác Định Của Hàm Số Chuẩn SGK: Phân Thức, Căn Thức, Lượng Giác & Logarit

Tìm tập xác định của hàm số là bước đầu tiên của hầu hết các bài toán về hàm số trong chương trình Toán 10, 11 và 12: trước khi xét tính đơn điệu, tìm cực trị, tính giới hạn hay giải phương trình, ta phải biết hàm số có nghĩa ở những giá trị nào của x. Máy tính phía trên nhận một hàm số bất kỳ gồm phân thức, căn thức, lượng giác, logarit và lũy thừa, tự liệt kê điều kiện xác định (ĐKXĐ), giải từng điều kiện kèm bảng xét dấu, lấy giao các tập nghiệm và biểu diễn tập xác định D trên trục số. Bấm vào một thẻ dạng hàm số để xem nhanh quy tắc, dùng bàn phím ký hiệu để nhập căn, lũy thừa, logarit, hoặc bấm một nút ví dụ để xem lời giải mẫu.

📚 Tập xác định của hàm số là gì?

Cho hàm số y = f(x) được cho bởi một biểu thức. Tập xác định của hàm số, ký hiệu D, là tập hợp tất cả các số thực x làm cho biểu thức f(x) có nghĩa:

Khi đề bài chỉ cho công thức y = f(x) mà không nói gì thêm, ta hiểu tập xác định là tập lớn nhất các giá trị x để mọi phép toán trong công thức đều thực hiện được. Các phép cộng, trừ, nhân và các hàm sin, cos, eˣ luôn thực hiện được với mọi số thực, vì vậy hàm đa thức như y = x³ − 2x + 1 có D = ℝ. Chỉ có bốn “điểm nguy hiểm” làm hàm số mất xác định: chia cho 0, căn bậc chẵn của số âm, logarit của số không dương và tan, cot tại các điểm cos hoặc sin bằng 0.

Các điều kiện cần đặt ra để tránh những trường hợp đó gọi là điều kiện xác định (ĐKXĐ). Như vậy, tìm tập xác định chính là: viết đủ các ĐKXĐ, giải hệ điều kiện, rồi ghi tập nghiệm dưới dạng khoảng, đoạn hoặc tập hợp.

📐 Bảng tổng hợp điều kiện xác định

Khi một hàm số chứa nhiều biểu thức như trên, ta viết tất cả các điều kiện rồi lấy giao (kết hợp bằng dấu ngoặc nhọn “và”). Một biểu thức có thể sinh ra hai điều kiện, ví dụ 1/log₂ x cần cả x > 0 (logarit có nghĩa) lẫn log₂ x ≠ 0 ⟺ x ≠ 1 (mẫu khác 0).

🔢 Quy trình 4 bước tìm tập xác định

1. Nhận diện các thành phần “nguy hiểm” trong công thức: mẫu số, căn bậc chẵn, logarit, tan, cot, lũy thừa có số mũ nguyên âm hoặc không nguyên.
2. Viết hệ điều kiện xác định, mỗi thành phần một điều kiện; đừng bỏ sót mẫu số nằm bên trong căn hoặc logarit.
3. Giải từng điều kiện: phương trình B(x) = 0 để loại điểm, bất phương trình bậc nhất, bậc hai hoặc dạng tích, thương bằng bảng xét dấu; điều kiện lượng giác giải theo công thức nghiệm với k ∈ ℤ.
4. Lấy giao các tập nghiệm (biểu diễn trên trục số cho dễ nhìn) rồi kết luận D bằng ký hiệu khoảng, đoạn, nửa khoảng hoặc dạng ℝ \ {…}.

Lời giải của công cụ đi đúng theo bốn bước này: phần “Điều kiện xác định” liệt kê hệ điều kiện, phần “Giải từng điều kiện” trình bày phép biến đổi tương đương và bảng xét dấu, cuối cùng là trục số và kết luận. Các thẻ dạng hàm số được đánh dấu ✓ cho biết hàm số bạn nhập thuộc những dạng nào.

➗ Dạng 1. Hàm phân thức: mẫu khác 0

Ví dụ 1. Tìm tập xác định của y = (2x − 1)/(x² − 4).

• ĐKXĐ: x² − 4 ≠ 0 ⟺ x ≠ ±2.
• Kết luận: D = ℝ \ {−2; 2}, hay D = (−∞; −2) ∪ (−2; 2) ∪ (2; +∞).

Lưu ý tử số 2x − 1 không ảnh hưởng: tại x = 1/2 hàm số vẫn xác định và bằng 0. Nếu mẫu là tam thức vô nghiệm như x² + x + 1 (Δ = −3 < 0) thì mẫu luôn khác 0 và D = ℝ. Đây là nút “VD1” trong công cụ.

√ Dạng 2. Hàm căn thức: biểu thức dưới căn không âm

Ví dụ 2. Tìm tập xác định của y = √(3x − 6) + 1/(x − 5).

• ĐKXĐ: 3x − 6 ≥ 0 và x − 5 ≠ 0 ⟺ x ≥ 2 và x ≠ 5.
• Kết luận: D = [2; +∞) \ {5}, chính là trục số ở đầu bài: chấm đặc tại 2 (lấy), chấm rỗng tại 5 (bỏ).

Ví dụ 3. Tìm tập xác định của y = √((x − 1)/(x + 2)).

ĐKXĐ: (x − 1)/(x + 2) ≥ 0 (điều kiện này đã bao hàm x + 2 ≠ 0). Lập bảng xét dấu với tử bằng 0 tại x = 1 và mẫu bằng 0 tại x = −2:

Vậy D = (−∞; −2) ∪ [1; +∞): x = 1 được lấy vì biểu thức bằng 0, còn x = −2 bị loại vì mẫu bằng 0. Một lỗi rất hay gặp là tách thành hai điều kiện x − 1 ≥ 0 và x + 2 > 0, làm mất khoảng (−∞; −2).

Ví dụ 4. y = 1/√(4 − x²): căn nằm ở mẫu nên cần 4 − x² > 0 ⟺ −2 < x < 2, do đó D = (−2; 2).

∿ Dạng 3. Hàm lượng giác: tan, cot và mẫu chứa sin, cos

Hàm y = sin x và y = cos x xác định trên ℝ. Vì tan x = sin x / cos x và cot x = cos x / sin x, hai hàm này thực chất là phân thức nên cần mẫu khác 0.

Ví dụ 5. Tìm tập xác định của y = tan(2x − π/3).

• ĐKXĐ: cos(2x − π/3) ≠ 0 ⟺ 2x − π/3 ≠ π/2 + kπ.
• ⟺ 2x ≠ 5π/6 + kπ ⟺ x ≠ 5π/12 + kπ/2 (k ∈ ℤ).
• Kết luận: D = ℝ \ {5π/12 + kπ/2 | k ∈ ℤ}.

Chú ý khi chia cho hệ số 2, cả kπ cũng bị chia thành kπ/2; quên điều này là lỗi phổ biến nhất của dạng bài này.

Ví dụ 6. y = 1/(2cos x − 1): cần cos x ≠ 1/2 ⟺ x ≠ ±π/3 + k2π, nên D = ℝ \ {±π/3 + k2π}. Với y = tan x + cot x, hai điều kiện cos x ≠ 0 và sin x ≠ 0 gộp lại thành sin 2x ≠ 0 ⟺ x ≠ kπ/2; công cụ tự gộp các họ nghiệm trùng nhau như vậy.

📈 Dạng 4. Hàm logarit: biểu thức dưới dấu logarit dương

Ví dụ 7. Tìm tập xác định của y = log₂(x² − 3x + 2).

• ĐKXĐ: x² − 3x + 2 > 0. Tam thức có hai nghiệm x = 1, x = 2 và hệ số a = 1 > 0, nên dương ở ngoài khoảng hai nghiệm (“trong trái, ngoài cùng”).
• ⟺ x < 1 hoặc x > 2. Kết luận: D = (−∞; 1) ∪ (2; +∞).

Ví dụ 8. y = ln x + √(2 − x): cần x > 0 và 2 − x ≥ 0, nên D = (0; 2].

Ví dụ 9. y = √(x + 1)/log(3 − x) gồm ba điều kiện: x + 1 ≥ 0, 3 − x > 0 và log(3 − x) ≠ 0 ⟺ x ≠ 2. Lấy giao được D = [−1; 3) \ {2}.

⚡ Hàm lũy thừa và hàm hợp

Theo SGK, tập xác định của y = x^α phụ thuộc số mũ: α nguyên dương thì D = ℝ (ví dụ x⁵); α nguyên âm hoặc bằng 0 thì D = ℝ \ {0} (ví dụ x⁻² = 1/x²); α không nguyên thì D = (0; +∞) (ví dụ x^(1/3), x^√2). Với hàm hợp y = (u(x))^α ta thay x bằng u(x): chẳng hạn y = (x − 1)⁻³ cần x ≠ 1, còn y = (4 − x)^(2/5) cần 4 − x > 0, tức x < 4.

Cần phân biệt x^(1/3) (chỉ xét với x > 0) và căn bậc ba ∛x (xác định trên ℝ): hai biểu thức chỉ bằng nhau khi x > 0.

📏 Ghi tập xác định bằng ký hiệu khoảng và trục số

• Ngoặc vuông [ hoặc ] khi đầu mút được lấy (điều kiện có dấu ≥, ≤); ngoặc tròn ( hoặc ) khi đầu mút bị loại (dấu >, <, ≠). Phía vô cực luôn dùng ngoặc tròn: [2; +∞).
• Dùng dấu ∪ để ghép các khoảng rời nhau và dấu \ để bỏ các điểm riêng lẻ: [2; +∞) \ {5} gọn hơn [2; 5) ∪ (5; +∞); công cụ hiển thị cả hai cách viết.
• Trên trục số, chấm đặc là điểm được lấy, chấm rỗng là điểm bị loại; phần tô màu là tập xác định. Theo cách viết của SGK Việt Nam, hai đầu mút cách nhau bằng dấu chấm phẩy và số thập phân dùng dấu phẩy.

🎓 Kiểm tra bằng máy tính cầm tay

Casio fx-580VN X: để giải nhanh điều kiện bậc hai như x² − 3x + 2 > 0, bấm MENU, chọn Bất phương trình, chọn bậc 2 và dạng “> 0”, nhập hệ số 1, −3, 2; máy trả về x < 1, 2 < x. Để tìm nghiệm của mẫu số, dùng MENU → Phương trình/Hàm → Đa thức. Để thử lại kết quả, vào chế độ Bảng, nhập f(x) và quét x qua các giá trị: tại những x nằm ngoài tập xác định, máy báo ERROR thay vì cho giá trị.

Máy tính cầm tay chỉ giúp kiểm tra; trong bài làm tự luận bạn vẫn cần trình bày hệ điều kiện và phép biến đổi như lời giải của công cụ.

⚠️ Những lỗi hay gặp

1. Quên điều kiện của mẫu số khi hàm số có cả căn và phân thức, hoặc quên mẫu số nằm bên trong căn, bên trong logarit.
2. Dùng sai dấu: căn ở tử chỉ cần ≥ 0, căn ở mẫu phải > 0; logarit luôn cần > 0 (không có dấu bằng).
3. Tách sai điều kiện thương: A/B ≥ 0 không tương đương với “A ≥ 0 và B > 0”; phải xét dấu cả hai trường hợp.
4. Quên chia kπ khi giải điều kiện tan, cot của u(x) = ax + b.
5. Loại nhầm nghiệm của tử số trong hàm phân thức.
6. Rút gọn trước khi tìm tập xác định: y = (x² − 1)/(x − 1) có D = ℝ \ {1}, dù sau khi rút gọn được y = x + 1.
7. Viết ngoặc vuông ở phía vô cực hoặc dùng ngoặc vuông cho điểm bị loại.

❓ Câu hỏi thường gặp (FAQ)

Tập xác định và điều kiện xác định khác nhau như thế nào?

Điều kiện xác định (ĐKXĐ) là các điều kiện của x để biểu thức có nghĩa, ví dụ x − 2 ≠ 0 hoặc x + 1 ≥ 0. Tập xác định D là tập hợp tất cả các số thực x thỏa mãn đồng thời mọi điều kiện đó, được ghi bằng khoảng, đoạn hoặc dạng ℝ \ {…}. Nói gọn: ĐKXĐ là hệ cần giải, tập xác định là tập nghiệm của hệ.

Vì sao phải đặt điều kiện trước khi giải phương trình chứa căn?

Vì phép bình phương có thể sinh nghiệm ngoại lai. Ví dụ √(x − 1) = x − 3: ĐKXĐ là x ≥ 1, và vế phải phải không âm nên cần thêm x ≥ 3. Bình phương hai vế được x − 1 = x² − 6x + 9, tức x² − 7x + 10 = 0, có hai nghiệm x = 2 và x = 5. Giá trị x = 2 thỏa ĐKXĐ nhưng làm vế phải bằng −1 nên bị loại; phương trình chỉ có nghiệm x = 5. Vì vậy ngoài ĐKXĐ, khi bình phương cần đặt thêm điều kiện cho vế còn lại hoặc thử lại nghiệm.

Có phải mọi hàm số lượng giác đều xác định trên ℝ?

Không. y = sin x và y = cos x xác định trên ℝ, nhưng y = tan x chỉ xác định khi cos x ≠ 0, tức x ≠ π/2 + kπ, còn y = cot x chỉ xác định khi sin x ≠ 0, tức x ≠ kπ (k ∈ ℤ). Hàm có sin hoặc cos ở mẫu cũng cần mẫu khác 0, chẳng hạn y = 1/sin x có D = ℝ \ {kπ | k ∈ ℤ}.

Căn ở mẫu thì điều kiện là lớn hơn 0 hay lớn hơn hoặc bằng 0?

Phải lớn hơn 0. Biểu thức dưới căn cần ≥ 0 để căn có nghĩa, nhưng căn nằm ở mẫu còn phải khác 0, nên hai điều kiện gộp lại thành > 0. Ví dụ y = 1/√(x − 2) có D = (2; +∞), còn y = √(x − 2) có D = [2; +∞).

Tập xác định của y = x^(1/3) và y = ∛x có giống nhau không?

Không. Theo SGK, lũy thừa với số mũ không nguyên chỉ xét khi cơ số dương nên y = x^(1/3) có D = (0; +∞). Căn bậc ba ∛x thì xác định với mọi số thực nên y = ∛x có D = ℝ. Hai biểu thức chỉ bằng nhau khi x > 0.

Rút gọn hàm số trước rồi mới tìm tập xác định có được không?

Không được. Tập xác định phải tìm trên biểu thức ban đầu. Ví dụ y = (x² − 1)/(x − 1) rút gọn được y = x + 1, nhưng hàm số ban đầu không xác định tại x = 1 nên D = ℝ \ {1}, không phải ℝ. Đồ thị của nó là đường thẳng y = x + 1 bị khuyết điểm (1; 2).

🔗 Công cụ liên quan

• Công cụ khảo sát và vẽ đồ thị hàm số
• Công cụ tính đạo hàm từng bước
• Công cụ tính giới hạn hàm số
• Công cụ giải phương trình bậc 2
• Công cụ giải phương trình lượng giác