Resolução:
A equação dada é:
1 + z + z^2 + z^3 + z^4 + z^5 = 0
Sabendo que a soma acima representa uma progressão geométrica de razão z, e notando que z = 1 não é raiz da equação (pois 1 + 1 + 1 + 1 + 1 + 1 = 6 \neq 0), podemos reescrevê-la multiplicando ambos os lados por (z - 1):
\frac{z^6 - 1}{z - 1} = 0 \implies z^6 = 1, \quad \text{com } z \neq 1
As soluções dessa equação são as raízes sextas da unidade, exceto o número 1. Pelo Teorema de De Moivre, as 5 raízes são dadas por:
z_k = \cos\left(\frac{2k\pi}{6}\right) + i\cdot\text{sen}\left(\frac{2k\pi}{6}\right) = \cos\left(\frac{k\pi}{3}\right) + i\cdot\text{sen}\left(\frac{k\pi}{3}\right), \quad k \in \{1, 2, 3, 4, 5\}
Portanto, o espaço amostral possui 5 elementos equiprováveis, e todas as raízes têm módulo igual a 1 (|z| = 1).
Fazendo z = x + yi, com x, y \in \mathbb{R}, temos que x = \text{Re}(z) = \cos\left(\frac{k\pi}{3}\right) e |z|^2 = x^2 + y^2 = 1.
Agora, analisamos a inequação dada:
\left| z - \frac{3}{2} \right| \le \frac{\sqrt{7}}{2}
Como ambos os membros são não negativos, podemos elevá-los ao quadrado:
\left| z - \frac{3}{2} \right|^2 \le \left(\frac{\sqrt{7}}{2}\right)^2
\left(x - \frac{3}{2}\right)^2 + y^2 \le \frac{7}{4}
x^2 - 3x + \frac{9}{4} + y^2 \le \frac{7}{4}
Substituindo x^2 + y^2 = 1:
1 - 3x + \frac{9}{4} \le \frac{7}{4}
-3x \le \frac{7}{4} - \frac{13}{4}
-3x \le -\frac{6}{4} \implies x \ge \frac{1}{2}
Assim, uma raiz z_k satisfaz a inequação se, e somente se, sua parte real for maior ou igual a \frac{1}{2}, isto é:
\cos\left(\frac{k\pi}{3}\right) \ge \frac{1}{2}
Testando para os valores possíveis de k \in \{1, 2, 3, 4, 5\}:
- Para k = 1: \cos\left(\frac{\pi}{3}\right) = \frac{1}{2} \ge \frac{1}{2} (satisfaz)
- Para k = 2: \cos\left(\frac{2\pi}{3}\right) = -\frac{1}{2} < \frac{1}{2} (não satisfaz)
- Para k = 3: \cos(\pi) = -1 < \frac{1}{2} (não satisfaz)
- Para k = 4: \cos\left(\frac{4\pi}{3}\right) = -\frac{1}{2} < \frac{1}{2} (não satisfaz)
- Para k = 5: \cos\left(\frac{5\pi}{3}\right) = \frac{1}{2} \ge \frac{1}{2} (satisfaz)
Dentre as 5 raízes da equação, apenas 2 (z_1 e z_5) satisfazem a condição. Logo, a probabilidade P pedida é:
P = \frac{2}{5}
Resposta final: 2/5