Chào bạn, Bất đẳng thức Bunhiacopxki (hay còn được biết đến rộng rãi trên thế giới với tên gọi Cauchy-Schwarz) là một trong những bất đẳng thức nền tảng và cực kỳ mạnh mẽ trong toán học.
Bất đẳng thức Bunhiacopxki (Cauchy-Schwarz) xuất hiện ở khắp mọi nơi, từ đại số sơ cấp, hình học cho đến giải tích phức tạp.
Để hiểu rõ về nó, chúng ta sẽ đi từ công thức tổng quát đến ý nghĩa hình học của nó.
Dạng Đại Số Tổng Quát Bất đẳng thức Bunhiacopxki (Cauchy-Schwarz)
Cho hai dãy số thực bất kỳ $(a_1, a_2, …, a_n)$ và $(b_1, b_2, …, b_n)$, ta luôn có bất đẳng thức sau:
$(a_1b_1 + a_2b_2 + … + a_nb_n)^2 \le (a_1^2 + a_2^2 + … + a_n^2)(b_1^2 + b_2^2 + … + b_n^2)$
Dấu “=” xảy ra khi nào?
Đây là phần rất quan trọng khi giải toán. Dấu “=” (tức là vế trái bằng vế phải) chỉ xảy ra khi và chỉ khi hai dãy số này tỷ lệ với nhau. Nghĩa là tồn tại một số thực $k$ sao cho:
$\dfrac{a_1}{b_1} = \dfrac{a_2}{b_2} = … = \dfrac{a_n}{b_n} = k$
(Quy ước: Nếu mẫu số $b_i = 0$ thì tử số $a_i$ tương ứng cũng phải bằng 0).
Bất đẳng thức Bunhiacopxki (Cauchy-Schwarz) dạng Rút Gọn Thường Gặp (Cho 2 cặp số)
Ở mức độ cơ bản, bạn sẽ thường xuyên gặp dạng này nhất với 4 số thực $a, b, c, d$:
$(ax + by)^2 \le (a^2 + b^2)(x^2 + y^2)$
Dấu “=” xảy ra khi $\dfrac{a}{x} = \dfrac{b}{y}$.
Ý Nghĩa Hình Học (Bản chất thực sự) của Bất đẳng thức Bunhiacopxki (Cauchy-Schwarz)
Thay vì nhìn nó như những con số khô khan, hãy nhìn nó dưới góc độ Hình Học thông qua các Vector.
Giả sử bạn có hai vector trong mặt phẳng là $\vec{u} = (a, b)$ và $\vec{v} = (x, y)$.
- Tích vô hướng của hai vector: $\vec{u} \cdot \vec{v} = ax + by$
- Bình phương độ dài của vector $\vec{u}$: $|\vec{u}|^2 = a^2 + b^2$
- Bình phương độ dài của vector $\vec{v}$: $|\vec{v}|^2 = x^2 + y^2$
Khi đó, bất đẳng thức Bunhiacopxki thực chất đang nói rằng:
Bình phương tích vô hướng của hai vector luôn nhỏ hơn hoặc bằng tích bình phương độ dài của hai vector đó.
$(\vec{u} \cdot \vec{v})^2 \le |\vec{u}|^2 |\vec{v}|^2$
Vì $\vec{u} \cdot \vec{v} = |\vec{u}| |\vec{v}| \cos(\theta)$ (với $\theta$ là góc giữa hai vector), bất đẳng thức trên tương đương với $\cos^2(\theta) \le 1$, một điều luôn luôn đúng! Và dấu “=” xảy ra khi $\cos^2(\theta) = 1$, tức là góc bằng $0^\circ$ hoặc $180^\circ$ (hai vector cùng phương hoặc tỷ lệ với nhau).
