Hyperbolic tangent
Definition
The hyperbolic tangent is the function defined by
Remarks
The quotient is defined everywhere, since .
It is odd and strictly increasing, with range . Also as .
Mathlib defines it as Real.tanh.
Explanations
L1 human
The hyperbolic tangent is an S-shaped curve between and . It is close to near and close to far away.
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 28 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Sequence definition
- Real sequence definition
- Bounded sequence definition
- Geometric sequence definition
- Limit of a sequence definition
- Monotone sequence definition
- Series definition
- Sum of a finite geometric series statement
- Monotone convergence theorem for sequences statement
- Convergent sequence definition
- Squeeze theorem statement
- Partial sum definition
- Power series definition
- The sequence r^n tends to zero for |r| < 1 example
- Radius of convergence definition
- Convergent series definition
- A series of nonnegative terms converges iff its partial sums are bounded statement
- Absolute convergence definition
- Sum of a series definition
- Comparison test statement
- Geometric series example
- Ratio test statement
- Ratio formula for the radius of convergence statement
- The exponential series has infinite radius of convergence statement
- Exponential function definition
- Hyperbolic cosine definition
- Hyperbolic sine definition
- Hyperbolic tangent definition
What depends on this
3 nodes use this node, directly or through other nodes.
- Inverse hyperbolic functions 04D7CHT5V1
- Derivatives of the hyperbolic functions 07T2TKGZ4J
- Hyperbolic functions 0J6M03WSS6
Sources
- Web https://en.wikipedia.org/wiki/Hyperbolic_functions, Exponential definitions
What links here
Used by
- Inverse hyperbolic functions 04D7CHT5V1
- Derivatives of the hyperbolic functions 07T2TKGZ4J
- Hyperbolic functions 0J6M03WSS6