证明两线垂直,在平面直角坐标系中