Math 2.0

Number theory Theorem

The continued fraction of a rational number terminates

Builds on Continued fraction expansion of a real numberEuclidean algorithm

Statement

Let xx be a real number. The continued fraction expansion of xx is finite if and only if xx is rational.

Remarks

If x=a/bx = a/b with b>0b > 0, the expansion follows the Euclidean algorithm on aa and bb. So it stops after finitely many steps. Conversely, a finite simple continued fraction is a rational number. For example, 4319\frac{43}{19}: 43=2⋅19+543 = 2 \cdot 19 + 5, 19=3⋅5+419 = 3 \cdot 5 + 4, 5=1⋅4+15 = 1 \cdot 4 + 1, 4=4⋅14 = 4 \cdot 1. So 4319=[2;3,1,4]\frac{43}{19} = [2; 3, 1, 4]. A rational number has exactly two finite expansions, since [a0;…,an]=[a0;…,an−1,1][a_0; \dots, a_n] = [a_0; \dots, a_n - 1, 1] when an>1a_n > 1.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Continued fraction definition
  2. Euclidean algorithm concept
  3. Simple continued fraction definition
  4. Continued fraction expansion of a real number definition
  5. The continued fraction of a rational number terminates statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Simple_continued_fraction, Finite continued fractions
About this page
Tag0PMY0YQYXX
URIm2://0PMY0YQYXX
Kindstatement, theorem
WritingW0 stub
MSC11A55
StatusThis copy of the site has no build data. Run m2 status 0PMY0YQYXX.
UsesContinued fraction expansion of a real number, Euclidean algorithm

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.