We're constantly mixing real and complex numbers. We apply indice laws, multiplication, division, addition & subtraction laws, factorisation laws, even calculus laws to complex numbers, the way we do to real numbers.
The fact that it is positive or negative does not neccessarily place it within the real field, as the fact that being in the real field does not automaticall classify it as one of the two - 0, though in the real field, is neither positive or negative. The term (-i) is itself testimony to the fact that we perceive i as having some sign, though as to which, we're uncertain.
The idea was meant to be that you can't use the same method for ln (-1) [for which the solution is i*pi, by the way), because it's negative, and therefore, you cannot evaluate it within the real field, because, as you have pointed out, it proves a contradiction. Similarly, when applying logarithm laws to ln (i), you end up with a contradiction, and a complex solution. Therefore, my point was that there is a case to be made for i<0. The fact that both processes are questionable due to the same line in the proof - where ln (-1), or ln (i) is stated, is the basis of this argument - I am not attempting to prove that ln (i) = 0. of applying such laws to both negative and complex numbers is the basis upon which my
For the record: e^ix = cis (x)
e^i(pi/2) = cos (pi/2) + isin *pi/2) = i
Therefore, ln (i) = i*pi/2