Can anyone help me or at least give me some hints
how to prove following inequality :
$ \lvert z-a\rvert \le \lvert \lvert a\rvert-\lvert z\rvert\rvert + \lvert z\rvert*\lvert arg (z/a)\rvert $
for any $ z, a \in \Bbb C, a \neq 0$
Can anyone help me or at least give me some hints
how to prove following inequality :
$ \lvert z-a\rvert \le \lvert \lvert a\rvert-\lvert z\rvert\rvert + \lvert z\rvert*\lvert arg (z/a)\rvert $
for any $ z, a \in \Bbb C, a \neq 0$
I hope this image helps as a hint.
The messy algebraic part seems proving that $$\left|z-|a|\cdot e^{i\arg z}\right|\le|z|\cdot\left|\arg\left(\frac za\right)\right|$$ (That is, the arc is longer than the chord).