A new elementary theory of logarithms (Q1538002)

I. Ist \(n=2^p\), wobei \(p\) ganz sei, und \(a\) grösser als 1, so nimmt der Ausdruck \(a_n=n(\root n\of a-1)\) ab, wenn gleichzeitig \(p\) wächst; man hat ferner \(a_n>1-\frac 1a\); folglich hat \(a_n\) eine endliche Grenze oberhalb \(1-\frac 1a\cdot\) Nach Definition ist \(\lim a_n =\log a\). II. Ohne auf die Newton'sche Binomialreihe zurückzugreifen, beweist man, dass \[ a_n> \log a > a_n -\frac{1}{2n}\;a_n^2. \] III. Die so definirten Logarithmen besitzen die folgenden Eigenschaften: 1. \(\log(ab)=\log a+\log b\). 2. \(\log \infty =\infty,\) \(\log 0=-\infty\). 3. \(\log a\) ist eine continuirliche Function von \(a\). 4. Ist \(\log x=1\), so ist \(x=\lim \left( 1+\frac 1n \right)^n\) für \(n=\infty\).