Lecture 34. Complex Numbers

Origin of the complex numbers Where did the notion of complex numbers came from? Did it come from the equation x2 + 1 = 0 (1) as i is defined today? No. A very long time ago people had no problem accepting the fact that an equation may have no solution. When Brahmagupta (598-668) introduced a general solution formula √ −b ± b2 − 4ac x = 2a for the quadratic equation ax2 + bx + c = 0, he only recognized positive real root.

Cardan The starting point of the notion of indeed came from the theory of cubic equations. In the 16th century, cubic equations were solved by the del Ferro- Tartaglia-Cardano formula: a general can be reduced into a special form: y3 = py + q which can be solved by s s q r q p q r q p y = 3 + 2 − 3 + 3 − 2 − 3. (2) 2 2 3 2 2 3

236 √ Cardan (1501-1576) was the first to introduce complex numbers a + −b into , but had misgivings about it. In fact, Gardan kept the “complex number” out of his book Ars Magna except in one case when he dealt with the problem√ of dividing√ 10 into two parts whose product was 40. Gardan obtained the roots 5 + −15 and 5 − −15 as solution of the equation x(10 − x) = 40 and wrote: √ √ Putting aside the mental tortures involved, multiply 5 + −15 by 5 − −15, whence the product is 40. √ He made a comment that dealing with −1 “involves mental tortures and is truely sophis- ticated” and these numbers were “ as subtle as they are useless. ” 1

Bombelli Now we know that a cubic equation with real coefficients always has a real root y because we can consider the graph: y3 − py − q > 0 when y is a large positive number and y3 − py − q < 0 when y is a large negatively number so that the graph curve must intersect q 2 p 3 the x-axis. On the other hand, the number inside the sqaure root in (2), 2 − 3 , could be negative. How could the formula (2), which involves a meaningless square root of negative number, produce a real solution in this case?

In 1569, Rafael Bombelli (1526-1572) 2 observed that the cubic equation x3 = 15x + 4 does have a root, x = 4, but by the formula (2) gives q √ q √ x = 3 2 + −121 + 3 2 − −121

q3 √ q3 √ = (2 + −1)3 + (2 − −1)3 (3) √ √ = (2 + −1) + (2 − −1) = 4

Here he demonstrated the extraordinary fact that real numbers could be generated by imag- inary numbers. From the very first time, imaginary numbers appeared in the world of mathematics.

However, Bombelli did not really understand it. After doing this, Bombelli commented: “At first, the thing seemed to me to be based more on sophism than on truth, but I searched until I found the proof.”

1J.H. Mathews and R.W. Howell, Complex Analyisis for Mathematics and Enginerring, 5th ed., Jones and Bartlett Publishers, 2006, p.3. 2Rafael Bombelli was the last of the great sixteenth century Bolognese mathematicians, and he published a book Algebra” in 1572.

237 Figure 34.5 Bombelli’s Algebra published in 1572.

Descartes John Napier (1550-1617), who invented logarithm, called complex numbers “nonsense.”

Rene Descartes (1596-1650), who was a pioneer to work on analytic geometry and used equation to study geometry, called complex numbers “impossible.” In fact, the terminology “imaginary number” came from Descartes. He wrote:

Neither the true nor failse (negative) roots are always real, somethimes they are imaginary.

When he dealt with the equation z2 = az − b2, with a and b2 both positive, Descartes wrote: “For any equation one can imagine as many roots [as its degree would suggest], but in many cases no quantity exists which corresponds to what one imagines.”

Newton and Leibniz Newton (1643-1727) agreed with Descartes. He wrote: “But it id just that the Roots of Equations should be often impossible (complex), lest they should exhibit the cases of Problems that are impossible as if they were possible.”3

Gottfried WiIhelm Leibniz (1646-1716), who and Newton established calculus, remarked that imaginary numbers are lide the Holy Ghost of Christian scriptures-a sort of amphibian, midway between existence and nonexistence.4

3Morris Kline, Mathematical Thought from Ancient to Modern Times, volume 1, New York Oxford, Oxford University Press, 1972, p.254. 4http://library.thinkquest.org/22584/temh3016.htm

238 Bernoulli As time passes, mathematicians gradually redefine their thinking and began to believe that complex numbers existed, and set out to make them understood and accepted. Wallis tried in 1673 to give a geometric representation which failed but was quite close. Johann Bernoulli noticed in 1702 that dz dz sz = √ + √ 1 + z2 2(1 + z −1) 2(1 − z −1) and he could have used it to obtain 1 i − z tan−1z = log . 2i i + z

Euler During the eighteenth century, imaginary numbers were used extensively in analysis, especially by Euler for it produced concrete results. These numbers not only existed, but also obeyed the same rules of real numbers. √ In 1732, Leonhard Euler (1707-1783) introduced the notation i = −1, and visualized complex numbers as points with rectangular coordinates. Euler used the formula p x + iy = r(cos θ + isin θ), r = x2 + y2 and visualized the roots of zn = 1 as vertices of a regular polygon, which was used before by Cotes (1714) 5. Euler defined the complex exponential, and proved the famous identity eiθ = cos θ + i sin θ. Although complex numbers were being admitted, doubt concerning their precise meaning continued to puzzle mathematicians. In fact, even Euler had made a remark: 5John Stillwell, Mathematics and its history, Second edition, Springer, 2002, p.263.

239 “such numbers, which by their natures are impossible, are ordinarily called imag- inary or fanciful numbers, because they exist only in the imagination.

Wallis Three centuries passed after their introduction, in absence of a full and convincing understanding of these new numbers, progress in their foundation was developed, either in geometric way, or in arithmetic way.

John Wallis might be the first to attempt, although unsuccessfully, a graphic represen- tation of a complex number. In his book Algebra in 1685, he suggested to use Euclidean geometry to deal with complex numbers.

Wessel and Argand Caspar Wessel (1745-1818) first gave the geometrical interpretation of complex numbers z = x + iy = r(cos θ + isin θ) where r = |z| and θ ∈ R is the polar angle. Wessel’s approach used what we today call vectors. He uses the geometric addition of vectors (parallelogram law) and defined multi- plication of vectors in terms of what we call today adding the polar angles and multiplying the magnitudes. Wessel’s paper, written in Danish in 1797.

The same fate awaited the similar geometric interpretation of complex numbers put forth by the Swiss bookkeeper J. Argand (1768-1822) in a small book published in 1806.

Gauss It was only because Gauss used the same geometric interpretation of complex numbers in his proofs of the fundamental theorem of algebra and in his study of quartic residues that this interpretation gained acceptance in the mathematical community. 6

The realization that the use of complex numbers enabled a polynomial of degree n to have n roots might lead to their reluctant acceptance. In 1799 Carl Friedrich Gauss gave the

6Victor J. Katz, A - an introduction, 3rd edition, Addison -Wesley, 2009, p.796.

240 first of his four proofs for the well-known Fundamental Theorem of Algebra: Any polynomial equation n n−1 anx + an−1x + ... + a1x + a0 = 0 (an 6= 0) has exactly n complex roots. Although the name fundamental theorem of algebra and proofs were given by Gauss, the result itself was known to mathematicians such as d’Alembert (1746), Euler (1749) and Language (1772).

In 1811 Gauss wrote to Bessel to indicate that many properties of the classical func- tions are only fully understood when complex arguments are allowed. In this letter, Gauss described the Cauchy integral theorem 7but this result was unpublished.

Gauss

Hamilton Rowan Hamilton (1805-65) in an 1831 memoir defined ordered pairs of real numbers (a, b) to be a couple. He defined addition and multiplication of couples: (a, b) + (c, d) = (a + c, b + d) and (a, b)(c, d) = (ac − bd, bc + ad). This is the first algebraic definition of complex numbers.

7For Cauchy, see the next chapter.

241