Engel Expansions of Rational Numbers
Every positive rational number has a unique finite Engel expansion. In the algorithm for Engel expansion, if ui is a rational number x/y, then ui+1 = (−y mod x)/y. Therefore, at each step, the numerator in the remaining fraction ui decreases and the process of constructing the Engel expansion must terminate in a finite number of steps. Every rational number also has a unique infinite Engel expansion: using the identity
the final digit n in a finite Engel expansion can be replaced by an infinite sequence of (n + 1)s without changing its value. For example
This is analogous to the fact that any rational number with a finite decimal representation also has an infinite decimal representation (see 0.999...).
Erdős, Rényi, and Szüsz asked for nontrivial bounds on the length of the finite Engel expansion of a rational number x/y; this question was answered by Erdős and Shallit, who proved that the number of terms in the expansion is O(y1/3 + ε) for any ε > 0.
Read more about this topic: Engel Expansion
Famous quotes containing the words engel, rational and/or numbers:
“Shakespeare was not meant for taverns, nor for tavern louts.”
—Samuel G. Engel (1904–1984)
“[I]n Great-Britain it is said that their constitution relies on the house of commons for honesty, and the lords for wisdom; which would be a rational reliance if honesty were to be bought with money, and if wisdom were hereditary.”
—Thomas Jefferson (1743–1826)
“All experience teaches that, whenever there is a great national establishment, employing large numbers of officials, the public must be reconciled to support many incompetent men; for such is the favoritism and nepotism always prevailing in the purlieus of these establishments, that some incompetent persons are always admitted, to the exclusion of many of the worthy.”
—Herman Melville (1819–1891)