So, we know that the range of x values is given by
}{2})
, because this is what

is.
To find the range of values that this can take, just do what you would for anything - graph

against

, and see what values come up for

. You should see that

can take on any value between

and

.
This is how we got the bit in set notation. For the cartesian form, we know that

(as proven earlier), so that means that we have the equation

, and the domain of this equation is given by the range of x values, since this cartesian equation is built off of the parametric equations

and

.
For the second part, if I were to visualise the tracing of the loci made by M, we'd get another ellipse OR a circle. To tell the difference, we check whether or not

. In this case,

or

for the locus of M to give us a circle. (this is required for the next part of the question, I noticed) However, b was already defined such that
)
, so b cannot take those values, and we must get an ellipse.