|
|
| Line 1: |
Line 1: |
| {{ref improve|date=January 2014}}
| | Hello, my name is Andrew and my spouse doesn't like it at all. Distributing production is where her main income comes from. Ohio is where my home is but my spouse wants us to transfer. My husband doesn't like it the way I do but what I really like doing is caving but I don't have the time lately.<br><br>Also visit my web page - online reader ([http://www.edmposts.com/build-a-beautiful-organic-garden-using-these-ideas/ look at more info]) |
| In [[mathematics]], an infinite '''periodic continued fraction''' is a [[generalized continued fraction|continued fraction]] that can be placed in the form
| |
| | |
| :<math>
| |
| x = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{\ddots}{\quad\ddots\quad a_k + \cfrac{1}{a_{k+1} + \cfrac{\ddots}{\quad\ddots\quad a_{k+m-1} + \cfrac{1}{a_{k+m} + \cfrac{1}{a_{k+1} + \cfrac{1}{a_{k+2} + \cfrac{1}{\ddots}}}}}}}}}\,
| |
| </math>
| |
| | |
| where the initial block of ''k'' + 1 partial denominators is followed by a block [''a''<sub>''k''+1</sub>, ''a''<sub>''k''+2</sub>,…''a''<sub>''k''+''m''</sub>] of partial denominators that repeats over and over again, ''ad infinitum''. For example <math>\sqrt2</math> can be expanded to a periodic continued fraction, namely as [1,2,2,2,...].
| |
| | |
| The partial denominators {''a''<sub>''i''</sub>} can in general be any real or complex numbers. That general case is treated in the article [[convergence problem]]. The remainder of this article is devoted to the subject of [[continued fraction|simple continued fractions]] that are also periodic. In other words, the remainder of this article assumes that all the partial denominators ''a''<sub>''i''</sub> (''i'' ≥ 1) are positive integers.
| |
| | |
| ==Purely periodic and periodic fractions==
| |
| | |
| Since all the partial numerators in a regular continued fraction are equal to unity we can adopt a shorthand notation in which the continued fraction shown above is written as
| |
| | |
| :<math>
| |
| \begin{align}
| |
| x& = [a_0;a_1,a_2,\dots,a_k,a_{k+1},a_{k+2},\dots,a_{k+m},a_{k+1},a_{k+2},\dots,a_{k+m},\dots]\\
| |
| & = [a_0;a_1,a_2,\dots,a_k,\overline{a_{k+1},a_{k+2},\dots,a_{k+m}}]
| |
| \end{align}
| |
| </math>
| |
| | |
| where, in the second line, a [[vinculum (symbol)|vinculum]] marks the repeating block.<ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=158}}</ref> Some textbooks use the notation | |
| | |
| :<math>
| |
| \begin{align}
| |
| x& = [a_0;a_1,a_2,\dots,a_k,\dot a_{k+1},a_{k+2},\dots,\dot a_{k+m}]
| |
| \end{align}
| |
| </math>
| |
| | |
| where the repeating block is indicated by dots over its first and last terms.<ref>{{harvtxt|Long|1972|p=187}}</ref> | |
| | |
| | |
| If the initial non-repeating block is not present – that is, if
| |
| | |
| :<math>
| |
| x = [\overline{a_0;a_1,a_2,\dots,a_m}],
| |
| </math>
| |
| | |
| the regular continued fraction ''x'' is said to be ''purely periodic''. For example, the regular continued fraction for the [[golden ratio]] φ – given by [1; 1, 1, 1, …] – is purely periodic, while the regular continued fraction for the square root of two – [1; 2, 2, 2, …] – is periodic, but not purely periodic.
| |
| | |
| ==Relation to quadratic irrationals==
| |
| | |
| A [[quadratic irrational number]] is an [[irrational number|irrational]] real root of the quadratic equation
| |
| | |
| :<math>
| |
| ax^2 + bx + c = 0\,
| |
| </math>
| |
| | |
| where the coefficients ''a'', ''b'', and ''c'' are integers, and the [[discriminant]], ''b''<sup>2</sup> − 4''ac'', is greater than zero. By the [[quadratic formula]] every quadratic irrational can be written in the form
| |
| | |
| :<math> | |
| \zeta = \frac{P+\sqrt{D}}{Q}
| |
| </math>
| |
| | |
| where ''P'', ''D'', and ''Q'' are integers, ''D'' > 0 is not a [[square number|perfect square]], and ''Q'' divides the quantity ''P''<sup>2</sup> − ''D''.
| |
| | |
| By considering the [[complete quotient]]s of periodic continued fractions, [[Leonhard Euler|Euler]] was able to prove that if ''x'' is a regular periodic continued fraction, then ''x'' is a quadratic irrational number. The proof is straightforward. From the fraction itself, one can construct the quadratic equation with integral coefficients that ''x'' must satisfy.
| |
| | |
| [[Joseph Louis Lagrange|Lagrange]] proved the converse of Euler's theorem: if ''x'' is a quadratic irrational, then the regular continued fraction expansion of ''x'' is periodic.<ref name=davenport>{{Cite document | last1 = Davenport | first1 = H. | title = The Higher Arithmetic | publisher = Cambridge University Press | date = 1982 | page = 104 | isbn = 0-521-28678-6 | postscript = <!--None-->}}</ref> Given a quadratic irrational ''x'' one can construct ''m'' different quadratic equations, each with the same discriminant, that relate the successive complete quotients of the regular continued fraction expansion of ''x'' to one another. Since there are only finitely many of these equations (the coefficients are bounded), the complete quotients (and also the partial denominators) in the regular continued fraction that represents ''x'' must eventually repeat.
| |
| | |
| ==Reduced surds==
| |
| | |
| The quadratic surd <math>\zeta = \frac{P + \sqrt{D}}{Q}</math> is said to be ''reduced'' if ζ > 1 and its [[Conjugate (algebra)|conjugate]] <math>\eta = \frac{P - \sqrt{D}}{Q}</math>
| |
| satisfies the inequalities −1 < η < 0. For instance, the golden ratio φ is a reduced surd because its conjugate ½(1 −√5) is greater than −1 and less than zero. On the other hand, the square root of two is not a reduced surd because its conjugate is less than −1.
| |
| | |
| [[Évariste Galois|Galois]] proved that the regular continued fraction which represents a quadratic surd ζ is purely periodic if and only if ζ is a reduced surd. In fact, Galois showed more than this. He also proved that if ζ is a reduced quadratic surd and η is its conjugate, then the continued fractions for ζ and for (−1/η) are both purely periodic, and the repeating block in one of those continued fractions is the mirror image of the repeating block in the other. In symbols we have
| |
| | |
| :<math>
| |
| \begin{align}
| |
| \zeta& = [\overline{a_0;a_1,a_2,\dots,a_{m-1}}]\\[3pt]
| |
| \frac{-1}{\eta}& = [\overline{a_{m-1};a_{m-2},a_{m-3},\dots,a_0}]\,
| |
| \end{align}
| |
| </math>
| |
| | |
| where ζ is any reduced quadratic surd, and η is its conjugate.
| |
| | |
| From these two theorems of Galois a result already known to Lagrange can be deduced. If ''r'' > 1 is a rational number that is not a perfect square, then
| |
| | |
| :<math>
| |
| \sqrt{r} = [a_0;\overline{a_1,a_2,\dots,a_2,a_1,2a_0}].\,
| |
| </math>
| |
| | |
| In particular, if ''n'' is any non-square positive integer, the regular continued fraction expansion of √''n'' contains a repeating block of length ''m'', in which the first ''m'' − 1 partial denominators form a [[palindrome|palindromic]] string.
| |
| | |
| ==Length of the repeating block==
| |
| | |
| By analyzing the sequence of combinations
| |
| | |
| :<math>
| |
| \frac{P_n + \sqrt{D}}{Q_n}
| |
| </math>
| |
| | |
| that can possibly arise when ζ = (''P'' + √''D'')/''Q'' is expanded as a regular continued fraction, [[Joseph Louis Lagrange|Lagrange]] showed that the largest partial denominator ''a''<sub>''i''</sub> in the expansion is less than 2√''D'', and that the length of the repeating block is less than 2''D''.
| |
| | |
| More recently, sharper arguments<ref>{{cite journal|last = Hickerson|first = Dean R.|title = Length of period of simple continued fraction expansion of √d|journal = Pacific J. Math.|volume = 46|year = 1973|pages = 429–432|url = http://projecteuclid.org/euclid.pjm/1102811631}}</ref><ref>{{cite journal|last = Podsypanin|first = E.V.|title = Length of the period of a quadratic irrational|journal = Journal of Soviet Mathematics|volume = 18|year = 1982|pages = 919–923|doi = 10.1007/BF01763963|issue = 6}}</ref> based on the [[divisor function]] have shown that ''L''(''D''), the length of the repeating block for a quadratic surd of discriminant ''D'', is given by
| |
| | |
| :<math>
| |
| L(D) = \mathcal{O}(\sqrt{D}\ln{D})
| |
| </math>
| |
| | |
| where the big ''O'' means "on the order of", or "asymptotically proportional to" (see [[big O notation]]).
| |
| | |
| ==See also==
| |
| *[[Hermite's problem]]
| |
| *[[Methods of computing square roots#Continued fraction expansion|Continued fraction method of computing square roots]]
| |
| *[[Restricted partial quotients]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| | |
| * {{citation | first1 = Calvin T. | last1 = Long | year = 1972 | title = Elementary Introduction to Number Theory | edition = 2nd | publisher = [[D. C. Heath and Company]] | location = Lexington | lccn = 77-171950 }}
| |
| | |
| * {{citation | first1 = Anthony J. | last1 = Pettofrezzo | first2 = Donald R. | last2 = Byrkit | year = 1970 | title = Elements of Number Theory | publisher = [[Prentice Hall]] | location = Englewood Cliffs | lccn = 77-81766 }}
| |
| | |
| *{{cite book|last = Rockett|first = Andrew M.|coauthors = Szüsz, Peter|title = Continued Fractions|publisher = World Scientific|year = 1992|isbn = 981-02-1052-3}}
| |
| | |
| [[Category:Continued fractions]]
| |
| [[Category:Mathematical analysis]]
| |
Hello, my name is Andrew and my spouse doesn't like it at all. Distributing production is where her main income comes from. Ohio is where my home is but my spouse wants us to transfer. My husband doesn't like it the way I do but what I really like doing is caving but I don't have the time lately.
Also visit my web page - online reader (look at more info)