Intereting Posts

Contraction of compact sets
A polynomial with integer coefficient
Why is $a$ and $b$ coprime if $a\equiv 1 \pmod{b}$?
Is the set of all rational numbers with odd denominators a subring of $\Bbb Q$?
Equivalence of the definition of Adjoint Functors via Universal Morphisms and Unit-Counit
Estimate the size of a set from which a sample has been equiprobably drawn?
Fully independent events and their complements
$(\mathbb{Q},+)$ has no maximal subgroups
Differential Equations- Wronskian Fails?
Definition of metrizable topological space
Distinguishing the Cylinder from a “full-twist” Möbius strip
Number of ways to partition a rectangle into n sub-rectangles
Jordan normal form for a characteristic polynomial $(x-a)^5$
$16$ natural numbers from $0$ to $9$, and square numbers: how to use the pigeonhole principle?
Is $x^4+4$ an irreducible polynomial?

**Definition: **The base $a$ logarithm ($a\in]0,1[\cup]1,+\infty[$) is the continuous function defined by: $\log_a(xy)=\log_a(x)+\log_a(y)~~\forall x,y>0$ and $\log_a(a)=1$

If I used this definition of the logarithm how can deduce the derivative of $\log_a(x)$ and $\lim\limits_{x\to +\infty} \log_a(x)$? Is the continuity necessary in the definition or should I replace it with another property (weaker or stronger) like uniform continuity, differentiability, Holder-continuity, etc.

- Definition of the Young Symmetrizer
- What is the precise definition of 'between'?
- Lost in terminology: What is the meaning of the words “Constraint” and “Parameter” in a goodness of fit?
- What is exactly the difference between a definition and an axiom?
- Is the empty set linearly independent or linearly dependent?
- Algebraic definition or construction of real numbers

- Funny translations of mathematical words
- Inequalities from Taylor expansions of $\log$ functions
- Giving an asymptotically tight bound on sum $\sum_{k=1}^n (\log_2 k)^2$
- $n$-dimensional holes
- Integral $\int_0^{1/2}\arcsin x\cdot\ln^2x\,dx$
- Relationship between tuples, vectors and column/row matrices
- From natural log to log base 10
- What sets are Lebesgue measurable?
- Easy way to compute logarithms without a calculator?
- How to prove that $e = \lim_{n \to \infty} (\sqrt{n})^{\pi(n)} = \lim_{n \to \infty} \sqrt{n\#} $?

Here I have a partial solution for derivative of Logarithms

(not only using the definition, I have assume the continuity).

By the Well known limit $$\lim_{n\to\infty}\Big(1+\dfrac{x}{n}\Big)^n=e^x,$$ we can drive

$$\lim_{\delta x\to 0}\Big(1+\dfrac{\delta x}{x}\Big)^{\dfrac{1}{\delta x}}=e^{\dfrac{1}{x}}.$$ Since Logarithm is a continuous function, taking the logarithm of both sides, we can obtain $$\lim_{\delta x\to 0}\dfrac{\log_a\Big(1+\dfrac{\delta x}{x}\Big)}{\Big(\dfrac{\delta x}{x}\Big)}=\log_ae$$

Let $f(x)=\log_ax,$ then $$\dfrac{f(x+\delta x)-f(x)}{\delta x}=\dfrac{\log_a(x+\delta x)-\log_ax}{\delta x}=\dfrac{\log_a\Big(1+\dfrac{\delta x}{x}\Big)}{\Big(\dfrac{\delta x}{x}\Big)}\dfrac{1}{x}$$

$$f'(x)=\lim_{\delta x\to0}\dfrac{f(x+\delta x)-f(x)}{\delta x}=\lim_{\delta x\to0}\dfrac{\log_a\Big(1+\dfrac{\delta x}{x}\Big)}{\Big(\dfrac{\delta x}{x}\Big)}\lim_{\delta x\to0}\dfrac{1}{x}$$ $$f'(x)=\dfrac{\log_ae}{x}$$

For $x\ne0$, we have (with $h’=hx$):

$$\lim_{h’\to0}\frac{\log_a(x+h’)-\log_a(x)}{h’}=\lim_{h\to0}\frac{\log_a(x+hx)-\log_a(x)}{hx}=\frac1x\lim_{h\to0}\frac{\log_a(x(1+h))-\log_a(x)}h.$$

And by the stated definition,

$$\lim_{h\to0}\frac{\log_a(x(1+h))-\log_a(x)}h=\lim_{h\to0}\frac{\log_a x+\log_a(1+h)-\log_a(x)}h=\lim_{h\to0}\frac{\log_a(1+h)}h,$$

a function of $a$ alone, so that $$(\log_a x)’=\frac{C(a)}x.$$

If the last limit exists, then the function is differentiable for any $x$.

- Looking for induction problems that are not formula-based
- Finding $\lim_{n \to \infty} \frac{\sqrt{n!}}{2^n}$
- Resource request: history of and interconnections between math and physics
- Is the commutator subgroup of a profinite group closed?
- Are axioms assumed to be true in a formal system?
- Intuitive explanation of variance and moment in Probability
- Cogroup structures on the profinite completion of the integers
- Provide different proofs for the following equality: $\lim\limits_{n\to\infty} \left(\frac{a^{\frac{1}{n}}+b^{\frac{1}{n}}}{2}\right)^n =\sqrt{ab}$
- Intuition behind “ideal”
- problems in group theory
- What is the remainder when $1! + 2! + 3! +\cdots+ 1000!$ is divided by $12$?
- Prove that $x\in P$, then there exists a neighborhood $O$ of $x$ such that $O\subset X$, $P$ is defined in a particular way.
- Graph theory software?
- Preserving the order of a sequence of real numbers
- Book about different kind of logic