若a=(√3,-1),b=(1/2,√3/2),且存在实数k和t,使得x=a+(t^2-3)b,y=-ka+tb,且x⊥