# Math

posted by .

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 -

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 -

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 -

Thanks so much Iblis. Makes perfect sense!

## Similar Questions

1. ### calculus

There are four integrals: 1) definite integral x/(1+x^4)dx b/w 0_infinity 2) definite integral (x^2)/(1+x^4)dx b/w 0_infinity 3) definite integral (x^3)/(1+x^4)dx b/w 0_infinity 4) definite integral (x^4)/(1+x^4)dx b/w 0_infinity Which …
2. ### calculus

There are four integrals: 1) definite integral x/(1+x^4)dx b/w 0_infinity 2) definite integral (x^2)/(1+x^4)dx b/w 0_infinity 3) definite integral (x^3)/(1+x^4)dx b/w 0_infinity 4) definite integral (x^4)/(1+x^4)dx b/w 0_infinity Which …
3. ### Calculus

Can someone explain to me how to do these?
4. ### definite integral

Use the Riemann Sums corresponding to 5 inscribed rectangles of equal width to approximate the integral a= 1, b= 3, (1/x)dx this is all for definite integral i just know x1=1.4, x2=1.8, x3=2.2, x4=2.6, x5=3.0 how do i continue
5. ### Math

The twice–differentiable function f is defined for all real numbers and satisfies the following conditions: f(0)=3 f′(0)=5 f″(0)=7 a)The function g is given by g(x)=e^ax+f(x) for all real numbers, where a is a constant. …
6. ### Calculus (urgent help)

consider the function f that is continuous on the interval [-5,5] and for which the definite integral 0(bottom of integral sign) to 5(top of integral sign) of f(x)dx=4. Use the properties of the definite integral to evaluate each integral: …
7. ### calculus

consider the function f that is continuous on the interval [-5,5] and for which the definite integral 0(bottom of integral sign) to 5(top of integral sign) of f(x)dx=4. Use the properties of the definite integral to evaluate each integral: …
8. ### calculus (please with steps and explanations)

consider the function f that is continuous on the interval [-5,5] and for which the definite integral 0(bottom of integral sign) to 5(top of integral sign) of f(x)dx=4. Use the properties of the definite integral to evaluate each integral: …
9. ### Calculus

My question is with a multi-part homework assignment that we got in class. The information given is : A factory manufactures widgets. The rate of production of widgets after t weeks is widgets/ week. The equation for this is dx/dt=30(1-(20/((t+20)^2))). …
10. ### Math (Definite Integrals)

Sketch the region given by the definite integral. Use geometric shapes and formulas to evaluate the integral (a > 0, r > 0). r ∫ sqrt(r^2 - x^2) dx -r While I recognize that this looks similar to a circle function, I'm not …

More Similar Questions