Bài toán (Vasile Cirtoaje)
Cho các số dương thoả mãn . Chứng minh :
Lời giải :
Bổ đề (Võ Quốc Bá Cẩn)
Cho số thực thoả mãn . Đặt :
với . Khi đó ta có :
Chứng minh bổ đề :
Ta áp dụng Cauchy-Schwarz :
Giải bất phương trình bậc hai biến ta được :
Vì các biến vai trò như nhau nên ta được . Bổ đề được chứng minh.
Chú ý trong trường hợp các số không âm thì ta có .
Quay trở lại với bài toán.
Đặt . Ở đây thì . Chú ý khi thì và bất đẳng thức đúng. Ta xét .
Theo bổ đề trên thì ta có :
Và như vậy ta sẽ tách :
Vì vậy ta đi chứng minh :
Hơn nữa chú ý theo bổ đề ta cũng có nên sử dụng Cauchy-Schwarz :
Như vậy ta chỉ cần chứng minh :
Điều này hiển nhiên đúng.
Bổ đề được nêu trong bài là một kết quả quan trọng, đặc biệt hữu hiệu với những bất đẳng thức biến mà dấu bằng đạt được tại biến bằng nhau.