已知x的平方sina y的平方cosa=1