Perp bisector and collinearity