(3, 5) を通る垂直な直線の方程式。