Conversion of Fractions in Various Bases
The decimal system was introduced into Europe in 1202 by Leonardo Fibonacci of Pisa in his Liber Abaci. But this was only true of representation of integers. The decimal representation of fractions did not actually take off until 1585 when the Flemish Simon Stevin published his pamphlet De Thiende simultaneously with its French translation La Disme. Fibonacci himself used base 60 (invented yet by ancient Babylonians) to express fractions (something like 10°13'45''... - certainly reminiscent of the degrees/minutes/seconds notations still in use today.)
As we know, an integer M in base
(1) | A = a_{k}N^{k} + a_{k-1}N^{k-1} + ... + a_{1}N^{1} + a_{0}. |
To include fractions, we, as is customary in the decimal system, allow for negative powers:
(2) | a = a_{k}N^{k} + a_{k-1}N^{k-1} + ... + a_{1}N^{1} + a_{0} + a_{-1}N^{-1} + ... + a_{-m}N^{-m} + ... |
By analogy with the decimal system, (2) is shortened to
(3) | a = (a_{k}a_{k-1}...a_{1}a_{0}.a_{-1}a_{-2}...)_{N}, |
where all coefficients a_{m} satisfy 0≤a_{m}<N. The dot between a_{0} and a_{-1} (or the integer and fractional parts) is variably known as radix point or N-ary point (binary, ternary, decimal, etc., depending on the radix used.) Separate procedures apply to conversion of the integer (the one to the left from the radix point) and the fractional (which is to the right from the radix point) parts. Here I'll discuss the latter procedure. In the way of example, 1/4 was claimed to equal (.020202...)_{3} which qualified it as a member of the Cantor set C_{0}. Let's verify this fact.
Thus we are looking for a representation
0.25 = a_{-1}3^{-1} + a_{-2}3^{-2} + a_{-3}3^{-3} + ...
with a_{m} either 0,1, or 2. Multiply the identity by 3:
0.75 = a_{-1} + a_{-2}3^{-1} + a_{-3}3^{-2} + ...
and note that on the left we still have a pure fraction while on the right a_{-1} is an integer. Two sides may only be equal when a_{-1} = 0. So we actually have
0.75 = a_{-2}3^{-1} + a_{-3}3^{-2} + ...
Again multiply by 3:
2.25 = a_{-2} + a_{-3}3^{-1} + ...
If two numbers are equal, their integer and fractional parts should respectively coincide. Thus we have
0.25 = a_{-3}3^{-1} + a_{-4}3^{-2} + ...
The algorithm is simple: keep multiplying by 3 (or radix N in the general case), removing thus obtained integer parts and writing them sequentially. Obviously, in the case of 1/4 and
We can verify the expression for 1/4 through the formula for the sum of a geometric series. For
(4) | a_{0} + a_{0}q^{-1} + a_{0}q^{-2} + ... = a_{0}/(1 - q) |
Indeed,
(0.020202...)_{3} = 2·3^{-2} + 2·3^{-4} + 2·3^{-6} + ... = 2·9^{-1} + 2·9^{-2} + ... = 2·9^{-1}/(1 - 1/9)
which finally gives 1/4. Here is another example: let's represent 1/2 in base 5. 0.5·5 = 2.5. Therefore,
You may now verify that
π_{ } | = (3.1415926535 ...)_{10} |
= (11.00100100001111 ...)_{2} | |
= (10.0102110 ...)_{3} | |
= (3.066365 ...)_{7} | |
= (3.124188 ...)_{9} | |
= (3.243F6 ...)_{16} |
|Contact| |Front page| |Contents| |Algebra|
Copyright © 1996-2018 Alexander Bogomolny