a*b=(√3/2,-1/2)(1/2,√3/2)=0,a的模=b的模=1
由于 x垂直y,则[a+(t^2-k)b][-sa+tb]=-sa^2+tab-s(t^2-k)ab+t(t^2-k)b^2=-s+t(t^2-k)=0
所以s=t(t^2-k)