The quickest method I know:
No need for all them assumptions and calculations.Assume the locus is defined by Arg(z - a) - Arg(z - b) = x.
If x is positive, the locus of z is the circular arc from a to b in an anti-clockwise direction.
If x is negative, the locus of z is the circular arc from a to b in a clockwise direction.