statement proposition
Integral of 1/x
Statement
Let be real numbers of the same sign, both nonzero. Then In particular, for .
Remarks
The function is an antiderivative of on each of and , by the derivative of the logarithm.
Some texts use the second formula as the definition of the natural logarithm.
The integral over an interval that contains does not exist.
Mathlib states it as integral_inv, under the hypothesis .
Explanations
L1 human
The power rule fails for , since it would divide by . The logarithm fills this gap: its derivative is .
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 64 nodes in this order. The foundations come first, and the list ends with this node.
- Limit point of a set definition
- Local maximum definition
- Partition of an interval definition
- Sequence definition
- Strictly monotone function definition
- Limit of a function definition
- Local minimum definition
- Mesh of a partition definition
- Riemann sum definition
- Real sequence definition
- Subsequence definition
- Continuity at a point definition
- Derivative definition
- One-sided limit definition
- Riemann integrable function definition
- Bounded sequence definition
- Geometric sequence definition
- Limit of a sequence definition
- Monotone sequence definition
- Series definition
- Continuous function definition
- Epsilon-delta definition of continuity statement
- Fermat's theorem on stationary points statement
- Sum of a finite geometric series statement
- Monotone convergence theorem for sequences statement
- Convergent sequence definition
- Every sequence has a monotone subsequence statement
- Squeeze theorem statement
- Cauchy product definition
- Partial sum definition
- Power series definition
- Intermediate value theorem statement
- Composition of continuous functions is continuous statement
- One-sided limits of a monotone function exist statement
- Bolzano–Weierstrass theorem statement
- The sequence r^n tends to zero for |r| < 1 example
- Radius of convergence definition
- Convergent series definition
- Chain rule statement
- Boundedness theorem statement
- Continuity of the inverse of a strictly monotone continuous function statement
- A series of nonnegative terms converges iff its partial sums are bounded statement
- Absolute convergence definition
- Sum of a series definition
- Extreme value theorem statement
- Derivative of an inverse function statement
- Comparison test statement
- Geometric series example
- Cauchy product of absolutely convergent series statement
- Rolle's theorem statement
- Ratio test statement
- Mean value theorem statement
- Ratio formula for the radius of convergence statement
- A function with positive derivative is strictly increasing statement
- Second fundamental theorem of calculus statement
- The exponential series has infinite radius of convergence statement
- Exponential function definition
- Exponential of a sum statement
- The exponential function is positive statement
- The exponential function is its own derivative statement
- The exponential function is strictly increasing statement
- Natural logarithm definition
- Derivative of the logarithm statement
- Integral of 1/x statement
What depends on this
4 nodes use this node, directly or through other nodes.
- Euler–Mascheroni constant 00C5P9JZBK
- Harmonic numbers grow like log n 05S2GSPMGA
- Improper integral of x^p on an unbounded interval 0VGKB2NC4T
- Integration by partial fractions 0WBTWFXJQG
Sources
- Web https://en.wikipedia.org/wiki/Natural_logarithm, Integration
What links here
Used by
- Harmonic numbers grow like log n 05S2GSPMGA
- Improper integral of x^p on an unbounded interval 0VGKB2NC4T
- Integration by partial fractions 0WBTWFXJQG