Đáp án + giải thích các bước giải:
Trong `3` số thực bất kì bao giờ cũng tìm được hai số cùng dấu.
Theo nguyên lý Dirichlet, trong ba số `a^2-1;b^2-1;c^2-1` có hai số cùng dấu
Không mất tính tổng quát, giả sử hai số đó là `a^2-1;b^2-1`
`->(a^2-1)(b^2-1)>=0`
`->c^2(a^2-1)(b^2-1)>=0`
`->(a^2c^2-c^2)(b^2-1)>=0`
`->a^2b^2c^2-b^2c^2-a^2c^2+c^2>=0`
`->a^2b^2c^2+c^2>=b^2c^2+a^2c^2`
`->a^2b^2c^2+c^2+b^2+a^2+2>=b^2c^2+a^2c^2+a^2+b^2+2`
Ta sẽ chứng minh
`b^2c^2+a^2c^2+a^2+b^2+2>=2(ab+bc+ca)`
`->a^2-2ab+b^2+b^2c^2-2bc+1+c^2a^2-2ca+1>=0`
`->(a-b)^2+(bc-1)^2+(ca-1)^2>=0` (luôn đúng)
`->a^2 + b^2 + c^2 + a^2b^2c^2 + 2 \ge 2(ab + bc + ac)`
Dấu bằng xảy ra khi `a=b=c=±1`