Tient, les énoncée ont changés....
Pour l'exo 1), les 3 inéquations impliquent que :
\!+(z^2\!+\!x^2)\!+(x^2\!+\!y^2)= 2x^2\!+2y^2\!+2z^2)
c'est à dire
\!+\!f(y)\!+\!f(z)\!\geq\!0\ (\star))
où
\!=\!2t^2\!-\!\dfrac{t}{\sqrt{1\!-\!t^2}})
Or, pour tout

on a :
\!\leq\!0<br />\ \Leftrightarrow\ 2t\sqrt{1\!-\!t^2}\!\leq\!1<br />\ \Leftrightarrow\ 4t^2(1\!-\!t^2)\!\leq\!1<br />\ \Leftrightarrow\ 0\!\leq\!4t^4\!-4t^2\!+1<br />\ \Leftrightarrow\ 0\!\leq\!\big(2t^2\!-1\big)^{\!2})
donc pour tout

on a
\!\leq\!0)
avec égalité ssi

c'est à dire

.
L'inégalité
)
n'est donc vérifiée que pour

et il est clair que dans ce cas là, les trois inégalités de départ sont bien vérifiées.
L'exercice 2) il est totalement couillon : si on note

la symétrie orthogonale par rapport à (AK) alors :
- Vu que (AK), est la bissectrice de l'angle (BAC),

envoie la droite (AB) sur (AC).
- Vu que le triangle ADK est rectangle en D, son cercle circonscrit c'est celui de diamètre [AK] donc la symétrie

laisse le cercle globalement invariant.
Et on en déduit évidement que s(E)=F et donc que AE=AF.