计算题 根据n维向量的定义证明：对任意n维向量α，有（1）0α=0；（2）（-1）α=-α；（3）k0=0（任意数k）；（4）从kα=0推出k=0或α=0。