User talk:Telliott99/Sandbox

I wanted to write a geometric version of Perpendicular Bisector is Locus of Points Equidistant from Endpoints, both forward and converse, without using Pythagoras's Theorem. I plan to use this as a lemma. I don't know what would be a good name. --Telliott99 (talk) 22:00, 18 October 2023 (UTC)

So I realized belatedly that the admins moved a proof here and I need to undo the most recent stuff, but I can't undo it. Will work on it later, I guess. --Telliott99 (talk) 22:38, 18 October 2023 (UTC)