Hôm nay, chúng ta sẽ cùng nhau “giải mã” một bài toán thú vị liên quan đến số thực và các phép biến đổi lượng giác. Đây là một bài toán khá hay, đòi hỏi sự tinh tế trong việc nhận diện mối liên hệ giữa điều kiện đã cho và biểu thức cần chứng minh. Chúng ta cùng bắt đầu nhé!

Đề bài: Cho các số thực dương \(a;b;c\) thỏa mãn \(a^2 +b^2+c^2 +abc=4\)

Chứng minh rằng: \(\sum \sqrt{\frac{(2-a)(2-b)}{(2+a)(2+b)}} =1\)

Để dễ hiểu, chúng ta có thể viết lại tổng cần chứng minh là:

\(\sqrt{\frac{(2-a)(2-b)}{(2+a)(2+b)}} + \sqrt{\frac{(2-b)(2-c)}{(2+b)(2+c)}} + \sqrt{\frac{(2-c)(2-a)}{(2+c)(2+a)}} = 1\)

Chúng ta sẽ đi từng bước một nhé!

Bước 1: Phân tích điều kiện đã cho: \(a^2 +b^2+c^2 +abc=4\)

Phương trình \(a^2 +b^2+c^2 +abc=4\) là một dạng phương trình rất đặc biệt trong toán học. Nó gợi ý cho chúng ta sử dụng phép thế lượng giác. Để ý rằng \(a,b,c\) là các số dương.

Nếu \(a \ge 2\), giả sử \(a=2\). Thay vào phương trình ta có: \(4+b^2+c^2+2bc=4 \Rightarrow b^2+c^2+2bc=0 \Rightarrow (b+c)^2=0 \Rightarrow b=-c\). Điều này mâu thuẫn với giả thiết \(b,c\) là các số dương. Vậy \(a,b,c\) phải nhỏ hơn 2. Do đó, \(0 < a,b,c < 2\).

Khi \(0 < a,b,c < 2\), chúng ta có thể đặt các biến \(a,b,c\) theo hàm cosine. Cụ thể, ta đặt:

\(a = 2\cos A\)

\(b = 2\cos B\)

\(c = 2\cos C\)

Vì \(0 < a,b,c < 2\), suy ra \(0 < \cos A, \cos B, \cos C < 1\). Điều này có nghĩa là các góc \(A, B, C\) phải nằm trong khoảng \((0, \pi/2)\) (tức là các góc nhọn).

Bây giờ, chúng ta thay các giá trị này vào điều kiện ban đầu: \(a^2 +b^2+c^2 +abc=4\)

\((2\cos A)^2 + (2\cos B)^2 + (2\cos C)^2 + (2\cos A)(2\cos B)(2\cos C) = 4\)

\(4\cos^2 A + 4\cos^2 B + 4\cos^2 C + 8\cos A \cos B \cos C = 4\)

Chia cả hai vế cho 4, ta được:

\(\cos^2 A + \cos^2 B + \cos^2 C + 2\cos A \cos B \cos C = 1\)

Các em có nhận ra đây là một đẳng thức lượng giác quen thuộc không? Đúng vậy, đẳng thức này đúng khi và chỉ khi \(A+B+C = \pi\) (hay tổng ba góc bằng 180 độ).

Tóm lại, từ điều kiện đã cho, chúng ta suy ra có tồn tại ba góc nhọn \(A, B, C\) sao cho \(A+B+C=\pi\), và \(a=2\cos A, b=2\cos B, c=2\cos C\).

Bước 2: Biến đổi từng số hạng trong tổng cần chứng minh

Hãy xét một số hạng bất kỳ trong tổng, ví dụ \(\sqrt{\frac{(2-a)(2-b)}{(2+a)(2+b)}}\). Chúng ta sẽ thay \(a=2\cos A\) và \(b=2\cos B\) vào đây:

\(\sqrt{\frac{(2-2\cos A)(2-2\cos B)}{(2+2\cos A)(2+2\cos B)}} = \sqrt{\frac{4(1-\cos A)(1-\cos B)}{4(1+\cos A)(1+\cos B)}}\)

\(= \sqrt{\frac{(1-\cos A)(1-\cos B)}{(1+\cos A)(1+\cos B)}}\)

Bây giờ, chúng ta nhớ lại các công thức lượng giác quen thuộc liên quan đến góc bán phần (góc chia đôi):

\(1 – \cos x = 2\sin^2 \left(\frac{x}{2}\right)\)

\(1 + \cos x = 2\cos^2 \left(\frac{x}{2}\right)\)

Áp dụng các công thức này, ta có:

\(= \sqrt{\frac{2\sin^2 (A/2) \cdot 2\sin^2 (B/2)}{2\cos^2 (A/2) \cdot 2\cos^2 (B/2)}} = \sqrt{\frac{\sin^2 (A/2) \sin^2 (B/2)}{\cos^2 (A/2) \cos^2 (B/2)}}\)

Vì \(A, B \in (0, \pi/2)\), nên \(A/2, B/2 \in (0, \pi/4)\). Trong khoảng này, \(\sin(x/2)\) và \(\cos(x/2)\) đều dương. Do đó, chúng ta có thể bỏ dấu căn bậc hai một cách dễ dàng:

\(= \frac{|\sin (A/2) \sin (B/2)|}{|\cos (A/2) \cos (B/2)|} = \frac{\sin (A/2) \sin (B/2)}{\cos (A/2) \cos (B/2)}\)

\(= \left(\frac{\sin (A/2)}{\cos (A/2)}\right) \cdot \left(\frac{\sin (B/2)}{\cos (B/2)}\right) = \tan(A/2)\tan(B/2)\)

Vậy, mỗi số hạng trong tổng có thể được viết lại dưới dạng tích của hai hàm tang:

\(\sqrt{\frac{(2-a)(2-b)}{(2+a)(2+b)}} = \tan(A/2)\tan(B/2)\)

\(\sqrt{\frac{(2-b)(2-c)}{(2+b)(2+c)}} = \tan(B/2)\tan(C/2)\)

\(\sqrt{\frac{(2-c)(2-a)}{(2+c)(2+a)}} = \tan(C/2)\tan(A/2)\)

Bước 3: Tính tổng các số hạng

Bây giờ, tổng cần chứng minh trở thành:

\(\tan(A/2)\tan(B/2) + \tan(B/2)\tan(C/2) + \tan(C/2)\tan(A/2)\)

Chúng ta đã biết từ Bước 1 rằng \(A+B+C = \pi\). Chia cả hai vế cho 2, ta được:

\(A/2 + B/2 + C/2 = \pi/2\)

Đặt \(X = A/2\), \(Y = B/2\), \(Z = C/2\). Ta có \(X+Y+Z = \pi/2\).

Và tổng cần chứng minh chính là \(\tan X \tan Y + \tan Y \tan Z + \tan Z \tan X\).

Đây là một đẳng thức lượng giác rất nổi tiếng: Với \(X, Y, Z\) là các góc nhọn có tổng bằng \(\pi/2\), thì \(\tan X \tan Y + \tan Y \tan Z + \tan Z \tan X = 1\).

Để chứng minh nhanh đẳng thức này, ta có thể làm như sau:

Vì \(X+Y+Z = \pi/2 \Rightarrow X+Y = \pi/2 – Z\)

Lấy tang hai vế:

\(\tan(X+Y) = \tan(\pi/2 – Z)\)

Áp dụng công thức cộng và công thức biến đổi tang của góc phụ:

\(\frac{\tan X + \tan Y}{1 – \tan X \tan Y} = \cot Z = \frac{1}{\tan Z}\)

Nhân chéo, ta được:

\(\tan Z (\tan X + \tan Y) = 1 – \tan X \tan Y\)

\(\tan X \tan Z + \tan Y \tan Z = 1 – \tan X \tan Y\)

Chuyển vế \(\tan X \tan Y\) sang trái:

\(\tan X \tan Y + \tan Y \tan Z + \tan Z \tan X = 1\)

Vậy, tổng của chúng ta bằng 1.

Kết luận:

Chúng ta đã biến đổi thành công biểu thức cần chứng minh về một đẳng thức lượng giác cơ bản và chứng minh được nó bằng 1.

Đây là một bài toán rất hay để các em rèn luyện kỹ năng biến đổi lượng giác và tư duy liên kết các điều kiện với nhau. Hãy ghi nhớ dạng biến đổi với điều kiện \(a^2 +b^2+c^2 +abc=4\) này nhé, nó có thể xuất hiện trong nhiều bài toán khác đấy!

Chúc các em học tốt và luôn yêu thích môn Toán!