已知向量a=(2cosA,-2sinA),b=(sinA,cosA)
(1)求证:向量a垂直向量b
(2)若存在不等于0的实数k和t,使x=a+(t^2-3)b,y=-k*a+t*b,且班组x垂直y,试求此时(k+t^2)/t的最小值.
注意:题目中的a、b、x、y均为向量,k、t为实数