Chào các em học sinh thân mến,

Hôm nay, chúng ta sẽ cùng nhau tìm hiểu về một bất đẳng thức rất thú vị và mạnh mẽ, đó là bất đẳng thức Popoviciu. Đây là một dạng biến thể mạnh hơn của bất đẳng thức Jensen, giúp chúng ta đánh giá các tổng và trung bình một cách tinh tế hơn.

Để bắt đầu, chúng ta cần nhớ lại một khái niệm quan trọng: Hàm lồi (Convex function). Bất đẳng thức Popoviciu chỉ áp dụng cho các hàm lồi.

Một hàm số \(f(x)\) được gọi là lồi trên một khoảng nếu với mọi \(x_1, x_2\) trong khoảng đó và mọi \(t \in [0, 1]\), ta có:

\[ f(tx_1 + (1-t)x_2) \le tf(x_1) + (1-t)f(x_2) \]

Đối với các hàm có đạo hàm cấp hai, một cách đơn giản hơn để kiểm tra tính lồi là: nếu \(f”(x) \ge 0\) trên khoảng đang xét thì \(f(x)\) là hàm lồi.

Bây giờ, chúng ta hãy xét hàm số cụ thể được yêu cầu: \(f(x) = x^2\).

Ta có \(f'(x) = 2x\) và \(f”(x) = 2\). Vì \(f”(x) = 2 > 0\) với mọi \(x \in \mathbb{R}\), nên hàm số \(f(x) = x^2\) là một hàm lồi trên toàn trục số thực.

***

1. Phát biểu Bất đẳng thức Popoviciu cho hàm lồi \(f(x)\) với ba biến \(a, b, c\)

Đối với một hàm lồi \(f(x)\) và ba biến số \(a, b, c\), bất đẳng thức Popoviciu có dạng:

\[ f(a) + f(b) + f(c) + 3f\left(\frac{a+b+c}{3}\right) \ge 2\left[f\left(\frac{a+b}{2}\right) + f\left(\frac{b+c}{2}\right) + f\left(\frac{c+a}{2}\right)\right] \]

***

2. Áp dụng cho hàm số \(f(x) = x^2\) và ba biến số \(a, b, c\)

Bây giờ, chúng ta sẽ thay \(f(x) = x^2\) vào công thức tổng quát của bất đẳng thức Popoviciu.

Vế trái của bất đẳng thức là:

\[ VT = a^2 + b^2 + c^2 + 3\left(\frac{a+b+c}{3}\right)^2 \]

\[ VT = a^2 + b^2 + c^2 + 3\frac{(a+b+c)^2}{9} \]

\[ VT = a^2 + b^2 + c^2 + \frac{(a+b+c)^2}{3} \]

\[ VT = a^2 + b^2 + c^2 + \frac{a^2+b^2+c^2+2ab+2bc+2ca}{3} \]

Vế phải của bất đẳng thức là:

\[ VP = 2\left[\left(\frac{a+b}{2}\right)^2 + \left(\frac{b+c}{2}\right)^2 + \left(\frac{c+a}{2}\right)^2\right] \]

\[ VP = 2\left[\frac{(a+b)^2}{4} + \frac{(b+c)^2}{4} + \frac{(c+a)^2}{4}\right] \]

\[ VP = \frac{2}{4}\left[(a+b)^2 + (b+c)^2 + (c+a)^2\right] \]

\[ VP = \frac{1}{2}\left[(a^2+2ab+b^2) + (b^2+2bc+c^2) + (c^2+2ca+a^2)\right] \]

\[ VP = \frac{1}{2}\left[2a^2+2b^2+2c^2 + 2ab+2bc+2ca\right] \]

\[ VP = a^2+b^2+c^2 + ab+bc+ca \]

Vậy, bất đẳng thức Popoviciu cho \(f(x) = x^2\) trở thành:

\[ a^2 + b^2 + c^2 + \frac{(a+b+c)^2}{3} \ge a^2+b^2+c^2 + ab+bc+ca \]

Chúng ta có thể rút gọn bất đẳng thức này bằng cách trừ \(a^2+b^2+c^2\) ở cả hai vế:

\[ \frac{(a+b+c)^2}{3} \ge ab+bc+ca \]

Nhân cả hai vế với 3:

\[ (a+b+c)^2 \ge 3(ab+bc+ca) \]

Khai triển vế trái:

\[ a^2+b^2+c^2+2ab+2bc+2ca \ge 3ab+3bc+3ca \]

Chuyển tất cả các hạng tử sang một vế:

\[ a^2+b^2+c^2+2ab+2bc+2ca – 3ab-3bc-3ca \ge 0 \]

\[ a^2+b^2+c^2-ab-bc-ca \ge 0 \]

Đây là một bất đẳng thức rất quen thuộc! Để thấy rõ hơn, chúng ta nhân cả hai vế với 2:

\[ 2a^2+2b^2+2c^2-2ab-2bc-2ca \ge 0 \]

Bây giờ, chúng ta nhóm các hạng tử để tạo thành các bình phương:

\[ (a^2-2ab+b^2) + (b^2-2bc+c^2) + (c^2-2ca+a^2) \ge 0 \]

\[ (a-b)^2 + (b-c)^2 + (c-a)^2 \ge 0 \]

Đây là một bất đẳng thức luôn đúng với mọi số thực \(a, b, c\), vì tổng của các số không âm luôn không âm.

***

3. Điều kiện để dấu bằng xảy ra

Dấu bằng trong bất đẳng thức \((a-b)^2 + (b-c)^2 + (c-a)^2 \ge 0\) xảy ra khi và chỉ khi tất cả các số hạng đều bằng 0.

Điều đó có nghĩa là:

\[ (a-b)^2 = 0 \implies a-b = 0 \implies a=b \]

\[ (b-c)^2 = 0 \implies b-c = 0 \implies b=c \]

\[ (c-a)^2 = 0 \implies c-a = 0 \implies c=a \]

Vậy, dấu bằng trong bất đẳng thức Popoviciu cho \(f(x) = x^2\) và ba biến \(a, b, c\) xảy ra khi và chỉ khi \(a = b = c\).

***

Tóm lại, bất đẳng thức Popoviciu, khi áp dụng cho hàm số \(f(x) = x^2\) và ba biến số \(a, b, c\), đã cho chúng ta một kết quả rất cơ bản và quen thuộc: \((a-b)^2 + (b-c)^2 + (c-a)^2 \ge 0\). Điều này cho thấy Popoviciu là một công cụ mạnh mẽ, và trong trường hợp đặc biệt này, nó củng cố một sự thật toán học nền tảng.

Hy vọng qua bài giảng này, các em đã hiểu rõ hơn về bất đẳng thức Popoviciu và cách áp dụng nó. Nếu có bất kỳ thắc mắc nào, đừng ngần ngại hỏi nhé!