定义向量的运算（其中为向量的夹角），设为非零向量，则下列说法正确的是      ．
①是非负实数
②若向量共线, 则有=0
③若向量垂直，则有=0
④若能构成三角形，则三角形面积