高中数学，平面向量问题，这一步是怎么推导的，或者用了什么公式？。