Bất đẳng thức là một trong những mảng kiến thức quan trọng trong chương trình Toán học, đặc biệt là ở bậc THCS và THPT. Việc nắm vững và vận dụng linh hoạt các bất đẳng thức cơ bản sẽ giúp các em học sinh giải quyết hiệu quả nhiều bài toán khó. Trong bài viết này, chúng ta sẽ cùng tìm hiểu về hai bất đẳng thức kinh điển: bất đẳng thức Cô-si và bất đẳng thức Bunhiacopxki, cùng với các ví dụ minh họa và bài tập tự luyện để củng cố kiến thức.
TÓM TẮT
I. Phương pháp giải
1. Bất đẳng thức Cô-si
Bất đẳng thức Cô-si, hay còn gọi là bất đẳng thức trung bình cộng – trung bình nhân, là một công cụ mạnh mẽ để chứng minh bất đẳng thức.
Trường hợp hai số không âm:
Cho hai số không âm $a$ và $b$, ta luôn có:
$frac{a+b}{2} ge sqrt{ab}$
Dấu đẳng thức xảy ra khi và chỉ khi $a = b$.
Trường hợp mở rộng:
-
Với ba số không âm: Cho ba số không âm $a, b, c$, ta luôn có:
$frac{a+b+c}{3} ge sqrt{abc}$
Dấu đẳng thức xảy ra khi và chỉ khi $a = b = c$. -
Với $n$ số không âm: Cho $n$ số không âm $a_1, a_2, ldots, a_n$, ta luôn có:
$frac{a_1 + a_2 + ldots + a_n}{n} ge sqrt[n]{a_1 a_2 ldots a_n}$
Dấu đẳng thức xảy ra khi và chỉ khi $a_1 = a_2 = ldots = a_n$.
2. Bất đẳng thức Bunhiacopxki
Bất đẳng thức Bunhiacopxki là một bất đẳng thức quan trọng, đặc biệt hữu ích khi làm việc với tổng các bình phương và tích của các số.
Trường hợp hai cặp số:
Cho $a_1, a_2, b_1, b_2$ là những số thực. Ta có:
$(a_1^2 + a_2^2)(b_1^2 + b_2^2) ge (a_1 b_1 + a_2 b_2)^2$
Dấu đẳng thức xảy ra khi $frac{a_1}{b_1} = frac{a_2}{b_2}$ (với $b_1, b_2 neq 0$) hoặc một trong các $b_i$ bằng 0 và $a_i$ tương ứng bằng 0.
Trường hợp mở rộng:
Với các số thực $a_1, a_2, a_3, b_1, b_2, b_3$, ta luôn có:
$(a_1^2 + a_2^2 + a_3^2)(b_1^2 + b_2^2 + b_3^2) ge (a_1 b_1 + a_2 b_2 + a_3 b_3)^2$
Dấu đẳng thức xảy ra khi $frac{a_1}{b_1} = frac{a_2}{b_2} = frac{a_3}{b_3}$ (với $b_1, b_2, b_3 neq 0$) hoặc một trong các $b_i$ bằng 0 và $a_i$ tương ứng bằng 0.
II. Ví dụ minh họa
Câu 1: Cho $a, b > 0$. Chứng minh rằng: $frac{a}{b} + frac{b}{a} ge 2$.
Lời giải:
Áp dụng bất đẳng thức Cô-si cho hai số không âm $frac{a}{b}$ và $frac{b}{a}$, ta được:
$frac{frac{a}{b} + frac{b}{a}}{2} ge sqrt{frac{a}{b} cdot frac{b}{a}}$
$frac{frac{a}{b} + frac{b}{a}}{2} ge sqrt{1}$
$frac{a}{b} + frac{b}{a} ge 2$
Dấu bằng xảy ra khi $frac{a}{b} = frac{b}{a}$, suy ra $a^2 = b^2$. Vì $a, b > 0$, nên $a = b$.
Câu 2: Cho ba số dương $a, b, c$. Chứng minh rằng: $a^2 + b^2 + c^2 ge ab + bc + ca$.
Giải:
Ta có:
$a^2 + b^2 ge 2ab$ (theo Cô-si)
$b^2 + c^2 ge 2bc$ (theo Cô-si)
$c^2 + a^2 ge 2ca$ (theo Cô-si)
Cộng ba bất đẳng thức trên theo vế, ta được:
$2(a^2 + b^2 + c^2) ge 2(ab + bc + ca)$
$a^2 + b^2 + c^2 ge ab + bc + ca$
Dấu đẳng thức xảy ra khi:
$a = b$, $b = c$, $c = a$, suy ra $a = b = c$.
Các bước chứng minh bất đẳng thức
Câu 3: Chứng minh rằng với $a, b, c$ tùy ý ta luôn có: $(a+b+c)^2 le 3(a^2+b^2+c^2)$.
Lời giải:
Ta có:
$(a+b+c)^2 = a^2 + b^2 + c^2 + 2ab + 2bc + 2ca$
Xét bất đẳng thức Bunhiacopxki với $a_1=a, a_2=b, a_3=c$ và $b_1=1, b_2=1, b_3=1$:
$(a^2+b^2+c^2)(1^2+1^2+1^2) ge (a cdot 1 + b cdot 1 + c cdot 1)^2$
$3(a^2+b^2+c^2) ge (a+b+c)^2$
Dấu đẳng thức xảy ra khi $frac{a}{1} = frac{b}{1} = frac{c}{1}$, tức là $a = b = c$.
III. Bài tập tự luyện
Câu 1: Cho 3 số dương $x, y, z$ tùy ý. Chứng minh rằng:
$frac{x^2}{y+z} + frac{y^2}{z+x} + frac{z^2}{x+y} ge frac{x+y+z}{2}$
Câu 2: Cho 3 số dương $x, y, z$ thỏa mãn: $xyz = 1$. Chứng minh rằng:
$(x+frac{1}{y})(y+frac{1}{z})(z+frac{1}{x}) ge 8$
Câu 3: Cho $a, b, c$ là độ dài ba cạnh của tam giác. Chứng minh rằng:
$a^2 + b^2 + c^2 < 2(ab + bc + ca)$
Câu 4: Cho $a, b, c$ là các số thực dương thỏa mãn $a+b+c = 3$. Chứng minh rằng:
$a^2+b^2+c^2 ge 3$
Câu 5: Chứng minh rằng với mọi số thực $x, y$ luôn có:
$x^2+y^2 ge 2xy$
Câu 6: Hai số $x, y$ thỏa mãn $x+y=1$. Chứng minh rằng:
$x^2+y^2 ge frac{1}{2}$
Câu 7: Cho các số không âm $a, b$ thỏa mãn $a^2+b^2 = 1$. Chứng minh rằng:
$a+b le sqrt{2}$
IV. Bài tập bổ sung
Bài 1. Cho các số thực dương $x, y, z$ thỏa mãn: $x + y + z = 3$. Chứng minh rằng:
$frac{x}{x+2yz} + frac{y}{y+2xz} + frac{z}{z+2xy} ge 1$
Bài 2. Cho các số thực dương $x, y, z$. Chứng minh rằng:
$frac{x^3}{x+2y} + frac{y^3}{y+2z} + frac{z^3}{z+2x} ge frac{x^2+y^2+z^2}{3}$
Bài 3. Cho các số thực dương $x, y, z$. Chứng minh:
$frac{x^3}{(2x^2+y^2)(2x^2+z^2)} + frac{y^3}{(2y^2+z^2)(2y^2+x^2)} + frac{z^3}{(2z^2+x^2)(2z^2+y^2)} le frac{1}{x+y+z}$
Bài 4. Cho các số thực dương $x, y, z$ thỏa mãn: $xy + yz + zx = 1$. Chứng minh rằng:
$2xyz(x+y+z) le frac{5}{9} + x^4y^2+y^4z^2+z^4x^2$
Bài 5. Cho các số thực dương $x, y, z$. Chứng minh:
$frac{1}{x^2+xy+yz} + frac{1}{y^2+yz+zx} + frac{1}{z^2+zx+xy} le frac{(x+y+z)^2}{xy+yz+zx}$
Hy vọng với những kiến thức và bài tập trên, các bạn học sinh sẽ nắm vững hơn về cách sử dụng bất đẳng thức Cô-si và Bunhiacopxki để giải các bài toán chứng minh bất đẳng thức.
