Posted by **Sean** on Thursday, March 12, 2009 at 12:39pm.

Given the axioms:

ln x = definite integral from 1 to x of 1/t dt

ln e = 1

Given the theorems:

ln a^r = r * ln a (for all real numbers r)

ln e^x = x * ln e = x

Prove that e^(ln x) = x

Intuitively, I can see that is true, but how can it be proved?

- Math -
**bobpursley**, Thursday, March 12, 2009 at 12:41pm
Given

ln a^r=r ln a then let a=e

ln e^x=x ln e but

ln e=1 so

ln e^x=x

- Math -
**Count Iblis**, Thursday, March 12, 2009 at 12:58pm
In the theorem:

ln e^x = x * ln e = x

put x = ln(y):

ln{exp[ln(y)]} = ln(y)

Then we have:

exp(ln(y)) = y

if it is allowed to conclude from

ln(a) = ln(b)

that

a = b

This follows from the definition of ln:

ln x = definite integral from 1 to x of 1/t dt

Since (for positive x), 1/t in the integrand is always positive, ln(x) is a monotonously increasing function. So, we have that:

if x > y, then ln(x) > ln(y).

This is equivalent to saying that

1) if ln(x) is not larger than ln(y) then x is not larger than y

Then if

ln(x) = ln(y)

then this means that neither is it the case that:

2) ln(x) > ln(y)

nor do we have that

3) ln(y) > ln(x)

Since 2) is not true, we have by 1):

4) x is not larger than y

Since 3) is not true either, we have by 1) (interchange x and y there):

5) y is not larger than x

From 4) and 5) it follows that x = y.

- Math -
**Sean**, Thursday, March 12, 2009 at 2:51pm
Thanks so much Iblis. Makes perfect sense!

## Answer this Question

## Related Questions

- calculus (please with steps and explanations) - consider the function f that is ...
- Calculus (urgent help) - consider the function f that is continuous on the ...
- calculus - consider the function f that is continuous on the interval [-5,5] and...
- Calculus - Can someone explain to me how to do these? Given the following ...
- Math - The twice–differentiable function f is defined for all real numbers and ...
- calculus - There are four integrals: 1) definite integral x/(1+x^4)dx b/w ...
- calculus - There are four integrals: 1) definite integral x/(1+x^4)dx b/w ...
- definite integral - Use the Riemann Sums corresponding to 5 inscribed rectangles...
- Calc - If we know that the definite integral from -6 to -3 of f(x) equals 6, the...
- math - The range of f(x) = ax + b is the set of all real numbers given that a ...