What is the best method for plotting complex inequalities on the complex plane?

[username12345]

Trying to plot the set of complex numbers \{z \in C | |z - i| \leq |z-1|\} on the complex plane.

I've tried by hand a few values for z, such as z = 1 - 2i, z = 2 + 2i, but the inequality isn't true.

How can I determine which values of z are true for this inequality?

 

[Mentallic]

Are you sure z=2+2i doesn't satisfy the inequality?

If you let z=x+iy and remember that |x+iy|=\sqrt{x^2+y^2} you should be able to get your answer in terms of x and y.

 

[tiny-tim]

Trying to plot the set of complex numbers \{z \in C | |z - i| \leq |z-1|\} on the complex plane.

Hi username12345!

Just pretend it's geometry …

if i and 1 are points, what words would you use to describe, geometrically, |z - i| ≤ |z - 1|?

 

[HallsofIvy]

To add to tiny-tim's hint: |b- a|, geometrically, is the distance between point a and b.

 

[username12345]

Are you sure z=2+2i doesn't satisfy the inequality?

Sorry, I've been staring at maths all weekend it's starting to all look the same.

Yeah it will be true because the displacement is the same on both axis. \sqrt(2^2 + 1^2) = \sqrt(1^2 + 2^2)

I will have to return to this problem later, my head hurts. Thanks for your help everyone.

 

[Mentallic]

I don't like to oppose a mentor's suggestion, but I try to avoid geometry whenever possible, especially when algebra provides a perfectly feasible solution. If you don't feel the same way, of course, just ignore my ramblings. (geometry in this case would be simpler, but that is only if you know where you are going with it. Algebra is a simple, fool proof step-by-step process)

\{z \in C | |z - i| \leq |z-1|\}

So if we let z=x+iy and substitute into the original question: |x+iy-i| \leq |x+iy-1|
and collect real and imaginary terms: |x+i(y-1)| \leq |(x-1)+iy|

Remember that: |a+ib|=\sqrt{a^2+b^2}

So now if we follow this rule, we have: \sqrt{x^2+(y-1)^2} \leq \sqrt{(x-1)^2+y^2}

and now you can simplify this inequality in terms of x and y. This will give you the cartesian inequality, but it is equivalent and can be copy-pasted onto the argand diagram.

 

[tiny-tim]

Nice one, Mentallic!

and you can use squares throughout, to avoid the √ at the end ​

 

[Mentallic]

Nice one, Mentallic!

and you can use squares throughout, to avoid the √ at the end ​

Darn this internet world. I'm detecting a hint of sarcasm, but can't be truly sure
The 2nd line really threw me off.

I know my recommended solution is silly and inferior compared to the simple geometry of this problem, but it's these silly moves that keep it interesting

 

[Office_Shredder]

Mentallic, the second line just means noting |a|<|b| if and only if |a|²<|b|² so your last line becomes

x^2+(y-1)^2} \leq \sqrt{(x-1)^2+y^2

It's fairly common when comparing absolute values to square them first because the algebra is always nicer at the end (in this case, you can just square both sides after getting rid of the absolute value signs, but it's good to know as a general rule)

 

[tiny-tim]

boo!

Darn this internet world. I'm detecting a hint of sarcasm, but can't be truly sure
The 2nd line really threw me off.

I'm detecting paranoia …​

my solution was a bit hand-wavy …

but yours is entirely analytic …

which in an analysis problem is actually quite appropriate! ​

 

[Mentallic]

Mentallic, the second line just means noting |a|<|b| if and only if |a|²<|b|² so your last line becomes

x^2+(y-1)^2} \leq \sqrt{(x-1)^2+y^2

It's fairly common when comparing absolute values to square them first because the algebra is always nicer at the end (in this case, you can just square both sides after getting rid of the absolute value signs, but it's good to know as a general rule)

Oh yeah. Since x and y are real, and the square root suggests they are positive, squaring both sides of the inequality is no problem.

I'm detecting paranoia …​

my solution was a bit hand-wavy …

but yours is entirely analytic …

which in an analysis problem is actually quite appropriate! ​

Why just stop there? I'm also feeling depression, lack of self-esteem and gastric bowel troubles
No but honestly, I just felt that my method was so simple-minded that you were simply mocking it

I'm glad you agree and please, sign a petition to ban the use of geometry

 

[tiny-tim]

support CAMREG!

I'm glad you agree and please, sign a petition to ban the use of geometry

oooh no … i like to sneak geometry in wherever i can!

support CAMREG! …
​

the CAMpaign for REal Geometry ​

 

[matt grime]

Geometry to understand and the algebra to compute ought to be the moral.

It may also help to plot the equality first, then decide which of the two regions the plane is separated into corresponds to the given inequality (the other part of the plane will correspond to the reverse inequality).

 

[HallsofIvy]

Here's my geometry solution: |z- i| is the distance from the point z= x+ iy and the point i. |z-1| is the distance from the point z= x+ iy to the point 1. The set of points for which |z- i|= |z- 1| is the perpendicular bisector of the line segment between i and 1. The set of points for which |z-i|\le |z- 1| is the set of points above and to the left of that bisector. That should be sufficient to plot the set which was what was required.

If you want more than that, go to Cartesian geometry: the segment from (0, 1) to (1, 0) has midpoint (1/2, 1/2) and slope -1. The perpendicular must have slope 1 and pass through (1/2, 1/2): y= x. The set of points such that |z-i|\le|z-1| is \{x+ iy | x\le y\}.

I don't believe all that algebra was simper or more accurate than that!