Imaginary^Imaginary

Algebra Level 4

i i = ( e i π / 2 ) i = e π / 2 i^i = \big(e^{ i \pi / 2} \big)^i = e^{- \pi / 2} It is (initially) surprising that an imaginary number raised to an imaginary number results in a real number.

Characterize all positive k k such that
( i k ) i k R . (ik)^{ik} \in \mathbb{R}.


Note: 0 0 0 ^ 0 is undefined.

k ln k = n , n N k \ln k = n , n \in \mathbb{N} k ln k = 2 n , n N k \ln k = 2n, n \in \mathbb{N} k ln k = 2 n π , n N k \ln k = 2 n \pi, n \in \mathbb{N} k ln k = n π , n N k \ln k = n \pi, n \in \mathbb{N}

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Michael Huang
Dec 30, 2016

Express ( i k ) i k = i i k k i k = ( i i ) k k i k = e π 2 k k i k \begin{array}{rl} (ik)^{ik} &= i^{ik} \cdot k^{ik}\\ &= \left(i^i\right)^k \cdot k^{ik}\\ &= e^{-\frac{\pi}{2}k} \cdot k^{ik} \end{array} The first factor is a real number, so it remains to focus on the second factor k i k k^{ik} , which leads to the possible solutions. Observe that k i k = e i k ln ( k ) = cos ( k ln ( k ) ) + i sin ( k ln ( k ) ) \begin{array}{rl} k^{ik} &= e^{ik\ln(k)}\\ &= \cos\left(k\ln(k)\right) + i\sin\left(k\ln(k)\right) \end{array} For k i k R k^{ik} \in \mathbb{R} , we need sin ( k ln ( k ) ) = 0 \sin\left(k\ln(k)\right) = 0 . Then, k ln ( k ) = n π k\ln(k) = n\pi for integer n Z n \in \mathbb{Z} . Thus, the solutions are k ln ( k ) = n π , n N \boxed{k\ln(k) = n\pi,\, n\in\mathbb{N}} (as given), which also makes e π 2 k e^{-\frac{\pi}{2}k} real.

this problem inspired this

Rohith M.Athreya - 4 years, 5 months ago

Excellent... I have the same approach!

Prokash Shakkhar - 4 years, 5 months ago

please explain the 2nd line because a x y = ( a x ) y a^{xy} = (a^x)^y is not an algebraic identity if a a is not a non-negative number. . So , i do not think that you can write i i k i^{ik} as ( i i ) k (i^i)^k . @Michael Huang

Ujjwal Mani Tripathi - 4 years, 5 months ago

Log in to reply

Here, we consider i = 1 i = \sqrt{-1} as the principal root, which is nonnegative.

Michael Huang - 4 years, 5 months ago

Log in to reply

I mean that it is valid if and only if 'a' is a non negative REAL number . According to what you say this example will also be correct , i 4 π = ( i 4 ) π = 1 π = 1 i^{4\pi} = (i^4)^{\pi} = 1^{\pi} = 1 . but we all know that i 4 π i^{4\pi} is an imaginary quantity . @Michael Huang

Ujjwal Mani Tripathi - 4 years, 5 months ago

Log in to reply

@Ujjwal Mani Tripathi I see what you are saying here. Sorry for the misunderstanding.

Michael Huang - 4 years, 5 months ago

I thought 0^0 was, in fact, defined to be 1, just as 0! is defined to be 1.

Tom Capizzi - 4 years, 5 months ago

Being k R + k \in \mathbb{R}^{+} , ln ( i k ) = { ln i k + i α ; α arg(ik) } \ln (ik) = \{\ln |ik| + i\cdot \alpha; \space \alpha \in \text{arg(ik)}\} . Taking the main branch of the multivaluated function arg, (i.e, Arg ( ) \text{ Arg} (\cdot) and sorry, because I'm not giving the domain and codomain of Arg ( ) \text{ Arg} (\cdot) ), we can say predetermined ln ( i k ) = ln k + i π 2 \ln (ik) = \ln |k| + i\cdot \frac{\pi}{2} \Rightarrow (remembering k R + k \in \mathbb{R}^{+} ) ( i k ) i k = e i k ( ln k + i π 2 ) = e ( k π 2 + i k ln k ) = e k π 2 e i k ln k \large (ik)^{ik} = e^{ik \cdot (\ln k + i\cdot \frac{\pi}{2})} = e^{(-\frac{k\pi}{2} + ik \cdot \ln k)} = e^{-\frac{k\pi}{2}} \cdot e^{ik \cdot \ln k} and hence, ( i k ) i k R k ln k = n π ; such that n Z (ik)^{ik} \in \mathbb{R} \iff k \cdot \ln k = n\pi; \text{ such that } n \in \mathbb{Z}

l n ( i k ) = ln ( i ) + ln ( k ) ln(ik) = \ln(i) + \ln(k) Sir , how do you say that ln ( i ) = ( i π ) / 2 \ln(i) =(i\pi)/2

Ujjwal Mani Tripathi - 4 years, 5 months ago

Log in to reply

Don't call me sir, you are my friend, I told you...

Guillermo Templado - 4 years, 5 months ago

Log in to reply

thank you friend :)

Ujjwal Mani Tripathi - 4 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...