Sendo $x>45^{\circ }$, calcular os menores arcos positivos $x$ e $y$ que satisfazem:$$\{\begin{array}{l}\mathrm{sen}x-{\cos }^{2}y=\frac{\sqrt{3}–1}{2}\\ se{n}^{2}y-\cos x=0\end{array}$$