高一向量证明题已知向量OP1+OP2+OP3=0,|OP1|=|OP2|=|OP3|=1,求证△P1P2P3是正三角形.