Giả sử \(c\le1\).

Khi đó: \(ab+bc+ca-abc=ab\left(1-c\right)+c\left(a+b\right)\ge0\)

\(\Rightarrow ab+bc+ca\ge abc\left(1\right)\)

Đẳng thức xảy ra chẳng hạn với \(a=2,b=c=0\).

Theo giả thiết:

\(4=a^2+b^2+c^2+abc\ge2ab+c^2+abc\)

\(\Leftrightarrow ab\left(c+2\right)\le4-c^2\)

\(\Leftrightarrow ab\le2-c\)

Trong ba số \(\left(a-1\right),\left(b-1\right),\left(c-1\right)\) luôn có hai số cùng dấu.

Không mất tính tổng quát, giả sử \(\left(a-1\right)\left(b-1\right)\ge0\).

\(\Rightarrow ab-a-b+1\ge0\)

\(\Leftrightarrow ab\ge a+b-1\)

\(\Leftrightarrow abc\ge ca+bc-c\)

\(\Rightarrow abc+2\ge ca+bc+2-c\ge ab+bc+ca\left(2\right)\)

Từ \(\left(1\right)\) và \(\left(2\right)\Rightarrow\) Bất đẳng thức được chứng minh.

Ta chứng minh BĐT

( a + b + c ) ( 1 a + 1 b + 1 c ) ≥ 9 ( * ) ( * ) < = > 3 + ( a b + b a ) + ( b c + c b ) + ( c a + a c ) ≥ 9

Áp dụng BĐT Cô – si cho hai số dương ta có:

a b + b a ≥ 2 b c + c b ≥ 2 c a + a c ≥ 2 =>(*) đúng

= > 9 a + b + c ≤ 1 a + 1 b + 1 c ≤ 3 = > a + b + c ≥ 3

Trở lại bài toán: Áp dụng BĐT Cô si cho hai số dương ta có  1 + b 2 ≥ 2 b

Ta có: a 1 + b 2 = a − a b 2 1 + b 2 ≥ a − a b 2 2 b = a − a b 2 ( 1 )

Tương tự ta có: 

b 1 + c 2 ≥ b − b c 2 ( 2 ) c 1 + a 2 ≥ c − c a 2 ( 3 )

Cộng từng vế của (1), (2) và (3) ta có:

a 1 + b 2 + b 1 + c 2 + c 1 + a 2 ≥ a + b + c − 1 2 ( a b + b c + c a ) = > a 1 + b 2 + b 1 + c 2 + c 1 + a 2 + 1 2 ( a b + b c + c a ) ≥ a + b + c ≥ 3

Sửa đề: 1+a^2;1+b^2;1+c^2

\(\dfrac{a}{\sqrt{1+a^2}}=\dfrac{a}{\sqrt{a^2+ab+c+ac}}=\sqrt{\dfrac{a}{a+b}\cdot\dfrac{a}{a+c}}< =\dfrac{1}{2}\left(\dfrac{a}{a+b}+\dfrac{a}{a+c}\right)\)

\(\dfrac{b}{\sqrt{1+b^2}}< =\dfrac{1}{2}\left(\dfrac{b}{b+c}+\dfrac{b}{b+a}\right)\)

\(\dfrac{c}{\sqrt{1+c^2}}< =\dfrac{1}{2}\left(\dfrac{c}{c+a}+\dfrac{c}{a+b}\right)\)

=>\(A< =\dfrac{1}{2}\left(\dfrac{a+b}{a+b}+\dfrac{b+c}{b+c}+\dfrac{c+a}{c+a}\right)=\dfrac{3}{2}\)

- Nếu \(abc\ge0\Rightarrow a^2+b^2+c^2+abc\ge0\) dấu "=" xảy ra khi và chỉ khi \(a=b=c=0\)

- Nếu \(abc< 0\Rightarrow\)  trong 3 số a; b; c có ít nhất 1 số âm

Không mất tính tổng quát, giả sử \(c< 0\Rightarrow ab>0\)

Mà \(\left\{{}\begin{matrix}-2\le c< 0\\ab>0\end{matrix}\right.\Leftrightarrow abc\ge-2ab\)

\(\Rightarrow a^2+b^2+c^2+abc\ge a^2+b^2-2ab+c^2=\left(a-b\right)^2+c^2>0\) (không thỏa mãn)

Vậy \(a=b=c=0\)

Ta có:

0 < a < 1 ⇒ a - 1 < 0 ⇒ a(a - 1) < 0 ⇒ a2 - a < 0 (1)

Tương tự:

0 < b < 1 ⇒ b2 - b < 0 (2)

0 < c < 1 ⇒ c2 - c < 0 (3)

Cộng (1); (2); (3) vế theo vế ta được:

a2 + b2 + c2 - a - b - c < 0

⇔ a2 + b2 + c2 < a + b + c

⇔ a2+ b2 + c2 < 2 (do a + b + c = 2)