x的平方+y的平方=1 求证(ax-by)的平方+(ay+bx)的平方等于一