两向量相互垂直的充要条件