Cùng giải đề thi tuyển sinh (vào lớp 10 chuyên Toán) Phổ Thông Năng Khiếu, năm 2018 nào. Trong đề có một câu bất đẳng thức như sau:

Bài 2 (2đ): Cho a,ba, b là 2 số nguyên thỏa mãn a3+b3>0a^3 + b^3 > 0\ a) Chứng minh rằng a3+b3a+b>0a^3 + b^3 \geq a + b > 0\ b) Chứng minh rằng a3+b3a2+b2a^3 + b^3 \geq a^2 + b^2\ c) Tìm tất cả các bộ số nguyên x,y,z,tx, y, z, t sao cho x3+y3=z2+t2x^3 + y^3 = z^2 + t^2z3+t3=x2+y2z^3 + t^3 = x^2 + y^2

Lời giải

a) Điều kiện a3+b3>0a^3 + b^3 > 0 tương đương với a3>(b)3a^3 > (-b)^3     a>b    a+b>0\implies a > -b \implies a + b > 0

Giờ ta cần chứng minh a3+b3a+ba^3 + b^3 \geq a + b, hay S=a3+b3(a+b)0S = a^3 + b^3 - (a + b) \geq 0.

Vai trò của aabb như nhau nên bài toán không mất tính tổng quát khi ta giả sử aba \geq b.

- TH1: Nếu b0b \geq 0 thì a3a,b3ba^3 \geq a, b^3 \geq b (vì aa, bb là 2 số nguyên không âm). Suy ra a3+b3a+ba^3 + b^3 \geq a + b.

Dấu bằng xảy ra khi a,b0,±1a, b \in \\{0, \pm 1\\}

- TH2: Nếu b<0b < 0. Đặt c=bc = -b với ac1a \geq c \geq 1.

Khi đó S=a3c3(ac)=(ac)(a2+c2+ac1)=(ac)PS = a^3 - c^3 - (a - c) = (a - c)(a^2 + c^2 + ac - 1) = (a - c) P

(ac+1)20(a - c + 1)^2 \geq 0 nên a2+c2+12ac+2a2c0a^2 + c^2 + 1 - 2ac + 2a - 2c \geq 0\     (a2+c2+ac1)3ac+2a2c+20\implies (a^2 + c^2 + ac - 1) - 3ac + 2a - 2c + 2 \geq 0\     P3ac2a+2c2=ac+2(a+1)(c1)\implies P \geq 3ac - 2a + 2c - 2 = ac + 2(a + 1)(c - 1)\     P>0\txt(vıˋac1\txt)\implies P > 0 \txt{(vì } a \geq c \geq 1 \txt{)}

Suy ra S0S \geq 0. Dấu bằng xảy ra khi a=ca = c. Lúc này a3=a    a=c=0,±1a^3 = a \implies a = c = 0, \pm 1

Gộp cả hai điều kiện ta rút ra kết luận: bất đằng thức được chứng minh và dấu bằng xảy ra khi a,b0,±1a, b \in \\{0, \pm 1\\} \quad\blacksquare.

...

b) Lập luận tương tự câu a). Đối với trường hợp b<0b < 0 thì xét (ac)2+(ac)0(a - c)^2 + (a - c) \geq 0.

Dấu đẳng thức xảy ra khi a,b0,1a, b \in \\{0, 1\\}.

...

c) Sử dụng kết quả của câu b), ta có:

x3+y3x2+y2=z3+t3z2+t2x^3 + y^3 \geq x^2 + y^2= z^3 + t^3 \geq z^2 + t^2

Dấu bằng xảy ra khi x,y0,1x, y \in \\{0, 1\\}z,t0,1z, t \in \\{0, 1\\}. Thế vào được các nghiệm:

(0,0,0,0),(1,1,1,1),(0,1,0,1),(0,1,1,0),(1,0,0,1),(1,0,1,0)(0, 0, 0, 0), (1, 1, 1, 1), (0, 1, 0, 1), (0, 1, 1, 0), (1, 0, 0, 1), (1, 0, 1, 0).