Hyperbolic sector

Last updated
Hyperbolic sector.svg

A hyperbolic sector is a region of the Cartesian plane bounded by a hyperbola and two rays from the origin to it. For example, the two points (a, 1/a) and (b, 1/b) on the rectangular hyperbola xy = 1, or the corresponding region when this hyperbola is re-scaled and its orientation is altered by a rotation leaving the center at the origin, as with the unit hyperbola. A hyperbolic sector in standard position has a = 1 and b > 1.

Contents

Hyperbolic sectors are the basis for the hyperbolic functions.

Area

Hyperbolic sector area is preserved by squeeze mapping, shown squeezing rectangles and rotating a hyperbolic sector Hyperbolic sector squeeze mapping.svg
Hyperbolic sector area is preserved by squeeze mapping, shown squeezing rectangles and rotating a hyperbolic sector

The area of a hyperbolic sector in standard position is natural logarithm of b .

Proof: Integrate under 1/x from 1 to b, add triangle {(0, 0), (1, 0), (1, 1)}, and subtract triangle {(0, 0), (b, 0), (b, 1/b)} (both triangles of which have the same area). [1]

When in standard position, a hyperbolic sector corresponds to a positive hyperbolic angle at the origin, with the measure of the latter being defined as the area of the former.

Hyperbolic triangle

Hyperbolic triangle (yellow) and hyperbolic sector (red) corresponding to hyperbolic angle u, to the rectangular hyperbola (equation y = 1/x). The legs of the triangle are [?]2 times the hyperbolic cosine and sine functions. Cartesian hyperbolic triangle.svg
Hyperbolic triangle (yellow) and hyperbolic sector (red) corresponding to hyperbolic angle u, to the rectangular hyperbola (equation y = 1/x). The legs of the triangle are 2 times the hyperbolic cosine and sine functions.

When in standard position, a hyperbolic sector determines a hyperbolic triangle, the right triangle with one vertex at the origin, base on the diagonal ray y = x, and third vertex on the hyperbola

with the hypotenuse being the segment from the origin to the point (x, y) on the hyperbola. The length of the base of this triangle is

and the altitude is

where u is the appropriate hyperbolic angle.

The analogy between circular and hyperbolic functions was described by Augustus De Morgan in his Trigonometry and Double Algebra (1849). [2] William Burnside used such triangles, projecting from a point on the hyperbola xy = 1 onto the main diagonal, in his article "Note on the addition theorem for hyperbolic functions". [3]

Hyperbolic logarithm

Unit area when b = e as exploited by Euler. Hyperbola E.svg
Unit area when b = e as exploited by Euler.

It is known that f(x) = xp has an algebraic antiderivative except in the case p = –1 corresponding to the quadrature of the hyperbola. The other cases are given by Cavalieri's quadrature formula. Whereas quadrature of the parabola had been accomplished by Archimedes in the third century BC (in The Quadrature of the Parabola ), the hyperbolic quadrature required the invention in 1647 of a new function: Gregoire de Saint-Vincent addressed the problem of computing the areas bounded by a hyperbola. His findings led to the natural logarithm function, once called the hyperbolic logarithm since it is obtained by integrating, or finding the area, under the hyperbola. [4]

Before 1748 and the publication of Introduction to the Analysis of the Infinite, the natural logarithm was known in terms of the area of a hyperbolic sector. Leonhard Euler changed that when he introduced transcendental functions such as 10x. Euler identified e as the value of b producing a unit of area (under the hyperbola or in a hyperbolic sector in standard position). Then the natural logarithm could be recognized as the inverse function to the transcendental function ex.

To accommodate the case of negative logarithms and the corresponding negative hyperbolic angles, different hyperbolic sectors are constructed according to whether x is greater or less than one. A variable right triangle with area 1/2 is The isosceles case is The natural logarithm is known as the area under y = 1/x between one and x. A positive hyperbolic angle is given by the area of A negative hyperbolic angle is given by the negative of the area This convention is in accord with a negative natural logarithm for x in (0,1).

Hyperbolic geometry

When Felix Klein wrote his book on non-Euclidean geometry in 1928, he provided a foundation for the subject by reference to projective geometry. To establish hyperbolic measure on a line, he noted that the area of a hyperbolic sector provided visual illustration of the concept. [5]

Hyperbolic sectors can also be drawn to the hyperbola . The area of such hyperbolic sectors has been used to define hyperbolic distance in a geometry textbook. [6]

See also

Related Research Articles

<span class="mw-page-title-main">Complex number</span> Number with a real and an imaginary part

In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted i, called the imaginary unit and satisfying the equation ; every complex number can be expressed in the form , where a and b are real numbers. Because no real number satisfies the above equation, i was called an imaginary number by René Descartes. For the complex number ,a is called the real part, and b is called the imaginary part. The set of complex numbers is denoted by either of the symbols or C. Despite the historical nomenclature, "imaginary" complex numbers have a mathematical existence as firm as that of the real numbers, and they are fundamental tools in the scientific description of the natural world.

<span class="mw-page-title-main">Hyperbola</span> Plane curve: conic section

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.

<span class="mw-page-title-main">Logarithm</span> Mathematical function, inverse of an exponential function

In mathematics, the logarithm is the inverse function to exponentiation. That means that the logarithm of a number x to the base b is the exponent to which b must be raised to produce x. For example, since 1000 = 103, the logarithm base 10 of 1000 is 3, or log10 (1000) = 3. The logarithm of x to base b is denoted as logb (x), or without parentheses, logbx, or even without the explicit base, log x, when no confusion is possible, or when the base does not matter such as in big O notation.

<span class="mw-page-title-main">Natural logarithm</span> Logarithm to the base of the mathematical constant e

The natural logarithm of a number is its logarithm to the base of the mathematical constant e, which is an irrational and transcendental number approximately equal to 2.718281828459. The natural logarithm of x is generally written as ln x, logex, or sometimes, if the base e is implicit, simply log x. Parentheses are sometimes added for clarity, giving ln(x), loge(x), or log(x). This is done particularly when the argument to the logarithm is not a single symbol, so as to prevent ambiguity.

<span class="mw-page-title-main">Trigonometric functions</span> Functions of an angle

In mathematics, the trigonometric functions are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all sciences that are related to geometry, such as navigation, solid mechanics, celestial mechanics, geodesy, and many others. They are among the simplest periodic functions, and as such are also widely used for studying periodic phenomena through Fourier analysis.

<span class="mw-page-title-main">Hyperbolic functions</span> Collective name of 6 mathematical functions

In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions, but defined using the hyperbola rather than the circle. Just as the points (cos t, sin t) form a circle with a unit radius, the points (cosh t, sinh t) form the right half of the unit hyperbola. Also, similarly to how the derivatives of sin(t) and cos(t) are cos(t) and –sin(t) respectively, the derivatives of sinh(t) and cosh(t) are cosh(t) and +sinh(t) respectively.

<span class="mw-page-title-main">Paraboloid</span> Quadric surface with one axis of symmetry and no center of symmetry

In geometry, a paraboloid is a quadric surface that has exactly one axis of symmetry and no center of symmetry. The term "paraboloid" is derived from parabola, which refers to a conic section that has a similar property of symmetry.

In mathematics, a transcendental function is an analytic function that does not satisfy a polynomial equation, in contrast to an algebraic function. In other words, a transcendental function "transcends" algebra in that it cannot be expressed algebraically using a finite amount of terms.

<span class="mw-page-title-main">Identity (mathematics)</span> Equation that is satisfied for all values of the variables

In mathematics, an identity is an equality relating one mathematical expression A to another mathematical expression B, such that A and B produce the same value for all values of the variables within a certain range of validity. In other words, A = B is an identity if A and B define the same functions, and an identity is an equality between functions that are differently defined. For example, and are identities. Identities are sometimes indicated by the triple bar symbol instead of =, the equals sign. Formally, an identity is a universally quantified equality.

In algebra, a split complex number is based on a hyperbolic unitj satisfying A split-complex number has two real number components x and y, and is written The conjugate of z is Since the product of a number z with its conjugate is an isotropic quadratic form.

<span class="mw-page-title-main">Hyperbolic angle</span> Argument of the hyperbolic functions

In geometry, hyperbolic angle is a real number determined by the area of the corresponding hyperbolic sector of xy = 1 in Quadrant I of the Cartesian plane. The hyperbolic angle parametrises the unit hyperbola, which has hyperbolic functions as coordinates. In mathematics, hyperbolic angle is an invariant measure as it is preserved under hyperbolic rotation.

<span class="mw-page-title-main">Squeeze mapping</span> Linear mapping permuting rectangles of the same area

In linear algebra, a squeeze mapping, also called a squeeze transformation, is a type of linear map that preserves Euclidean area of regions in the Cartesian plane, but is not a rotation or shear mapping.

<span class="mw-page-title-main">Hyperbolic coordinates</span> Geometric mean and hyperbolic angle as coordinates in quadrant I

In mathematics, hyperbolic coordinates are a method of locating points in quadrant I of the Cartesian plane

In mathematics, particularly in geometry, quadrature is a historical process of drawing a square with the same area as a given plane figure or computing the numerical value of that area. A classical example is the quadrature of the circle . Quadrature problems served as one of the main sources of problems in the development of calculus. They introduce important topics in mathematical analysis.

<span class="mw-page-title-main">Grégoire de Saint-Vincent</span> Belgian Jesuit and mathematician (1584–1667)

Grégoire de Saint-Vincent - in Latin : Gregorius a Sancto Vincentio, in Dutch : Gregorius van St-Vincent - was a Flemish Jesuit and mathematician. He is remembered for his work on quadrature of the hyperbola.

<span class="mw-page-title-main">Inverse hyperbolic functions</span> Mathematical functions

In mathematics, the inverse hyperbolic functions are inverses of the hyperbolic functions, analogous to the inverse circular functions. There are six in common use: inverse hyperbolic sine, inverse hyperbolic cosine, inverse hyperbolic tangent, inverse hyperbolic cosecant, inverse hyperbolic secant, and inverse hyperbolic cotangent. They are commonly denoted by the symbols for the hyperbolic functions, prefixed with arc- or ar-.

<span class="mw-page-title-main">Rapidity</span> Measure of relativistic velocity

Rapidity is a measure for relativistic velocity. For one-dimensional motion, rapidities are additive. However, velocities must be combined by Einstein's velocity-addition formula. For low speeds, rapidity and velocity are almost exactly proportional but, for higher velocities, rapidity takes a larger value, with the rapidity of light being infinite.

<span class="mw-page-title-main">Unit hyperbola</span> Geometric figure

In geometry, the unit hyperbola is the set of points (x,y) in the Cartesian plane that satisfy the implicit equation In the study of indefinite orthogonal groups, the unit hyperbola forms the basis for an alternative radial length

In mathematics, the signed area or oriented area of a region of an affine plane is its area with orientation specified by the positive or negative sign, that is "plus" () or "minus" (). More generally, the signed area of an arbitrary surface region is its surface area with specified orientation. When the boundary of the region is a simple curve, the signed area also indicates the orientation of the boundary.

In the hyperbolic plane, as in the Euclidean plane, each point can be uniquely identified by two real numbers. Several qualitatively different ways of coordinatizing the plane in hyperbolic geometry are used.

References

  1. V.G. Ashkinuse & Isaak Yaglom (1962) Ideas and Methods of Affine and Projective Geometry (in Russian), page 151, Ministry of Education, Moscow
  2. Augustus De Morgan (1849) Trigonometry and Double Algebra, Chapter VI: "On the connection of common and hyperbolic trigonometry"
  3. William Burnside (1890) Messenger of Mathematics 20:145–8, see diagram page 146
  4. Martin Flashman The History of Logarithms from Humboldt State University
  5. Felix Klein (1928) Vorlesungen über Nicht-Euklidische Geometrie, p. 173, figure 113, Julius Springer, Berlin
  6. Jürgen Richter-Gebert (2011) Perspectives on Projective Geometry, p. 385, ISBN   9783642172854 MR 2791970