简单三角恒等已知x+y=(根号2)sin(a+π/4),x-y=(根号2)sin(a-π/4),求证x^2+y^2=1