2

I saw this particular line slammed in a proof and it bothers me I can't understand why this is obvious and how would one justify this : $$ 7^{\log (n)} = n^{\log (7)} $$

Can anyone explain ?

hutcher
  • 23

4 Answers4

1

$$7^{\ln n}=\exp (\ln 7 \ln n)=n^{\ln 7}.$$

TZakrevskiy
  • 22,980
1

Take $\log$ of the LHS

\begin{equation} \begin{aligned} \log{(7^{\log{n}}}) =& (\log{n})(\log{7}) \\ =& \log{(n^{\log{7}}}) \end{aligned} \end{equation}

Then removing the log we took earlier we can clearly see $7^{\log{n}} = n^{\log{7}}.$

Hope this helps.

Rammus
  • 2,517
  • I think you need to make a comment about the $\log$ function. For example, $(+1)^2=(-1)^2$ but you can't just remove the square to derive $+1=-1$... – JP McCarthy Nov 12 '14 at 17:12
0

$$7^{\log n}=7^{\frac{\log_7(n)}{\log_7(10)}}=7^{\log_7(n^{1/\log_7(10)})}=n^{1/\log_7(10)}=n^{\log_7(7)/\log_7(10)}=n^{\log(7)}$$

0

I think everyone is missing the point that the definition for $x^\alpha$ for irrational $\alpha$ is

$$x^\alpha =e^{\alpha\ln x}.$$

This is why the other answers make sense.

JP McCarthy
  • 8,420
  • I think actually that's exactly the property that the accepted answer used. Answers that took different approaches ended up more complicated, I think. – David K Nov 12 '14 at 13:34
  • I agree but it is a definition rather than a property. We only have $\exp(\ln 7\ln n)=n^{\ln 7}$ by definition of $n^\alpha$ for $\alpha$ irrational. – JP McCarthy Nov 12 '14 at 15:16
  • 1
    I was using the word "property" as a superset of "definition." One could also say this property holds by definition. – David K Nov 12 '14 at 16:58