Các anh chị ơi, làm thế nào để chứng minh bất đẳng thức Cô-si cho 3 số dương vậy…

Chào em! Rất vui vì em đã chủ động tìm hiểu sâu hơn về các bất đẳng thức. Việc tự chứng minh trước khi áp dụng là một tư duy rất đáng khen ngợi, nó giúp em hiểu rõ bản chất và vận dụng linh hoạt hơn trong các bài toán.

Trong chương trình Toán lớp 9 của chúng ta, bất đẳng thức Cô-si (hay còn gọi là bất đẳng thức AM-GM) thường chỉ được học và chứng minh cho 2 số dương. Tuy nhiên, việc chứng minh cho 3 số dương hoàn toàn nằm trong khả năng của chúng ta với những kiến thức đại số đã học.

Chúng ta sẽ sử dụng một phương pháp dựa trên một hằng đẳng thức đã biết và tính chất của bình phương một biểu thức.

Bước 1: Nhắc lại Bất đẳng thức Cô-si (AM-GM) cho 2 số dương

Chắc hẳn em còn nhớ, với hai số dương $a$ và $b$, chúng ta có bất đẳng thức Cô-si:

$$\frac{a+b}{2}\ge \sqrt{ab}$$

Dấu đẳng thức xảy ra khi và chỉ khi $a=b$.

Bất đẳng thức này rất quan trọng và là nền tảng để chúng ta mở rộng cho 3 số.

Bước 2: Phát biểu Bất đẳng thức Cô-si cho 3 số dương và định hướng chứng minh

Với ba số dương $a$, $b$, $c$, bất đẳng thức Cô-si có dạng:

$$\frac{a+b+c}{3}\ge \sqrt[3]{abc}$$

Hay tương đương với $a+b+c\ge 3\sqrt[3]{abc}$.

Dấu đẳng thức xảy ra khi và chỉ khi $a=b=c$.

Để chứng minh bất đẳng thức này mà không dùng kiến thức vượt lớp, chúng ta sẽ sử dụng một phép biến đổi khéo léo để đưa về một hằng đẳng thức quen thuộc có chứa bình phương của các biểu thức, vì chúng ta biết rằng bình phương của một số thực thì luôn không âm ($X^2\ge 0$).

Bước 3: Thực hiện phép đổi biến

Vì $a,b,c$ là các số dương, nên chúng ta có thể đặt:

$$a=x^3$$
$$b=y^3$$
$$c=z^3$$

Với $x,y,z$ cũng là các số dương (chính là căn bậc ba của $a,b,c$).

Khi đó, bất đẳng thức cần chứng minh trở thành:

$$x^3+y^3+z^3\ge 3\sqrt[3]{x^3{y}^3{z}^3}$$

$$x^3+y^3+z^3\ge 3xyz$$

Lý do cho phép đổi biến: Phép đổi biến này giúp chúng ta loại bỏ dấu căn bậc ba và làm cho bất đẳng thức có dạng thuần túy đại số với các lũy thừa nguyên, dễ dàng hơn để áp dụng các hằng đẳng thức đã biết.

Bước 4: Chứng minh bất đẳng thức $x^3+y^3+z^3\ge 3xyz$

Chúng ta sẽ đi chứng minh một hằng đẳng thức tổng quát hơn, đó là:

$$x^3+y^3+z^3–3xyz=\frac{1}{2}(x+y+z)[(x–y{)}^2+(y–z{)}^2+(z–x{)}^2]$$

Để chứng minh hằng đẳng thức này, chúng ta sẽ biến đổi vế phải (VP) bằng cách khai triển các bình phương và nhân các đa thức:

Ta có: $(x–y{)}^2=x^2–2xy+y^2$

$(y–z{)}^2=y^2–2yz+z^2$

$(z–x{)}^2=z^2–2zx+x^2$

Cộng ba biểu thức trên lại, ta được:

$$(x–y{)}^2+(y–z{)}^2+(z–x{)}^2=2x^2+2y^2+2z^2–2xy–2yz–2zx$$

$$=2(x^2+y^2+z^2–xy–yz–zx)$$

Vậy, vế phải của hằng đẳng thức cần chứng minh là:

$$\mathrm{VP}=\frac{1}{2}(x+y+z)\cdot 2(x^2+y^2+z^2–xy–yz–zx)$$

$$\mathrm{VP}=(x+y+z)(x^2+y^2+z^2–xy–yz–zx)$$

Bây giờ, chúng ta sẽ nhân đa thức ở vế phải. Đây là một hằng đẳng thức nâng cao mà đôi khi chúng ta đã học hoặc được giới thiệu để chứng minh:

$$(x+y+z)(x^2+y^2+z^2–xy–yz–zx)$$

$$=x(x^2+y^2+z^2–xy–yz–zx)$$

$$+y(x^2+y^2+z^2–xy–yz–zx)$$

$$+z(x^2+y^2+z^2–xy–yz–zx)$$

$$=x^3+x{y}^2+x{z}^2–x^{2}y–xyz–x^{2}z$$

$$+x^{2}y+y^3+y{z}^2–x{y}^2–y^{2}z–xyz$$

$$+x^{2}z+y^{2}z+z^3–xyz–y{z}^2–x{z}^2$$

Bây giờ, chúng ta rút gọn các hạng tử đồng dạng:

• Các hạng tử $x^{2}y$ và $–x^{2}y$ triệt tiêu.
• Các hạng tử $x{y}^2$ và $–x{y}^2$ triệt tiêu.
• Các hạng tử $y^{2}z$ và $–y^{2}z$ triệt tiêu.
• Các hạng tử $y{z}^2$ và $–y{z}^2$ triệt tiêu.
• Các hạng tử $z^{2}x$ và $–z^{2}x$ triệt tiêu.
• Các hạng tử $z{x}^2$ và $–z{x}^2$ triệt tiêu.

Còn lại các hạng tử $x^3,y^3,z^3$ và ba hạng tử $–xyz$.

Vậy, sau khi rút gọn, ta được:

$$\mathrm{VP}=x^3+y^3+z^3–3xyz$$

Điều này chứng tỏ hằng đẳng thức là đúng.

Bước 5: Hoàn thành chứng minh bất đẳng thức

Từ hằng đẳng thức trên, ta có:

$$x^3+y^3+z^3–3xyz=\frac{1}{2}(x+y+z)[(x–y{)}^2+(y–z{)}^2+(z–x{)}^2]$$

Vì $x,y,z$ là các số dương (do $a,b,c$ dương), nên $x+y+z>0$.

Mặt khác, các số hạng $(x–y{)}^2$, $(y–z{)}^2$, $(z–x{)}^2$ đều là bình phương của một số thực, nên chúng luôn không âm. Do đó, tổng của chúng cũng không âm:

$$(x–y{)}^2+(y–z{)}^2+(z–x{)}^2\ge 0$$

Từ đó suy ra, vế phải của hằng đẳng thức luôn không âm:

$$\frac{1}{2}(x+y+z)[(x–y{)}^2+(y–z{)}^2+(z–x{)}^2]\ge 0$$

Vậy, ta có:

$$x^3+y^3+z^3–3xyz\ge 0$$

Chuyển vế, ta được bất đẳng thức cần chứng minh:

$$x^3+y^3+z^3\ge 3xyz$$

Bước 6: Xác định dấu đẳng thức

Dấu đẳng thức xảy ra khi và chỉ khi vế phải của hằng đẳng thức bằng 0, tức là:

$$(x–y{)}^2+(y–z{)}^2+(z–x{)}^2=0$$

Điều này xảy ra khi và chỉ khi từng bình phương bằng 0 (vì tổng các số không âm bằng 0 khi và chỉ khi mỗi số hạng bằng 0):

$x–y=0\Rightarrow x=y$

$y–z=0\Rightarrow y=z$

$z–x=0\Rightarrow z=x$

Kết hợp lại, dấu đẳng thức xảy ra khi $x=y=z$.

Bước 7: Kết luận về bất đẳng thức Cô-si cho 3 số dương

Thay ngược lại $x=\sqrt[3]{a}$, $y=\sqrt[3]{b}$, $z=\sqrt[3]{c}$, ta có:

$$a+b+c\ge 3\sqrt[3]{abc}$$

Hay chia cả hai vế cho 3 (vì 3 là số dương, chiều bất đẳng thức không đổi):

$$\frac{a+b+c}{3}\ge \sqrt[3]{abc}$$

Dấu đẳng thức xảy ra khi $\sqrt[3]{a}=\sqrt[3]{b}=\sqrt[3]{c}$, tức là $a=b=c$.

Vậy, bất đẳng thức Cô-si cho 3 số dương đã được chứng minh hoàn chỉnh!

Đây là một phương pháp chứng minh hoàn toàn dựa trên các kiến thức đại số cơ bản mà chúng ta đã học ở lớp 8 và đầu lớp 9. Với chứng minh này, em hoàn toàn có thể tự tin áp dụng bất đẳng thức Cô-si cho 3 số dương trong các bài tập của mình nhé!