Diosio, Вы, что называется, перемудрили. Тут не нужно никакой общей формулы для возведения в комплексную степень (по которой Вы потом ещё и неправильно посчитали). Достаточно просто записать основание степени в экспоненциальной форме, не забыв про неоднозначность аргумента:
![$$ (2i)^i=\left (e^{\ln 2}e^{i(\frac{\pi}{2}+2 \pi k)} \right )^i.$$ $$ (2i)^i=\left (e^{\ln 2}e^{i(\frac{\pi}{2}+2 \pi k)} \right )^i.$$](https://dxdy-04.korotkov.co.uk/f/b/6/f/b6ff588d541432f3f152920f372ee0a682.png)
Дальше сами считайте - тут не сложно.
Замечания.
1) Отдельно учитывать неоднозначность аргумента двойки (т.е. добавлять
![$2\pi n$ $2\pi n$](https://dxdy-01.korotkov.co.uk/f/0/b/f/0bf0bfced4cfe703c06decd5d7b8f61d82.png)
к
![$\ln 2$ $\ln 2$](https://dxdy-04.korotkov.co.uk/f/3/6/d/36d737270bf9ec2b9977e5b42fb9457382.png)
под экспонентой) нет необходимости, поскольку у нас уже есть аналогичное слагаемое в экспоненциальном представлении мнимой единицы и добавление ещё одного ничего принципиально не меняет:
![$e^{i2\pi n_1}e^{i2\pi n_2}=e^{i2\pi (n_1+n_2)} = e^{i2\pi k}$ $e^{i2\pi n_1}e^{i2\pi n_2}=e^{i2\pi (n_1+n_2)} = e^{i2\pi k}$](https://dxdy-04.korotkov.co.uk/f/f/8/1/f81bfdce791b9a354c737829811cfe4782.png)
, где
![$k=n_1+n_2$ $k=n_1+n_2$](https://dxdy-03.korotkov.co.uk/f/a/5/e/a5e14befd6345251d258437448b7f2dd82.png)
-- произвольное целое число.
2) Знак перед
![$i$ $i$](https://dxdy-04.korotkov.co.uk/f/7/7/a/77a3b857d53fb44e33b53e4c8b68351a82.png)
в показателе экспоненты может быть любым, поскольку
![$-\frac{\pi}{2}+2 \pi k = \frac{\pi}{2}+2 \pi (k-1)$ $-\frac{\pi}{2}+2 \pi k = \frac{\pi}{2}+2 \pi (k-1)$](https://dxdy-03.korotkov.co.uk/f/a/2/6/a263a5555c0b2c3c8ae97cefae6a362c82.png)
и переобозначив
![$k-1 \mapsto k$ $k-1 \mapsto k$](https://dxdy-03.korotkov.co.uk/f/a/4/8/a48c21f0bb9c45bf74f87f0f3cbabd5c82.png)
получим ту же формулу со знаком "
![$+$ $+$](https://dxdy-02.korotkov.co.uk/f/d/f/3/df33724455416439909c33a7db76b2bc82.png)
").