Realmente está tudo certo.
Como
[tex3]w[/tex3] possui módulo igual a 1, o número complexo resultado do produto
[tex3]z\cdot w[/tex3] terá o mesmo módulo de
[tex3]z[/tex3], ou seja, ambos pertencerão à circunferência de centro na origem do plano e raio igual a
[tex3]\mid z\mid[/tex3].
A medida que
[tex3]z[/tex3] se aproxima de um dos vértices do quadrado, o raio da circunferência aumenta e se este ultrapassar a distância da origem do plano a um dos lados do quadrado (que é a mesma para os 4 lados) algum trecho da circunferência ficará fora do quadrado e, dependendo de
[tex3]\theta[/tex3],
[tex3]z\cdot w[/tex3] poderá estar localizado nessa parte, fazendo com que não pertença à A.
No final do post tem uma demonstração com o Geogebra.
Informações sobre a demonstração:
[tex3]z_1[/tex3] é o número complexo
[tex3]z=x+iy[/tex3]. Você pode movê-lo livremente, mas, como
[tex3](x,y)\in A[/tex3], você deve mantê-lo dentro do quadrado destacado.
[tex3]w=a+ib[/tex3] é um número complexo de módulo igual a 1. Para conseguir isso, fiz
[tex3]b=\sqrt{1-a^2}[/tex3].
Você pode movê-lo de forma limitada mexendo no controle deslizante vinculado à variável
[tex3]a[/tex3], que é o que define a parte real do número.
O número 1 próximo ao segmento que vai do centro do plano ao número complexo
[tex3]w[/tex3] corresponde à sua medida. É um valor calculado dinamicamente e serve como prova de que o módulo de
[tex3]w[/tex3] sempre é igual a 1.
O número
[tex3]z_2[/tex3] é resultado do produto
[tex3]z\cdot w[/tex3]. Como você poderá observar ao alterar a posição de
[tex3]w[/tex3] a partir do controle deslizante,
[tex3]z_2[/tex3] irá deslizar pela circunferência.
Se você deslizar
[tex3]z_1[/tex3] o suficiente (ultrapassar a circunferência vermelha), alguns trechos da circunferência móvel irá ultrapassar o quadrado e mexendo no controle deslizante que determina
[tex3]w[/tex3], você conseguirá em algum momento posicionar
[tex3]z_2[/tex3] fora do polígono.
Demonstração