–
Concept:
A line s is the perpendicular bisector of JK if s ⟂ JK and s passes through the midpoint of JK; equivalently, any point on s is equidistant from J and K.
– One clear example: Let J=(0,0), K=(4,0).
Midpoint M=(2,0).
The perpendicular bisector is x=2. Take P=(2,3) on s.
PJ = PK = sqrt(2^2 + 3^2) = sqrt(13).
– Brief example: If J=(0,0) and K=(4,0), s: x=2 is the perpendicular bisector; point (2,1) on s is equidistant to J and K (distances sqrt(5) each).