Surreal number/Root 2
■ Surreal number/Root 2 begins by discussing how to construct a pair of infinite series that converge to (one from above and one from below). One derivation of this series is presented, but we also hint at how Newton's method might be used to construct the same pair of sequences. Later, we discuss how to generalize this method to include other roots . These pairs of sequences can be used to express surreal forms for irrational numbers that are the n-th root of an integer.
Dyadic fractions can be counted using a pair of integers by writing them as rational fractions of the form, where counts the birthdays and counts the births associated with each birthday. Let the # refer to when a dyadic is reached using the convention that we count births from left to right on the number line:
-1,1,-2,-\tfrac{-3}{2}
- One way to count the dyadic fractions is
We begin this discussion with the task of finding an infinite sequence of rational numbers that converges to :
where
Irrational roots
[edit | edit source]e.g, is the weighted average of and .
To construct a recursion relation, we start with a trivial identity, valid whenever
Note the third form of this expression is a weighted average[2] of and It turns out that By retaining as unknown variables, we give ourselves the opportunity to see if this method works on a number like Since the intent is to converge to , we now define an "error sequence", and seek values of that cause the error sequence to converge to zero, i.e., we want to force as This "error sequence" is defined as
Why not use to define the error sequence? Hint: the answer involves the need to establish when is likely to be small, especially when when attempting to generalize this calculation to finding the square root of a large number.
Replacing by into (above) creates the following weighted average of two numbers that are almost equal:
Expressing this in terms of our error sequence, we have:
In contrast with the two terms on the RHS of are not equal. If one term is slightly larger than then the other is slightly smaller, as can be seen from a Taylor expansion,
which informs us, that for sufficiently small values of the next iteration, will be smaller than Substitution of the Taylor expansion
In the above equation, so that it will cancel the zeroth order term, on the LHS. Term C in the above expression is linear, or "first order", in the parameter Also, when we add C+D, we want C to cancel the first order term, i.e.,
For term B, we obtain two different recursion relations; the first starts at, :
Appendix (*QUESTIONS & *Footnotes)
[edit | edit source]
- Can you derive the recursion relation for ? Hint: Try the substitution
- Find if
- Can this method be used to calculate the recursion relation for
- Can you prove that is monotonically decreasing?
- One can also create a sequence of approximations for calculating roots of a number using Newton's method. Verify that Newton's method can be used to obtain the sequence shown above.
- Newton's method can be explained graphically by drawing a tangent line near the function f(x) at a location near a point where and then finding the intersection of that tangent line with the x axis. The slope of a tangent line to a graph of versus is well known to be the first derivative, The methods used above to obtain the sequence involve a Taylor expansion, which also involves Investigate whether the formula for Newton's method can be derived using the Taylor expansion method used above.
Wikitable
[edit | edit source]Spreadsheets from
n | p | q | p/q | % error |
1 | 2 | 1 | 2.0000000000000 | 41.42 |
2 | 3 | 2 | 1.5000000000000 | 6.07 |
3 | 17 | 12 | 1.4166666666667 | 0.17 |
4 | 577 | 408 | 1.4142156862745 | 1.50E-04 |
5 | 665857 | 470832 | 1.4142135623747 | 1.13E-10 |
1.4142135623731 | zero |
n | p | q | p/q | % error |
1 | 1 | 1 | 1.0000000000000 | -29.29 |
2 | 4 | 3 | 1.3333333333333 | -5.72 |
3 | 24 | 17 | 1.4117647058824 | -0.17 |
4 | 816 | 577 | 1.4142114384749 | -1.50E-04 |
5 | 941664 | 665857 | 1.4142135623715 | -1.13E-10 |
1.4142135623731 | zero |
See also
[edit | edit source]- https://www.youtube.com/watch?v=ZYj4NkeGPdM
- https://math.stackexchange.com/questions/3451342/an-increasing-rational-sequence-converging-to-sqrt2 Useful article: Make increasing limit using (something I don't yet understand.) Also offers simple proof using Newton's recursion to solve a polynomial with root-2 as a solution.
- https://planetmath.org/nthrootbynewtonsmethod Quicker derivation using Newton's method.
- https://math.mit.edu/~stevenj/18.335/newton-sqrt.pdf Vaguely hints at my "averaging" explanation, but also includes formal proof. Also states equivalence to Newton's method of finding roots of a polynomial.
- https://mathcs.org/analysis/reals/numseq/answers/convseq3.html
- https://oeis.org/A001601
- https://oeis.org/A051009
- https://math.stackexchange.com/questions/2978802/convergence-to-sqrt2
- https://math.stackexchange.com/questions/3451342/an-increasing-rational-sequence-converging-to-sqrt2
- https://math.stackexchange.com/questions/1936957/prove-that-a-sequence-converges-to-sqrt2