用向量法求证cosA+cosB+cosC