Katana VentraIP

Exponentiation

In mathematics, exponentiation is an operation involving two numbers: the base and the exponent or power. Exponentiation is written as bn, where b is the base and n is the power; this is pronounced as "b (raised) to the (power of) n".[1] When n is a positive integer, exponentiation corresponds to repeated multiplication of the base: that is, bn is the product of multiplying n bases:[1]

"Exponent" redirects here. For other uses, see Exponent (disambiguation).

The exponent is usually shown as a superscript to the right of the base. In that case, bn is called "b raised to the nth power", "b (raised) to the power of n", "the nth power of b", "b to the nth power",[2] or most briefly as "b to the n(th)".


Starting from the basic fact stated above that, for any positive integer , is occurrences of all multiplied by each other, several other properties of exponentiation directly follow. In particular:[nb 1]





In other words, when multiplying a base raised to one exponent by the same base raised to another exponent, the exponents add. From this basic rule that exponents add, we can derive that must be equal to 1 for any , as follows. For any , . Dividing both sides by gives .


The fact that can similarly be derived from the same rule. For example, . Taking the cube root of both sides gives .


The rule that multiplying makes exponents add can also be used to derive the properties of negative integer exponents. Consider the question of what should mean. In order to respect the "exponents add" rule, it must be the case that . Dividing both sides by gives , which can be more simply written as , using the result from above that . By a similar argument, .


The properties of fractional exponents also follow from the same rule. For example, suppose we consider and ask if there is some suitable exponent, which we may call , such that . From the definition of the square root, we have that . Therefore, the exponent must be such that . Using the fact that multiplying makes exponents add gives . The on the right-hand side can also be written as , giving . Equating the exponents on both sides, we have . Therefore, , so .


The definition of exponentiation can be extended to allow any real or complex exponent. Exponentiation by integer exponents can also be defined for a wide variety of algebraic structures, including matrices.


Exponentiation is used extensively in many fields, including economics, biology, chemistry, physics, and computer science, with applications such as compound interest, population growth, chemical reaction kinetics, wave behavior, and public-key cryptography.

Etymology[edit]

The term exponent originates from the Latin exponentem, the present participle of exponere, meaning "to put forth".[3] The term power (Latin: potentia, potestas, dignitas) is a mistranslation[4][5] of the ancient Greek δύναμις (dúnamis, here: "amplification"[4]) used by the Greek mathematician Euclid for the square of a line,[6] following Hippocrates of Chios.[7]

Terminology[edit]

The expression b2 = b · b is called "the square of b" or "b squared", because the area of a square with side-length b is b2. (It is true that it could also be called "b to the second power", but "the square of b" and "b squared" are so ingrained by tradition and convenience that "b to the second power" tends to sound unusual or clumsy.)


Similarly, the expression b3 = b · b · b is called "the cube of b" or "b cubed", because the volume of a cube with side-length b is b3.


When an exponent is a positive integer, that exponent indicates how many copies of the base are multiplied together. For example, 35 = 3 · 3 · 3 · 3 · 3 = 243. The base 3 appears 5 times in the multiplication, because the exponent is 5. Here, 243 is the 5th power of 3, or 3 raised to the 5th power.


The word "raised" is usually omitted, and sometimes "power" as well, so 35 can be simply read "3 to the 5th", or "3 to the 5". Therefore, the exponentiation bn can be expressed as "b to the power of n", "b to the nth power", "b to the nth", or most briefly as "b to the n".

of z. If is the canonical form of z (a and b being real), then its polar form is where and (see atan2 for the definition of this function).

Polar form

of z. The principal value of this logarithm is where denotes the natural logarithm. The other values of the logarithm are obtained by adding for any integer k.

Logarithm

Canonical form of If with c and d real, the values of are the principal value corresponding to

Final result. Using the identities and one gets with for the principal value.

for every nonnegative integer n.

x+∞ = +∞ and x−∞ = 0, when 1 < x ≤ +∞.

x+∞ = 0 and x−∞ = +∞, when 0 ≤ x < 1.

0y = 0 and (+∞)y = +∞, when 0 < y ≤ +∞.

0y = +∞ and (+∞)y = 0, when −∞ ≤ y < 0.

Zero to the power of zero gives a number of examples of limits that are of the indeterminate form 00. The limits in these examples exist, but have different values, showing that the two-variable function xy has no limit at the point (0, 0). One may consider at what points this function does have a limit.


More precisely, consider the function defined on . Then D can be viewed as a subset of R2 (that is, the set of all pairs (x, y) with x, y belonging to the extended real number line R = [−∞, +∞], endowed with the product topology), which will contain the points at which the function f has a limit.


In fact, f has a limit at all accumulation points of D, except for (0, 0), (+∞, 0), (1, +∞) and (1, −∞).[38] Accordingly, this allows one to define the powers xy by continuity whenever 0 ≤ x ≤ +∞, −∞ ≤ y ≤ +∞, except for 00, (+∞)0, 1+∞ and 1−∞, which remain indeterminate forms.


Under this definition by continuity, we obtain:


These powers are obtained by taking limits of xy for positive values of x. This method does not permit a definition of xy when x < 0, since pairs (x, y) with x < 0 are not accumulation points of D.


On the other hand, when n is an integer, the power xn is already meaningful for all values of x, including negative ones. This may make the definition 0n = +∞ obtained above for negative n problematic when n is odd, since in this case xn → +∞ as x tends to 0 through positive values, but not negative ones.

x ^ y: , BASIC, J, MATLAB, Wolfram Language (Mathematica), R, Microsoft Excel, Analytica, TeX (and its derivatives), TI-BASIC, bc (for integer exponents), Haskell (for nonnegative integer exponents), Lua, and most computer algebra systems.

AWK

x ** y. The character set did not include lowercase characters or punctuation symbols other than +-*/()&=.,' and so used ** for exponentiation[45][46] (the initial version used a xx b instead.[47]). Many other languages followed suit: Ada, Z shell, KornShell, Bash, COBOL, CoffeeScript, Fortran, FoxPro, Gnuplot, Groovy, JavaScript, OCaml, F#, Perl, PHP, PL/I, Python, Rexx, Ruby, SAS, Seed7, Tcl, ABAP, Mercury, Haskell (for floating-point exponents), Turing, and VHDL.

Fortran

x ↑ y: , Commodore BASIC, TRS-80 Level II/III BASIC.[48][49]

Algol Reference language

x ^^ y: Haskell (for fractional base, integer exponents), .

D

x⋆y: .

APL

Programming languages generally express exponentiation either as an infix operator or as a function application, as they do not support superscripts. The most common operator symbol for exponentiation is the caret (^). The original version of ASCII included an uparrow symbol (), intended for exponentiation, but this was replaced by the caret in 1967, so the caret became usual in programming languages.[44] The notations include:


In most programming languages with an infix exponentiation operator, it is right-associative, that is, a^b^c is interpreted as a^(b^c).[50] This is because (a^b)^c is equal to a^(b*c) and thus not as useful. In some languages, it is left-associative, notably in Algol, Matlab, and the Microsoft Excel formula language.


Other programming languages use functional notation:


Still others only provide exponentiation as part of standard libraries:


In some statically typed languages that prioritize type safety such as Rust, exponentiation is performed via a multitude of methods: