a^2+b^2=1,x^2+y^2=1
所以设a=cosα,b=sinα x=cosβ,y=sinβ
ax+by=cosαcosβ+sinαsinβ=cos(α-β) ,显然 α,β不相关,cos(α-β)∈[-1,1]
最小值=-1