Suggest a change

These fields are all optional and need only
be supplied if you would like a direct reply.

Subject
Your email address
Your real name

You must answer this!

If you don't, my spam filtering will
ensure that I never see your email.

What's 8 plus five (in digits only)?

Please make your changes here and then
Editing tips and layout rules.

File: EmergingEExpanded

''' <link rel="alternate" type="application/rss+xml"
'''       href="/rss.xml" title="RSS Feed">

********> width="25%"
|>>
''' <a title="Subscribe to my feed"
'''    rel="alternate"
'''    href="https://www.solipsys.co.uk/rss.xml">
'''    <img style="border-width: 0px;"
'''         src="https://www.feedburner.com/fb/images/pub/feed-icon32x32.png"
'''         align="middle"
'''         alt="" />Subscribe!</a>
_
''' <a href="https://twitter.com/ColinTheMathmo">
''' <img src="https://www.solipsys.co.uk/new/images/TwitterButton.png"
'''      title="By: TwitterButtons.net"
'''      width="212" height="69"
'''      alt="@ColinTheMathmo"
'''     /></a>
<<|
----
My latest posts can be
found here:
  * ColinsBlog
----
Previous blog posts:
  * RageInducingSystemImplementation
  * TheBookIsNotAlwaysRight
  * EmergingE
  * ImpossibleToTranslate
  * WaitingInVain
  * NonRepeatingDecimals
  * RationalRepeats
  * WhyIsItLovely
  * CompilingCryptoConnections
  * ExploringConnectionsBetweenCryptoSystems
  * ElwynBerlekampHasLeftUs
  * RootCauseAnalysisAndThePhotocopierQuestion
  * TheUpDownTides
  * TheForeAftTide
  * TheSidewaysTide
  * WrappingUpWrappingUpTheEarth
  * TheOtherWrappingTheEarthProblem
  * WrappingTheEarth
  * TheRingOfSteel
  * RoundingUpTheRopes
  * OtherOtherOtherRopeAroundTheEarth
  * RopeAroundTheEarthRefined
  * TheOtherRopeAroundTheEarth
  * ElementaryEstimates
  * LatitudeCorrection
  * JustGiveMeTheAnswer
  * MoreMusingOnPollardRho
  * IdleThoughtsAboutPollardRho
  * WhenOptimisingCodeMeasure
  * ADogCalledMixture
  * AnotherPayPalScam
  * WhyTopPostingHasWon
  * UnexpectedInteractionOfFeatures
  * ArchimedesHatBoxTheorem
  * ConsideringASphere
  * ToLinkOrNotToLink
  * GenericAdviceForWritingAThesis
  * JustTeachMyChildTheMaths
  * NotASpectatorSport
  * LeftTruncatablePrime
  * TheDoctorAndTheLawyer
  * FourPointsTwoDistancesProof
  * MeetingRonGraham
  * NapkinRingVersusSphericalCap
  * TheFourPointsPuzzle
  * RadiusOfTheEarthPartTwo
  * GrepTimingAnomaly
  * TheRadiusOfTheEarth
  * ThisWorksToCureMyHiccoughs
  * PerhapsWeSavedOne
  * ThinkingAboutMastodon
  * DisappearingTrainsOnVirgin
  * TheIndependenceGame
  * OneOfMyFavouritePuzzles
  * ThinkingAboutRecursion
  * MemorisingTheTube
  * SpikeySpheres
  * SurprisinglyQuick
  * AnUnexpectedFraction
  * YouHaveToAdmireTheirOptimism
  * RepresentativesMatter
  * PythagorasByIncircle
  * APuzzleAboutPuzzles
  * HowNotToDoTwitter
  * Calculating52FactorialByHand
  * SmallThingsMightNotBeSoSmall
  * NotIfYouHurry
  * FactoringViaGraphThreeColouring
  * AnotherProofOfTheDoodleTheorem
  * WhenObviousIsNotObvious
  * GraphThreeColouring
  * TheDoodleTheorem
  * BeCarefulWhatYouSay
  * TheMutilatedChessboardRevisited
  * AMirrorCopied
  * TheOtherOtherRopeAroundTheEarth
  * PhotocopyAMirror
  * ThePointOfTheBanachTarskiTheorem
  * SieveOfEratosthenesInPython
  * FastPerrinTest
  * RussianPeasantMultiplication
  * FindingPerrinPseudoPrimes_Part2
  * FindingPerrinPseudoPrimes_Part1
  * TheUnwiseUpdate
  * MilesPerGallon
  * TrackingAnItemOnHackerNews
  * HackerNewsUserAges
  * PokingTheDustyCorners
  * ThereIsNoTimeForThis
  * PublicallySharingLinks
  * LearningTimesTables
  * GracefulDegradation
  * DiagrammingMathsTopics
  * OnTheRack
  * SquareRootByLongDivision
  * BeyondTheBoundary
  * FillInTheGaps
  * SoftwareChecklist
  * NASASpaceCrews
  * TheBirthdayParadox
  * TheTrapeziumConundrum
  * RevisitingTheAnt
  * TheAntAndTheRubberBand
  * IrrationalsExist
  * MultipleChoiceProbabilityPuzzle
  * RandomEratosthenes
  * WrappingUpSquareDissection
  * DissectingASquarePart2
  * DissectingACircle
  * DissectingASquare
  * AnOddityInTennis
  * DecisionTreeForTennis
  * DecisionTreesInGames
  * AMatterOfConvention
  * DoYouNourishOrTarnish
  * BinarySearchReconsidered
  * TwoEqualsFour
  * TheLostPropertyOffice
  * TheForgivingUserInterface
  * SettingUpRSS
  * WithdrawingFromHackerNews
----
Additionally, some earlier writings:
  * RandomWritings.
  * ColinsBlog2010
  * ColinsBlog2009
  * ColinsBlog2008
  * ColinsBlog2007
  * ColinsBlogBefore2007
********
[[[<
| Start with 10 | 10.00000... |
| Take the square root          | 3.162278... |
| Take the square root of that  | 1.778279... |
| Take the square root of that  | 1.333521... |
| Take the square root of that  | 1.154782... |
|  /etc/   | 1.074608... |
]]]
Expanding on an earlier post ...

As an experiment, we can punch "10" into a calculator and take
the square root.  Given that we're starting with a number that's
bigger than 1, it's no real surprise that we get a smaller number.
In fact, we get 3.16227766...

We can take the square root of that, and we get 1.77827941...

Now, if you actively *like* numbers, you may think that that is
quite close to one and seven ninths, or $1\frac{7}{9}$.  If we
write that as an "improper fraction" it's $16/9$.  And the fun
thing about $16/9$ is that both $16$ and $9$ are squares, so if
we take the square root again we should get something very close
to $4/3$.

And we do - we get 1.333521432...

Winding this backwards, and squaring up $4/3$ multiple times, we
can see why this happens.  Taking $\left(\frac{4}{3}\right)^8$ we get
$65536/6561$, which is very close to 10.

We can continue the process to see if anything new and interesting
happens, and it's not too long before our numbers are basically
one plus a little bit of small rubbish.

[[[<
| $n$ | $p=2^n$ | $10^{1/p}$ | $c$ |
|  0  |      1  | $10^{1/1}$    | 10.00000... |
|  1  |      2  | $10^{1/2}$    | 3.162278... |
|  2  |      4  | $10^{1/4}$    | 1.778279... |
|  3  |      8  | $10^{1/8}$    | 1.333521... |
|  4  |     16  | $10^{1/16}$   | 1.154782... |
|  5  |     32  | $10^{1/32}$   | 1.074608... |
|  6  |     64  | $10^{1/64}$   | 1.036633... |
|  7  |    128  | $10^{1/128}$  | 1.018152... |
|  8  |    256  | $10^{1/256}$  | 1.009035... |
|  9  |    512  | $10^{1/512}$  | 1.004507... |
| 10  |   1024  | $10^{1/1024}$ | 1.002251... |
]]]
A quick note - using the laws of exponents, taking the square root of
a number is raising it to the power of $1/2$.  Doing this again is
multiplying the exponent by half again.  So the square root of the
square root is $x$ to the power of $\frac{1}{2} \times \frac{1}{2}$,
which is $\frac{1}{4}$.  And so on.  If you're not familiar with this
then you don't /need/ to know it, you can just take my word for it and
read on, but if you want to know more then either let me know and I'll
write a summary page, or check on the web.

So, if we plot the result against how many times we've taken a square
root it looks like this:

|>> [[[
https://www.solipsys.co.uk/images/NumberOfSquareRoots.png
]]] <<|

Ignoring the first few terms we get this:

********> width="100%"
[[[>
https://www.solipsys.co.uk/images/NumberOfSquareRootsFrom3.png
]]]
So as we take more and more square roots we end up with one plus some
small rubbish, but looking at the small rubbish we can see something
interesting.  Compare the lines for 9 and 10.

* On line 9 the power is $1/512$, and the rubbish is $0.004507...$.
  * On line 10 the power is $1/1024$, and the rubbish is $0.002251...$.

The power halves because we're taking the square root, fine, but the
/rubbish/ also halves, and that is cause for pause.
********<

[[[<
| |>> $x$ <<| | |>> $10^x$ <<| |
|   0.0110    | 1.0253 |
|   0.0100    | 1.0233 |
|   0.0090    | 1.0209 |
|   0.0080    | 1.0186 |
|   0.0070    | 1.0162 |
|   0.0060    | 1.0139 |
|   0.0050    | 1.0116 |
|   0.0040    | 1.0093 |
|   0.0030    | 1.0069 |
|   0.0020    | 1.0046 |
|   0.0010    | 1.0023 |
|   0.0000    | 1.0000 |
]]]
So when the power is already small, halving the power, halves the
rubbish.

That's interesting.  To have a closer look at this we can generate a
table of the rubbish when we have small powers. So for a small power
of $x$ we plot compute $10^x$.  The table is shown here at left, and
we can see, as expected, we're getting one plus small rubbish.  Now
let's subtract off the one and see what we've got.  Best seen in a
plot:

|>> [[[
https://www.solipsys.co.uk/images/SmallPowersOf10.png
]]] <<|

It's a straight line!  Well, *nearly* a straight line.  So it looks
like when the power is small, when $x$ is small, the value of $10^x$
is 1 plus rubbish, where the rubbish is a multiple of the power.  So
when $x$ is small, there is a constant $c$ such that:

|>> $10^x \approx 1 + cx$ <<|

So the process of taking repeated square roots, looking at the rubbish,
and comparing with the power, has given us a constant, and in this case
if we measure the constant we get an answer of around 2.302585...

But I say "in this case" because we started with 10, and we can wonder
whether we get a different answer if we start with, say, 5 instead. So
we can go through the process again, this time starting with 5, and we
end up again with a straight line graph, but the slope is different!
This time the slope is about 1.6094379...

[[[>
| Start | Constant |
| 10 | 2.302585... |
|  5 | 1.6094379... |
]]]
So if we start with 10 we get 2.302585... and if we start with 5 we get
1.6094379... and we can start a chart, shown here at right.

So how can we fill in more values?

Well, given a starting value $S$, we're asking for a constant, $c$, such
that when $x$ is really small, the value of $S^x$ is roughly $1+cx$.
Here is a plot of the rubbish for starting values of 2, 3, 5, and 10:

|>> [[[
https://www.solipsys.co.uk/images/SmallPowersOfX.png
]]] <<|

So for each starting value we want to compute the constant.  To
do so - at least approximately - we pick some small number $x$
to use as a power, something like one millionth.  Then for each
starting number, $S$, we compute $\frac{1}{x}(S^x-1)$.  We've got
the first couple of values, and now we can fill them in:

[[[>
| Start | Constant |
|  2 | 0.693147 |
|  3 | 1.098613 |
|  4 | 1.386295 |
|  5 | 1.609439 |
|  6 | 1.791761 |
|  7 | 1.945912 |
|  8 | 2.079444 |
|  9 | 2.197227 |
| 10 | 2.302588 |
]]]
There are a couple of things to notice - the numbers are *not* just
random - we can find connections between them.  For example, look
at the constants for 2, 5, and 10.  We can add the constants for 2
and 5 and we get 0.693147 + 1.609439 = 2.302586, which is close to
the constant for 10.  That's particularly interesting, because 2
times 5 is 10.  Have a look at the constants for 2, 3, and 6, and
you'll find the same thing happens.

So if X times Y equals Z, maybe, just maybe, the constants for X and Y
add to give the constant for Z.

Why would that be?

But that's not the direction I'm going.  Instead, notice that the constants
are growing:

|>> [[[
https://www.solipsys.co.uk/images/DerivedConstants.png
]]] <<|

I've included starting with some values less than one, as well as the
value for one itself, and now we can see some clear features.

[[[>60 Some people may scoff and say "Well */obviously/* there's a
value that gives an answer of 1 - it's completely obvious from the
plot you've shown."

Well, if you square the fraction $\frac{7}{5}$ you get an answer
that's just below 2, and as you increase the fractions being
squared, you end up above 2, so "obviously" there is a fraction
that when squared gives /exactly/ 2.

Except that that turns out not to be the case.  There is no fraction
which when squared gives exactly 2, so some care is warranted.
]]]
Firstly, when $x$ is 1, the derived constant is exactly 0. We'll leave
that as an exercise for the (mythical) interested reader.  Another
other point of interest is that it starts below the value of one, and
then goes above the value of one, so maybe, just maybe, there is a
starting value $S$ that results in a constant of exactly 1.

So we can explore this question.  Let $x$ be really small, and find a
value $S$ such that $\frac{1}{x}(S^x-1)$ is equal to 1. Can we do that?

So let's plot between 2.5 and 3.0:

|>> [[[
https://www.solipsys.co.uk/images/DerivedConstantsFrom25to30.png
]]] <<|

OK, so it's between 2.70 and 2.75 - let's look at that in more detail:

|>> [[[
https://www.solipsys.co.uk/images/DerivedConstantsFrom270to275.png
]]] <<|

We can now see that it's just a bit less than 2.72 or thereabouts.

Some of my readers will have been shouting at the screen for some time
now - "It's $e$!!  It's $e$!!"  Well, yes, it's $e$, also known as
Euler's number (Note: not Euler's constant, that's something different).

Tracking back through our derivation here, we are trying to solve this
problem/question:

* Find a value $v$ such that $$\lim_{x\rightarrow 0}\frac{1}{x}(v^x-1) = 1$$.

And yes, the answer is Euler's number: $e$.
----

|>>
| |>> <<<< Prev <<<< ---- RageInducingSystemImplementation <<| | : | |>> >>>> Next >>>> ---- PowersOfTwoInLexOrder ... <<| |
----
********>
''' <a href="https://mathstodon.xyz/@ColinTheMathmo">
''' <img src="https://www.solipsys.co.uk/images/Mastodon_Mascot.png"
'''      width="256" height="280"
'''      alt="https://mathstodon.xyz/@ColinTheMathmo"
'''     /></a>
********
''' <a href="https://mathstodon.xyz/@ColinTheMathmo/">You can follow me on Mathstodon.</a>
_ _ _ _
[[[>
''' <a href="https://twitter.com/ColinTheMathmo">Of course, you can also<br>follow me on twitter:</a>

''' <a href="https://twitter.com/ColinTheMathmo">
''' <img src="https://www.solipsys.co.uk/new/images/TwitterButton.png"
'''      title="By: TwitterButtons.net"
'''      width="212" height="69"
'''      alt="@ColinTheMathmo"
'''     /></a>
''' <img src="/cgi-bin/CountHits.py?EmergingEExpanded" alt="" />
]]]
********<

----

!! Send us a comment ...

''' <form action="https://www.solipsys.co.uk/cgi-bin/FormMail.pl" method=post>
''' <input type=hidden name="recipient"               value="colinsblogcomment@solipsys.co.uk" >
''' <input type=hidden name="subject"                 value="Blog comment : EmergingEExpanded"         >
''' <input type=hidden name="redirect"                value="https://www.solipsys.co.uk/new/ThankYouForYourComment.html" >
''' <input type=hidden name="missing_fields_redirect" value="https://www.solipsys.co.uk/RequestError.html">
''' <input type=hidden name="env_report"              value="REMOTE_HOST, REMOTE_ADDR, HTTP_USER_AGENT"  >
''' <input type=hidden name="print_blank_fields"      value="1"                                          >

********> width="47%"
You can send us a message here. It doesn't get published,
it just sends us an email, and is an easy way to ask any
questions, or make any comments, without having to send a
separate email. So just fill in the boxes and then
''' <font size="+4"><INPUT TYPE="submit" VALUE="CLICK HERE TO SEND"></font>
******** width="53%"
********<

''' <table cellpadding="5">
'''   <tr>
'''     <td valign="top">Your name </td> <td valign="top">:</td>
'''     <td> <input type=text name="realname" size="48"> </td>
'''   <tr>
'''     <td valign="top">Email </td> <td valign="top">:</td>
'''     <td> <input type=text name="email" size="48"> </td>
'''     </tr>
'''   <tr>
'''     <td valign="top">Message </td> <td valign="top">:</td>
'''     <td> <TEXTAREA NAME="Message" ROWS=10 COLS=64></TEXTAREA> </td>
'''     </tr>
'''   </table>

''' <center>
'''   <font size="+4">
'''     <INPUT TYPE="submit" VALUE="CLICK HERE TO SEND">
'''     </font>
'''   </center>
''' </form>

********<