Ta viết lại VT của (1)
\(x\sqrt{12-y}+\sqrt{y\left(12-x^2\right)}=\sqrt{x^2\left(12-y\right)}+\sqrt{y\left(12-x^2\right)}\)
\(\le\dfrac{x^2+12-y}{2}+\dfrac{y+12-x^2}{2}=12=VP\)
Đẳng thức xảy ra \(\Leftrightarrow y=12-x^2\)
Thay \(y=12-x^2\) vào (2) ta được
\(x^3-8x-1=2\sqrt{10-x^2}\)
Sau đó bình phương lên và phân tích thành nhân tử là tìm được nghiệm