The complex number \(z_1\) is such that \(z_1 = a + ib\), where \(a\) and \(b\) are positive real numbers.
- Given that \(z_1^2 = 2 + 2i\), show that \(a = \sqrt{\sqrt{2} + 1}\) and find the exact value of \(b\) in a similar form. [5]
The complex number \(z_2\) is such that \(z_2 = -a + ib\).
- Determine \(\arg z_2\) as a rational multiple of \(\pi\).
[You may use the result \(\tan(\frac{1}{8}\pi) = \sqrt{2} - 1\).] [2]
- The point \(P_n\) in an Argand diagram represents the complex number \(z_2^n\), for positive integers \(n\). Find the least value of \(n\) for which \(P_n\) lies on the half-line with equation
$$\arg(z) = \frac{1}{4}\pi.$$ [3]