ABは直線と垂直でABの中点は直線上にある。