PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
[parent] rational Briggsian logarithms of integers (Theorem)

Theorem. The only positive integers, whose Briggsian logarithms are rational, are the powers $1,\,10,\,100,\,\ldots$ of ten. The logarithms of other positive integers are thus irrational (in fact, transcendental numbers). The same concerns also the Briggsian logarithms of the positive fractional numbers.

Proof. Let $a$ be a positive integer such that $$\lg{a} = \frac{m}{n} \in \mathbb{Q},$$ where $m$ and $n$ are positive integers. By the definition of logarithm, we have $\displaystyle10^{\frac{m}{n}} = a$ , which is equivalent to $$10^m = 2^m\cdot 5^m = a^n.$$ According to the fundamental theorem of arithmetics, the integer $a^n$ must have exactly $m$ prime divisors $2$ and equally many prime divisors $5$ . This is not possible otherwise than that also $a$ itself consists of a same amount of prime divisors 2 and 5, i.e. the number $a$ is an integer power of 10.

As for any rational number $\displaystyle\frac{a}{b}$ (with $a,\,b \in \mathbb{Z}_+$ ), if one had $$\lg{\frac{a}{b}} = \frac{m}{n} \in \mathbb{Q},$$ then $$\left(\frac{a}{b}\right)^n = 10^m,$$ and it is apparent that the rational number $\displaystyle\frac{a}{b}$ has to be an integer, more accurately a power of ten. Therefore the logarithms of all fractional numbers are irrational.

Note. An analogous theorem concerns e.g. the binary logarithms ($\lb{a}$ ). As for the natural logarithms of positive rationals ($\ln{a}$ ), they all are transcendental numbers except $\ln1 = 0$ .




"rational Briggsian logarithms of integers" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: transcendental, rational sine and cosine, All unnatural square roots are irrational, Briggsian logarithms


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: natural logarithms, binary logarithms, rational number, number, prime divisors, theorems of arithmetic, proof, fractional numbers, transcendental numbers, irrational, logarithms, rational, Briggsian logarithms, integers, positive, theorem
There is 1 reference to this entry.

This is version 11 of rational Briggsian logarithms of integers, born on 2007-12-05, modified 2008-06-13.
Object id is 10101, canonical name is RationalBriggsianLogarithmsOfIntegers.
Accessed 924 times total.

Classification:
AMS MSC11A51 (Number theory :: Elementary number theory :: Factorization; primality)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy
Minor word detail by PrimeFan on 2007-12-05 19:49:37
In the note, do you mean "analogous" rather than "analogical"?
[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)