No, it's already a proof. But with some details to be filled in.
In my diagram, it is assumed that k > 1. (if 0 < k < 1, the circle will be around point A instead).
And it has also to be proved when P is on the far end of the diameter, though it's quite easy.
This circle satisfies the locus of point P. Can some point F lies inside or outside the circle still satisfies the condition?
Now AP:BP = k : 1. Can FA be k(d-x) so that AF:BF= k : 1.? No, that should be FG which is parallel to AP.
So F cannot lie inside the circle. It can be proved impossible outside the circle similarly. So the circle is the only locus.