(1+i1−i)k=1
(1+i)k=(1−i)k
\sum_{j=0}^k {k\choose j}i^j = \sum_{j=0}^k {k\choose j}i^j*(-1)^j
Como (-1)^{even} = 1 (-1)^{odd} = -1
\sum_{j=0;j odd}{k\choose j}i^j =0
Como i^{4k + 1} = i i^{4k - 1} = -i
necesitamos encontrar el más pequeño de k donde \sum_{h=0}^{4h+1 \le k}{k\choose 4h+1} =\sum_{h=1}^{4h-1 \le k}{k\choose 4h-1}.
{k \choose 4h -1} = {k\choose k -4h + 1} así que si k = 4m g = m-h tendremos {k\choose 4h -1} = {k \choose k - 4h + 1} = {k\choose 4(m-h) + 1} = {k\choose 4g + 1} cualquier k = 4m será una solución para k =4 será una solución.
Es fácil demostrar directamente que k = 1,2,3 no son:
1 + i \ne 1 -i
(1+i)^2 =1 + 2i -1 \ne 1 - 2i -1 =(1-i)^2
(1+i)^3 = 1 + 3i + 3i^2 + i^3 = -2 + 2i \ne 2-2i = 1 - 3i + 3i^2 -i^3 = (1+i)^3
Sin embargo (1 + i)^4 = 1 + 4i + 6i^2 + 4i^3 + i^4 = 1 - 4i^3 + 6i^2 - 4i + i^4 = 1 - 4i + 6i^2 - 4i^3 + i^4 = (1 - i)^4.