Given Euclidean geometry, how to generate for any pair of distinct points and , for any factor , two halfplanes and , where consists of all points with ? In the simple case where , it's easy. You just draw a line through and , half it and draw the perpendicular line through the center of the line. But how do you do it otherwise?