section_path: History/Complex numbers
section_name: Complex numbers
paragraph_text: Complex numbers
  
  The earliest fleeting reference to square roots of negative numbers occurred in the work of the mathematician and inventor Heron of Alexandria in the 1st century AD, when he considered the volume of an impossible frustum of a pyramid. They became more prominent when in the 16th century closed formulas for the roots of third and fourth degree polynomials were discovered by Italian mathematicians such as Niccolò Fontana Tartaglia and Gerolamo Cardano. It was soon realized that these formulas, even if one was only interested in real solutions, sometimes required the manipulation of square roots of negative numbers.
  
  This was doubly unsettling since they did not even consider negative numbers to be on firm ground at the time. When René Descartes coined the term "imaginary" for these quantities in 1637, he intended it as derogatory. (See imaginary number for a discussion of the "reality" of complex numbers.) A further source of confusion was that the equation
  
  seemed capriciously inconsistent with the algebraic identity
  
  which is valid for positive real numbers a and b, and was also used in complex number calculations with one of a, b positive and the other negative. The incorrect use of this identity, and the related identity
  
  in the case when both a and b are negative even bedeviled Euler. This difficulty eventually led him to the convention of using the special symbol i in place of − 1 {\displaystyle {\sqrt {-1}}} to guard against this mistake.
  
  The 18th century saw the work of Abraham de Moivre and Leonhard Euler. De Moivre's formula (1730) states:
  
  while Euler's formula of complex analysis (1748) gave us:
  
  The existence of complex numbers was not completely accepted until Caspar Wessel described the geometrical interpretation in 1799. Carl Friedrich Gauss rediscovered and popularized it several years later, and as a result the theory of complex numbers received a notable expansion. The idea of the graphic representation of complex numbers had appeared, however, as early as 1685, in Wallis 's De algebra tractatus.
  
  In the same year, Gauss provided the first generally accepted proof of the fundamental theorem of algebra, showing that every polynomial over the complex numbers has a full set of solutions in that realm. Gauss studied complex numbers of the form a + bi, where a and b are integers (now called Gaussian integers) or rational numbers. His student, Gotthold Eisenstein, studied the type a + bω, where ω is a complex root of x − 1 = 0 (now called Eisenstein integers). Other such classes (called cyclotomic fields) of complex numbers derive from the roots of unity x − 1 = 0 for higher values of k. This generalization is largely due to Ernst Kummer, who also invented ideal numbers, which were expressed as geometrical entities by Felix Klein in 1893.
  
  In 1850 Victor Alexandre Puiseux took the key step of distinguishing between poles and branch points, and introduced the concept of essential singular points. This eventually led to the concept of the extended complex plane.