@eloi cevaba epeyce yaklaşmıştı.
(Eksenleri bu şekilde çizerek) Doğruyu x-ekseni olarak, noktayı da (pozitif) y-ekseni üzerinde kabul edebiliriz.
O noktasının doğruya uzaklığı d olsun. O zaman O(0,d) olur.
a<d ise istenen özellikte nokta yoktur.
a=d ise sadece O dan doğruya çizilen dik doğru parçasının üzerindeki noktalar bu eşitliği sağlar (\{(0,y):0\leq y\leq d\})
Sadece a>d durumu ilginçtir.
Düzlemde, bir P(x,y) noktasının x-eksenine uzaklığı |y| olduğu için, bu kümede olması için gerek ve yeter şart:
\sqrt{x^2+(y-d)^2}+|y|=a olmasıdır.
\sqrt{x^2+(y-d)^2}=a-|y|.
x^2-2dy+2a|y|=a^2-d^2
y\geq0 iken:
y=\frac{a^2-d^2-x^2}{2(a-d)}
y\leq0 iken:
y=\frac{x^2-a^2+d^2}{2(a+d)}
bulunur. Geometrik yer, eloi nin çizimindeki gibi, iki parabol parçasının birleşimidir.
K=\{(x,\frac{a^2-d^2-x^2}{2(a-d)}):-\sqrt{a^2-d^2}\leq x\leq\sqrt {a^2-d^2}\}\cup\{(x,\frac{x^2-a^2+d^2}{2(a+d)}):-\sqrt{a^2-d^2}\leq x\leq\sqrt{a^2-d^2}\}
olarak yazılabilir.
Edit: "döğru" yazmışım, düzelttim.