(xb)^2+(ya)^2=0, x^2+y^2=1, a^2+b^2=1