Bài tập chứng minh bất đẳng thức tương đương

Chứng minh bất đẳng thức bằng biến đổi tương đương là chúng ta sử dụng định nghĩa và các tính chất cơ bản của bất đẳng thức.

Phương pháp giải. Để chứng minh bất đẳng thức [BĐT] A ≥ B ta có thể sử dụng các cách sau:

  • Ta đi chứng minh A-B ≥ 0. Để chứng minh nó ta thường sử dụng các hằng đẳng thức để phân tích A-B thành tổng hoặc tích của những biểu thức không âm.
  • Xuất phát từ BĐT đúng, biến đổi tương đương về BĐT cần chứng minh.

Ví dụ minh họa Chứng minh bất đẳng thức bằng biến đổi tương đương

1. Biến đổi tương đương về bất đẳng thức đúng.

Ví dụ 1: Cho hai số thực $a,b,c$. Chứng minh rằng các bất đẳng thức sau:

  1. $ab\le \frac{{{a}{2}}+{{b}{2}}}{2}$
  2. $ab\le {{\left[ \frac{a+b}{2} \right]}^{2}}$
  3. $3\left[ {{a}{2}}+{{b}{2}}+{{c}{2}} \right]\ge {{\left[ a+b+c \right]}{2}}$
  4. ${{\left[ a+b+c \right]}^{2}}\ge 3\left[ ab+bc+ca \right]$

Lời giải

  1. Ta có ${{a}{2}}+{{b}{2}}-2ab={{[a-b]}{2}}\ge 0\Rightarrow {{a}{2}}+{{b}^{2}}\ge 2ab$. Đẳng thức$\Leftrightarrow a=b$.
  2. Bất đẳng thức tương đương với ${{\left[ \frac{a+b}{2} \right]}{2}}-ab\ge 0$ $\Leftrightarrow {{a}{2}}+2ab+{{b}{2}}\ge 4ab\Leftrightarrow {{\left[ a-b \right]}{2}}\ge 0$ [đúng] ĐPCM. Đẳng thức xảy ra $\Leftrightarrow a=b$
  3. BĐT tương đương $3\left[ {{a}{2}}+{{b}{2}}+{{c}{2}} \right]\ge {{a}{2}}+{{b}{2}}+{{c}{2}}+2ab+2bc+2ca$ $\Leftrightarrow {{\left[ a-b \right]}{2}}+{{\left[ b-c \right]}{2}}+{{\left[ c-a \right]}^{2}}\ge 0$ [đúng] ĐPCM. Đẳng thức xảy ra$\Leftrightarrow a=b=c$
  4. BĐT tương đương ${{a}{2}}+{{b}{2}}+{{c}{2}}+2ab+2bc+2ca\ge 3\left[ ab+bc+ca \right]$ $\Leftrightarrow 2\left[ {{a}{2}}+{{b}{2}}+{{c}{2}} \right]-2\left[ ab+bc+ca \right]\ge 0$ $\Leftrightarrow {{\left[ a-b \right]}{2}}+{{\left[ b-c \right]}{2}}+{{\left[ c-a \right]}^{2}}\ge 0$ [đúng] ĐPCM. Đẳng thức xảy ra$\Leftrightarrow a=b=c$

Nhận xét: Các BĐT trên được vận dụng nhiều, và được xem như là “bổ đề” trong chứng minh các bất đẳng thức khác.

Ví dụ 2: Cho năm số thực $a,b,c,d,e$. Chứng minh rằng $${{a}{2}}+{{b}{2}}+{{c}{2}}+{{d}{2}}+{{e}^{2}}\ge a[b+c+d+e]$$.

Lời giải. Ta có: ${{a}{2}}+{{b}{2}}+{{c}{2}}+{{d}{2}}+{{e}{2}}-a[b+c+d+e]=$ $=[\frac{{{a}{2}}}{4}-ab+{{b}{2}}]+[\frac{{{a}{2}}}{4}-ac+{{c}{2}}]+[\frac{{{a}{2}}}{4}-ad+{{d}{2}}]+[\frac{{{a}{2}}}{4}-ae+{{e}{2}}]$ $={{[\frac{a}{2}-b]}{2}}+{{[\frac{a}{2}-c]}{2}}+{{[\frac{a}{2}-d]}{2}}+{{[\frac{a}{2}-e]}^{2}}\ge 0\Rightarrow $ đpcm. Đẳng thức xảy ra $\Leftrightarrow b=c=d=e=\frac{a}{2}$.

Ví dụ 3: Cho $ab\ge 1$. Chứng minh rằng: $$\frac{1}{{{a}{2}}+1}+\frac{1}{{{b}{2}}+1}\ge \frac{2}{1+ab}$$

Lời giải. Ta có $\frac{1}{{{a}{2}}+1}+\frac{1}{{{b}{2}}+1}-\frac{2}{1+ab}=[\frac{1}{{{a}{2}}+1}-\frac{1}{1+ab}]+[\frac{1}{{{b}{2}}+1}-\frac{2}{1+ab}]$ $=\frac{ab-{{a}{2}}}{[{{a}{2}}+1][1+ab]}+\frac{ab-{{b}{2}}}{[{{b}{2}}+1][1+ab]}=\frac{a-b}{1+ab}[\frac{b}{1+{{b}{2}}}-\frac{a}{1+{{a}{2}}}]=\frac{a-b}{1+ab}.\frac{b-a+{{a}{2}}b-{{b}{2}}a}{[1+{{b}{2}}][1+{{a}{2}}]}$$=\frac{a-b}{1+ab}\frac{[a-b][ab-1]}{[1+{{b}{2}}][1+{{a}{2}}]}=\frac{{{[a-b]}{2}}[ab-1]}{[1+ab][1+{{b}{2}}][1+{{a}^{2}}]}\ge 0$ [Do $ab\ge 1]$.

Nhận xét: Nếu $-1{{x}{2}}+4x$

  • ${{x}{12}}+{{x}{4}}+1>{{x}^{9}}+x$
  • Lời giải

    1. Bất đẳng thức tương đương với ${{x}{4}}-4x+3\ge 0$ $\Leftrightarrow \left[ x-1 \right]\left[ {{x}{3}}+{{x}{2}}+x-3 \right]\ge 0\Leftrightarrow {{\left[ x-1 \right]}{2}}\left[ {{x}{2}}+2x+3 \right]\ge 0$ $\Leftrightarrow {{\left[ x-1 \right]}{2}}\left[ {{\left[ x+1 \right]}^{2}}+1 \right]\ge 0$ [đúng với mọi số thực $x$ ] Đẳng thức xảy ra khi và chỉ khi $x=1$.
    2. Bất đẳng thức tương đương với ${{x}{4}}-{{x}{2}}-4x+5>0$ $\Leftrightarrow {{x}{4}}-2{{x}{2}}+1+{{x}{2}}-4x+4>0\Leftrightarrow {{\left[ {{x}{2}}-1 \right]}{2}}+{{\left[ x-2 \right]}{2}}>0$ Ta có ${{\left[ {{x}{2}}-1 \right]}{2}}\ge 0,\,{{\left[ x-2 \right]}{2}}\ge 0\Rightarrow {{\left[ {{x}{2}}-1 \right]}{2}}+{{\left[ x-2 \right]}{2}}\ge 0$ Đẳng thức xảy ra khi và chỉ khi $\left\{ \begin{matrix} {{x}{2}}-1=0 \\ x-2=0 \\ \end{matrix} \right.$ [không xảy ra] Suy ra ${{\left[ {{x}{2}}-1 \right]}{2}}+{{\left[ x-2 \right]}{2}}>0$ ĐPCM.
    3. Bất đẳng thức tương đương với ${{x}{12}}-{{x}{9}}+{{x}{4}}-x+1>0$ + Với $x0$ do đó ${{x}{12}}-{{x}{9}}+{{x}{4}}-x+1>0$. + Với $x\ge 1$: Ta có ${{x}{12}}-{{x}{9}}+{{x}{4}}-x+1={{x}{9}}\left[ {{x}{3}}-1 \right]+x\left[ {{x}{3}}-1 \right]+1$ Vì $x\ge 1$ nên ${{x}{3}}-1\ge 0$ do đó ${{x}{12}}-{{x}{9}}+{{x}{4}}-x+1>0$. Vậy ta có ${{x}{12}}+{{x}{4}}+1>{{x}{9}}+x$.

    Ví dụ 5: Cho $a,b,c$ là các số thực. Chứng minh rằng:

    1. ${{a}{4}}+{{b}{4}}-4ab+2\ge 0$
    2. $2\left[ {{a}{4}}+1 \right]+{{\left[ {{b}{2}}+1 \right]}{2}}\ge 2{{\left[ ab+1 \right]}{2}}$
    3. $3\left[ {{a}{2}}+{{b}{2}} \right]-ab+4\ge 2\left[ a\sqrt{{{b}{2}}+1}+b\sqrt{{{a}{2}}+1} \right]$

    Lời giải

    1. BĐT tương đương với $\left[ {{a}{4}}+{{b}{4}}-2{{a}{2}}{{b}{2}} \right]+\left[ 2{{a}{2}}{{b}{2}}-4ab+2 \right]\ge 0$ $\Leftrightarrow {{\left[ {{a}{2}}-{{b}{2}} \right]}{2}}+2{{\left[ ab-1 \right]}{2}}\ge 0$ [đúng] Đẳng thức xảy ra khi và chỉ khi $a=b=\pm 1$.
    2. BĐT tương đương với $2\left[ {{a}{4}}+1 \right]+\left[ {{b}{4}}+2{{b}{2}}+1 \right]-2\left[ {{a}{2}}{{b}{2}}+2ab+1 \right]\ge 0$ $\Leftrightarrow \left[ {{a}{4}}+{{b}{4}}-2{{a}{2}}{{b}{2}} \right]+\left[ 2{{a}{2}}-4ab+2{{b}{2}} \right]+\left[ {{a}{4}}-4{{a}{2}}+1 \right]\ge 0$ $\Leftrightarrow {{[{{a}{2}}-{{b}{2}}]}{2}}+2{{[a-b]}{2}}+{{[{{a}{2}}-1]}^{2}}\ge 0$[đúng] Đẳng thức xảy ra khi và chỉ khi $a=b=\pm 1$.
    3. BĐT tương đương với $6\left[ {{a}{2}}+{{b}{2}} \right]-2ab+8-4\left[ a\sqrt{{{b}{2}}+1}+b\sqrt{{{a}{2}}+1} \right]\ge 0$ $\Leftrightarrow \left[ {{a}{2}}-4a\sqrt{{{b}{2}}+1}+4\left[ {{b}{2}}+1 \right] \right]+\left[ {{b}{2}}-4b\sqrt{{{a}{2}}+1}+4\left[ {{a}{2}}+1 \right] \right]+\left[ {{a}{2}}-2ab+{{b}{2}} \right]\ge 0$ $\Leftrightarrow {{\left[ a-2\sqrt{{{b}{2}}+1} \right]}{2}}+{{\left[ b-2\sqrt{{{a}{2}}+1} \right]}{2}}+{{\left[ a-b \right]}^{2}}\ge 0$[đúng] Đẳng thức không xảy ra.

    Ví dụ 6: Cho hai số thực $x,\,\,y$ thỏa mãn $x\ge y$. Chứng minh rằng:

    1. $4\left[ {{x}{3}}-{{y}{3}} \right]\ge {{\left[ x-y \right]}^{3}}$
    2. ${{x}{3}}-3x+4\ge {{y}{3}}-3y$

    Lời giải

    1. Bất đẳng thức tương đương $4\left[ x-y \right]\left[ {{x}{2}}+xy+{{y}{2}} \right]-{{\left[ x-y \right]}{3}}\ge 0$ $\Leftrightarrow \left[ x-y \right]\left[ 4\left[ {{x}{2}}+xy+{{y}{2}} \right]-{{\left[ x-y \right]}{2}} \right]\ge 0\Leftrightarrow \left[ x-y \right]\left[ 3{{x}{2}}+3xy+{{y}{2}} \right]\ge 0$ $\Leftrightarrow 3\left[ x-y \right]\left[ {{\left[ x+\frac{y}{2} \right]}{2}}+\frac{3{{y}{2}}}{4} \right]\ge 0$ [đúng với $x\ge y$] ĐPCM. Đẳng thức xảy ra khi và chỉ khi $x=y$.
    2. Bất đẳng thức tương đương ${{x}{3}}-{{y}{3}}\ge 3x-3y-4$ Theo câu a] ta có ${{x}{3}}-{{y}{3}}\ge \frac{1}{4}{{\left[ x-y \right]}{3}}$, do đó ta chỉ cần chứng minh $\frac{1}{4}{{\left[ x-y \right]}{3}}\ge 3x-3y-4$ [*], Thật vậy, BĐT [*] $\Leftrightarrow {{\left[ x-y \right]}{3}}-12\left[ x-y \right]+16\ge 0$ $\Leftrightarrow \left[ x-y-2 \right]\left[ {{\left[ x-y \right]}{2}}+2\left[ x-y \right]-8 \right]\ge 0$ $\Leftrightarrow {{\left[ x-y-2 \right]}^{2}}\left[ x-y+4 \right]\ge 0$ [đúng với$x\ge y$ ] Đẳng thức xảy không xảy ra.

    2. Xuất phát từ một BĐT đúng ta biến đổi đến BĐT cần chứng minh.

    Đối với loại này thường cho lời giải không được tự nhiên và ta thường sử dụng khi các biến có những ràng buộc đặc biệt.

    Chú ý hai mệnh đề sau thường dùng:

    • $a\in \left[ \alpha ;\beta \right]\Rightarrow \left[ a-\alpha \right]\left[ a-\beta \right]\le 0$ $\left[ * \right]$
    • $a,b,c\in \left[ \alpha ;\beta \right]\Rightarrow \left[ a-\alpha \right]\left[ b-\alpha \right]\left[ c-\alpha \right]+\left[ \beta -a \right]\left[ \beta -b \right]\left[ \beta -c \right]\ge 0\left[ ** \right]$

    Ví dụ 7: Cho $a,b,c$ là độ dài ba cạnh tam giác. Chứng minh rằng: $${{a}{2}}+{{b}{2}}+{{c}^{2}}c\Rightarrow ac+bc>{{c}{2}}$$ Tương tự $$bc+ba>{{b}{2}}$$ $$ca+cb>{{c}^{2}}$$ cộng ba BĐT này lại với nhau ta có đpcm.

    Nhận xét: Ở trong bài toán trên ta đã xuất phát từ BĐT đúng đó là tính chất về độ dài ba cạnh của tam giác. Sau đó vì cần xuất hiện bình phương nên ta nhân hai vế của BĐT với c. Ngoài ra nếu xuất phát từ BĐT $|a-b|

    Chủ Đề