设α1，α2，α3，α4 是三维实向量，则()。