3
$\begingroup$

Is there a rule for adding exponential terms of like bases just like there are rules for multiplying and dividing such terms?

For example we know that:

$x^1 \cdot x^2 = x^{1+2} = x^3$

But what about for addition (or subtract for that matter)?

$x^1 + x^2 = x^?$

If no such pattern exists, why is that?

$\endgroup$
5
  • $\begingroup$ only that you can factor out such an $x$. For example $x+x^2=x(x+1)$. $\endgroup$ Mar 14, 2012 at 16:41
  • 1
    $\begingroup$ In general, it’s fruitless to ask why some formulation or other is not true. Why? Because in mathematics, nothing is true at all, unless there’s a proof that it’s true. In mathematics, we don’t proceed from rules to examples, we proceed from examples to rules, in spite of the way students are being taught in schools. In this sense, mathematics is truly an experimental science. $\endgroup$
    – Lubin
    May 9, 2016 at 15:41
  • 2
    $\begingroup$ $$?=\log_x(x^1+x^2)$$ $\endgroup$
    – user65203
    May 9, 2016 at 15:45
  • $\begingroup$ @YvesDaoust Haha like really. !!! 😂😂😂😂😂😂😂 $\endgroup$
    – user531445
    Feb 27, 2018 at 16:52
  • $\begingroup$ For the record, I suggested an edit adding the tag "exponentiation", but it was rejected. $\endgroup$
    – Later
    Jul 6 at 9:46

5 Answers 5

5
$\begingroup$

You can factor $x^1+x^2$ into $x(1+x)$, but it is not a power. There is no addition law for powers in the way you posit because positive integer powers equal repeated multiplication, not addition:

$$x^{n+m}=\underbrace{x\cdot x\cdot x\cdots x}_{n+m}=\underbrace{x\cdot x\cdots x}_n\cdot\underbrace{x\cdot x\cdots x}_m=x^{n}\cdot x^m.$$

However, the addition law would work for multiplication by integers, rather than integer powers:

$$(n+m)x=\underbrace{x+ x+ x\cdots x}_{n+m}=\underbrace{x+x\cdots x}_n \,+\, \underbrace{x+x\cdots x}_m =nx+mx.$$

Again, with $n+m$ a positive integer. There are conceptual quandries about repeated operations here that I will not go into, but suffice it to say these repetition formulas hold as valuable cases.

$\endgroup$
1
  • $\begingroup$ there is some kind of rule though. $$ 2^4 + 2^2 = 20 $$ $$ log_2(20) = 4.3219280949 $$ $$ 20 - 2^4 = 4 $$ $$ 2^.3219280949 = 1.25 = 5/4 $$ $\endgroup$
    – William
    Oct 7, 2014 at 3:01
2
$\begingroup$

Observe that $ \log(A+B) = \log(A) + \log \left(\frac{B}{A} + 1 \right) $. Using this fact, one can show that $ \begin{align} \log (x^a + x^b) &= \log(x^a) + \log ( x^{b-a} + 1 ) \\ &= a\log x + \log ( x^{b-a} + 1 ) \\ &= \log x \left( a + \frac{\log ( x^{b-a} + 1 )}{\log x} \right) \\ \Rightarrow x^a + x^b &= x^{\left( a + \frac{\log ( x^{b-a} + 1 )}{\log x} \right)} \\ \text{In your case, with }& a=1, b=2, \text{ we get} \\ x^1 + x^2 &= x^{\left( 1 + \frac{\log ( x + 1 )}{\log x} \right)} \end{align} $

$\endgroup$
2
$\begingroup$

Hint $\,\ x + x^2\, =\, x^n,\ \ n> 1\:$ has at most $\:n\:$ roots over a field (or domain) so it cannot possibly hold true for all elements in an infinite domain.

$\endgroup$
2
  • $\begingroup$ In what way does $x\cdot x^2=x^n$ differ ? $\endgroup$
    – user65203
    May 9, 2016 at 15:47
  • $\begingroup$ @YvesDaoust It differs only in that there is a value $\,n = 3\,$ where it becomes an equality of polynomials, i.e. their difference is the zero polynomial, which has infinitely many roots (every element) in an infinite domain. This cannot occur in the case in the answer. $\endgroup$ May 9, 2016 at 16:08
0
$\begingroup$

You can say that $x^1+x^2=x(x+1)$ or $x^a+x^b=x^a(1+x^{b-a})$ by the distributive law, but there is no $k$ such that $x^1+x^2=x^k$

$\endgroup$
1
  • $\begingroup$ Certainly there is such a $k$: $k = \log_x (x^1 + x^2)$. It's just that $k$ depends on $x$ and is not very simple. $\endgroup$ Mar 15, 2012 at 2:41
0
$\begingroup$

formula

I'm not sure what it's called or who discovered it, I just came across it.

$\endgroup$
3
  • 2
    $\begingroup$ In general you should cite your source ("I just came across it") and give an explanation. Otherwise it makes a fairly poor occasion for Readers to learn from what you write. $\endgroup$
    – hardmath
    Jan 4, 2016 at 15:20
  • 1
    $\begingroup$ @hardmath It was discovered by a youtuber called GradeAUnderA, he has said that he still has the paper but it isn't on arXiv or anything like that. He also says it is a pretty bad proof which might not actually be right. $\endgroup$
    – Nico A
    Jan 5, 2016 at 11:52
  • $\begingroup$ Seriously? Its not self-explanatory? It's not a unique result and I'd expect most readers here to be able to verify it for themselves. Just... do it. $x^n + y^m = x^m + x^{\log_x y}=x^m(1 + x^{\frac {\log y}{\log x}})=....$ etc. $\endgroup$
    – fleablood
    Nov 27, 2016 at 17:44

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .