The question is from Washington's Elliptic Curves: Number Theory and Cryptography, Question 9.5.
The previous parts (which I have solved) are
(i) $\overline{j(\tau)}=j(-\overline{\tau})$,
(ii) if $\tau$ is in fundamental domain $\mathcal{F}$, then either $-\overline{\tau}\in\mathcal{F}$, or $\operatorname{re} \tau=-1/2$, or $|\tau|=1$ with $-1/2\leq \operatorname{re}(\tau)\leq 0$,
(iii) if $\tau\in\mathcal{F}$, $j(\tau)$ is real, then re $\tau=0$, re $\tau=-1/2$, or $|\tau|=1$ with $-1/2\leq \operatorname{re}(\tau)\leq 0$,
(iv) if $\tau\in\mathbb{H}$, $|\tau|=1$, then re $(-1/(\tau+1))=-1/2$,
(v) let $L$ be a lattice with $g_2(L)=-A$ and $g_3(L)=-B$, then there exists re $\tau'=0$ or $-1/2$, and $j(L)=j(\langle 1, \tau'\rangle)$.
The question I am stuck at is apparently the converse of (iv) in some sense. I have solved the case when re $\tau=0$, but am stuck when re $\tau=-1/2$. I am considering using some matrix in modular group $SL_2(\mathbb{Z})$, but the imaginary part of $\tau$ is giving me issues.
Thanks in advanced!