# Maths question

**URL:** <https://boards.straightdope.com/t/maths-question/199422>\
**Category:** Factual Questions\
**Created:** [September 3, 2003, 10:52pm UTC](https://boards.straightdope.com/t/maths-question/199422 "2003-09-03T22:52:53Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![MC\_Master\_of\_Ceremonies](https://avatars.discourse-cdn.com/v4/letter/m/bb73d2/32.png) [@MC\_Master\_of\_Ceremonies](https://boards.straightdope.com/u/MC_Master_of_Ceremonies)\
**Post date:** [September 3, 2003, 10:52pm UTC](https://boards.straightdope.com/t/maths-question/199422/1 "2003-09-03T22:52:53Z")

</div>

What is the solution for x in the equation x[sup]2[/sup] = 2[sup]x[/sup]?

---

<div class="post-metadata">

**Author:** ![Q.E.D](https://avatars.discourse-cdn.com/v4/letter/q/51bf81/32.png) [@Q.E.D](https://boards.straightdope.com/u/Q.E.D)\
**Post date:** [September 3, 2003, 11:02pm UTC](https://boards.straightdope.com/t/maths-question/199422/2 "2003-09-03T23:02:43Z")

</div>

It has two solutions: 2 and 4. Don’t ask me about the math, I just slapped together a quick and dirty program to figure it out.

---

<div class="post-metadata">

**Author:** ![William\_Ashbless](https://avatars.discourse-cdn.com/v4/letter/w/a87d85/32.png) [@William\_Ashbless](https://boards.straightdope.com/u/William_Ashbless)\
**Post date:** [September 3, 2003, 11:05pm UTC](https://boards.straightdope.com/t/maths-question/199422/3 "2003-09-03T23:05:49Z")

</div>

There’s no nice algebraic way to solve this one, I don’t think. Solution-by-inspection, or maybe a Taylor series expansion of 2[sup]x[/sup] might be the way to take a stab at it.

But you have your answer anyway.

---

<div class="post-metadata">

**Author:** ![MC\_Master\_of\_Ceremonies](https://avatars.discourse-cdn.com/v4/letter/m/bb73d2/32.png) [@MC\_Master\_of\_Ceremonies](https://boards.straightdope.com/u/MC_Master_of_Ceremonies)\
**Post date:** [September 3, 2003, 11:12pm UTC](https://boards.straightdope.com/t/maths-question/199422/4 "2003-09-03T23:12:00Z")

</div>

I think it’s got three solutions, but I’m not sure.

---

<div class="post-metadata">

**Author:** ![William\_Ashbless](https://avatars.discourse-cdn.com/v4/letter/w/a87d85/32.png) [@William\_Ashbless](https://boards.straightdope.com/u/William_Ashbless)\
**Post date:** [September 3, 2003, 11:15pm UTC](https://boards.straightdope.com/t/maths-question/199422/5 "2003-09-03T23:15:25Z")

</div>

It should, actually, on the -x side.

At x=0, 2[sup]x[/sup] is 1, and is still decreasing as you go towards more negative x. However, x[sup]2[/sup] is at 0 and starts increasing again.

A simple binary search’d get the answer fast enough for government work.

---

<div class="post-metadata">

**Author:** ![Q.E.D](https://avatars.discourse-cdn.com/v4/letter/q/51bf81/32.png) [@Q.E.D](https://boards.straightdope.com/u/Q.E.D)\
**Post date:** [September 3, 2003, 11:15pm UTC](https://boards.straightdope.com/t/maths-question/199422/6 "2003-09-03T23:15:38Z")

</div>

Well, I ran my program with a range of -10000 to 10000 and it only spat out 2 and 4. I also ran it with the constant from 2 to 6. Interestingly, out of those, only 2 and 4 had the two solutions 2 and 4, all the others had only only the one solution constant (k) = x.

---

<div class="post-metadata">

**Author:** ![MC\_Master\_of\_Ceremonies](https://avatars.discourse-cdn.com/v4/letter/m/bb73d2/32.png) [@MC\_Master\_of\_Ceremonies](https://boards.straightdope.com/u/MC_Master_of_Ceremonies)\
**Post date:** [September 3, 2003, 11:22pm UTC](https://boards.straightdope.com/t/maths-question/199422/7 "2003-09-03T23:22:01Z")

</div>

the third solution is roughly -0.7666.

---

<div class="post-metadata">

**Author:** ![William\_Ashbless](https://avatars.discourse-cdn.com/v4/letter/w/a87d85/32.png) [@William\_Ashbless](https://boards.straightdope.com/u/William_Ashbless)\
**Post date:** [September 3, 2003, 11:23pm UTC](https://boards.straightdope.com/t/maths-question/199422/8 "2003-09-03T23:23:44Z")

</div>

Yup, got that myself. Damn, you beat me to it. _Your code-fu is faster than mine. 😃_

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [September 3, 2003, 11:55pm UTC](https://boards.straightdope.com/t/maths-question/199422/9 "2003-09-03T23:55:08Z")

</div>

This was just done in the past three months, and someone did link to an algebraic solution. It was fairly clever. No idea who the OP was, but I briefly mentioned Lambert’s W function, and that may help searches.

---

<div class="post-metadata">

**Author:** ![Q.E.D](https://avatars.discourse-cdn.com/v4/letter/q/51bf81/32.png) [@Q.E.D](https://boards.straightdope.com/u/Q.E.D)\
**Post date:** [September 3, 2003, 11:56pm UTC](https://boards.straightdope.com/t/maths-question/199422/10 "2003-09-03T23:56:01Z")

</div>

Out of curiosity, I ran it through MathCad and it spit out [this algebraic solution.](http://www.ringaroundthenosi.com/images/formula.jpg). Don’t ask me what W is. Can anyone explain this solution?

---

<div class="post-metadata">

**Author:** ![spinky](https://avatars.discourse-cdn.com/v4/letter/s/59ef9b/32.png) [@spinky](https://boards.straightdope.com/u/spinky)\
**Post date:** [September 4, 2003, 12:00am UTC](https://boards.straightdope.com/t/maths-question/199422/11 "2003-09-04T00:00:05Z")

</div>

There was recently a thread on this (which I’m at a loss as to how to search for) where a linked page had a derived solution, and I believe there is a large number (infinite?) of non-integer solutions.

The linked page was one in a series that was something along the lines of “properties of interesting numbers”.

---

<div class="post-metadata">

**Author:** ![MC\_Master\_of\_Ceremonies](https://avatars.discourse-cdn.com/v4/letter/m/bb73d2/32.png) [@MC\_Master\_of\_Ceremonies](https://boards.straightdope.com/u/MC_Master_of_Ceremonies)\
**Post date:** [September 4, 2003, 12:04am UTC](https://boards.straightdope.com/t/maths-question/199422/12 "2003-09-04T00:04:08Z")

</div>

> [@](#):
>
> \*Originally posted by ultrafilter \*  
> \*\*This was just done in the past three months, and someone did link to an algebraic solution. It was fairly clever. No idea who the OP was, but I briefly mentioned Lambert’s W function, and that may help searches. \*\*

No that was slightly different, then I was looking for solutions to the more generalized x[sup]y[/sup] = y[sup]x[/sup]

Really all I want is the exact surd form for the third solution.

---

<div class="post-metadata">

**Author:** ![wolf\_meister](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/wolf_meister/32/15202_2.png) [@wolf\_meister](https://boards.straightdope.com/u/wolf_meister)\
**Post date:** [September 4, 2003, 12:11am UTC](https://boards.straightdope.com/t/maths-question/199422/13 "2003-09-04T00:11:42Z")

</div>

I figured I’d attempt to solve it algebraically even though all 3 roots have been found.

I took the log of both sides which gives us:

2_log(x) = x_log(2) then:

2/(log(2)) = x/(log(x)) then:

6.643856190 = x/(log(x))

Well that’s as far as I got.

Anyone care to continue ?

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [September 4, 2003, 12:18am UTC](https://boards.straightdope.com/t/maths-question/199422/14 "2003-09-04T00:18:20Z")

</div>

The third solution may well be transcendental, which won’t help you–I think, cause surd’s not a common term in America these days.

Mathworld describes Lambert’s W function, which is what showed up in **Q.E.D.**'s solution.

---

<div class="post-metadata">

**Author:** ![wolf\_meister](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/wolf_meister/32/15202_2.png) [@wolf\_meister](https://boards.straightdope.com/u/wolf_meister)\
**Post date:** [September 4, 2003, 12:53am UTC](https://boards.straightdope.com/t/maths-question/199422/15 "2003-09-04T00:53:34Z")

</div>

Wow !!!  
You math “dopers” are fast !!!  
I typed in my reply after I read the reply from \*\*William\_Ashbless \*\* and in the meantime, 4 postings went through !!

---

<div class="post-metadata">

**Author:** ![biqu](https://avatars.discourse-cdn.com/v4/letter/b/7feea3/32.png) [@biqu](https://boards.straightdope.com/u/biqu)\
**Post date:** [September 4, 2003, 12:59am UTC](https://boards.straightdope.com/t/maths-question/199422/16 "2003-09-04T00:59:51Z")

</div>

[Here’s](http://boards.straightdope.com/sdmb/showthread.php?s=&threadid=204375) the other thread started by MC Master of Ceremonies.

---

<div class="post-metadata">

**Author:** ![Scoo8b](https://avatars.discourse-cdn.com/v4/letter/s/e9c0ed/32.png) [@Scoo8b](https://boards.straightdope.com/u/Scoo8b)\
**Post date:** [September 4, 2003, 2:29am UTC](https://boards.straightdope.com/t/maths-question/199422/17 "2003-09-04T02:29:43Z")

</div>

As a cool side note (at least for me), I solved the equation "X^2 = 2^x) with my TI-89 and and it said busy in the corner for about 15 seonds and then gave me this warning message right next to the busy signal “Warning, there may be more solutions” and then it gave me the 3 solutions from above. (2, 4, -7.6)

Anyway, I’ve never had it give me a busy signal for near that long or a warning message like that before…

---

<div class="post-metadata">

**Author:** ![Sacroiliac](https://avatars.discourse-cdn.com/v4/letter/s/ecb155/32.png) [@Sacroiliac](https://boards.straightdope.com/u/Sacroiliac)\
**Post date:** [September 4, 2003, 3:12am UTC](https://boards.straightdope.com/t/maths-question/199422/18 "2003-09-04T03:12:31Z")

</div>

Are there any perfectly acceptable math problems that have exact answers but cannot be solved analyticaly? If so is there an underlying meaning to this?

> [@](#):
>
> The third solution may well be transcendental

What exactly does “transcendental” mean? I see this used all the time but I never know what it means.

---

<div class="post-metadata">

**Author:** ![biqu](https://avatars.discourse-cdn.com/v4/letter/b/7feea3/32.png) [@biqu](https://boards.straightdope.com/u/biqu)\
**Post date:** [September 4, 2003, 3:27am UTC](https://boards.straightdope.com/t/maths-question/199422/19 "2003-09-04T03:27:23Z")

</div>

> [@](#):
>
> _Originally posted by Sacroiliac_  
> Are there any perfectly acceptable math problems that have exact answers but cannot be solved analyticaly? If so is there an underlying meaning to this?

There are a great deal of examples for your first question. One of the most remarkable results of Galois theory (a branch of abstract algebra) declared that the general solution of polynomial equations of degree greater than four cannot be expressed using radicals. I suppose that’s what you meant by “solved analytically”.

> [@](#):
>
> What exactly does “transcendental” mean? I see this used all the time but I never know what it means.

A real number is called algebraic if it is the root of a polynomial with integer coefficients. A real number that is not algebraic is called transcendental. Interestingly, there are more transcendental numbers than algebraic numbers (since the former set is uncountable, while the latter set is countable).

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [September 4, 2003, 3:28am UTC](https://boards.straightdope.com/t/maths-question/199422/20 "2003-09-04T03:28:46Z")

</div>

> [@](#):
>
> \*Originally posted by Sacroiliac \*  
> **Are there any perfectly acceptable math problems that have exact answers but cannot be solved analyticaly? If so is there an underlying meaning to this?**

Yes, very many. Considering that most real numbers don’t have names, all the ones we see exact solutions for are special cases.

I refer you to the works of Chaitin and Gödel.

\*\*

> [@](#):
>
> What exactly does “transcendental” mean? I see this used all the time but I never know what it means. \*\*

A transcendental real is one which is not the root of a polynomial with integer coefficients.

[Next page](https://boards.straightdope.com/t/maths-question/199422.md?page=2)
