I ixbo100 New member Joined Apr 29, 2017 Messages 1 Apr 29, 2017 #1 I'm getting a refresher on logs for my CS class. We're working with log base 2. I'm having trouble figuring out why 2 ^ (log base 2 of x) = x Appreciate your help, thank you!
I'm getting a refresher on logs for my CS class. We're working with log base 2. I'm having trouble figuring out why 2 ^ (log base 2 of x) = x Appreciate your help, thank you!
tkhunny Moderator Staff member Joined Apr 12, 2005 Messages 11,325 Apr 29, 2017 #2 Couple ways to go about it. Write it in logarithmic form using this equivalence \(\displaystyle log_{b}(a) = c \iff b^{c} = a\) \(\displaystyle 2^{log_{2}(x)} = x \iff log_{2}(x) = log_{2}(x)\) Introduce a logarithm using this ides, \(\displaystyle If\;a^{b} = c\;then\;log\left(a^{b}\right) = log(c)\;\) \(\displaystyle If \;2^{log_{2}(x)} = x \; then \; log_{2}\left(2^{log_{2}(x)}\right) = log_{2}(x)\) There may be other useful demonstrations. Last edited: Apr 29, 2017
Couple ways to go about it. Write it in logarithmic form using this equivalence \(\displaystyle log_{b}(a) = c \iff b^{c} = a\) \(\displaystyle 2^{log_{2}(x)} = x \iff log_{2}(x) = log_{2}(x)\) Introduce a logarithm using this ides, \(\displaystyle If\;a^{b} = c\;then\;log\left(a^{b}\right) = log(c)\;\) \(\displaystyle If \;2^{log_{2}(x)} = x \; then \; log_{2}\left(2^{log_{2}(x)}\right) = log_{2}(x)\) There may be other useful demonstrations.
mmm4444bot Super Moderator Joined Oct 6, 2005 Messages 10,958 Apr 29, 2017 #3 ixbo100 said: Why is 2^(log base 2 of x) equal to x? Click to expand... Because logs are exponents. log2(x) is the exponent to which 2 must be raised in order for the power to equal x. :cool:
ixbo100 said: Why is 2^(log base 2 of x) equal to x? Click to expand... Because logs are exponents. log2(x) is the exponent to which 2 must be raised in order for the power to equal x. :cool:
J JeffM Elite Member Joined Sep 14, 2012 Messages 7,875 Apr 29, 2017 #4 This is very much in the spirit of the other two answers. \(\displaystyle \text {Let } z = 2^{log_2(x)} \implies log_2(z) = log_2 \left ( 2^{log_2(x)} \right ) \implies\) \(\displaystyle log_2(z) = log_2(x) * log_2(2) = log_2(x) * 1 = log_2(x) \implies\) \(\displaystyle z = x \implies 2^{log_2(x)} = x.\)
This is very much in the spirit of the other two answers. \(\displaystyle \text {Let } z = 2^{log_2(x)} \implies log_2(z) = log_2 \left ( 2^{log_2(x)} \right ) \implies\) \(\displaystyle log_2(z) = log_2(x) * log_2(2) = log_2(x) * 1 = log_2(x) \implies\) \(\displaystyle z = x \implies 2^{log_2(x)} = x.\)
H HallsofIvy Elite Member Joined Jan 27, 2012 Messages 7,760 Apr 30, 2017 #5 The real question is what definitions of "exponentials" and "logarithms" are you using?