\(\left(x+\sqrt{x^2+1}\right)\left(y+\sqrt{y^2+1}\right)=1\)

Với \(x=0\Leftrightarrow y=0\), 

Với \(x,y\ne0\): 

\(\left(\sqrt{x^2+1}-x\right)\left(x+\sqrt{x^2+1}\right)\left(y+\sqrt{y^2+1}\right)=\sqrt{x^2+1}-x\)

\(\Leftrightarrow y+\sqrt{y^2+1}=\sqrt{x^2+1}-x\)

Tương tự ta cũng có: \(x+\sqrt{x^2+1}=\sqrt{y^2+1}-y\)

suy ra \(x+y=-\left(x+y\right)\Leftrightarrow x+y=0\)

\(M=10x^4+8y^4-15xy+6x^2+5y^2+2017\)

\(=18x^4+26x^2+2017\ge2017\)

Dấu \(=\)tại \(x=0\Rightarrow y=0\).

Ta sẽ chứng minh \(P_{min}=1\)

TH1: \(xyz=0\)

\(\Rightarrow x^2y^2z^2=0\Rightarrow x^4+y^4+z^4=1\)

\(P=x^2+y^2+z^2\ge\sqrt{x^4+y^4+z^4}=1\)

TH2: \(xyz\ne0\) , từ điều kiện, tồn tại 1 tam giác nhọn ABC sao cho \(\left\{{}\begin{matrix}x^2=cosA\\y^2=cosB\\z^2=cosC\end{matrix}\right.\)

\(P=cosA+cosB+cosC-\sqrt{2cosA.cosB.cosC}\)

Ta sẽ chứng minh \(cosA+cosB+cosC-\sqrt{2cosA.cosB.cosC}\ge1\)

\(\Leftrightarrow4sin\dfrac{A}{2}sin\dfrac{B}{2}sin\dfrac{C}{2}\ge\sqrt{2cosA.cosB.cosC}\)

\(\Leftrightarrow8sin^2\dfrac{A}{2}sin^2\dfrac{B}{2}sin^2\dfrac{C}{2}\ge cosA.cosB.cosC\)

\(\Leftrightarrow\dfrac{8sin^2\dfrac{A}{2}sin^2\dfrac{B}{2}sin^2\dfrac{C}{2}}{8sin\dfrac{A}{2}sin\dfrac{B}{2}sin\dfrac{C}{2}cos\dfrac{A}{2}cos\dfrac{B}{2}cos\dfrac{C}{2}}\ge cotA.cotB.cotC\)

\(\Leftrightarrow tan\dfrac{A}{2}tan\dfrac{B}{2}tan\dfrac{C}{2}\ge cotA.cotB.cotC\)

\(\Leftrightarrow tanA.tanB.tanC\ge cot\dfrac{A}{2}cot\dfrac{B}{2}cot\dfrac{C}{2}\)

\(\Leftrightarrow tanA+tanB+tanC\ge cot\dfrac{A}{2}+cot\dfrac{B}{2}+cot\dfrac{C}{2}\)

Ta có:

\(tanA+tanB=\dfrac{sin\left(A+B\right)}{cosA.cosB}=\dfrac{2sinC}{cos\left(A-B\right)-cosC}\ge\dfrac{2sinC}{1-cosC}=\dfrac{2sin\dfrac{C}{2}cos\dfrac{C}{2}}{2sin^2\dfrac{C}{2}}=cot\dfrac{C}{2}\)

Tương tự: \(tanA+tanC\ge cot\dfrac{B}{2}\) ; \(tanB+tanC\ge cot\dfrac{A}{2}\)

Cộng vế với vế ta có đpcm

Vậy \(P_{min}=1\) khi \(\left(x^2;y^2;z^2\right)=\left(1;0;0\right)\) và các hoán vị hoặc \(\left(x^2;y^2;z^2\right)=\left(\dfrac{1}{2};\dfrac{1}{2};\dfrac{1}{2}\right)\)