E.g. I have the question:
$$2^{4x+1} = 128$$
I solved this by knowing that $128 = 2^7$ and therefore $x$ must equal $1.5$.
However, is there a way of solving this without knowing that $128 = 2^7$?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityE.g. I have the question:
$$2^{4x+1} = 128$$
I solved this by knowing that $128 = 2^7$ and therefore $x$ must equal $1.5$.
However, is there a way of solving this without knowing that $128 = 2^7$?
... and without logarithms or knowing any powers of $2$ other than the most trivial one ... \begin{align*} 2^{4x+1} &= 128 \\ 2^{4x+1-1} = 2^{4x} &= 128/2 = 64 \\ 2^{4x-1} &= 32 \\ 2^{4x-2} &= 16 \\ 2^{4x-3} &= 8 \\ 2^{4x-4} &= 4 \\ 2^{4x-5} &= 2 \\ 2^{4x-6} &= 1 = 2^0 \text{,} \\ \end{align*} so $4x-6 = 0$ and $x = 6/4 = 3/2$.
$2^{4x+1}=128\iff$
$\log_22^{4x+1}=\log_2128\iff$
${4x+1}=7\iff$
${4x}=6\iff$
${x}=6/4$
$2^{4x+1}=128$
$\log 2^{4x+1}=\log 128$
$(4x + 1) \times \log 2 = \log 128$ - from properties of logs
$x = \frac{1}{4}(\frac {\log 128}{log (2)} - 1) = 3/2$
note that you can use any logarithm, log base 10 or 'ln' - or any other 'base' of logarithms you might have (with log10 and loge being the commonly found ones on calculators, spreadsheets etc ) you have to use your chosen type of log consistently of course
To solve your equation, take the base-2 logarithm of both sides:
$$ \log_2 2^{4x+1} = \log_2 128 $$ $$ 4x+1 = 7 $$ $$ x = 1.5$$
However, is there a way of solving this without knowing that $128=2^7$?
Well, this piece of information is equivalent to “knowing that $\log_2 128 = 7$”, so no.
It's very easy. Let's assume we have
$$k_1 ^ {k_2 * x + k_3} = k_4 $$
Where all the $k$'s are knowns, and the x is unknown.
We begin by removing the $k_3$ from the result ($k_4$) by dividing it by $k_1 ^ {k_3}$. The result thus obtained should be equal to:
$$k_1 ^ {k_2 * x}$$
As you can see we no longer have to deal with the $k_3$. Next we raise the result above to the power of $\frac{1}{k_2}$. That is, we find out what number we have to raise to the power of $k_2$ to reach at the result $k_1 ^ {k_2 * x}$. The answer should be equal to:
$$k_1 ^ x$$
Now finally from this result we can find out the value of $x$ by using a mathematical operation that lets us know, what number you have to raise a known other number to, to reach at a known result.
This operation is the logaritm. It's method of use is as follows: Let's assume $a ^ b = c$. The logarithm can be used to find out $b$, and it is then written as $\log_a c$.
So, to find out x in the result above, we use $\log_{k_1} result$ where $result$ is the value of the result obtained from previous operations.
$$2^{4x+1}=128\\\vphantom{\cfrac11}4x+1=7\\\vphantom{\cfrac11}4x=6\\\vphantom{\cfrac11}x=\frac64=\frac32$$
This is done as one would usually have:
$$2^y=128\iff y=\log_2(128)=7$$
Let's assume we have
$$k_1 ^ {k_2 * x + k_3} = k_4, $$
where all the $k$s are known and the $x$ is unknown. As with almost all problems in elementary algebra, the goal is to isolate (i.e., solve for) $x$, and each step we take will be with that in mind.
We begin by removing the $k_3$ from the left-hand side of the equation by dividing it by $k_1 ^ {k_3}$. The equation thus obtained is:
$$k_1 ^ {k_2 * x} = \frac{k_4}{k_1 ^ {k_3}}.$$
As you can see, we no longer have to deal with the $k_3$ in the left-hand side. Next we further isolate $x$ on the left-hand side by raising both sides of the equation to the power of $\frac{1}{k_2}$. The resulting equation is:
$$k_1 ^ x = {(\frac{k_4}{k_1 ^ {k_3}})}^{\frac{1}{k_2}}.$$
Now finally we can isolate $x$ by using a mathematical operation that lets us invert exponentiation; i.e., it lets us know what number we have to raise a given number to the power of in order to reach at a known result.
This operation is the logarithm. Its definition is as follows: Let's assume $a ^ b = c$. The logarithm can be used to find out $b$, and it is then written as $$b = \log_a(c).$$
(Note that $a$ is called the base of $\log_a$, since it's the base of the exponential expression $a^b$.)
So, to isolate $x$ in the equation above, we use $\log_{k_1}$ to produce the equation $$x = \log_{k_1}({(\frac{k_4}{k_1 ^ {k_3}})}^{\frac{1}{k_2}}).$$
Note that logarithm rules can simplify this formula to
$$x = \frac{\log_{k_1}(k_4) - k_3}{k_2}.$$
As others have pointed out, however, when applied to the original problem, all of this fancy shuffling reduces to knowing that $128 = 2^7$ or, in the parlance of logarithms, $7 = \log_2(128).$ But what if we didn't have this special knowledge? What if the original equation were something like $54^{17x + 99} = 42$? How the heck could we reasonably solve that equation?
We do this by manipulating logarithms. It turns out that we've found two types of logarithms really useful, to the point that most standard calculators come equipped with them: the logarithms based in the number 10 and the well-known constant $e$. These both make sense, because our everyday number system uses 10s, and $e$ has some special properties that aren't relevant to this particular discussion. Regardless, $\log_e$ is used so often it's often called the natural logarithm, and the base is usually omitted (so that when you see $\log(c)$ it's understood to mean $\log_e(c)$).
So now, since we can easily work with logarithms in either of these bases (even if we have no idea what $e$ actually is or what it's otherwise used for), we just have to wonder whether or not there's a way for turning a logarithm based in an arbitrary number, say $a$, to a logarithm based in $e$ (or 10). And there is! Here's a formula for changing bases on a logarithm, from base $a$ to base $t$ (for arbitrary values of $a$ and $t$):
$$\log_{t}(c) = \frac{\log_a(c)}{\log_a(t)}.$$
(This formula isn't too difficult to prove, but it relies on some properties of logarithms that are also beyond the scope of this discussion, so we make take it as given.)
Augmenting our cooked-up formula with the change of base formula gets us
$$ x = \frac{\log_{k_1}(k_4) - k_3}{k_2} = \frac{\frac{\log(k_4)}{\log(k_1)} - k_3}{k_2}.$$
Now, that looks like a bit of intimidating alphabet soup, but it's not too difficult to replace all the $k$s with their respective numbers from the original problem. This yields $k_1 = 2$, $k_2 = 4$, $k_3 = 1$, and $k_4 = 128.$ Thus
$$ x = \frac{\frac{\log(128)}{\log(2)} - 1}{4} = \frac{7 - 1}{4} = \frac{6}{4} = 1.5.$$
It is left as an exercise for the reader to solve $54^{17x + 99} = 42$ for $x$, using this or any other method.
A question one can play around with: Is it possible to generalise our formula to quadratic polynomials? To general polynomials in the reals? To general complex polynomials? If you know, you may want to answer my question Name and Generalise This Linear Exponent Formula.
I would go with the bisection method, because the next problem may not have nice integer solutions. For example, what if the right side of the equation is 138 instead of 128?
So start f(x) = 2^(4*x+1). Let L = 0 and U = 10. Verify that f(L) < 128 and also f(U) > 128.
Calculate m = (L+U)/2 and f(m). If f(m) < 128, let L=m and repeat. If f(m)>128, let U=m and repeat. If f(m)=0, let x=m and quit.
This process may never get you an exact solution, but L and U will approach each other and sandwich the solution close enough for all practical purposes.
I confess, this was inspired by my recent discovery of how Euler computed logarithms to 40 or more places.