4.4 Equidistant Theorem
How would you describe the blue line p with respect to the segment with endpoints A and B? What exactly is line p?
Notice how point C always stays on line p. What can you conclude about the distances AC and BC?
Formally prove, (in the format of a 2-column proof, paragraph proof, or coordinate-geometry proof), that your conclusion for (2) is true for any point C that lies on line p.