Chào các em học sinh yêu quý! Hôm nay chúng ta sẽ cùng nhau giải một bài toán về đại số rất thú vị. Đây là một dạng bài thường xuất hiện trong các kỳ thi học sinh giỏi hoặc các bài toán nâng cao, đòi hỏi chúng ta phải vận dụng linh hoạt các kiến thức về bất đẳng thức, đặc biệt là bất đẳng thức AM-GM (Trung bình cộng – Trung bình nhân).

Đề bài:

Tìm \(a,b,c\) biết \((a+b+c)(ab+bc+ca) = 9abc\) với \(a,b,c \geqslant 0\).

Nào, chúng ta cùng bắt đầu nhé!

Phân tích và Định hướng giải:

Bài toán cho một phương trình với ba biến \(a,b,c\) và điều kiện \(a,b,c \geqslant 0\). Sự xuất hiện của tích \(abc\) và các tổng, tích khác gợi ý chúng ta nên nghĩ đến bất đẳng thức AM-GM. Điều kiện \(a,b,c \geqslant 0\) cũng rất quan trọng, chúng ta cần xét các trường hợp khi một hoặc nhiều biến bằng 0.

Lời giải chi tiết:

Bước 1: Xét các trường hợp đặc biệt khi có biến bằng 0.

Vì \(a,b,c \geqslant 0\), chúng ta hãy xem điều gì xảy ra nếu một trong các biến bằng 0.

Trường hợp 1.1: Có đúng một biến bằng 0.

Giả sử \(a=0\), khi đó phương trình trở thành:

\((0+b+c)(0 \cdot b + b \cdot c + c \cdot 0) = 9 \cdot 0 \cdot b \cdot c\)

\((b+c)(bc) = 0\)

Vì \(b,c \geqslant 0\), nên \(b+c \geqslant 0\) và \(bc \geqslant 0\).

Để \((b+c)(bc) = 0\), thì phải có \(b+c=0\) hoặc \(bc=0\).

• Nếu \(b+c=0\) và \(b,c \geqslant 0\), điều này chỉ xảy ra khi \(b=0\) và \(c=0\).
• Nếu \(bc=0\), điều này có nghĩa là \(b=0\) hoặc \(c=0\).

Như vậy, nếu \(a=0\), thì bắt buộc \(b=0\) hoặc \(c=0\). Điều này mâu thuẫn với giả sử “có đúng một biến bằng 0”.

Do đó, không có trường hợp nào mà chỉ có đúng một biến bằng 0.

Trường hợp 1.2: Có đúng hai biến bằng 0.

Giả sử \(a=0\) và \(b=0\), khi đó phương trình trở thành:

\((0+0+c)(0 \cdot 0 + 0 \cdot c + c \cdot 0) = 9 \cdot 0 \cdot 0 \cdot c\)

\((c)(0) = 0\)

\(0 = 0\)

Phương trình này luôn đúng với mọi giá trị của \(c \geqslant 0\).
Vậy, các bộ \((0,0,c)\), \((0,b,0)\), \((a,0,0)\) (với \(a,b,c \geqslant 0\)) là các nghiệm của phương trình.

Ví dụ: \((0,0,5)\), \((7,0,0)\), \((0,2,0)\) đều là nghiệm.

Trường hợp 1.3: Cả ba biến đều bằng 0.

Nếu \(a=0, b=0, c=0\), thì phương trình trở thành:

\((0+0+0)(0+0+0) = 9 \cdot 0 \cdot 0 \cdot 0\)

\(0 = 0\)

Đây là một trường hợp con của Trường hợp 1.2, khi \(c=0\). Vậy \((0,0,0)\) cũng là một nghiệm.

Bước 2: Xét trường hợp tất cả các biến đều dương.

Giả sử \(a,b,c > 0\).

Chúng ta có phương trình: \((a+b+c)(ab+bc+ca) = 9abc\)

Vì \(a,b,c > 0\), ta có thể chia cả hai vế cho \(abc\). Chia từng vế cho \(abc\):

\(\frac{(a+b+c)(ab+bc+ca)}{abc} = \frac{9abc}{abc}\)

\((a+b+c) \cdot \left(\frac{ab+bc+ca}{abc}\right) = 9\)

Bây giờ, chúng ta tách phân số trong dấu ngoặc thứ hai:

\((a+b+c) \cdot \left(\frac{ab}{abc} + \frac{bc}{abc} + \frac{ca}{abc}\right) = 9\)

\((a+b+c) \cdot \left(\frac{1}{c} + \frac{1}{a} + \frac{1}{b}\right) = 9\)

Đây là một dạng rất quen thuộc để áp dụng bất đẳng thức AM-GM.

Áp dụng bất đẳng thức AM-GM cho ba số dương \(a,b,c\):

\(a+b+c \geqslant 3\sqrt[3]{abc}\) (1)

Áp dụng bất đẳng thức AM-GM cho ba số dương \(\frac{1}{a}, \frac{1}{b}, \frac{1}{c}\):

\(\frac{1}{a} + \frac{1}{b} + \frac{1}{c} \geqslant 3\sqrt[3]{\frac{1}{a} \cdot \frac{1}{b} \cdot \frac{1}{c}} = 3\sqrt[3]{\frac{1}{abc}}\) (2)

Nhân bất đẳng thức (1) và (2) vế theo vế (chú ý rằng cả hai vế đều dương):

\((a+b+c)\left(\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\right) \geqslant \left(3\sqrt[3]{abc}\right) \cdot \left(3\sqrt[3]{\frac{1}{abc}}\right)\)

\((a+b+c)\left(\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\right) \geqslant 9 \cdot \sqrt[3]{abc \cdot \frac{1}{abc}}\)

\((a+b+c)\left(\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\right) \geqslant 9 \cdot \sqrt[3]{1}\)

\((a+b+c)\left(\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\right) \geqslant 9\)

Theo đề bài, ta có \((a+b+c)\left(\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\right) = 9\).
Điều này có nghĩa là dấu “=” trong bất đẳng thức AM-GM phải xảy ra.

Dấu “=” trong bất đẳng thức AM-GM xảy ra khi và chỉ khi các số hạng bằng nhau.

• Đối với \(a+b+c \geqslant 3\sqrt[3]{abc}\), dấu “=” xảy ra khi \(a=b=c\).
• Đối với \(\frac{1}{a} + \frac{1}{b} + \frac{1}{c} \geqslant 3\sqrt[3]{\frac{1}{abc}}\), dấu “=” xảy ra khi \(\frac{1}{a}=\frac{1}{b}=\frac{1}{c}\), điều này cũng có nghĩa là \(a=b=c\).

Vậy, khi \(a,b,c > 0\), phương trình đã cho có nghiệm khi và chỉ khi \(a=b=c\).
Giả sử \(a=b=c=k\) với \(k > 0\).
Kiểm tra lại: \((k+k+k)(k \cdot k + k \cdot k + k \cdot k) = 9k \cdot k \cdot k\)

\((3k)(3k^2) = 9k^3\)

\(9k^3 = 9k^3\)

Điều này luôn đúng. Vậy \(a=b=c=k\) với \(k>0\) là các nghiệm.

Bước 3: Tổng hợp các kết quả.

Từ Bước 1 và Bước 2, chúng ta có các nghiệm:

1. Nếu có ít nhất một biến bằng 0, thì bắt buộc phải có ít nhất hai biến bằng 0.
   
   Các nghiệm có dạng: \((k,0,0)\), \((0,k,0)\), \((0,0,k)\) với \(k \geqslant 0\).
   
   (Lưu ý: Nếu \(k=0\), ta có \((0,0,0)\) là nghiệm.)
2. Nếu cả ba biến đều dương, thì chúng phải bằng nhau.
   
   Các nghiệm có dạng: \((k,k,k)\) với \(k > 0\).

Chúng ta có thể gộp lại một cách ngắn gọn:

• Các trường hợp mà ít nhất hai trong ba biến bằng 0. Ví dụ: \((a,0,0), (0,b,0), (0,0,c)\) với \(a,b,c \geq 0\).
• Trường hợp cả ba biến bằng nhau. Tức là \(a=b=c=k\) với \(k \geq 0\). (Nếu \(k=0\), nó trở thành \((0,0,0)\), một trường hợp con của mục trên).

Để trình bày một cách gọn gàng nhất, chúng ta có thể nói:

Kết luận:

Các giá trị \(a,b,c\) thỏa mãn yêu cầu đề bài là:

1. Khi hai trong ba số \(a,b,c\) bằng 0, số còn lại là một số không âm bất kỳ.
   
   Tức là:
   • \(a=k, b=0, c=0\) với mọi \(k \geqslant 0\).
   • \(a=0, b=k, c=0\) với mọi \(k \geqslant 0\).
   • \(a=0, b=0, c=k\) với mọi \(k \geqslant 0\).
2. Khi cả ba số \(a,b,c\) bằng nhau.
   
   Tức là: \(a=b=c=k\) với mọi \(k \geqslant 0\).

Nếu nhìn kỹ, trường hợp \(a=b=c=0\) được bao hàm trong cả hai điều kiện trên. Trường hợp \(a=b=c=k\) với \(k>0\) cũng là một nghiệm. Các trường hợp \((k,0,0)\) với \(k>0\) không phải là dạng \(a=b=c\), nên chúng ta cần liệt kê riêng.

Bài toán này đã giúp chúng ta ôn lại cách tư duy xét các trường hợp đặc biệt và áp dụng hiệu quả bất đẳng thức AM-GM. Rất tốt, phải không nào?

Chúc các em học tốt!