MathNet 2012 Câu hỏi 93

Cho các số thực dương $x,y$ thỏa $x^2+y^2=1$ và $(3x-4x^3)(3y-4y^3)=-\frac12$. Tính $x+y$.