1.a $\left|\sqrt3+i\right|=\sqrt{3+1}=2$ ; un argument $\alpha$ vérifie $\cos\alpha=\dfrac{\sqrt3}{2}$ et $\sin\alpha=\dfrac12$, donc $\alpha\equiv\dfrac{\pi}{6}\ [2\pi]$ et $\sqrt3+i=2\,e^{i\frac{\pi}{6}}$. Idée : élever une forme exponentielle à une puissance, c'est élever le module et multiplier l'argument. $\left(\sqrt3+i\right)^6=2^6\,e^{i\frac{6\pi}{6}}=64\,e^{i\pi}=-64$.
1.b D'après 1.a, $-64=\left(\sqrt3+i\right)^6$, et $\sqrt3+i\neq0$. Donc $z^6=-64\iff z^6=\left(\sqrt3+i\right)^6\iff\dfrac{z^6}{\left(\sqrt3+i\right)^6}=1\iff\left(\dfrac{z}{\sqrt3+i}\right)^6=1$.
1.c Idée : on écrit l'inconnue sous forme exponentielle et on identifie modules et arguments. $u=0$ n'est pas solution ; on pose $u=r\,e^{i\varphi}$ avec $r>0$. Alors $u^6=1\iff r^6e^{6i\varphi}=1\iff r^6=1$ et $6\varphi\equiv0\ [2\pi]\iff r=1$ et $\varphi=\dfrac{k\pi}{3}$, $k\in\mathbb Z$. Les valeurs $k=0,1,\dots,5$ donnent six nombres distincts (leurs arguments sont distincts dans $[0,2\pi[$) et toute autre valeur de $k$ redonne l'un d'eux : les solutions de $u^6=1$ sont $u_k=e^{i\frac{k\pi}{3}}$, $k\in\{0,\dots,5\}$. D'après 1.b, $z$ est solution de $(E)$ si et seulement si $z=\left(\sqrt3+i\right)u_k=2\,e^{i\frac{\pi}{6}}e^{i\frac{k\pi}{3}}=2\,e^{i\left(\frac{\pi}{6}+\frac{k\pi}{3}\right)}$. Sous forme algébrique : $z_0=2e^{i\frac{\pi}{6}}=\sqrt3+i$, $z_1=2e^{i\frac{\pi}{2}}=2i$, $z_2=2e^{i\frac{5\pi}{6}}=-\sqrt3+i$, $z_3=2e^{i\frac{7\pi}{6}}=-\sqrt3-i$, $z_4=2e^{i\frac{3\pi}{2}}=-2i$, $z_5=2e^{i\frac{11\pi}{6}}=\sqrt3-i$. Conclusion : $S_{\mathbb{C}}=\left\{\sqrt3+i\,;\,2i\,;\,-\sqrt3+i\,;\,-\sqrt3-i\,;\,-2i\,;\,\sqrt3-i\right\}$.
2.a $OA_k=|z_k|=2$ : les six points sont sur $\Gamma$. $A_0$ est le point de $\Gamma$ d'ordonnée $1$ et d'abscisse positive (droite $y=1$), $A_1$ le point $(0\,;2)$, et $A_2$ le symétrique de $A_0$ par rapport à l'axe $\left(O,\vec v\right)$.
2.b $\dfrac{z_{k+1}}{z_k}=e^{i\left(\frac{\pi}{6}+\frac{(k+1)\pi}{3}-\frac{\pi}{6}-\frac{k\pi}{3}\right)}=e^{i\frac{\pi}{3}}$, et $\dfrac{z_0}{z_5}=e^{i\left(\frac{\pi}{6}-\frac{11\pi}{6}\right)}=e^{-i\frac{5\pi}{3}}=e^{i\frac{\pi}{3}}$. *Idée : un quotient de module $1$ et d'argument $\frac{\pi}{3}$ donne un triangle isocèle d'angle au sommet $\frac{\pi}{3}$, donc équilatéral.* Chaque fois $OA_{k+1}=OA_k$ (module $1$) et $\left(\overrightarrow{OA_k},\overrightarrow{OA_{k+1}}\right)\equiv\dfrac{\pi}{3}\ [2\pi]$ : le triangle $OA_kA_{k+1}$ est isocèle en $O$ avec un angle de $\dfrac{\pi}{3}$ en $O$, donc équilatéral, de côté $2$. Il en est de même de $OA_5A_0$.
2.c D'après 2.b, les six côtés $A_0A_1,\dots,A_5A_0$ valent $2$, et les six sommets sont sur le cercle $\Gamma$ : l'hexagone, inscrit dans $\Gamma$ et dont tous les côtés sont égaux, est régulier. Il est formé des six triangles équilatéraux de côté $2$, d'aire $\dfrac{\sqrt3}{4}\times2^2=\sqrt3$ chacun : son aire vaut $6\sqrt3$ (unités d'aire).
3.a $\left(z^2+4\right)\left(z^4-4z^2+16\right)=z^6-4z^4+16z^2+4z^4-16z^2+64=z^6+64$.
3.b Idée : une équation de degré 4 a au plus quatre solutions ; on les cherche parmi celles déjà connues. D'après 3.a, $z_k$ solution de $(E)$ signifie $z_k^2=-4$ ou $z_k^4-4z_k^2+16=0$. Or $z^2=-4\iff z=2i$ ou $z=-2i$, c'est-à-dire $z_1$ ou $z_4$. Les quatre autres solutions $z_0$, $z_2$, $z_3$, $z_5$ vérifient $z_k^2\neq-4$, donc elles annulent le second facteur ; une équation de degré $4$ ayant au plus quatre solutions, ce sont toutes. Conclusion : les solutions de $z^4-4z^2+16=0$ sont $\sqrt3+i$, $-\sqrt3+i$, $-\sqrt3-i$ et $\sqrt3-i$.
3.c D'après 2.b, $z_k=z_0q^k$ avec $q=e^{i\frac{\pi}{3}}\neq1$ et $q^6=e^{2i\pi}=1$. Donc $z_0+\dots+z_5=z_0\dfrac{1-q^6}{1-q}=0$ (contrôle : $z_{k+3}=-z_k$, les termes s'annulent deux à deux). L'isobarycentre des six sommets est donc $O$ : c'est le centre de l'hexagone.