# Associative Composition Algebra/Transcendental paradigm

In the ancient geometry of the circle, the relation between angle above the horizon and altitude of a star is called the sine function. Though a part of the nature of a circle, it is not an algebraic function in the sense of being expressible as a sequence of additions, subtractions, multiplications, divisions, powers or roots. Thus it is called a transcendental function. The invitation of this function "sine" into the polite company of algebraic manipulations required a fundamental innovation: a constant "base" *b* > 0 raised to a variable exponent: This innovation was used by Leonard Euler in his Introduction to the Analysis of the Infinite (1748). But the research that led to this development is due to a Jesuit trio: Gregoire de Saint-Vincent, A. A. de Sarasa, and Marin Mersenne working in the previous century. They tackled the ancient problem of quadrature of the hyperbola, a prominent issue since Archimedes had shown the quadrature of the parabola millennia before.

Consider first a unit square area. Then consider those rectangles that have the same area as the square. If *x* and *y* are the sides of such a rectangle, the graph of *y* = 1/*x* represents the rectangles {(0,0), (*x*,0), (1, 1/*x*), (*x*, 1/*x*)}. The rectangle with *x* = *y* = 1 is the unit square *s*. Now suppose *b* > *a* > 1 and (*b*, 1/*b*) is the corner of a rectangle *h* while (*a*, 1/*a*) is the corner of a rectangle *g*. The rectangles can be viewed as squeezed forms of one another: *h* is *s* squeezed by *a*, *g* is *s* squeezed by *b*. Then *h* can be re-inflated to *s* by *a*^{−1}, so that *g* is obtained from *h* by squeezing with *a*^{−1}*b*.

The squeezing operation corresponds to a positive real number *p* > 0. The squeeze is generally viewed with *p* > 1 so that *x* expands and *y* contracts, all the while area is preserved. This property of preservation of area, called equi-areal mapping, brings squeezing into contact with translations, rotations, and shear mappings which share the property. The squeeze is not part of classical kinematics but appears in special relativity as a re-linearization of velocity after the finitude of the speed of light exposes the non-linearity of classical velocity addition with vectors.

Note the axis of symmetry L: *x* = *y* of the hyperbola *xy* = 1. A point (*x*, 1/*x*) on the hyperbola determines a hyperbolic sector S(1,*x*) delimited by L, the hyperbola, and the line from (0,0) to the point. The perpendicular projection from the point to L establishes the hyperbolic sine, sinh *v*, where *v* is the area of the sector S(1,*x*), commonly called the hyperbolic angle. The foot of the projection determines cosh v by the length of the diagonal from (0,0) to the foot. In accord with a circle of area 2π, the sinh and cosh are normalized by a factor of √2.

## Infinite series[edit]

Leonard Euler provided infinite series as an access point to the transcendental functions:

Look what happens when f is required to be its own derivative: the derivative of the nth term is

Given a_{0}, where n! is the factorial. Take a_{0} = 1. Now which Euler computed to be 2.71828… and is now designated mathematical constant e.

The function f is known as **the exponential function**

Euler also broke the sum into even and odd terms: , where cosh takes the even terms, sinh the odd. The following lemma will be needed later.

**Lemma**:

proof: The odd terms 0f e^{−x} turn negative, so they cancel in

- and add in

Now squaring and adding in the right hand side of the lemma yields

### Exercises[edit]

- Use Euler's formula to show sine and cosine have alternating series.
- Using infinite series, show
- Exchange triangles of area 1/2 to show a hyperbolic sector has the same area as a dented trapezoid under the hyperbola and against its asymptote.
- What are the merits and demerits of calling a squeeze mapping a "hyperbolic rotation" ?

## Sample[edit]

For a sample of AC algebra, the following is offered: Let *A* = (R^{2}, *xy*) be the real plane with quadratic form *xy*. Further, let *A* be equipped with component-wise addition and multiplication, making it a real algebra. Denote N(*x,y*) = *xy* in this case. Then

Thus N is said to **compose** over the multiplication in *A*, and *A* might be called a composition algebra. However, in this text, AC algebras have an involution called a *conjugation*, written x*, used to define N by N(*x*) = *x x**. Nevertheless, the algebra *A* constructed above is very closely related to split-binarions described in the next chapter. The split-binarions are a normalized form of *A*, where the multiplicative identity is a unit distance from the origin, and it has some formal correspondences with the complex field C. In *A*, the quadratic form can be interpreted as a weight, so that a transformation leaving it invariant is an *isobaric transformation*, a name used in 1999 by Peter Olver (*Classical Invariant Theory*, page 217) to describe a squeeze mapping.