用向量投影证明点到直线距离公式。