pmquable, It is relatively easy to show that d(e^x)/dx= e^x. Since ln(x) is defined as the inverse to that function, if y= ln(x), then x= e^y. Then dx/dy= e^y. But that tells us that the derivative of y= ln(x) is the reciprocal of that: d(ln(x))/dx= dy/dx= 1/e^y= 1/x.
That was what micromass really meant- not that the "logarithm" was first defined as the inverse of the exponential function but that the natural logarithm was defined that way.
However, many textbooks do it the opposite way now: First define ln(x) by
ln(x)= \int_1^x \frac{dt}{t}
Of course, from that definition, we have immediately that the derivative is 1/x.
It may be that this is the definition you have seen and now you are asking "How do we know that function really is the inverse of e^x?
You can prove a number of things directly from that definition: that ln(xy)= ln(x)+ ln(y), that ln(1/x)= -ln(x), that ln(x^y)= y ln(x) for example. One can also prove that ln(x) is an increasing function that maps the set of all positive real numbers to the set of all real numbers. It follows that it has an inverse function that maps the set of all real numbers to the set of all positive numbers. Let's call that function "E(x)".
If y= E(x) then x= ln(y). If x is not 0, we can can divide both sides by x to get 1= (1/x)ln(y)= ln(y^{1/x}). Going back to the inverse function, that says E(1)= y^{1/x} so that y= E(x)= (E(1))^x power. That was for x not equal to 0. If x= 0, then E(0)= 1[/itex] specifically because ln(1)= 0. But any number to the 0 power is 1 so this is still E(1)^0. In either case, that function really is the inverse of some number to the x power. Now we can either define e to be that number or, if we have already defined e^x, observe that both it and the E(x) have the same derivative and so they differ by, at most, a constant. But e^0= 1 (any positive number to the 0 power is 1) and ln(1)= 0 so E(0)= 1 also. Since, for x= 0, the "differ" by 0 that constant is 0: they are the same function.