Cho hệ [tex]\left\{ \begin{array}{l} cos x = x^2 \\ y* tany = 1 \end{array} \ right.[text\] CMR hệ có nghiệm (x, y) duy nhất thỏa mãn 0 < x < y < 1