Verifique que a EDO é exata e encontre uma solução que satisfaça y(1)=1. (\cos (y)+y \cos (x)) d x+(\operatorname{sen}(x)-x \operatorname{sen}(y)) d y=0
e pede para verificar que ela é exata e, em seguida, encontrar a solução que satisfaça y(1)=1. Vamos usar o método de equações exatas, que consiste em identificar