At the end of this month I start teaching complex analysis to 2nd year undergraduates, mostly from engineering but some from science and maths. The main applications for them in future studies are contour integrals and Laplace transform, but of course this should be a "real" complex analysis course which I could later refer to in honours courses. I am now confident (after this discussion, especially after Gauss complaints given in Keith's comment) that the name "complex" is quite discouraging to average students.

Why do we need to study numbers which do not belong to the real world?

Of course, we all know that the thesis is wrong and I have in mind some examples where the use of complex variable functions simplify solving considerably (I give two below). The drawback of all them is assuming already some knowledge from students.

So I would be really happy to learn elementary examples which may convince students in usefulness of complex numbers and functions in complex variable. As this question runs in the community wiki mode, I would be glad to see one example per answer.

Thank you in advance!

Here comes the two promised example. The 2nd one was reminded by several answers and comments about relations with trigonometric functions (but also by notification "The bounty on your question Trigonometry related to Rogers--Ramanujan identities expires within three days"; it seems to be harder than I expect).

Example 1. Find the Fourier expansion of the (unbounded) periodic function $$ f(x)=\ln\Bigl|\sin\frac x2\Bigr|. $$

Solution. The function $f(x)$ is periodic with period $2\pi$ and has poles at the points $2\pi k$, $k\in\mathbb Z$.

Consider the function on the interval $x\in[\varepsilon,2\pi-\varepsilon]$. The series $$ \sum_{n=1}^\infty\frac{z^n}n, \qquad z=e^{ix}, $$ converges for all values $x$ from the interval. Since $$ \Bigl|\sin\frac x2\Bigr|=\sqrt{\frac{1-\cos x}2} $$ and $\operatorname{Re}\ln w=\ln|w|$, where we choose $w=\frac12(1-z)$, we deduce that $$ \operatorname{Re}\Bigl(\ln\frac{1-z}2\Bigr)=\ln\sqrt{\frac{1-\cos x}2} =\ln\Bigl|\sin\frac x2\Bigr|. $$ Thus, $$ \ln\Bigl|\sin\frac x2\Bigr| =-\ln2-\operatorname{Re}\sum_{n=1}^\infty\frac{z^n}n =-\ln2-\sum_{n=1}^\infty\frac{\cos nx}n. $$ As $\varepsilon>0$ can be taken arbitrarily small, the result remains valid for all $x\ne2\pi k$.

Example 2. Let $p$ be an odd prime number. For an integer $a$ relatively prime to $p$, the Legendre symbol $\bigl(\frac ap\bigr)$ is $+1$ or $-1$ depending on whether the congruence $x^2\equiv a\pmod{p}$ is solvable or not. One of elementary consequences of (elementary) Fermat's little theorem is $$ \biggl(\frac ap\biggr)\equiv a^{(p-1)/2}\pmod p. \qquad\qquad\qquad {(*)} $$ Show that $$ \biggl(\frac2p\biggr)=(-1)^{(p^2-1)/8}. $$

Solution. In the ring $\mathbb Z+\mathbb Zi=\Bbb Z[i]$, the binomial formula implies $$ (1+i)^p\equiv1+i^p\pmod p. $$ On the other hand, $$ (1+i)^p =\bigl(\sqrt2e^{\pi i/4}\bigr)^p =2^{p/2}\biggl(\cos\frac{\pi p}4+i\sin\frac{\pi p}4\biggr) $$ and $$ 1+i^p =1+(e^{\pi i/2})^p =1+\cos\frac{\pi p}2+i\sin\frac{\pi p}2 =1+i\sin\frac{\pi p}2. $$ Comparing the real parts implies that $$ 2^{p/2}\cos\frac{\pi p}4\equiv1\pmod p, $$ hence from $\sqrt2\cos(\pi p/4)\in\{\pm1\}$ we conclude that $$ 2^{(p-1)/2}\equiv\sqrt2\cos\frac{\pi p}4\pmod p. $$ It remains to apply ($*$): $$ \biggl(\frac2p\biggr) \equiv2^{(p-1)/2} \equiv\sqrt2\cos\frac{\pi p}4 =\begin{cases} 1 & \text{if } p\equiv\pm1\pmod8, \cr -1 & \text{if } p\equiv\pm3\pmod8, \end{cases} $$ which is exactly the required formula.

  • 72
    Maybe an option is to have them understand that real numbers also do not belong to the real world, that all sort of numbers are simply abstractions. – Mariano Suárez-Álvarez Jul 1 '10 at 14:50
  • 21
    Probably your electrical engineering students understand better than you do that complex numbers (in polar form) are used to represent amplitude and frequency in their area of study. – Gerald Edgar Jul 1 '10 at 15:36
  • 7
    Not an answer, but some suggestions: try reading the beginning of Needham's Visual Complex Analysis ( and the end of Levi's The Mathematical Mechanic (…). – Qiaochu Yuan Jul 1 '10 at 17:05
  • 16
    Your example has a hidden assumption that a student actually admits the importance of calculating F.S. of $\ln\left|\sin{x\over 2}\right|$, which I find dubious. The examples with an oscillator's ODE is more convincing, IMO. – Paul Yuryev Jul 2 '10 at 3:02
  • 3
    @Mariano, Gerald and Qiaochu: Thanks for the ideas! Visual Complex Analysis sounds indeed great, and I'll follow Levi's book as soon as I reach the uni library. @Paul: I give the example (which I personally like) and explain that I do not consider it elementary enough for the students. It's a matter of taste! I've never used Fourier series in my own research but it doesn't imply that I doubt of their importance. We all (including students) have different criteria for measuring such things. – Wadim Zudilin Jul 2 '10 at 5:06

35 Answers 35

The nicest elementary illustration I know of the relevance of complex numbers to calculus is its link to radius of convergence, which student learn how to compute by various tests, but more mechanically than conceptually. The series for $1/(1-x)$, $\log(1+x)$, and $\sqrt{1+x}$ have radius of convergence 1 and we can see why: there's a problem at one of the endpoints of the interval of convergence (the function blows up or it's not differentiable). However, the function $1/(1+x^2)$ is nice and smooth on the whole real line with no apparent problems, but its radius of convergence at the origin is 1. From the viewpoint of real analysis this is strange: why does the series stop converging? Well, if you look at distance 1 in the complex plane...

More generally, you can tell them that for any rational function $p(x)/q(x)$, in reduced form, the radius of convergence of this function at a number $a$ (on the real line) is precisely the distance from $a$ to the nearest zero of the denominator, even if that nearest zero is not real. In other words, to really understand the radius of convergence in a general sense you have to work over the complex numbers. (Yes, there are subtle distinctions between smoothness and analyticity which are relevant here, but you don't have to discuss that to get across the idea.)

Similarly, the function $x/(e^x-1)$ is smooth but has a finite radius of convergence $2\pi$ (not sure if you can make this numerically apparent). Again, on the real line the reason for this is not visible, but in the complex plane there is a good explanation.

  • 1
    Thanks, Keith! That's a nice point which I always mention for real analysis students as well. The structure of singularities of a linear differential equation (under some mild conditions) fully determines the convergence of the series solving the DE. The generating series for Bernoulli numbers does not produce sufficiently good approximations to $2\pi$, but it's just beautiful by itself. – Wadim Zudilin Jul 2 '10 at 5:14

You can solve the differential equation y''+y=0 using complex numbers. Just write $$(\partial^2 + 1) y = (\partial +i)(\partial -i) y$$ and you are now dealing with two order one differential equations that are easily solved $$(\partial +i) z =0,\qquad (\partial -i)y =z$$ The multivariate case is a bit harder and uses quaternions or Clifford algebras. This was done by Dirac for the Schrodinger equation ($-\Delta \psi = i\partial_t \psi$), and that led him to the prediction of the existence of antiparticles (and to the Nobel prize).

  • Thanks, coudy! This is really nice (Pietro's answer only hints a possible use of 2nd order DEs). – Wadim Zudilin Jul 1 '10 at 12:24
  • I was taught a similar trick as a second-year honours undergraduate (same target that the OP suggests), and I don't find it helpful at all. The problem is that you'll probably need to spend a full lecture trying to formalize it and explain why it works, otherwise it just looks like a magical unmotivated trick that abuses notation. – Federico Poloni Jan 27 '14 at 11:30
  • 1
    @Frederico: why do you say it abuses notation? That would be true in higher dimensional case without introducing Clifford algebras. But here it's perfectly valid. You just need to know what complex numbers are. – Marek Jan 27 '14 at 15:09

Students usually find the connection of trigonometric identities like $\sin(a+b)=\sin a\cos b+\cos a\sin b$ to multiplication of complex numbers striking.

  • 14
    Not sure about the students, but I do. :-) – Wadim Zudilin Jul 1 '10 at 12:21
  • Well, I am not claiming this about all students, but whenever I mentioned this (or same things in terms of rotation matrices) in class, I always get excited feedback at least from some of them. – Yuri Bakhtin Jul 1 '10 at 12:24
  • 6
    This is an excellent suggestion. I can never remember these identities off the top of my head. Whenever I need one of them, the simplest way (faster than googling) is to read them off from $(a+ib)(c+id)=(ac-bd) + i(ad+bc)$. – alex Jul 1 '10 at 20:35
  • 9
    When I first started teaching calculus in the US, I was surprised that many students didn't remember addition formulas for trig functions. As the years went by, it's gotten worse: now the whole idea of using an identity like that to solve a problem is alien to them, e.g. even if they may look it up doing the homework, they "get stuck" on the problem and "don't get it". What is there to blame: calculators? standard tests that neglect it? teachers who never understood it themselves? Anyway, it's a very bad omen. – Victor Protsak Jul 2 '10 at 1:43
  • 5
    @Victor: It can be worse... When I taught Calc I at U of Toronto to engineering students, I was approached by some students who claimed they had heard words "sine" and "cosine" but were not quite sure what they meant. – Yuri Bakhtin Jul 2 '10 at 8:51

From "Birds and Frogs" by Freeman Dyson [Notices of Amer. Math. Soc. 56 (2009) 212--223]:

One of the most profound jokes of nature is the square root of minus one that the physicist Erwin Schrödinger put into his wave equation when he invented wave mechanics in 1926. Schrödinger was a bird who started from the idea of unifying mechanics with optics. A hundred years earlier, Hamilton had unified classical mechanics with ray optics, using the same mathematics to describe optical rays and classical particle trajectories. Schrödinger’s idea was to extend this unification to wave optics and wave mechanics. Wave optics already existed, but wave mechanics did not. Schrödinger had to invent wave mechanics to complete the unification. Starting from wave optics as a model, he wrote down a differential equation for a mechanical particle, but the equation made no sense. The equation looked like the equation of conduction of heat in a continuous medium. Heat conduction has no visible relevance to particle mechanics. Schrödinger’s idea seemed to be going nowhere. But then came the surprise. Schrödinger put the square root of minus one into the equation, and suddenly it made sense. Suddenly it became a wave equation instead of a heat conduction equation. And Schrödinger found to his delight that the equation has solutions corresponding to the quantized orbits in the Bohr model of the atom. It turns out that the Schrödinger equation describes correctly everything we know about the behavior of atoms. It is the basis of all of chemistry and most of physics. And that square root of minus one means that nature works with complex numbers and not with real numbers. This discovery came as a complete surprise, to Schrödinger as well as to everybody else. According to Schrödinger, his fourteen-year-old girl friend Itha Junger said to him at the time, "Hey, you never even thought when you began that so much sensible stuff would come out of it." All through the nineteenth century, mathematicians from Abel to Riemann and Weierstrass had been creating a magnificent theory of functions of complex variables. They had discovered that the theory of functions became far deeper and more powerful when it was extended from real to complex numbers. But they always thought of complex numbers as an artificial construction, invented by human mathematicians as a useful and elegant abstraction from real life. It never entered their heads that this artificial number system that they had invented was in fact the ground on which atoms move. They never imagined that nature had got there first.

  • As discussed at… putting in an imaginary diffusion coefficient into the heat equation changes the equation to become invariant against time reversal $t \rightarrow -t$ like a wave equation. This is what Dyson means with "it suddenly made sense". – user4503 Oct 7 at 19:57

Here are two simple uses of complex numbers that I use to try to convince students that complex numbers are "cool" and worth learning.

  1. (Number Theory) Use complex numbers to derive Brahmagupta's identity expressing $(a^2+b^2)(c^2+d^2)$ as the sum of two squares, for integers $a,b,c,d$.

  2. (Euclidean geometry) Use complex numbers to explain Ptolemy's Theorem. For a cyclic quadrilateral with vertices $A,B,C,D$ we have $$\overline{AC}\cdot \overline{BD}=\overline{AB}\cdot \overline{CD} +\overline{BC}\cdot \overline{AD}$$

  • 20
    And even more amazingly, one can completely solve the diophantine equation $x^2+y^2=z^n$ for any $n$ as follows: $$x+yi=(a+bi)^n, \ z=a^2+b^2.$$ I learned this from a popular math book while in elementary school, many years before studying calculus. – Victor Protsak Jul 2 '10 at 1:21
  • @Byron: Thanks! 2 examples in one answer: I can vote only once. :-( @Victor: I am indeed amazed! This elementary knowledge is new to me. I probably spent too much on complex DEs... – Wadim Zudilin Jul 2 '10 at 5:21

If the students have had a first course in differential equations, tell them to solve the system

$$x'(t) = -y(t)$$ $$y'(t) = x(t).$$

This is the equation of motion for a particle whose velocity vector is always perpendicular to its displacement. Explain why this is the same thing as

$$(x(t) + iy(t))' = i(x(t) + iy(t))$$

hence that, with the right initial conditions, the solution is

$$x(t) + iy(t) = e^{it}.$$

On the other hand, a particle whose velocity vector is always perpendicular to its displacement travels in a circle. Hence, again with the right initial conditions, $x(t) = \cos t, y(t) = \sin t$. (At this point you might reiterate that complex numbers are real $2 \times 2$ matrices, assuming they have seen this method for solving systems of differential equations.)

  • 1
    Thanks, Qiaochu! They have some background in DEs, and this is a very good way to get DEs, trig identities and matrices at the same time. – Wadim Zudilin Jul 2 '10 at 5:43
  • I just used basically this in a first course in differential equations to prove Euler's formula for them. One of us thought it was really cool, anyway... – Ryan Reich Mar 22 '13 at 14:10

One of my favourite elementary applications of complex analysis is the evaluation of infinite sums of the form $$\sum_{n\geq 0} \frac{p(n)}{q(n)}$$ where $p,q$ are polynomials and $\deg q > 1 + \deg p$, by using residues.

  • Thanks, José! This was not my list (even I use this very often in serious problems). I only wonder whether it is possible to start a course with such example. – Wadim Zudilin Jul 1 '10 at 10:01

One cannot over-emphasize that passing to complex numbers often permits a great simplification by linearizing what would otherwise be more complex nonlinear phenomena. One example familiar to any calculus student is the fact that integration of rational functions is much simpler over $\mathbb C$ (vs. $\mathbb R$) since partial fraction decompositions involve at most linear (vs quadratic) polynomials in the denominator. Similarly one reduces higher-order constant coefficient differential and difference equations to linear (first-order) equations by factoring the linear operators over $\mathbb C$. More generally one might argue that such simplification by linearization was at the heart of the development of abstract algebra. Namely, Dedekind, by abstracting out the essential linear structures (ideals and modules) in number theory, greatly simplified the prior nonlinear theory based on quadratic forms. This enabled him to exploit to the hilt the power of linear algebra. Examples abound of the revolutionary power that this brought to number theory and algebra - e.g. for one little-known gem see my recent post explaining how Dedekind's notion of conductor ideal beautifully encapsulates the essence of elementary irrationality proofs of n'th roots.

If you really want to "demystify" complex numbers, I'd suggest teaching what complex multiplication looks like with the following picture, as opposed to a matrix representation:

If you want to visualize the product "z w", start with '0' and 'w' in the complex plane, then make a new complex plane where '0' sits above '0' and '1' sits above 'w'. If you look for 'z' up above, you see that 'z' sits above something you name 'z w'. You could teach this picture for just the real numbers or integers first -- the idea of using the rest of the points of the plane to do the same thing is a natural extension.

You can use this picture to visually "demystify" a lot of things:

  • Why is a negative times a negative a positive? --- I know some people who lost hope in understanding math as soon as they were told this fact
  • i^2 = -1
  • (zw)t = z(wt) --- I think this is a better explanation than a matrix representation as to why the product is associative
  • |zw| = |z| |w|
  • (z + w)v = zv + wv
  • The Pythagorean Theorem: draw (1-it)(1+it) = 1 + t^2 etc.

One thing that's not so easy to see this way is the commutativity (for good reasons).

After everyone has a grasp on how complex multiplication looks, you can get into the differential equation: $\frac{dz}{dt} = i z , z(0) = 1$ which Qiaochu noted travels counterclockwise in a unit circle at unit speed. You can use it to give a good definition for sine and cosine -- in particular, you get to define $\pi$ as the smallest positive solution to $e^{i \pi} = -1$. It's then physically obvious (as long as you understand the multiplication) that $e^{i(x+y)} = e^{ix} e^{iy}$, and your students get to actually understand all those hard/impossible to remember facts about trig functions (like angle addition and derivatives) that they were forced to memorize earlier in their lives. It may also be fun to discuss how the picture for $(1 + \frac{z}{n})^n$ turns into a picture of that differential equation in the "compound interest" limit as $n \to \infty$; doing so provides a bridge to power series, and gives an opportunity to understand the basic properties of the real exponential function more intuitively as well.

But this stuff is less demystifying complex numbers and more... demystifying other stuff using complex numbers.

Here's a link to some Feynman lectures on Quantum Electrodynamics (somehow prepared for a general audience) if you really need some flat out real-world complex numbers

  • If they have a suitable background in linear algebra, I would not omit the interpretation of complex numbers in terms of conformal matrices of order 2 (with nonnegative determinant), translating all operations on complex numbers (sum, product, conjugate, modulus, inverse) in the context of matrices: with special emphasis on their multiplicative action on the plane (in particular, "real" gives "homotety" and "modulus 1" gives "rotation").

  • The complex exponential, defined initially as limit of $(1+z/n)^n$, should be a good application of the above geometrical ideas. In particular, for $z=it$, one can give a nice interpretation of the (too often covered with mystery) equation $e^{i\pi}=-1$ in terms of the length of the curve $e^{it}$ (defined as classical total variation).

  • A brief discussion on (scalar) linear ordinary differential equations of order 2, with constant coefficients, also provides a good motivation (and with some historical truth).

  • Related to the preceding point, and especially because they are from engineering, it should be worth recalling all the useful complex formalism used in Electricity.

  • Not on the side of "real world" interpretation, but rather on the side of "useful abstraction" a brief account of the history of the third degree algebraic equation, with the embarrassing "casus impossibilis" (three real solutions, and the solution formula gives none, if taken in terms of "real" radicals!) should be very instructive. Here is also the source of such terms as "imaginary".

  • Thanks a lot, Pietro, for so many fruitful suggestions! Except for the point on $(1+z/n)^n$ (unfortunately, this is not the usual way to define the exponential), I can use all them. – Wadim Zudilin Jul 1 '10 at 11:52
  • In fact the equivalence with the definition of exp(z) by the exponential series may be a nice exercise about dominated convergence for series. BTW, I realized only now that you asked for one suggestion for answer...sorry :-) – Pietro Majer Jul 1 '10 at 12:49
  • No worries, Pietro, this is a standard requirement for wiki community questions. Yes, it's a nice exercise, but most probably not for the level I get. (Last year I taught ODEs and, in particular, the linear systems where I needed to compute the exponential of matrices. The limit definition was mentioned as equivalent form of the series, and it was needed for proving $e^{\operatorname{tr}(A)}=\operatorname{det}(e^A)$. But that wasn't really accepted... :-( ) – Wadim Zudilin Jul 1 '10 at 13:00
  • 2
    @Wadim: The $(1+z/n)^n$ definition of the exponential is exactly what you get by applying Euler's method to the defining diff Eq of the exponential function, if you travel along the straight line from 0 to z in the domain, and use n equal partitions. – Steven Gubkin Aug 27 '12 at 13:24

Several motivating physical applications are listed on wikipedia

Why do we need to study numbers which do not belong to the real world?

You may want to stoke the students' imagination by disseminating the deeper truth - that the world is neither real, complex nor p-adic (these are just completions of Q). Here is a nice quote by Yuri Manin picked from here

On the fundamental level our world is neither real nor p-adic; it is adelic. For some reasons, reflecting the physical nature of our kind of living matter (e.g. the fact that we are built of massive particles), we tend to project the adelic picture onto its real side. We can equally well spiritually project it upon its non-Archimediean side and calculate most important things arithmetically. The relations between "real" and "arithmetical" pictures of the world is that of complementarity, like the relation between conjugate observables in quantum mechanics. (Y. Manin, in Conformal Invariance and String Theory, (Academic Press, 1989) 293-303 )

  • 2
    Thanks for the tip! I'll better not cite Yuri Ivanovich to my electrical engineers; this will hardly encourage them to do complex analysis. :-) – Wadim Zudilin Jul 1 '10 at 13:24

They're useful just for doing ordinary geometry when programming.

A common pattern I have seen in a great many computer programs is to start with a bunch of numbers that are really ratios of distances. Theses numbers get converted to angles with inverse trig functions. Then some simple functions are applied to the angles and the trig functions are used on the results.

Trig and inverse trig functions are expensive to compute on a computer. In high performance code you want to eliminate them if possible. Quite often, for the above case, you can eliminate the trig functions. For example $\cos(2\cos^{-1} x) = 2x^2-1$ (for $x$ in a suitable range) but the version on the right runs much faster.

The catch is remembering all those trig formulae. It'd be nice to make the compiler do all the work. A solution is to use complex numbers. Instead of storing $\theta$ we store $(\cos\theta,\sin\theta)$. We can add angles by using complex multiplication, multiply angles by integers and rational numbers using powers and roots and so on. As long as you don't actually need the numerical value of the angle in radians you need never use trig functions. Obviously there comes a point where the work of doing operations on complex numbers may outweigh the saving of avoiding trig. But often in real code the complex number route is faster.

(Of course it's analogous to using quaternions for rotations in 3D. I guess it's somewhat in the spirit of rational trigonometry except I think it's easier to work with complex numbers.)

  • Thanks! Your answer and Victor's comments reminded me about a related deduction in number theory (I'll try to add one more example to the original question). – Wadim Zudilin Jul 2 '10 at 8:46

I never took a precalculus class because every identity I've ever needed involving sines and cosines I could derive by evaluating a complex exponential in two different ways. Perhaps you could tell them that if they ever forget a trig identity, they can rederive it using this method?

  • 1
    I especially like the complex derivation of $\cos^n x$ and $\sin^n x$ in terms of trig functions of multiple angle, which is very useful if you need to integrate them. – Victor Protsak Jul 2 '10 at 1:32
  • @Dylan, thanks! You expand Yuri's answer. @Victor: aren't these standard problems for 1st year in algebra? ;-) – Wadim Zudilin Jul 2 '10 at 5:38

In answer to

"Why do we need to study numbers which do not belong to the real world?"

you might simply state that quantum mechanics tells us that complex numbers arise naturally in the correct description of probability theory as it occurs in our (quantum) universe.

I think a good explanation of this is in Chapter 3 of the third volume of the Feynman lectures of physics, although I don't have a copy handy to check. (In particular, similar to probability theory with real numbers, the complex amplitude of one of two independent events A or B occuring is just the sum of the amplitude of A and the amplitude of B. Furthermore, the complex amplitude of A followed by B is just the product of the amplitudes. After all intermediate calculations one just takes the magnitude of the complex number squared to get the usual (real number) probability.)

  • 1
    Perhaps you are referring to Feynman's book QED? – S. Carnahan Jul 2 '10 at 4:41
  • Yes, I think it was there. (The "strange theory of light and matter" book.) – Jon Jul 2 '10 at 16:19

Tristan Needham's book Visual Complex Analysis is full of these sorts of gems. One of my favorites is the proof using complex numbers that if you put squares on the sides of a quadralateral, the lines connecting opposite centers will be perpendicular and of the same length. After proving this with complex numbers, he outlines a proof without them that is much longer.

The relevant pages are on Google books:

How about how the holomorphicity of a function $f(z)=x+yi$ relates to, e.g., the curl of the vector $(x,y)\in\mathbb{R}^2$? This relates nicely to why we can solve problems in two dimensional electromagnetism (or 3d with the right symmetries) very nicely using "conformal methods." It would be very easy to start a course with something like this to motivate complex analytic methods.

  • Jeremy, can you expand your answer or provide a reference where your example is worked in details? – Wadim Zudilin Jul 1 '10 at 10:30
  • This is in a number of advanced math methods for physics, and graduate electromagnetism texts, but one offhand I know it's in is "Electrodynamics of Continuous Media" by Landau and Lifshitz, chapter 1 section 3, on methods of solving electrostatic problems. But there are other books out there with more involved and more sophisticated treatments, but offhand I don't know any titles. If you search amazon's "search inside this book" for "the method of conformal mapping" you can find part of the discussion. But the basics of it are elementary enough that that book should be sufficient. – jeremy Jul 1 '10 at 11:20
  • 1
    Thanks, Jeremy! I'll definitely do the search, the magic word "the method of conformal mapping" is really important here. – Wadim Zudilin Jul 1 '10 at 11:45
  • 4
    I think most older Russian textbooks on complex analysis (e.g. Lavrentiev and Shabat or Markushevich) had examples from 2D hydrodynamics (Euler-D'Alambert equations $\iff$ Cauchy-Riemann equations). Also, of course, the Zhukovsky function and airwing profile. They serve more as applications of theory than motivations, since nontrivial mathematical work is required to get there. – Victor Protsak Jul 2 '10 at 2:04
  • Yes, those examples are great! I was thinking about those examples, too, when I said "conformal methods," but they are a little less basic than the E&M example. There are many more examples, too, though, such as classical gravity, or just about anything that can be described with a potential. They would make excellent topics to visit after developing some of the formalism more carefully, since they can lead to a lot of intuition about why things are constructed like they are, and why they're useful! – jeremy Jul 2 '10 at 3:02

This is not exactly an answer to the question, but it is the simplest thing I know to help students appreciate complex numbers. (I got the idea somewhere else, but I forgot exactly where.)

It's something even much younger students can appreciate. Recall that on the real number line, multiplying a number by -1 "flips" it, that is, it rotates the point 180 degrees about the origin. Introduce the imaginary number line (perpendicular to the real number line) then introduce multiplication by i as a rotation by 90 degrees. I think most students would appreciate operations on complex numbers if they visualize them as movements of points on the complex plane.

Another classic I haven't seen mentioned yet is the proof of the Machin formula $$ \frac{\pi}{4} = 4\arctan \frac{1}{5}-\arctan \frac{1}{239}. $$ I honestly don't know a proof of this that avoids complex numbers, but surely it can be nowhere near as simple as the elementary computation needed to prove the identity $$ 2+2i = \frac{(5+i)^4}{239+i}. $$ Taking $\arg$ on both sides yields Machin's formula.

  • 5
    It follows from the arctan summation formula: $\operatorname{arctan}(x) + \operatorname{arctan}(y) = \operatorname{arctan}\frac{x+y}{1-xy}$, which in turn can be derived from the sine angle addition formula. – S. Carnahan Aug 29 '16 at 1:38
  • But surely $e^{i(x+y)}=e^{ix}e^{iy}$ is easier to remember than the addition formulae for sine and cosine. – Michael Renardy Sep 28 '17 at 15:51

Try this: compare the problems of finding the points equidistant in the plane from (-1, 0) and (1, 0), which is easy, with finding the points at twice the distance from (-1, 0) that they are from (1, 0). The idea that "real" concepts are the only ones of use in the "real world" is of course a fallacy. I suppose it is more than a century since electrical engineers admitted that complex numbers are useful.

  • Charles, you easily guessed that "my" engineers are electrical! The problem is (and I clearly see it after discussions with colleagues from EE) that they needed it one century ago but hardly need (in a reasonable generality) nowadays. Only concepts and rules of manipulation are required. :-( +1 As for your example, I don't see serious benefits for changing $\mathbb R^2$ by $\mathbb C$ (what happens if I am later asked about the same or similar problem in $\mathbb R^3$?). – Wadim Zudilin Jul 1 '10 at 10:28
  • 2
    I do see an undeniable benefit. If you are later asked about it in $\mathbb{R}^3$ then you use vectors and dot product. The historical way would have been to use quaternions; indeed, this is how the notion of dot product crystallized in the work of Gibbs, and more relevantly for your EE students, Oliver Heaviside. – Victor Protsak Jul 2 '10 at 1:26

Maybe artificial, but a nice example (I think) demonstrating analytic continuation (NOT just the usual $\mathrm{Re}(e^{i \theta})$ method!) I don't know any reasonable way of doing this by real methods.

As a fun exercise, calculate $$ I(\omega) = \int_0^\infty e^{-x} \cos (\omega x) \frac{dx}{\sqrt{x}}, \qquad \omega \in \mathbb{R} $$ from the real part of $F(1+i \omega)$, where $$ F(k) = \int_0^\infty e^{-kx} \frac{dx}{\sqrt{x}}, \qquad \mathrm{Re}(k)>0 $$ (which is easily obtained for $k>0$ by a real substitution) and using analytic continuation to justify the same formula with $k=1+i \omega$.

You need care with square roots, branch cuts, etc.; but this can be avoided by considering $F(k)^2$, $I(\omega)^2$.

Of course all the standard integrals provide endless fun examples! (But the books don't have many requiring genuine analytic continuation like this!)

  • 3
    I rather suspect analytic continuation is a conceptual step above what the class in question coud cope with... – Yemon Choi Jul 8 '10 at 1:22
  • Thanks, Zen! Although this seems to be hard for the class, I keep your complexified example for my personal collection. – Wadim Zudilin Jul 8 '10 at 3:47
  • That is a very nice example. – Mariano Suárez-Álvarez Jul 8 '10 at 3:59
  • Thanks, and hi again to my friend Yemon! I agree that this is too hard for most classes, but I couldn't resist showing it! It needs a clear understanding of analytic continuation to do it, so it's only appropriate for courses which actually cover that rigorously (or at semi-rigorously). – Zen Harper Jul 10 '10 at 12:33

From the perspective of complex analysis, the theory of Fourier series has a very natural explanation. I take it that the students had seen Fourier series first, of course. I had mentioned this elsewhere too. I hope the students also know about Taylor theorem and Taylor series. Then one could talk also of the Laurent series in concrete terms, and argue that the Fourier series is studied most naturally in this setting.

First, instead of cos and sin, define the Fourier series using complex exponential. Then, let $f(z)$ be a complex analytic function in the complex plane, with period $1$.

Then write the substitution $q = e^{2\pi i z}$. This way the analytic function $f$ actually becomes a meromorphic function of $q$ around zero, and $z = i \infty$ corresponds to $q = 0$. The Fourier expansion of $f(z)$ is then nothing but the Laurent expansion of $f(q)$ at $q = 0$.

Thus we have made use of a very natural function in complex analysis, the exponential function, to see the periodic function in another domain. And in that domain, the Fourier expansion is nothing but the Laurent expansion, which is a most natural thing to consider in complex analysis.

I am am electrical engineer; I have an idea what they all study; so I can safely override any objections that this won't be accessible to electrical engineers. Moreover, the above will reduce their surprise later in their studies when they study signal processing and wavelet analysis.

This answer is an expansion of the answer of Yuri Bakhtin.

Here is a kind of mime show.

Silently write the formulas for $\cos(2x)$ and $\sin(2x)$ lined up on the board, something like this: $$\cos(2x) = \cos^2(x) \hphantom{+ 2 \cos(x) \sin(x)} - \sin^2(x) $$ $$\sin(2x) = \hphantom{\cos^2(x)} + 2 \cos(x) \sin(x) \hphantom{- \sin^2(x)} $$

Do the same for the formulas for $\cos(3x)$ and $\sin(3x)$, and however far you want to go: $$\cos(3x) = \cos^3(x) \hphantom{+ 3 \cos^2(x) \sin(x)} - 3 \cos(x) \sin^2(x) \hphantom{- \sin^3(x)} $$ $$\sin(3x) = \hphantom{\cos^3(x)} + 3 \cos^2(x) \sin(x) \hphantom{- 3 \cos(x) \sin^2(x)} - \sin^3(x) $$

Maybe then let out a loud noise like "hmmmmmmmmm... I recognize those numbers..."

Then, on a parallel board, write out Pascal's triangle, and parallel to that write the application of Pascal's triangle to the binomial expansions $(x+y)^n$. Make some more puzzling sounds regarding those pesky plus and minus signs.

Then maybe it's time to actually say something: "Eureka! We can tie this all together by use of an imaginary number $i = \sqrt{-1}$". Then write out the binomial expansion of $$(\cos(x) + i\,\sin(x))^n $$ break it into its real and imaginary parts, and demonstrate equality with $$\cos(nx) + i\, \sin(nx). $$

This is a specific example where complex numbers aid a task in elementary real analysis; I haven't thought about the extent to which it generalizes.

In my first year, I was given the task of formally proving that the Taylor series for arctan is $$ \arctan(x) = x - \frac{x^3}{3} + \frac{x^5}{5} - \ldots, $$ where "formally" meant not simply integrating the series for $1/(1+x^2)$ termwise, since we hadn't yet seen any theorems that said you could do that. We had, however, seen Taylor's theorem.

Hence the problem was to determine the values of all derivatives of $f(x)=\arctan(x)$, or of $f'(x)=1/(1+x^2)$, at $x=0$. However, it's not so easy to find a closed-form expression for the $n$-th derivative of $1/(1+x^2)$, unless you write it as $$ f'(x) = \frac{1}{2i} \left( \frac{1}{x-i}-\frac{1}{x+i} \right), $$ which then immediately yields $$ f^{(n)}(x) = \frac{(-1)^{n-1} (n-1)!}{2i} \cdot \left( \frac{1}{(x-i)^n}-\frac{1}{(x+i)^n} \right) $$ for $n>0$, which then gives the answers $f^{(2n)}(0)=0$ and $f^{(2n+1)}(0)=(-1)^n \cdot (2n)!$. Combining this with Taylor's theorem gives the desired series.

I still think this is pretty neat. There really isn't any obvious way to cut the complex numbers and still have as painless a calculation as the one above.

Consider the function f(x)=1/(1+x^2) on the real line. Using the geometric progression formula, you can expand f(x)=1-x^2+... . This series converges for |x|<1 but diverges for all other x. Why this is so? The function looks nice and smooth everywhere on the real line.

This example is taken from the Introduction of the textbook by B. V. Shabat.

I always like to use complex dynamics to illustrate that complex numbers are "real" (i.e., they are not just a useful abstract concept, but in fact something that very much exist, and closing our eyes to them would leave us not only devoid of useful tools, but also of a deeper understanding of phenomena involving real numbers.) Of course I am a complex dynamicist so I am particularly partial to this approach!

Start with the study of the logistic map $x\mapsto \lambda x(1-x)$ as a dynamical system (easy to motivate e.g. as a simple model of population dynamics). Do some experiments that illustrate some of the behaviour in this family (using e.g. web diagrams and the Feigenbaum diagram), such as:

  • The period-doubling bifurcation
  • The appearance of periodic points of various periods
  • The occurrence of "period windows" everywhere in the Feigenbaum diagram.

Then let x and lambda be complex, and investigate the structure both in the dynamical and parameter plane, observing

  • The occurence of beautiful and very "natural"-looking objects in the form of Julia sets and the (double) Mandelbrot set;
  • The explanation of period-doubling as the collision of a real fixed point with a complex point of period 2, and the transition points occuring as points of tangency between interior components of the Mandelbrot set;
  • Period windows corresponding to little copies of the Mandelbrot set.

Finally, mention that density of period windows in the Feigenbaum diagram - a purely real result, established only in the mid-1990s - could never have been achieved without complex methods.

There are two downsides to this approach: * It requires a certain investment of time; even if done on a superficial level (as I sometimes do in popular maths lectures for an interested general audience) it requires the better part of a lecture * It is likely to appeal more to those that are mathematically minded than engineers who could be more impressed by useful tools for calculations such as those mentioned elsewhere on this thread.

However, I personally think there are few demonstrations of the "reality" of the complex numbers that are more striking. In fact, I have sometimes toyed with the idea of writing an introductory text on complex numbers which uses this as a primary motivation.

  • Thanks a lot, Lasse, for the nice example. Can you give a link to a place where the dynamics is discussed in the complex case as well as the density of period windows in the Feigenbaum diagrams is discussed? – Wadim Zudilin Jul 28 '10 at 9:42
  • Hm, I am not sure what the best place is - I guess you don't want me to reference a textbook on holomorphic dynamics! Devaney's "A first course in chaotic dynamical systems" has some things on Julia sets and the Mandelbrot set; I'll have a closer look if I get a chance. His "An introduction to chaotic dynamical systems", which is on a slightly more advanced level, also does, according to the table of contents - I don't have it handy. There are many other references, but I'll have to think a little bit whether I can come up with one that makes it easy for you to find what you need. – Lasse Rempe-Gillen Jul 28 '10 at 10:54
  • Density of period windows in the Feigenbaum diagram is the celebrated result on "density of hyperbolicity" (or "density of Axiom A") in the quadratic family. It was established independently by Lyubich and by Graczyk and Swiatek in the 90s. Lyubich had an article on the quadratic family in the AMS Notices a while back, I think on his stronger "Regular or Stochastic" theorem. – Lasse Rempe-Gillen Jul 28 '10 at 10:56
  • If you look for even more recent results in the same vein - all of which use complex methods - density of hyperbolicity was established for real polynomials by Kozlovski, Shen and van Strien a few years ago (appeared in the Annals of Mathematics). Even more recently, Sebastian van Strien and I extended this to some families of real transcendental entire functions such as $x\mapsto a\sin(x)+b\cos(x)$. In this proof, we, in particular, consider complex points that tend to $\infty$ under iteration by such a map - even though the map is bounded on the real line. (Available on the arXiv.) – Lasse Rempe-Gillen Jul 28 '10 at 11:00
  • Thanks for the tips, Lasse! I promise to follow them, although slowly, without bothering myself about the students, more educating myself. Thank you very much. – Wadim Zudilin Jul 28 '10 at 22:54

"Why do we need to study numbers which do not belong to the real world?"

Having been through the relevant mathematical mill, I subsequently engaged with Geometric Algebra (a Clifford Algebra interpreted strictly geometrically).

Once I understood that the square of a unit bivector is -1 and then how rotors worked, all my (conceptual) difficulties evaporated.

I have never had a reason to use (pure) complex numbers since and I suspect that most engineering/physics/computing types would avoid them if they were able.

Likely you have the above group mixed together with pure mathematicians that feel quite at home with the non-physical aspects of complex numbers and wouldn't dream of asking such an impertinent question:-)

This answer doesn't show how the complex numbers are useful, but I think it might demystify them for students. Most are probably already familiar with its content, but it might be useful to state it again. Since the question was asked two months ago and Professor Zudilin started teaching a month ago, it's likely this answer is also too late.

If they have already taken a class in abstract algebra, one can remind them of the basic theory of field extensions with emphasis on the example of $\mathbb C \cong \mathbb R[x]/(x^2+1).$

It seems that most introductions give complex numbers as a way of writing non-real roots of polynomials and go on to show that if multiplication and addition are defined a certain way, then we can work with them, that this is consistent with handling them like vectors in the plane, and that they are extremely useful in solving problems in various settings. This certainly clarifies how to use them and demonstrates how useful they are, but it still doesn't demystify them. A complex number still seems like a magical, ad hoc construction that we accept because it works. If I remember correctly, and has probably already been discussed, this is why they were called imaginary numbers.

If introduced after one has some experience with abstract algebra as a field extension, one can see clearly that the complex numbers are not a contrivance that might eventually lead to trouble. Beginning students might be thinking this and consequently, resist them, or require them to have faith in them or their teachers, which might already be the case. Rather, one can see that they are the result of a natural operation. That is, taking the quotient of a polynomial ring over a field and an ideal generated by an irreducible polynomial, whose roots we are searching for.

Multiplication, addition, and its 2-dimensional vector space structure over the reals are then consequences of the quotient construction $\mathbb R[x]/(x^2+1).$ The root $\theta,$ which we can then relabel to $i,$ is also automatically consistent with familiar operations with polynomials, which are not ad hoc or magical. The students should also be able to see that the field extension $\mathbb C = \mathbb R(i)$ is only one example, although a special and important one, of many possible quotients of polynomial rings and maximal ideals, which should dispel ideas of absolute uniqueness and put it in an accessible context. Finally, if they think that complex numbers are imaginary, that should be corrected when they understand that they are one example of things naturally constructed from other things they are already familiar with and accept.

Reference: Dummit & Foote: Abstract Algebra, 13.1

  • Thanks for this point, Anthony! Although "my" students struggle abstract algebra as well, I would incorporate these ideas in my next year lectures (I should teach complex analysis again). – Wadim Zudilin Oct 10 '10 at 22:05

Motivating complex analysis

The physics aspect of motivation should be the strongest for engineering students. No complex numbers, no quantum mechanics, no solid state physics, no lasers, no electrical or electronic engineering (starting with impedance), no radio, TV, acoustics, no good simple way of understanding of the mechanical analogues of RLC circuits, resonance, etc., etc.

Then the "mystery" of it all. Complex numbers as the consequence of roots, square, cubic, etc., unfolding until one gets the complex plane, radii of convergence, poles of stability, all everyday engineering. Then the romance of it all, the "self secret knowledge", discovered over hundreds of years, a new language which even helps our thinking in general. Then the wider view of say Smale/Hirsch on higher dimensional differential equations, chaos etc. They should see the point pretty quickly. This is a narrow door, almost accidentally discovered, through which we see and understand entire new realms, which have become our best current, albeit imperfect,descriptions of how to understand and manipulate a kind of "inner essence of what is" for practical human ends, i.e. engineering. (True, a little over the top, but then pedagogical and motivational).

For them to say that they just want to learn a few computational tricks is a little like a student saying, "don't teach me about fire, just about lighting matches". It's up to them I suppose, but they will always be limited.

There might be some computer software engineer who needs a little more, but then I suppose there is also modern combinatorics. :-)

  • Thanks! I'll borrow some of your wording for my lecture notes. (If you don't object.) – Wadim Zudilin Jul 2 '10 at 8:54
  • Absolutely, Sure. – sigoldberg1 Jul 2 '10 at 15:43

"Why do we need to study numbers which do not belong to the real world?"

I don't think you can answer this in a single class. The best answer I can come up with is to show how complicated calculus problems can be solved easily using complex analysis.

As an example, I bet most of your students hated solving the problem $\int e^{-x}cos(x) dx.$ Solve it for them the way they learned it in calculus, by repeated integration by parts and then by $\int e^{-x}cos(x) dx=\Re \int e^{-x(1-i)}dx.$ They should notice how much easier it was to use complex analysis. If you do this enough they might come to appreciate numbers that do not belong to the real world.

An interesting example of usage of complex numbers can be found in (Michael Eastwood, Roger Penrose, Drawing with Complex Numbers).

Your Answer


By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.