is a mathematical notation defined by, where is the cosine function, is the imaginary unit and is the sine function. is the argument of the complex number (angle between line to point and x-axis in polar form). The notation is less commonly used in mathematics than Euler's formula, which offers an even shorter notation for but cis(x) is widely used as a name for this function in software libraries.
The notation is a shorthand for the combination of functions on the right-hand side of Euler's formula:
eix=\cosx+i\sinx,
\operatorname{cis}x=\cosx+i\sinx,
It connects trigonometric functions with exponential functions in the complex plane via Euler's formula. While the domain of definition is usually
x\inR
z\inC
\operatorname{cis}z=\cosz+i\sinz,
The function is mostly used as a convenient shorthand notation to simplify some expressions, for example in conjunction with Fourier and Hartley transforms, or when exponential functions shouldn't be used for some reason in math education.
In information technology, the function sees dedicated support in various high-performance math libraries (such as Intel's Math Kernel Library (MKL) or MathCW), available for many compilers and programming languages (including C, C++, Common Lisp, D, Haskell, Julia, and Rust). Depending on the platform the fused operation is about twice as fast as calling the sine and cosine functions individually.
| d | |
| dz |
\operatorname{cis}z=i\operatorname{cis}z=ieiz
\int\operatorname{cis}zdz=-i\operatorname{cis}z=-ieiz
These follow directly from Euler's formula.
\cos(x)=
| \operatorname{cis | |
| (x) |
+\operatorname{cis}(-x)}{2}=
| eix+e-ix | |
| 2 |
\sin(x)=
| \operatorname{cis | |
| (x) |
-\operatorname{cis}(-x)}{2i}=
| eix-e-ix | |
| 2i |
\operatorname{cis}(x+y)=\operatorname{cis}x\operatorname{cis}y
\operatorname{cis}(x-y)={\operatorname{cis}x\over\operatorname{cis}y}
The identities above hold if and are any complex numbers. If and are real, then
|\operatorname{cis}x-\operatorname{cis}y|\le|x-y|.
The notation was first coined by William Rowan Hamilton in Elements of Quaternions (1866) and subsequently used by Irving Stringham (who also called it "sector of ") in works such as Uniplanar Algebra (1893), James Harkness and Frank Morley in their Introduction to the Theory of Analytic Functions (1898), or by George Ashley Campbell (who also referred to it as "cisoidal oscillation") in his works on transmission lines (1901) and Fourier integrals (1928).
In 1942, inspired by the notation, Ralph V. L. Hartley introduced the (for cosine-and-sine) function for the real-valued Hartley kernel, a meanwhile established shortcut in conjunction with Hartley transforms:
\operatorname{cas}x=\cosx+\sinx.
The notation is sometimes used to emphasize one method of viewing and dealing with a problem over another. The mathematics of trigonometry and exponentials are related but not exactly the same; exponential notation emphasizes the whole, whereas and notations emphasize the parts. This can be rhetorically useful to mathematicians and engineers when discussing this function, and further serve as a mnemonic (for).
The notation is convenient for math students whose knowledge of trigonometry and complex numbers permit this notation, but whose conceptual understanding does not yet permit the notation . As students learn concepts that build on prior knowledge, it is important not to force them into levels of math for which they are not yet prepared: the usual proof that requires calculus, which the student may not have studied before encountering the expression .
This notation was more common when typewriters were used to convey mathematical expressions.