🧩 Đọc Đồ Thị f'(x) Suy Ra Hàm Hợp g(x)=f(u(x)) — 4 kỹ thuật xử lý dạng khó nhất (HSG Toán THPT)
Masterclass nguyên bản LUKATO: 4 kỹ thuật đọc đồ thị f'(x) để suy ra tính đơn điệu, cực trị và số nghiệm của hàm hợp g(x)=f(u(x)) — u(x) tuyến tính, u(x)=x²…
MASTERCLASS · TOÁN THPT · HÀM HỢP TỪ ĐỒ THỊ f'(x) — HSG QUỐC GIA & THI THỬ CHUYÊN
Đọc Đồ Thị f'(x) Suy Ra Hàm Hợp g(x)=f(u(x)) — 4 Kỹ Thuật Xử Lý Dạng Toán Bị Điểm Nhiều Nhất
Đây là dạng câu hỏi xuất hiện lặp đi lặp lại trong các đề chọn đội tuyển HSG cấp thành phố/tỉnh gần đây: chỉ cho đồ thị của f'(x) (không cho công thức f), rồi hỏi về tính đơn điệu, cực trị, hoặc số nghiệm của một hàm hợp dựng từ f — như f(\sin x), f(x^2), hay |f(u(x))\pm h(x)|. Điểm chung khiến học sinh mất điểm: quên rằng dấu của g'(x)=u'(x)\cdot f'(u(x)) phải ghép TỪ HAI NGUỒN khác nhau — dấu của u'(x) và dấu của f' tại giá trị u(x) (đọc trên đồ thị, không phải tại x). Bài này hệ thống hóa 4 tình huống lõi theo độ khó tăng dần, mỗi kỹ thuật có một hàm f' nguyên bản do LUKATO tự dựng và kiểm chứng bằng SymPy + quét số trực tiếp — không trùng bất kỳ đề nào đã công bố.
4 tình huống lõi
Từ u(x) tuyến tính đến trị tuyệt đối hàm hợp
100% ví dụ gốc
Hàm f' tự dựng, không sao chép số liệu đề nào
Kiểm chứng kép
SymPy giải tích + quét số trực tiếp xác nhận từng đáp số
1. Kỹ thuật 1 — Nền tảng: u(x) tuyến tính, dây chuyền dấu một-một
Đây là trường hợp dễ nhất nhưng bắt buộc phải nắm chắc trước khi vào các trường hợp khó: khi u(x)=ax+b là hàm bậc nhất, đạo hàm u'(x)=a có dấu không đổi trên toàn trục số. Do đó công thức g'(x)=u'(x)\cdot f'(u(x)) chỉ phụ thuộc vào dấu của f'(u(x)) (nhân thêm dấu cố định của a), và mỗi nghiệm y_0 của f'(y)=0 cho đúng một nghiệm x_0 của g'(x)=0 qua hệ thức u(x_0)=y_0 — một tương ứng một-một, không nhân đôi, không mất nghiệm.
Ví dụ nguyên bản LUKATO
Đề bài: Cho hàm số y=f(x) có đạo hàm f'(x)=(x+1)(x-1)(x-3) với mọi x\in\mathbb{R}. Xét hàm số g(x)=f(2x-1). Tìm các điểm cực trị của g(x) và xác định điểm nào là cực đại, điểm nào là cực tiểu.
Bước 1 — xác định dấu f'(y): f'(y) 0 trên (-1,1), f'(y) 0 trên (3,+\infty).
Bước 2 — đạo hàm hàm hợp: g'(x) = u'(x)\cdot f'(u(x)) với u(x)=2x-1,\ u'(x)=2>0. Vì u'(x)>0 không đổi dấu, dấu của g'(x) trùng hoàn toàn với dấu của f'(2x-1).
Bước 3 — quy đổi nghiệm: f'(2x-1)=0 \Leftrightarrow 2x-1\in\{-1,1,3\} \Leftrightarrow x\in\{0,1,2\}.
Bước 4 — lập bảng dấu cho g'(x) bằng cách thay trực tiếp y=2x-1 vào từng khoảng dấu của f'(y):
g'(x): - trên (-\infty,0), + trên (0,1), - trên (1,2), + trên (2,+\infty)
Vậy g(x) đạt cực tiểu tại x=0 , cực đại tại x=1 , cực tiểu tại x=2 — ba điểm cực trị, đúng bằng số nghiệm của f'(y)=0, không nhiều hơn không ít hơn vì u tuyến tính đơn điệu toàn cục.
Kiểm chứng bằng code
g'(x)=16x^3-48x^2+32x, giải bằng SymPy cho đúng ba nghiệm x=0,1,2; thay số tại x=-1,0.5,1.5,3 cho dấu lần lượt -,+,-,+ — khớp hoàn toàn với suy luận.
Vì sao phải chú ý dấu của u'(x)?
Nếu u(x)=1-2x (hệ số âm) thay vì 2x-1, toàn bộ bảng dấu của g'(x) sẽ bị đảo ngược so với bảng dấu của f'(u(x)) — cực đại và cực tiểu hoán đổi vị trí cho nhau. Đây là lỗi sai phổ biến nhất ở mức độ này.
2. Kỹ thuật 2 — u(x)=x^2: đối xứng hóa nghiệm và "nghiệm ẩn" tại x=0
Khi u(x)=x^2, hai điều thay đổi so với Kỹ thuật 1: thứ nhất, u'(x)=2x đổi dấu tại x=0 — bản thân nó đóng góp thêm một điểm mà đạo hàm hàm hợp bằng 0; thứ hai, vì x^2\ge0 với mọi x, chỉ những nghiệm y_0\ge0 của f'(y)=0 mới sinh ra nghiệm thực của x^2=y_0, và mỗi nghiệm y_0>0 sinh ra hai nghiệm đối xứng x=\pm\sqrt{y_0}. Bỏ sót một trong hai điều này là nguyên nhân chính khiến học sinh đếm sai số cực trị của g(x)=f(x^2).
Ví dụ nguyên bản LUKATO
Đề bài: Với hàm f ở Kỹ thuật 1 (f'(x)=(x+1)(x-1)(x-3)), xét g(x)=f(x^2). Hỏi g(x) có bao nhiêu điểm cực trị?
Bước 1 — lọc nghiệm không âm: f'(y)=0 tại y=-1,1,3. Vì x^2\ge0, chỉ y=1 và y=3 có thể đạt được (y=-1 bị loại vĩnh viễn).
Bước 2 — quy đổi qua x^2=y_0: x^2=1\Rightarrow x=\pm1; x^2=3\Rightarrow x=\pm\sqrt3. Bốn nghiệm đối xứng.
Bước 3 — cộng nghiệm từ u'(x)=2x: g'(x)=2x\cdot f'(x^2) luôn bằng 0 tại x=0 (dù f'(0)=3\ne0, thừa số 2x vẫn triệt tiêu tại đây).
Bước 4 — lập bảng dấu đầy đủ tại năm điểm -\sqrt3,-1,0,1,\sqrt3 bằng cách xét dấu 2x và dấu f'(x^2) (dựa vào vị trí x^2 so với 1 và 3):
g'(x): -,+,-,+,-,+ qua các điểm -\sqrt3,-1,0,1,\sqrt3
Vậy g(x) có đúng 5 điểm cực trị : cực tiểu tại -\sqrt3, cực đại tại -1, cực tiểu tại 0, cực đại tại 1, cực tiểu tại \sqrt3.
Kiểm chứng bằng code
g'(x)=2x^7-6x^5-2x^3+6x, SymPy giải ra đúng 5 nghiệm \{-\sqrt3,-1,0,1,\sqrt3\}; thay số tại x=-2,-1.5,-0.5,0.5,1.5,2 cho dấu -,+,-,+,-,+ — khớp bảng dấu suy luận.
Bẫy kinh điển
Rất nhiều học sinh chỉ đếm "2 nghiệm dương của f' nhân đôi = 4 điểm" mà quên mất x=0 — thực ra x=0 luôn là một điểm tới hạn của g(x)=f(x^2) bất kể f'(0) có bằng 0 hay không, vì nó đến từ đạo hàm của chính u(x)=x^2.
3. Kỹ thuật 3 — u(x)=\sin x (hoặc \cos x): lọc miền giá trị rồi đếm nghiệm tuần hoàn
Đây là dạng hay gây choáng ngợp nhất vì đề thường hỏi số nghiệm trên một khoảng rất dài (ví dụ [0;10\pi]). Chìa khóa là tách bài toán thành hai bước độc lập: (1) tìm các nghiệm y_0 của f'(y)=0 nhưng chỉ giữ lại những y_0\in[-1,1] (vì \sin x,\cos x chỉ nhận giá trị trong đoạn này — nghiệm nằm ngoài đoạn này là "nghiệm ảo", loại ngay từ đầu); (2) với mỗi y_0 còn lại, đếm số nghiệm của \sin x=y_0 trên khoảng đã cho bằng chu kỳ 2\pi, KHÔNG cần giải lại toàn bộ phương trình lượng giác phức tạp.
Ví dụ nguyên bản LUKATO
Đề bài: Với hàm f có f'(x)=(x+1)(x-1)(x-3) như trên, tìm số nghiệm của phương trình f'(\sin x)=0 trên đoạn [0;10\pi].
Bước 1 — lọc nghiệm hợp lệ: f'(y)=0 tại y=-1,1,3. Vì \sin x\in[-1,1], nghiệm y=3 bị loại ngay — chỉ còn y=-1 và y=1.
Bước 2 — đếm nghiệm \sin x=1 trên [0;10\pi]: họ nghiệm x=\dfrac{\pi}{2}+k2\pi. Với k=0,1,2,3,4 ta được x=\dfrac\pi2,\dfrac{5\pi}2,\dfrac{9\pi}2,\dfrac{13\pi}2,\dfrac{17\pi}2 — tất cả đều \le10\pi; k=5 cho \dfrac{21\pi}2>10\pi nên dừng. 5 nghiệm.
Bước 3 — đếm nghiệm \sin x=-1 trên [0;10\pi]: họ nghiệm x=\dfrac{3\pi}2+k2\pi. Với k=0,1,2,3,4 ta được \dfrac{3\pi}2,\dfrac{7\pi}2,\dfrac{11\pi}2,\dfrac{15\pi}2,\dfrac{19\pi}2 — tất cả \le10\pi. 5 nghiệm.
Tổng số nghiệm của f'(\sin x)=0 trên [0;10\pi] là 5+5=10.
Kiểm chứng bằng code
Liệt kê trực tiếp từng nghiệm của hai họ bằng SymPy trong đoạn [0;10\pi]: \sin x=1 cho đúng 5 giá trị, \sin x=-1 cho đúng 5 giá trị, tổng 10 — khớp hoàn toàn với suy luận giải tích.
Vì sao phải kiểm tra miền giá trị trước tiên?
Nếu bỏ qua bước lọc và cố "giải" \sin x=3, phương trình vô nghiệm nhưng học sinh mất thời gian loay hoay — hoặc tệ hơn, nhầm lẫn và đếm nhầm nghiệm ảo vào tổng. Luôn kiểm tra miền giá trị của u(x) trước khi quy đổi nghiệm.
4. Kỹ thuật 4 — Trị tuyệt đối hàm hợp: đếm cực trị của g(x)=|\varphi(x)|
Đây là dạng tổng hợp khó nhất: khi lấy trị tuyệt đối của một hàm \varphi(x), đồ thị bị "gập" lên trên tại mọi điểm \varphi(x)=0, tạo ra các góc nhọn — mỗi góc nhọn tại một nghiệm đơn (bội lẻ) của \varphi(x)=0 đều là một cực tiểu MỚI của |\varphi(x)|, cộng thêm vào các cực trị vốn có của \varphi(x). Công thức đếm nhanh (khi không có nghiệm bội và không có điểm nào vừa là nghiệm vừa là cực trị của \varphi):
Số cực trị của |\varphi(x)| = (số cực trị của \varphi(x)) + (số nghiệm đơn của \varphi(x)=0)
Ví dụ nguyên bản LUKATO
Đề bài: Cho hàm số \varphi(x)=x^5-5x^3+4x. Hỏi hàm số g(x)=|\varphi(x)| có bao nhiêu điểm cực trị?
Bước 1 — phân tích nghiệm của \varphi(x)=0: \varphi(x)=x(x^2-1)(x^2-4)=x(x-1)(x+1)(x-2)(x+2), có đúng 5 nghiệm đơn : x=-2,-1,0,1,2 (không có nghiệm bội).
Bước 2 — tìm cực trị của \varphi(x): \varphi'(x)=5x^4-15x^2+4. Đặt t=x^2: 5t^2-15t+4=0 \Rightarrow t=\dfrac{15\pm\sqrt{145}}{10}, cả hai nghiệm đều dương nên mỗi nghiệm t cho hai giá trị x=\pm\sqrt t — tổng cộng 4 điểm cực trị của \varphi(x), xấp xỉ x\approx\pm0{,}544 và x\approx\pm1{,}644.
Bước 3 — kiểm tra không trùng lặp: các giá trị \{-2,-1,0,1,2\} (nghiệm) và \{\pm0{,}544;\pm1{,}644\} (cực trị) hoàn toàn tách biệt — không có điểm nào vừa là nghiệm vừa là cực trị, nên công thức cộng trực tiếp áp dụng được.
Số cực trị của g(x)=|\varphi(x)| là 4+5=9.
Kiểm chứng bằng code
Quét số trực tiếp |\varphi(x)| trên lưới rất mịn (2\times10^6 điểm) trong [-2{,}5;2{,}5], tìm tất cả điểm mà giá trị tuyệt đối đổi chiều tăng/giảm: thu được đúng 9 điểm, trùng khớp tuyệt đối với vị trí tính bằng SymPy.
Khi nào công thức cộng KHÔNG áp dụng được?
Nếu \varphi(x)=0 có nghiệm bội chẵn (ví dụ \varphi(x)=(x-1)^2(\ldots)), đồ thị \varphi chỉ "chạm" trục hoành mà không đổi dấu — khi đó |\varphi| không tạo góc nhọn tại điểm đó, và nghiệm đó cũng không được cộng vào tổng cực trị.
5. Tự kiểm tra — 4 câu hỏi nhanh
Bốn câu hỏi ngắn dùng một hàm f' hoàn toàn mới (f'(x)=-(x+2)x(x-2), dấu: + trên (-\infty,-2), - trên (-2,0), + trên (0,2), - trên (2,+\infty)), mỗi câu ứng với đúng một trong bốn kỹ thuật vừa học.
Câu 1 (Kỹ thuật 1): Với f'(x)=-(x+2)x(x-2), xét g(x)=f(1-x). Hỏi g(x) có bao nhiêu điểm cực trị?
u(x)=1-x tuyến tính; f'(1-x)=0 tại 1-x\in\{-2,0,2\}\Rightarrow x\in\{-1,1,3\}. Vì u'(x)=-1 không đổi dấu, cả ba điểm đều là cực trị đơn. Đáp số: 3 điểm cực trị .
Câu 2 (Kỹ thuật 2): Với f' như trên, xét g(x)=f(x^2). Hỏi g(x) có bao nhiêu điểm cực trị?
Chỉ giữ nghiệm y\ge0: y=0 và y=2 (y=-2 bị loại). x^2=0\Rightarrow x=0; x^2=2\Rightarrow x=\pm\sqrt2. Cộng thêm nghiệm từ u'(x)=2x tại x=0 (đã trùng với nghiệm ở trên, không đếm lặp). Tổng: x=-\sqrt2,0,\sqrt2. Đáp số: 3 điểm cực trị .
Câu 3 (Kỹ thuật 3): Tìm số nghiệm của f'(\cos x)=0 trên đoạn [0;6\pi] (với f' như trên).
Nghiệm hợp lệ trong [-1,1]: chỉ y=0 (loại y=\pm2). \cos x=0 \Rightarrow x=\dfrac\pi2+k\pi. Trên [0;6\pi]: k=0,\ldots,5 cho 6 giá trị. Đáp số: 6 nghiệm .
Câu 4 (Kỹ thuật 4): Cho \psi(x)=x^3-4x. Hỏi g(x)=|\psi(x)| có bao nhiêu điểm cực trị?
\psi(x)=x(x-2)(x+2) có 3 nghiệm đơn. \psi'(x)=3x^2-4=0\Rightarrow x=\pm\sqrt{4/3}, 2 điểm cực trị, không trùng nghiệm. Đáp số: 3+2=\mathbf{5} điểm cực trị .
6. Nguồn tư liệu & cam kết minh bạch
Toàn bộ hàm số, đồ thị và ví dụ trong bài đều do LUKATO tự dựng riêng cho chuyên đề này — không sao chép công thức, số liệu hay đồ thị từ bất kỳ đề thi nào đã công bố. Mọi bảng dấu, số điểm cực trị và số nghiệm đều được kiểm chứng độc lập bằng tính toán ký hiệu (SymPy) và quét số trực tiếp trên lưới mịn trước khi đưa vào bài giảng.
Kỹ thuật · Dạng u(x) · Nguồn · Kiểm chứng
1. Dây chuyền dấu tuyến tính · u(x)=ax+b · Nguyên bản LUKATO · ✅ SymPy giải nghiệm + thay số xác nhận dấu tại 4 điểm
2. Đối xứng hóa qua x^2 · u(x)=x^2 · Nguyên bản LUKATO · ✅ SymPy giải nghiệm + thay số xác nhận dấu tại 6 điểm
3. Lọc miền giá trị lượng giác · u(x)=\sin x,\cos x · Nguyên bản LUKATO · ✅ Liệt kê trực tiếp từng nghiệm bằng SymPy trên đoạn cho trước
4. Trị tuyệt đối hàm hợp · g(x)=|\varphi(x)| · Nguyên bản LUKATO · ✅ SymPy giải tích + quét số 2 triệu điểm xác nhận đúng 9 cực trị
Lưu ý: đây là chuyên đề nâng cao dành cho học sinh giỏi và ôn thi đội tuyển — nếu chưa vững quy tắc đạo hàm hàm hợp cơ bản, nên ôn lại trước khi vào bài này.