Phương pháp giải các dạng toán tính đơn điệu của hàm số

Bài viết trình bày tóm tắt lý thuyết sách giáo khoa và phương pháp giải các dạng toán tính đơn điệu của hàm số trong chương trình Giải tích 12 chương 1.

A. TÓM TẮT SÁCH GIÁO KHOA
I. NHẮC LẠI:
Giả sử $K$ là một khoảng (một đoạn hoặc nửa khoảng) và $f$ là một hàm số xác định trên $K.$
+ $f$ đồng biến trên $K$ $\iff \mathrm{\forall }{x}_1,x_2\in K$: $x_1<x_2\Rightarrow f\left(x_1\right)<f\left(x_2\right).$
+ $f$ nghịch biến trên $K$ $\iff \mathrm{\forall }{x}_1,x_2\in K$: $x_1<x_2\Rightarrow f\left(x_1\right)>f\left(x_2\right).$

II. ỨNG DỤNG CỦA ĐẠO HÀM ĐỂ XÉT TÍNH ĐƠN ĐIỆU:
1. Điều kiện cần:
Định lí 1: Giả sử hàm số $f$ có đạo hàm trên khoảng $K.$
a) Nếu hàm số $f$ đồng biến trên khoảng $K$ thì $f^{\prime }(x)\ge 0$ với mọi $x\in K.$
b) Nếu hàm số $f$ nghịch biến trên khoảng $K$ thì $f^{\prime }(x)\le 0$ với mọi $x\in K.$
2. Điều kiện đủ:
Định lí 2: (điều kiện đủ để hàm số đơn điệu trên một khoảng).
Giả sử hàm số $f$ có đạo hàm trên khoảng $K.$
a) Nếu $f^{\prime }(x)>0$ với mọi $x\in K$ thì hàm số $f$ đồng biến trên khoảng $K.$
b) Nếu $f^{\prime }(x)<0$ với mọi $x\in K$ thì hàm số $f$ nghịch biến trên khoảng $K.$
c) Nếu $f^{\prime }(x)=0$ với mọi $x\in K$ thì hàm số $f$ không đổi trên khoảng $K.$
Chú ý:
Khoảng $K$ trong định lí trên có thể được thay bởi một đoạn hay nửa khoảng. Khi đó ta phải bổ sung thêm giả thiết “Hàm số liên tục $f$ trên đoạn hay nửa khoảng đó”. Tức là ta có:
+ Nếu hàm số $f$ liên tục trên đoạn $[a,b]$ và có đạo hàm $f^{\prime }(x)>0$ trên khoảng $(a,b)$ thì hàm số $f$ đồng biến trên $[a,b].$
+ Nếu hàm số $f$ liên tục trên đoạn $[a,b]$ và có đạo hàm $f^{\prime }(x)<0$ trên khoảng $(a,b)$ thì hàm số $f$ nghịch biến trên $[a,b].$
3. Mở rộng:
Trong trường hợp phương trình $y^{\prime }=0$ có hữu hạn nghiệm, thì ta có định lí mở rộng sau:
Định lí 3:
+ $f$ tăng trên $K$ $\iff f^{\prime }(x)\ge 0$, $\mathrm{\forall }x\in K.$
+ $f$ giảm trên $K$ $\iff f^{\prime }(x)\le 0$, $\mathrm{\forall }x\in K.$

B. PHƯƠNG PHÁP GIẢI TOÁN
Dạng 1: Tìm khoảng tăng, giảm của hàm số $y=f(x).$
1. PHƯƠNG PHÁP:
+ Tìm miền xác định.
+ Tìm $y^{\prime }.$
+ Tìm các điểm mà tại đó hàm số có đạo hàm bằng $0$ hay tại đó hàm số không có đạo hàm.
+ Xét dấu $y^{\prime }$ bằng bảng biến thiên.
+ Dựa vào định lí trên để kết luận về tính tăng, giảm của hàm số.

2. CÁC VÍ DỤ:
Ví dụ 1: Xét chiều biến thiên của các hàm số sau:
a) $y=x^3–6x^2+9x+1.$
b) $y=x^4–8x^2+3.$

a) Tập xác định: $D=R.$
$y^{\prime }=3x^2–12x+9.$
$y^{\prime }=0\iff 3x^2–12x+9=0$ $\iff [\begin{array}{l}x=1\\ x=3\end{array}.$
Bảng biến thiên:

Vậy hàm số tăng trên $(–\mathrm{\infty };1)$, $(3;+\mathrm{\infty })$, hàm số giảm trong $(1;3).$
b) Tập xác định: $D=R.$
$y^{\prime }=4x^3–16x.$
$y^{\prime }=0\iff 4x\left(x^2–4\right)=0$ $\iff [\begin{array}{l}x=0\\ x=\pm 2\end{array}.$
Bảng biến thiên:

Vậy hàm số tăng trong $(–2;0)$, $(2;+\mathrm{\infty })$, giảm trong $(–\mathrm{\infty };–2)$, $(0;2).$

Ví dụ 2: Tìm khoảng tăng, giảm của các hàm số sau:
a) $y=\frac{2x–3}{x–2}.$
b) $y=\frac{x^2–4x+4}{x–1}.$

a) Tập xác định: $D=R\mathrm{\setminus }\{2\}.$
$y^{\prime }=\frac{–1}{{(x–2)}^2}<0$ với mọi $x\in D.$
Vậy hàm số luôn giảm trên từng khoảng xác định.
b) Tập xác định: $D=R\mathrm{\setminus }\{1\}.$
$y^{\prime }=\frac{x^2–2x}{{(x–1)}^2}.$
$y^{\prime }=0\iff x^2–2x=0$ $\iff [\begin{array}{l}x=0\\ x=2\end{array}.$
Bảng biến thiên:

Vậy:
Hàm số tăng trong $(–\mathrm{\infty };0)$ và $(2;+\mathrm{\infty }).$
Hàm số giảm trong $(0;1)$ và $(1;2).$

Ví dụ 3: Xét chiều biến thiên của các hàm số sau:
a) $y=x+\sqrt{4–x^2}.$
b) $y=2x–\sqrt{x^2–4x–5}.$

a) $y=x+\sqrt{4–x^2}.$
Tập xác định: $D=[–2;2].$
$y^{\prime }=1–\frac{x}{\sqrt{4–x^2}}$ $=\frac{\sqrt{4–x^2}–x}{\sqrt{4–x^2}}$, $\mathrm{\forall }x\in (–2;2).$
$y^{\prime }=0$ $\iff \sqrt{4–x^2}=x$ $\iff \{\begin{array}{l}x\ge 0\\ 4–x^2=x^2\end{array}$ $\iff x=\sqrt{2}.$
Bảng biến thiên:

Vậy:
Hàm số tăng trong khoảng $(–2;\sqrt{2}).$
Hàm số giảm trong khoảng $(\sqrt{2};2).$
b) $y=2x–\sqrt{x^2–4x–5}.$
Tập xác định: $D=(–\mathrm{\infty };–1]\cup [5;+\mathrm{\infty }).$
$y^{\prime }=2–\frac{x–2}{\sqrt{x^2–4x–5}}$ $=\frac{2\sqrt{x^2–4x–5}–x+2}{\sqrt{x^2–4x–5}}$, $\mathrm{\forall }x\in (–\mathrm{\infty };–1)\cup (5;+\mathrm{\infty }).$
$y^{\prime }=0\iff 2\sqrt{x^2–4x–5}=x–2$ $\iff \{\begin{array}{l}x–2\ge 0\\ 4\left(x^2–4x–5\right)={(x–2)}^2\end{array}$ $\iff \{\begin{array}{l}x\ge 2\\ 3x^2–12x–24=0\end{array}$ $\iff x=2+2\sqrt{3}.$
Bảng biến thiên:

Vậy:
Hàm số tăng trong khoảng $(–\mathrm{\infty };–1)$, $(2+2\sqrt{3};+\mathrm{\infty }).$
Hàm số giảm trong khoảng $(5;2+2\sqrt{3}).$

Ví dụ 4: Tìm khoảng tăng, giảm của các hàm số sau:
a) $y=–x^2+6|x–2|.$
b) $y=\left|x^2+4x–5\right|.$

a) Tập xác định: $D=R.$
Ta có: $y=\{\begin{array}{l}–x^2+6x–12\mathrm{k}\mathrm{h}\mathrm{i}x\ge 2\\ –x^2–6x+12\mathrm{k}\mathrm{h}\mathrm{i}x<2\end{array}.$
Do đó: $y^{\prime }=\{\begin{array}{l}–2x+6\mathrm{k}\mathrm{h}\mathrm{i}x>2\\ –2x–6\mathrm{k}\mathrm{h}\mathrm{i}x<2\end{array}.$
$y^{\prime }=0\iff x=\pm 3.$
Tại $x=2$ hàm số không có đạo hàm.
Bảng biến thiên:

Vậy:
Hàm số tăng trong $(–\mathrm{\infty };–3)$ và $(2;3).$
Hàm số giảm trong $(–3;2)$ và $(3;+\mathrm{\infty }).$
b) Tập xác định: $D=R.$
Ta có:
$y=\{\begin{array}{l}{x}^2+4x–5\mathrm{k}\mathrm{h}\mathrm{i}x\le –5\mathrm{h}\mathrm{a}\mathrm{y}x\ge 1\\ –x^2–4x+5\mathrm{k}\mathrm{h}\mathrm{i}–5<x<1\end{array}.$
Do đó: $y^{\prime }=\{\begin{array}{c}2x+4\mathrm{k}\mathrm{h}\mathrm{i}x<–5\mathrm{h}\mathrm{a}\mathrm{y}x>1\\ –2x–4\mathrm{k}\mathrm{h}\mathrm{i}–5<x<1\end{array}.$
$y^{\prime }=0\iff x=–2.$
Tại $x=-5$ hay $x=1$ hàm số không có đạo hàm.
Bảng biến thiên:

Vậy:
Hàm số đồng biến trong $(–5;–2)$ và $(1;+\mathrm{\infty }).$
Hàm số nghịch biến trong $(–\mathrm{\infty };–5)$ và $(-2;1).$

3. BÀI TẬP:
1. Tìm các khoảng tăng, giảm của các hàm số sau:
a) $y=x^2+2mx+m–1.$
b) $y=–x^3+6x^2–12x+8.$
c) $y=–\frac{1}{4}{x}^4–x^3+\frac{1}{2}{x}^2+3x.$
d) $y=\frac{1}{3}{x}^3+\frac{1}{2}(2m+2)x^2+\left(m^2+2m\right)x.$

2. Tìm các khoảng đơn điệu của các hàm số sau:
a) $y=\frac{3x+1}{x+2}.$
b) $y=\frac{{(x–2)}^2}{1–x}.$
c) $y=\frac{x^2–x}{x^2–x–2}.$
d) $y=\frac{x^3}{9–x^2}.$
e) $y=\frac{x}{x^2+1}.$
f) $y=\frac{x^2+2x+2}{x^2–2x+2}.$

3. Tìm các khoảng đơn điệu của các hàm số sau:
a) $y=\sqrt{x^2–4x+3}.$
b) $y=\frac{x+1}{\sqrt{x^2–x+1}}.$
c) $y=\frac{x^2}{\sqrt{x^2–1}}.$
d) $y=\sqrt{2x–x^2}.$

4. Tìm khoảng tăng, giảm của các hàm số:
a) $y=|x–1|+\frac{x^2+x+2}{x+1}.$
b) $y=x^2–2x+4|x–2|+3.$

5. Chứng minh các hàm số:
a) $y=\left(m^2+1\right)x^3+x^2+2x–10$ luôn tăng trên miền xác định.
b) $y=\frac{2x–3}{3x–6}$ luôn giảm trên các khoảng xác định.
c) $y=\frac{x^2–x–4}{1–x}$ luôn giảm trên các khoảng xác định.
d) $y=\frac{(m–2)x–2m^2+2m–4}{x–m}$ luôn tăng trên các khoảng xác định.
e) $f(x)=x^3+x–\cos x–4$ luôn tăng trên các khoảng xác định.

Dạng 2: Chứng minh hàm số tăng (giảm) trên đoạn hay nửa khoảng.
1. PHƯƠNG PHÁP:
Để chứng minh hàm số tăng (giảm) trên $[a;b]$ (hay $[a;b)$ hay $(a;b]$) ta thực hiện các bước sau:
+ Bước 1: Chứng minh trong $(a;b)$ hàm số tăng (giảm).
+ Bước 2: Chứng minh hàm số liên tục trên đoạn hay nửa khoảng đã cho.
Kết luận: Hàm số tăng (giảm) trên đoạn hay nửa khoảng đã cho.

2. CÁC VÍ DỤ:
Ví dụ 1: Chứng minh rằng hàm số $f(x)=\frac{1}{\sqrt{3}}x+\sqrt{16–x^2}$ nghịch biến trên $[2;4].$

Ta có:
$f(x)$ là hàm số liên tục trên $[2;4]$ $(1).$
$f^{\prime }(x)=\frac{1}{\sqrt{3}}–\frac{x}{\sqrt{16–x^2}}$ $=\frac{\sqrt{16–x^2}–\sqrt{3}x}{\sqrt{3}\sqrt{16–x^2}}.$
$f^{\prime }(x)=0$ $\iff \sqrt{16–x^2}=\sqrt{3}x$ $\iff \{\begin{array}{l}x\ge 0\\ 16–x^2=3x^2\end{array}$ $\iff x=2.$
Với $x\in (2;4)$ thì $\sqrt{16–x^2}–\sqrt{3}x<0$ nên $f^{\prime }(x)<0$, do đó hàm số nghịch biến trong $(2;4)$ $(2).$
Từ $(1)$ và $(2)$ suy ra $f$ là hàm số nghịch biến trên đoạn $[2;4].$

3. BÀI TẬP:
1. Chứng minh rằng hàm số $y=f(x)=x\sqrt{8–x^2}$ đồng biến trên $[–2;2].$

2. Chứng minh hàm số $y=\sqrt{x–1}+\sqrt{7–x}$ nghịch biến trên đoạn $[4;7].$

3. Chứng minh hàm số $y=x^2+2\sqrt{5}\sqrt{9–x^2}$ đồng biến trên $[–3;–2]$ và nghịch biến trong $[2;3].$

Dạng 3: Định giá trị tham số để hàm số đơn điệu trên tập hợp $X$ cho trước.
1. PHƯƠNG PHÁP:
Bước 1: Tìm $y^{\prime }.$
Bước 2: Đặt điều kiện cho bài toán:
+ Hàm số tăng trên $D$ $\iff y^{\prime }\ge 0$ $\mathrm{\forall }x\in D.$
+ Hàm số giảm trên $D$ $\iff y^{\prime }\le 0$ $\mathrm{\forall }x\in D.$
Chú ý: Trong điều kiện trên dấu bằng xảy ra khi phương trình $y^{\prime }=0$ có hữu hạn nghiệm, nếu phương trình $y^{\prime }=0$ có vô hạn nghiệm thì trong điều kiện sẽ không có dấu bằng.
Trong thực hành ta thường sử dụng:
Nếu biểu thức $g(x)$ quyết định dấu của $y^{\prime }$ không chứa $x$ thì trong điều kiện trên không có dấu bằng.
Bước 3: Từ điều kiện trên sử dụng các kiến thức về dấu nhị thức, tam thức suy ra giá trị tham số cần tìm.
Chú ý 1: Cho $f(x)=a{x}^2+bx+c$ $(a\ne 0)$ ta có:
+ $f(x)\ge 0$, $\mathrm{\forall }x\in R$ $\iff \mathrm{\Delta }\le 0$ và $a>0.$
+ $f(x)\le 0$, $\mathrm{\forall }x\in R$ $\iff \mathrm{\Delta }\le 0$  và $a<0.$
Chú ý 2: Đối với hàm số lượng giác ta cần nhớ:
+ $|a\sin x|\le |a|$, $\mathrm{\forall }x\in R.$
+ $|a\sin x+b\cos x|\le \sqrt{a^2+b^2}$, $\mathrm{\forall }x\in R.$

2. CÁC VÍ DỤ:
Ví dụ 1: Tìm $m$ để hàm số $y=x^3+(m–3)x^2+(2m+3)x+m–4$ luôn tăng trên $R.$

Tập xác định: $D=R.$
$y^{\prime }=3x^2+2(m–3)x+2m–1.$
Hàm số luôn tăng trên $R\iff y^{\prime }\ge 0$ với mọi $x\in R.$
$\iff \{\begin{array}{l}a>0\\ \mathrm{\Delta }‘\le 0\end{array}$ $\iff (m–3{)}^2–3(2m+3)\le 0$ $\iff m^2–12m\le 0$ $\iff 0\le m\le 12.$
Vậy $m$ thỏa mãn yêu cầu bài toán $\iff 0\le m\le 12.$

Ví dụ 2: Tìm $m$ để các hàm số sau tăng trên từng khoảng xác định của nó:
a) $y=\frac{mx+7m–8}{x–m}.$
b) $y=\frac{2x^2+x+3m–5}{x–1}.$

a) Tập xác định: $D=R\mathrm{\setminus }\{m\}.$
$y^{\prime }=\frac{–m^2–7m+8}{{(x–m)}^2}.$
Dấu $y^{\prime }$ là dấu của biểu thức $–m^2–7m+8.$
Hàm số tăng trên từng khoảng xác định $\iff y^{\prime }>0$ với mọi $x\in D$ $\iff –m^2–7m+8>0$ $\iff –8<m<1.$
Vậy $m$ thỏa mãn yêu cầu bài toán $\iff –8<m<1.$
b) Tập xác định: $D=R\mathrm{\setminus }\{1\}.$
$y^{\prime }=\frac{2x^2–4x–3m+4}{{(x–1)}^2}.$
Dấu của $y^{\prime }$ chính là dấu của $g(x)=2x^2–4x–3m+4.$
Hàm số tăng trên từng khoảng xác định $\iff y^{\prime }\ge 0$ với mọi $x\in D$ $\iff \{\begin{array}{l}a>0\\ \mathrm{\Delta }‘\le 0\end{array}$ $\iff 4–2(–3m+4)\le 0$ $\iff 6m–4\le 0$ $\iff m\le \frac{2}{3}.$
Vậy $m$ thỏa mãn yêu cầu bài toán $\iff m\le \frac{2}{3}.$

Ví dụ 3: Định $m$ để hàm số $y=\frac{x^2–3mx+4m–12}{x–2}$ đồng biến trên $(–\mathrm{\infty };0).$

Tập xác định: $D=R\mathrm{\setminus }\{2\}.$
$y^{\prime }=\frac{x^2–4x+2m+12}{{(x–2)}^2}.$
Dấu của $y^{\prime }$ là dấu của $g(x)=x^2–4x+2m+12.$
Hàm số đồng biến trên $(–\mathrm{\infty };0)$ $\iff y^{\prime }\ge 0$, $\mathrm{\forall }x\in (–\mathrm{\infty };0).$
Cách 1:
Trường hợp 1: $\mathrm{\Delta }‘\le 0$ $\iff –2m–8\le 0$ $\iff m\ge –4.$
Khi đó do $a=1>0$ nên $y^{\prime }\ge 0$, $\mathrm{\forall }x\in D.$
$\Rightarrow$ Hàm số đồng biến trên từng khoảng xác định.
$\Rightarrow$ Hàm số đồng biển trên $(–\mathrm{\infty };0).$
Vậy $m\ge –4$ thỏa yêu cầu bài toán.
Trường hợp 2: $\mathrm{\Delta }‘>0\iff m<–4.$
Khi đó $y^{\prime }=0$ có hai nghiệm phân biệt $x_1$, $x_2$ $\left(x_1<x_2\right).$
Yêu cầu bài toán $\iff 0\le x_1<x_2$ $\iff \{\begin{array}{l}\mathrm{\Delta }‘>0\\ S>0\\ P\ge 0\end{array}$ $\iff \{\begin{array}{l}m<–4\\ 4>0\\ 2m+12\ge 0\end{array}$ $\iff –6\le m<–4.$
Kết luận: $m$ thỏa yêu cầu bài toán $\iff [\begin{array}{l}m>–4\\ –6\le m<–4\end{array}$ $\iff m\ge –6.$
Cách 2: $y^{\prime }\ge 0$ $\mathrm{\forall }x\in (–\mathrm{\infty };0)$ $\iff x^2–4x+2m+12\ge 0$, $\mathrm{\forall }x<0$ $\iff 2m\ge –x^2+4x–12=h(x)$ $(\ast ).$
Ta có: $h^{\prime }(x)=–2x+4.$
$h^{\prime }(x)=0\iff x=2.$
Bảng biến thiên:

Dựa vào bảng biến thiên của $h(x)$ ta có:
$(\ast )\iff 2m\ge h(x)$, $\mathrm{\forall }x\in (–\mathrm{\infty };0)$ $\iff 2m\ge –12\iff m\ge –6.$

Ví dụ 4: Tìm $m$ để hàm số $y=m\sin x+(m–3)\cos x–3x$ luôn giảm trên $[0;4\pi ].$

Tập xác định: $D=R.$
$y^{\prime }=m\cos x–(m–3)\sin x–3.$
Ta có: $|m\cos x–(m–3)\sin x|$ $\le \sqrt{m^2+{(m–3)}^2}$, $\mathrm{\forall }x\in [0;4\pi ].$
$\Rightarrow m\cos x–(m–3)\sin x$ $\le \sqrt{m^2+{(m–3)}^2}$, $\mathrm{\forall }x\in [0;4\pi ].$
$\Rightarrow y^{\prime }\le \sqrt{m^2+{(m–3)}^2}–3$, $\mathrm{\forall }x\in [0;4\pi ].$
Phương trình $y^{\prime }=0$ nếu có nghiệm thì có hữu hạn nghiệm thuộc $(0;4\pi ).$
Hàm số đã cho liên tục trên $[0;4\pi ].$
Do đó: Hàm số nghịch biến trên $[0;4\pi ]$ $\iff y^{\prime }\le 0$, $\mathrm{\forall }x\in [0;4\pi ]$ $\iff \sqrt{m^2+{(m–3)}^2}–3\le 0$ $\iff 2m^2–6m\le 0$ $\iff 0\le m\le 3.$
Vậy $m$ thỏa YCBT $\iff 0\le m\le 3.$

3. BÀI TẬP:
1. Định $m$ để hàm số:
a) $y=\frac{1}{3}{x}^3+m{x}^2+(4m–3)x+3$ đồng biến trên $R.$
b) $y=\left(\frac{1–m}{3}\right)x^3–2(1–m)x^2+2(m–2)x+5$ nghịch biến trên $R.$
c) $y=\frac{mx–m^2–1}{x+2}$ luôn tăng trên từng khoảng xác định.
d) $y=\frac{m{x}^2–2x+1}{x+1}$ luôn giảm trên từng khoảng xác định.

2. Định $m$ để hàm số:
a) $y=x^2–2(m–4)x+m+3$ đồng biến trên khoảng $(2;+\mathrm{\infty }).$
b) $y=\frac{1}{3}{x}^3–2m{x}^2–4mx–2$ đồng biến trên $(–\mathrm{\infty };0).$
c) $y=\frac{1}{3}{x}^3–(m+1)x^2+4x–10$ nghịch biến trên đúng một khoảng có độ dài bằng $2.$
d) $y=\frac{mx–8}{x–m–2}$ nghịch biến trên $(1;+\mathrm{\infty }).$
e) $y=\frac{x^2–2mx+m^2+1}{x–m}$ đồng biến trên $(2;+\mathrm{\infty }).$

3. Định $m$ để hàm số:
a) $y=x+(m+1)\sin x$ tăng trên $[0;2\pi ].$
b) $y=m\sin x+2\cos x+(m+2)x$ tăng trên $(0;10\pi ).$

Dạng 4: Chứng minh bất đẳng thức $F(x)\ge 0$ với mọi $x\in K.$
1. PHƯƠNG PHÁP:
Chứng minh hàm số $F(x)$ liên tục và đơn điệu trên $K.$
Áp dụng định nghĩa sự đơn điệu suy ra bất đẳng thức cần chứng minh.

2. VÍ DỤ:
Chứng minh các bất đẳng thức sau:
a) $\sin x<x$ với mọi $x>0.$
b) $\cos x>1–\frac{x^2}{2}$ với mọi $x\ne 0.$

a) Cách 1:
Với mỗi $x>0$, xét hàm số $f(t)=t–\sin t$ trên $[0;a]$ với $a>x.$
Ta có:
$f(t)$ liên tục trên $[0;a].$
$f^{\prime }(t)=1–\cos t\ge 0$, $\mathrm{\forall }t\in (0;a).$
Phương trình $f(t)=0$ có hữu hạn nghiệm $t\in (0;a).$
Vậy $f(t)$ đồng biến trên $[0;a].$
Do đó $f(x)>f(0)$ (vì $x>0$) $\Rightarrow x–\sin x>0$ hay $\sin x<x.$
Vậy ta luôn có $\sin x<x$ với mọi $x>0.$
Cách 2:
Khi $x\ge \pi$ thì $\sin x\le 1<\pi \le x$ nên $\sin x<x$ với mọi $x\ge \pi$ $(1).$
Khi $x\in [0;\pi )$, xét hàm số $f(x)=x–\sin x$ trên $[0;\pi )$ ta có:
+ $f$ liên tục trên $[0;\pi ).$
+ $f^{\prime }(x)=1–\cos x>0$, $\mathrm{\forall }x\in (0;\pi ).$
Vậy $f$ đồng biến trên $[0;\pi ).$
Do đó: $\mathrm{\forall }x\in (0;\pi )$ thì $f(x)>f(0)$ hay $x–\sin x>0$ hay $\sin x<x$ $(2).$
Từ $(1)$ và $(2)$ suy ra $\sin x<x$ với mọi $x>0.$
b) Ta có: $\cos x>1–\frac{x^2}{2}$ $\iff \frac{x^2}{2}+\cos x–1>0$ $(\ast ).$
Xét hàm số $f(x)=\frac{x^2}{2}+\cos x–1.$
Trường hợp 1: $x>0.$
Ta có:
+ $f^{\prime }(x)=x–\sin x>0$, $\mathrm{\forall }x\in (0;+\mathrm{\infty })$ (do câu a).
+ $f$ liên tục trên $[0;+\mathrm{\infty }).$
Do đó: $f$ đồng biến trên $[0;+\mathrm{\infty }).$
Suy ra với $x>0$ thì $f(x)>f(0)$ $\Rightarrow \frac{x^2}{2}+\cos x–1>0$ $\Rightarrow (\ast )$ đúng với mọi $x>0.$
Trường hợp 2: $x<0.$
Đặt $t=-x$ thì $t>0.$
Áp dụng kết quả của trường hợp 1, ta có:
$\frac{t^2}{2}+\cos t–1>0$ $\Rightarrow \frac{{(–x)}^2}{2}+\cos (–x)–1>0$ $\Rightarrow \frac{x^2}{2}–\cos x–1>0.$
$\Rightarrow (\ast )$ đúng với mọi $x<0.$
Vậy $(\ast )$ đúng với mọi $x\ne 0.$

3. BÀI TẬP:
1. Chứng minh rằng:
$\sin x>x–\frac{x^3}{6}$ với mọi $x>0$ và $\sin x<x–\frac{x^3}{6}$ với mọi $x<0.$

2. Chứng minh:
a) $3x<2\sin x+\tan x$, $\mathrm{\forall }x\in \left(0,\frac{\pi }{2}\right).$
b) $2\sin x+\sin 2x\le \frac{3\sqrt{3}}{2}$, $\mathrm{\forall }x\in \left[\frac{\pi }{3};\frac{\pi }{2}\right).$

3. Cho $a\le 6$, $b\le –8$, $c\le 3$ và $x\ge 1.$ Chứng minh rằng $x^4–a{x}^2–bx\ge c.$

4. Chứng minh rằng với mọi $x\in \left[0;\frac{\pi }{4}\right]$ ta có $\tan x\le \frac{4x}{\pi }.$

5. Chứng minh rằng với mọi $x\in \left(0;\frac{\pi }{2}\right)$ ta có $\tan x>x+\frac{x^3}{3}.$

Dạng 5: Dùng tính đơn điệu của hàm số để giải phương trình – hệ phương trình.
1. PHƯƠNG PHÁP:
a) Để chứng minh phương trình $F(x)=0$ có nghiệm duy nhất ta thực hiện:
Bước 1: Chỉ ra một nghiệm của phương trình hay dùng tính chất hàm số liên tục để chứng minh phương trình có nghiệm.
Bước 2: Chứng minh $F(x)$ là hàm số liên tục và luôn tăng hay luôn giảm, suy ra phương trình $F(x)=0$ nếu có nghiệm thì nghiệm đó là duy nhất.
Kết luận: Phương trình $F(x)=0$ có nghiệm duy nhất.
b) Nếu hàm số $f(x)$ liên tục và tăng (hay giảm) trên $X$ thì với $u,v\in X$ ta có $f(u)=f(v)\iff u=v.$

2. VÍ DỤ:
Ví dụ 1: Giải phương trình $9\left(\sqrt{4x+1}–\sqrt{3x–2}\right)=x+3$ $(1).$

Điều kiện: $x\ge \frac{2}{3}.$
$(1)\iff \frac{9[(4x+1)–(3x–2)]}{\sqrt{4x+1}+\sqrt{3x–2}}=x+3$ $\iff \sqrt{4x+1}+\sqrt{3x–2}–9=0$ $(2).$
Xét hàm số $f(x)=\sqrt{4x+1}+\sqrt{3x–2}–9.$
Ta có: $f^{\prime }(x)=\frac{4}{2\sqrt{4x+1}}+\frac{3}{2\sqrt{3x–2}}>0$ với mọi $x>\frac{2}{3}.$
$\Rightarrow f(x)$ tăng và liên tục trên $\left[\frac{2}{3};+\mathrm{\infty }\right).$
$\Rightarrow (2)$ nếu có nghiệm thì nghiệm đó là duy nhất.
Mặt khác $f(6)=0$ nên $x=6$ là một nghiệm của $(2).$
Vậy $(2)$ có nghiệm duy nhất là $x=6.$
Do đó $(1)$ có một nghiệm là $x=6.$

Ví dụ 2: Giải phương trình $8x^3–4x–2=\sqrt[3]{6x+2}$ $(1).$

$(1)\iff (2x{)}^3+2x=6x+2+\sqrt[3]{6x+2}.$
Đặt $u=2x$ và $v=\sqrt[3]{6x+2}$, ta được $(1)\iff u^3+u=v^3+v$ $(2).$
Xét $f(t)=t^3+t$, ta có $f^{\prime }(t)=3t^2+1>0$, $\mathrm{\forall }t\in R.$
Do đó $(2)\iff f(u)=f(v)$ $\iff u=v\iff 2x=\sqrt[3]{6x+2}$ $\iff 8x^3–6x–2=0$ $\iff (x–1)\left(8x^2+8x+2\right)=0$ $\iff [\begin{array}{l}x=1\\ x=–\frac{1}{2}\end{array}.$
Vậy phương trình đã cho có hai nghiệm.

Ví dụ 3: Giải hệ phương trình:
$\{\begin{array}{l}\sqrt{x+\sqrt{x^2–x+1}}–\sqrt{y+\sqrt{y^2–y+1}}=(y–x)(xy+2)\\ x^2+y^2=2\end{array}.$

Xét hàm số $f(t)=\sqrt{t+\sqrt{t^2–t+1}}.$
Tập xác định: $D=R.$
$f^{\prime }(t)=\frac{1+\frac{2t–1}{2\sqrt{t^2–t+1}}}{2\sqrt{t+\sqrt{t^2–t+1}}}$ $=\frac{2\sqrt{t^2–t+1}+2t–1}{4\sqrt{t+\sqrt{t^2–t+1}}.\sqrt{t^2–t+1}}.$
Vì $2\sqrt{t^2–t+1}+2t–1$ $=\sqrt{{(2t–1)}^2+3}+2t–1$ $>|2t–1|+2t–1\ge 0$ nên ta có $f(t)>0$, $\mathrm{\forall }t\in R.$
Suy ra $f(t)$ tăng trên $R.$
Mặt khác ta có: $2=x^2+y^2\ge 2|xy|$ nên $|xy|\le 1$ $\Rightarrow 2+xy>1+xy\ge 0.$
Do đó ta có:
+ $x>y$ thì $f(x)>f(y)$ và $y–x<0$ $\Rightarrow$ vế trái $(1)$ $>0>$ vế phải $(1).$
$\Rightarrow$ Hệ không có nghiệm $(x;y)$ thỏa $x>y.$
+ $x<y$ thì $f(x)<f(y)$ và $y–x>0$ $\Rightarrow$ vế trái $(1)$ $<0<$ vế phải $(1).$
$\Rightarrow$ Hệ không có nghiệm $(x;y)$ thỏa $x<y.$
Vậy nếu $(x;y)$ là nghiệm của hệ thì $x=y.$
Khi đó $(2)$ $\iff 2x^2=2\iff x=\pm 1.$
Vậy hệ đã cho có hai nghiệm là $(1;1)$, $(-1;-1).$

3. BÀI TẬP:
1. Giải các phương trình:
a) $\sqrt{2x+3}+3\sqrt{4x+13}=18.$
b) $\sqrt{x+1}+\sqrt{2x+3}+\sqrt{3x+7}+\sqrt{4x+24}=15.$
c) $\sqrt{x–1}=–x^3+3x^2–4x+5.$

2. Giải các hệ phương trình sau:
a) $\{\begin{array}{l}x–y=\cos x–\cos y\\ \cos x+\cos y=1\end{array}$ $\left(x\in (–\pi ;2\pi )\right).$
b) $\{\begin{array}{l}\tan x–\tan y=y–x\\ 2x^2+6y^2={\pi }^2\end{array}$ $\left(x\in \left(–\frac{\pi }{2};\frac{\pi }{2}\right)\right).$
c) $\{\begin{array}{l}\sqrt{x+6}+\sqrt{y–9}=5\\ \sqrt{x–9}+\sqrt{y+6}=5\end{array}.$

3. Chứng minh phương trình $x^5–x^2–2x–1=0$ có nghiệm duy nhất.

4. Chứng minh các phương trình sau có nghiệm duy nhất:
a) $6x+3\cos x+2\sin x=0.$
b) $2x=2a+\sin (x+a).$
c) $x^5–5x^4+2x^3–2x^2+5x+1=0.$
d) $x^2\sqrt{x–2}+x=11\sqrt{30–x}.$

5. Chứng minh rằng với mọi $m\in (–1;1)$ thì phương trình ${\sin }^{2}x+\cos x=m$ có nghiệm duy nhất thuộc đoạn $[0;\pi ].$