Definition:Continued Fraction/Expansion of Real Number

From ProofWiki
Jump to navigation Jump to search


This page needs the help of a knowledgeable authority.
In particular: This definition seems suspicious on account of the definition being dependent on rational/irrational, which is unusual. Preferably it would be sourced.
If you are knowledgeable in this area, then you can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving the issues.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Help}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.



There are no source works cited for this page.
Source citations are highly desirable, and mandatory for all definition pages.
Definition pages whose content is wholly or partly unsourced are in danger of having such content deleted.
To discuss this page in more detail, feel free to use the talk page.


Definition

Irrational Number

Let $x$ be an irrational number.


The continued fraction expansion of $x$ is the simple continued fraction $\paren {\floor {\alpha_n} }_{n \ge 0}$ where $\alpha_n$ is recursively defined as:

$\alpha_n = \ds \begin{cases} x & : n = 0 \\ \dfrac 1 {\fractpart {\alpha_{n - 1} } } & : n \ge 1 \end{cases}$

where:

$\floor {\, \cdot \,}$ is the floor function
$\fractpart {\, \cdot \,}$ is the fractional part function.


Rational Number

Let $x$ be a rational number.


The continued fraction expansion of $x$ is found using the Euclidean Algorithm.

This article, or a section of it, needs explaining.
In particular: how
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Explain}} from the code.



Also see


Examples


Generalizations

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Continued_Fraction/Expansion_of_Real_Number&oldid=564462"