2

I ran across this simple identity yesterday, but can’t seem to find a way to get from one side to the other: $$ n^{2} = 4^{{\log_{2}}(n)}. $$

Wolfram Alpha tells me that it is true, but other than that, I’m stuck.

Haskell Curry
  • 19,524
Voo
  • 117
  • 2
    By the way, in mathematics you just use "$=$", not "$==$", to say that two things are equal. It's called the equals sign after all. –  Feb 07 '13 at 07:51

4 Answers4

5

$$4^{\log_2n}=\left(2^2\right)^{\log_2n}=2^{2\log_2n}=\left(2^{\log_2n}\right)^2=n^2$$

Brian M. Scott
  • 616,228
3

Recall that $$a^{\log_a(x)} = x \,\,\,\,\,\, \forall a,x >0$$ Hence, $$4^{\log_2(n)} = (2^{2})^{\log_2(n)} = (2^{\log_2(n)})^2 = n^2$$

  • Oh I'm an idiot, I forgot that apart from $(2^m)^n == 2^{m*n}$ we could also swap the m and n.. obvious now that someone tells me. – Voo Feb 07 '13 at 07:35
1

Take $\log_{2}$ of both sides and get $$n^{2} = 4^{{\log_{2}} n}$$ $$2\log_{2}n =2\log_{2}n $$

user 1591719
  • 44,216
  • 12
  • 105
  • 255
0

Let $n=2^t$ then for LHS we have : $n^2=(2^t)^2=2^{2t}$

and for RHS : $4^{Log_2 n}=4^{Log_2 2^t}=4^t=(2^2)^t=2^{2t}$

LHS = RHS $\square$

jimjim
  • 9,675