Calculating $Arg(x+iy)-Arctg(\frac{y}{x})$

I was given the following question:

Denote $Arg(z)$ as the Principal branch of $arg(z)$ that have values in $(-\pi,\pi]$,

Denote $Arctg(x)$ as the Principal branch of $arctg(x)$ that have values in $(-\frac{\pi}{2},\frac{\pi}{2})$

Calculate $Arg(x+iy)-Arctg(\frac{y}{x})$ where $x,y\in\mathbb{R}$ and $x\neq0$.

I need some help with this question, there are some things that are unclear to me:

1) What does it mean that $Arctg(x)$ as the Principal branch of $arctg(x)$ that have values in $(-\frac{\pi}{2},\frac{\pi}{2})$ ? its $tg(x)$ that (if we restrict its domain) have values in $(-\frac{\pi}{2},\frac{\pi}{2})$ and not $arctg(x)$

2) I thought that if $z=x+yi$ then $z=|z|e^{iarctg(\frac{y}{x})}$ , so I thought that the answer should be $0$, but was being told I am wrong.

Can someone please help and explain what does $Arg(x+iy)$ mean compared to $Arctg(\frac{y}{x})$ and how to calculate both of them ?

note that in class the lecture did not formally define $Arg(...)$ , he only said that we want $\theta$ in the representation $re^{i\theta}$ to be unique so we choose some range for $\theta$ so we will not have $\theta,\theta+2\pi k$ as options where $0\neq k\in\mathbb{Z}$

• tan(alpha) has values from minus infinity to infinity, as its argument alpha ranges from $-\pi/2$ to $\pi/2$. – g.castro Nov 2 '12 at 11:15
• Your $\text{Arg}$ is what in programming is called $\text{arctan2}$ so maybe this page will help you understand the difference of $\arctan$ and $\text{arctan2}$. – Fabian Nov 2 '12 at 11:17
• I suggest to compute the values in a few cases, then you will see what is going on. For example, for x=1, y=1 you get $\pi/4-\pi/4 =0$. But for example for x=-1, y=1 you will see that the values of Arg(x+iy) (which has to be in $(-\pi,\pi]$ and arctg(y/x) (which has to be less than $\pi/2$) differ. – g.castro Nov 2 '12 at 11:19
• Yes, it is all about playing with $\pm \pi$, other differences cannot there be. For example, compare the given values for $(1,1)$ and $(-1,-1)$, etc. – Berci Nov 2 '12 at 11:58

The function $\arctan$ is defined on ${\mathbb R}$. For a given $t\in{\mathbb R}$ it gives the unique angle $\alpha\in\ \bigl]{-{\pi\over2}},{\pi\over2}\bigr[\$ such that $t=\tan\alpha$. It follows that $\arctan{y\over x}$ is defined whenever $x\ne0$. But note that $\arctan{-y\over -x}=\arctan{y\over x}$. The domain of the function $(x,y)\mapsto\arctan{y\over x}$ is painted green in the following figure.

The function ${\rm Arg}$ is defined on the slit plane $C':={\mathbb C}\setminus\{z| z\leq0\}$, painted amber in the following figure. For a given $z\in C'$ it gives the unique angle $\phi\in\ ]{-\pi},\pi[\$ such that $z=|z| e^{i\phi}=|z|(\cos\phi+ i\sin\phi)$. When $z=x+iy$ and $x\ne0$ then ${y\over x}={\sin\phi\over\cos\phi}=\tan\phi$. Therefore $\arctan{y\over x}=\phi- k\pi$ for a $k\in{\mathbb Z}$, or $${\rm Arg}(x+iy)-\arctan{y\over x}= k\pi\ .$$ It remains to determine the ominous $k$, which may depend on $x$ and $y$. Looking at the figure below we see that $${\rm Arg}(x+iy)-\arctan{y\over x}=\cases{-\pi &(x<0,\ y<0) \cr 0&(x>0)\cr \pi&(x<0,\ y>0)\cr}\quad.$$ • Thank you for your answer. what do you mean by $z\leq 0$ ? – Belgi Nov 6 '12 at 17:15
• @Belgi: "$z\leq0$" is a slick way of writing "$\ z$ real and $\leq0\$". – Christian Blatter Nov 6 '12 at 19:44

A principal branch is a function which selects one branch, or "slice", of a multi-valued function.

$\text {arg}(z=a+ib)= \{\varphi_i \ | \ \cos \varphi_i=a/|z| \ , \ \sin \varphi_i =b/|z| \ \}$, since $z=|z| \cdot (\cos \varphi + i \cdot \sin \varphi)$ this is why even though $\text {arctg}(x)$ is $\pi-$periodic.

$$\text {arg}(z) = \{\varphi + 2k\pi, \ k\in \mathbb Z, \ \varphi = \text {arctg}(b/a)\in ]-\pi, \ \pi]\ \}$$

But $\text {arctg}(x)$ on the other hand is simply

$$\text {arctg}(x)=\{\varphi + k\pi, \ k\in \mathbb Z, \ \varphi \in ]-\pi, \ \pi]\ \}$$

Both $\text {arg}(z)$ and $\text {arctg}(x)$ have many possible values but according to your question, by using the function (notation) $\text {Arg}(z)$ and $\text {Arctg}(x)$ (note the capitalized $\text A$), we are only interested in values in the given range i.e.

$$\text {Arg}(z)=\text {arg}(z) \ \bigcap \ ]−π,\ π]$$ $$\quad \quad \ \ \ \ \ \text {Arctg}(x)=\text {arctg}(x)\ \bigcap \ ]− π/2,\ π/2[$$

The complex logarithm is a perfect example of a multi-valued function. Given $z=a+ib$ the $\mathrm{log}(z)= w\ |\ e^w=z$ and since $z=\sqrt{a^2+b^2}\cdot e^{\ i\cdot(\mathrm {arctg}(b/a) + 2\pi k)}$ where $k$ is any integer, then $\mathrm{log}(z)= \ln(\sqrt{a^2+b^2}) + i\cdot(\mathrm {arctg} (b/a) + 2\pi k)$. This gives a sequence of different values for just one value of $z\ne 0$.

The notation $\mathrm{Log}(z)$ (note the start with a capital $\text L$) is mostly used to denote the principal value of $\mathrm{log}(z)$. For a complex number $z\ne 0$, the principal value $\text {Log} (z)$ is the logarithm whose imaginary part lies in the interval $]−π,π]$.

Back to your question. Given $z=x+iy\ne 0$, then $\text {arg}(z)$ and $\text {arctg}(y/x)$ both take the sequence of values I gave above but by using $\text {Arg}(z)$ and $\text {Arctg}(y/x)$ they are defined in the given intervals.

If $\text {Arctg}(y/x) = \theta \in ]−π/2,\ π/2[$, then $\text { arctg}(y/x) =\{\theta + k\pi , \ \forall k\in \mathbb Z\}$

Since $]−π/2,\ π/2] \subset ]−π,\ π]$ let's consider the following cases for $\text{Arctg(y/x)}$ where

• $]-\pi/2, \ 0[\quad \Rightarrow \quad -1 < \sin \theta<0, \ \ 0<\cos \theta<1, \text { possibly$x>0$,$y<0$and$y/x \le0$}$
• $[0, \ \pi/2[\quad \Rightarrow\quad 0 \le \sin \theta<1, \ \ 0<\cos \theta\le 1, \text { possibly$x>0$,$y\ge0$and$y/x \ge0$}$

If we divide the interval $]−π,\ π]$ into four for cases of $\text{Arg(z)}$

• $]−π,\ -π/2]$ $\quad \Rightarrow\quad$ $-1\le\sin \theta < 0$, $-1<\cos \theta \le 0$ and $y/x \ge 0$
• $]−π/2,\ 0]$ $\quad \Rightarrow\quad$ $-1<\sin \theta \le 0$, $0< \cos \theta \le 1$ and $y/x \le 0$
• $]0,\ π/2]$ $\quad \Rightarrow\quad$ $0<\sin \theta \le 1$, $0\le \cos \theta < 1$ and $y/x \ge 0$
• $]π/2,\ π]$ $\quad \Rightarrow\quad$ $0\le\sin \theta < 1$, $-1\le \cos \theta < 0$ and $y/x \le 0$
1. If $x\le 0$ and $y< 0$ then $\text{Arg(z)} = \theta \in ]-\pi, \ -\pi/2]$ then $\text{Arctg}(y/x) = \theta+\pi \in ]0, \ \pi/2[$ and we have $\text{Arg}(z)-\text{Arctg}(y/x) = -\pi$
2. If $x >0$ and $y\le 0$ then $\text{Arg(z)} = \theta \in ]-\pi/2, \ 0]$ then $\text{Arctg}(y/x) = \theta \in ]-\pi/2, \ 0[$ and we have $\text{Arg}(z)-\text{Arctg}(y/x) = 0$
3. If $x\ge 0$ and $y> 0$ then $\text{Arg(z)} = \theta \in ]0,\ π/2]$ then $\text{Arctg}(y/x) = \theta \in ]0,\ π/2]$ and we have $\text{Arg}(z)-\text{Arctg}(y/x) = 0$
4. If $x< 0$ and $y\ge 0$ then $\text{Arg(z)} = \theta \in ]\pi/2, \ π]$ then $\text{Arctg}(y/x) = \theta-\pi \in ]-\pi/2, \ 0[$ and we have $\text{Arg}(z)-\text{Arctg}(y/x) = \pi$

P.S. The most important thing to know is that $\text {arctg}(y/x)$ only cares about the sign of $y/x$ but $\text {arg}(z)$ cares about the sign of both $x$, $y$ and $x/y$.