@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≤y≤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:
√x2+(y−d)2+|y|=a olmasıdır.
√x2+(y−d)2=a−|y|.
x2−2dy+2a|y|=a2−d2
y≥0 iken:
y=a2−d2−x22(a−d)
y≤0 iken:
y=x2−a2+d22(a+d)
bulunur. Geometrik yer, eloi nin çizimindeki gibi, iki parabol parçasının birleşimidir.
K={(x,a2−d2−x22(a−d)):−√a2−d2≤x≤√a2−d2}∪{(x,x2−a2+d22(a+d)):−√a2−d2≤x≤√a2−d2}
olarak yazılabilir.
Edit: "döğru" yazmışım, düzelttim.