Để chứng minh điều phải chứng minh, ta sẽ sử dụng phương pháp Chứng minh bằng Quy nạp (Mathematical Induction). Bước 1: Ta chứng minh bất đẳng thức này đúng với trường hợp a, b, c không giống nhau. - Giả sử a = b. Khi đó, a = b = (3 - 2a) / 2. Thầy vào bất đẳng thức cần chứng minh, ta có: abc(1+a^2)(1+b^2)(1+c^2) = a^2c(1+a^2)^2(1+c^2) Đặt x = a^2, y = c. Ta cần chứng minh: xy(1+x)^2(1+y^2) ≤ 8 Từ điều kiện a + b + c = 3, ta có: a + b = 3 - c ab = (a + b) ^2 - (a^2 + b^2) = (3 - c)^2 - (a^2 + b^2) = (3 - c)^2 - (3 - 2c) = c^2 - 3c + 6 Because a and b are test of method t^2 - (3 - c)t + (c^2 - 3c + 6) = 0 thuộc các nguyên nên theo Định lí Viết a^2 + b^2 = (3 - c)c^2 - 3(c^2 - 3c + 6) = -2c^3 + 9c^2 - 9c + 18 Ta lại có abc = ac(3 - a - c) = c(3c^2 - ac - c^2) = c(-2c^3 + 9c^2 - 9c) Nên bất đẳng thức cần chứng minh trở thành: (x*3)^2(1 + x)(1 + y) ≤ 8 Hay (x*3)^2(1 + x)(1 + y) ≤ 8 Áp dụng bất đẳng thức AM-GM hai lần, ta có: (x*3)^2 (1 + x)(1 + y) ≤ [(x*3)^2 + (1 + x) + (1 + y)] / 3 = [9x^2 + 2x + 2 + y] / 3 = ( 9x^2 + 2x + 2 + y) / 3 = (9x^2 + y^2 + 2x + 2) / 3 Tiếp tục áp dụng Bất đẳng thức AM-GM, ta được: (9x^2 + y^2 + 2x + 2)/3 ≥ 4√[(9x^2)(y^2)(2x)(2)] = 4√[36x^3y^2] = 24xy√x Khi đó, ta cần chứng minh: 24xy√x ≤ 8 <=> 3xy√x ≤ 1 <=> 27x^3y^2 ≤ 1 Từ a + b + c = 3, ta có: (a + b + c)^3 = a^3 + b^3 + c^3 + 3(a^2b + ab^2 + b^2c + bc^ 2 + c^2a + ca^2) + 6abc Thầy a + b + c = 3 và abc = ac(3 - a - c) = c(3c^2 - ac - c^2) = c(-2c^ 3 + 9c^2 - 9c), ta có: 27x^3y^2 ≤ 1 Vì vậy, ta đã chứng minh được khi a=b, bất đẳng thức cần chứng minh là đúng. Bước 2: Giả sử a, b, c không giống nhau. Ta sẽ chứng minh bất đẳng thức này đúng với
