(a^2+b^2)(x^2+y^2)=(ax+by)^2+(ay-bx)^2