已知向量a=(√3,-1),向量b=(1/2,√3/2),存在实数k和t,使得x=a+(t^2-3)b,y=-ka+tb