Complex numbers involve the square root of negative one, and most non-mathematicians find it hard to accept that such a number is meaningful. In contrast, they feel that real numbers have an obvious and intuitive meaning. What's the best way to explain to a non-mathematician that complex numbers are necessary and meaningful, in the same way that real numbers are?

This is not a Platonic question about the reality of mathematics, or whether abstractions are as real as physical entities, but an attempt to bridge a comprehension gap that many people experience when encountering complex numbers for the first time. The wording, although provocative, is deliberately designed to match the way that many people actually ask this question.

Neil Mayhew
  • 1,605
  • 4
  • 17
  • 18
  • 1
    The question isn't whether or not complex numbers exist, but whether or not there exists a *complex number system* (intuitively, a number system isomorphic to $\mathbb{C}$). According to ZFC, it does. This is unsurprising, given the usual geometric interpretation of $\mathbb{C}$ as a complex plane. For a treatment of these kinds of issues (but not $\mathbb{C}$ in particular), check out Goldrei's [exceptional book](http://www.amazon.com/Classic-Set-Theory-Independent-Mathematics/dp/0412606100). – goblin GONE Nov 20 '13 at 04:44
  • 14
    I don't know if this was mentioned before, but one way I like to tackle this is to explain that irrational numbers aren't any more "real" than imaginary numbers. They are simply abstract answers to abstract questions. – Shai Deshe Mar 31 '15 at 14:50
  • 1
    Richard Dedekind asked a question which is relevant (although he asked it in a different context): "Was sind und sollen die Zahlen?" which translates as "What are the numbers... and just what SHOULD they be?" (English needs the extra length to encapsulate the same meaning.) Essentially, Dedekind asserts in his question that humans are free to define just what numbers "are". What we decide numbers to be is usually driven by pragmatic needs and ends. Of course, once one realizes that complex numbers encapsulate rotation, applications abound and it becomes useful for $i$ to be a "number". –  Jan 30 '18 at 22:01

37 Answers37


There are a few good answers to this question, depending on the audience. I've used all of these on occasion.

A way to solve polynomials

We came up with equations like $x - 5 = 0$, what is $x$?, and the naturals solved them (easily). Then we asked, "wait, what about $x + 5 = 0$?" So we invented negative numbers. Then we asked "wait, what about $2x = 1$?" So we invented rational numbers. Then we asked "wait, what about $x^2 = 2$?" so we invented irrational numbers.

Finally, we asked, "wait, what about $x^2 = -1$?" This is the only question that was left, so we decided to invent the "imaginary" numbers to solve it. All the other numbers, at some point, didn't exist and didn't seem "real", but now they're fine. Now that we have imaginary numbers, we can solve every polynomial, so it makes sense that that's the last place to stop.

Pairs of numbers

This explanation goes the route of redefinition. Tell the listener to forget everything he or she knows about imaginary numbers. You're defining a new number system, only now there are always pairs of numbers. Why? For fun. Then go through explaining how addition/multiplication work. Try and find a good "realistic" use of pairs of numbers (many exist).

Then, show that in this system, $(0,1) * (0,1) = (-1,0)$, in other words, we've defined a new system, under which it makes sense to say that $\sqrt{-1} = i$, when $i=(0,1)$. And that's really all there is to imaginary numbers: a definition of a new number system, which makes sense to use in most places. And under that system, there is an answer to $\sqrt{-1}$.

The historical explanation

Explain the history of the imaginary numbers. Showing that mathematicians also fought against them for a long time helps people understand the mathematical process, i.e., that it's all definitions in the end.

I'm a little rusty, but I think there were certain equations that kept having parts of them which used $\sqrt{-1}$, and the mathematicians kept throwing out the equations since there is no such thing.

Then, one mathematician decided to just "roll with it", and kept working, and found out that all those square roots cancelled each other out.

Amazingly, the answer that was left was the correct answer (he was working on finding roots of polynomials, I think). Which lead him to think that there was a valid reason to use $\sqrt{-1}$, even if it took a long time to understand it.

  • 7,933
  • 11
  • 42
  • 81
Edan Maor
  • 1,928
  • 3
  • 18
  • 20
  • 168
    I believe the historical context was in solving cubic equations. If you try to solve a cubic equation that has a real solution, sometimes you have to use complex numbers in intermediate steps in the calculation. But then when you get to the end you find a real number that really is a solution to a real cubic equation! – Noah Snyder Jul 20 '10 at 22:57
  • 6
    @Noah - Yep that sounds exactly like what I was thinking about. – Edan Maor Jul 20 '10 at 23:08
  • 33
    It was [Gerolamo_Cardano in 1545](http://en.wikipedia.org/wiki/Gerolamo_Cardano). For an enjoyable historical treatment see ["An Imaginary Tale" by Paul J. Nahin](http://press.princeton.edu/titles/6388.html). – Neil Mayhew Jul 20 '10 at 23:08
  • It's in my library - haven't gotten to it yet, unfortunately. – Edan Maor Jul 20 '10 at 23:15
  • 2
    @Edan, Very well written answer, and just the kind of thing I was looking for. Thank you. This gives me some good material for the next time I have this conversation with a family member or colleague. – Neil Mayhew Jul 21 '10 at 04:14
  • 11
    @Edan - The nice thing about "Pairs of numbers" explanation is that it is extension of real numbers (all real numbers have the second number zero) so real numbers are subset of the pairs. All operations that you define on the pairs result in the same result for real numbers as if you are just manipulating a real number. – Giorgi Nov 29 '10 at 18:52
  • Imaginary/Complex Numbers are no more/less real than 1, humans did not invent the numbers they only discovered them. If there was no human left in the world $i^2=-1$ would still remain true. – jimjim Dec 22 '10 at 07:25
  • In your example we do not invent the irrational numbers, just the algebraic numbers. – the L Mar 18 '11 at 11:35
  • 7
    The rationals, $\mathbb{Q}$, can also be thought of as constructed from pairs of numbers. – lafrasu Apr 19 '11 at 12:38
  • The unfortunate thing about the "pairs of numbers" version, I think, is that it is pretty much exactly one of the more common obstructions people have to forming a concept of complex number. –  Mar 21 '12 at 06:58
  • Was it [Bell] (http://www.amazon.com/Mathematics-Touchstone-Books-E-T-Bell/dp/B003E7EVJW/ref=sr_1_1?ie=UTF8&qid=1369994418&sr=8-1&keywords=men+of+mathematics) who wrote that the word "imaginary" was really an expression of the culture of the moment? Perhaps, pretty much like "Chaos" some centuries later ... just wondering. –  May 31 '13 at 09:59
  • 1
    Although it is hard for us to imagine, historically positive rational numbers were invented and accepted way way before negative integers (or even $0$) were. So the above description is certainly not the way things actually went. – Marc van Leeuwen Dec 25 '13 at 15:25
  • @NeilMayhew Cardano does discuss square roots of negative numbers in *Ars Magna*, the same work in which he describes the solution of the cubic. The discussion, however, is very brief and only in the context of quadratics, not cubics. It was [Bombelli](https://en.wikipedia.org/wiki/Rafael_Bombelli) who discovered how to apply the cubic formula presented by Cardano (which was based on earlier work of del Ferro and Fontana) to the case of negative discriminant. Bombelli worked out how to compute the needed cube roots of complex numbers, which, when added, produced a real final result. – Will Orrick Apr 04 '20 at 10:00
  • Isn't interval arithmetic a better representation of arithmetic on pairs of numbers? https://en.wikipedia.org/wiki/Interval_arithmetic – Anixx Apr 28 '21 at 12:51
  • “Now that we have imaginary numbers, we can solve every polynomial” while this is most likely true, I’d be interested to see if there are any definitive proofs that all polynomials can be solved with real and imaginary numbers. – Ekadh Singh - Reinstate Monica May 08 '21 at 03:01

The concept of mathematical numbers and "existing" is a tricky one. What actually "exists"?

Do negative numbers exist? Of course they do not. You can't have a negative number of apples.

Yet, the beauty of negative numbers is that when we define them (rigorously), then all of a sudden we can use them to solve problems we were never ever able to solve before, or we can solve them in a much simpler way.

Imagine trying to do simple physics without the idea of negative numbers!

But are they "real"? Do they "exist"? No, they don't. But they are just tools that help us solve real life problems.

To go back to your question about complex numbers, I would say that the idea that they exist or not has no bearing on whether they are actually useful in solving the problems of every day life, or making them many, many, many times more easy to solve.

The math that makes your computer run involves the tool that is complex numbers, for instance.

  • 410
  • 4
  • 12
Justin L.
  • 13,646
  • 22
  • 60
  • 73
  • 5
    Negative numbers is an abstraction most people are familiar with - for example, a negative budget balance. – Andrew Grimm Nov 03 '10 at 22:52
  • 18
    Negative numbers is the concept of owing. Having -5 apples can be interpreted as owing 5 apples – David Nov 12 '10 at 18:17
  • 1
    I agree with David, Negative numbers is indicative of opposit direction.. maybe in this example negative apples indicate "I want five apple instead of having 5 apples" – Xinus Nov 14 '10 at 01:27
  • 20
    @David: there are other, more concrete instances of negative numbers that don't involve other abstractions such as debt. Negative acceleration (a.k.a. slowing down) is one very concrete negative number. Any description that involves decreasing also inherently involves a negative number. – André Caron Dec 08 '10 at 16:45
  • 42
    It's really not as intuitive as you would like to believe, being raised your whole life with the concept of anti-numbers. Many prominent mathematicians had problems accepting the validity of negative numbers even up until the 18th century. – Justin L. Dec 08 '10 at 22:52
  • 4
    My father is a maths teacher, and I have seen that some kids found negative numbers a bit hard to grasp in the beginning. –  Dec 22 '10 at 07:31
  • 1
    It's a problem of natural language, I believe: we're *taught* to think in terms of magnitude and direction, and so we have to do a fair bit of unlearning to use signed numbers fluently. –  Mar 21 '12 at 06:51
  • 1
    I wouldn't have so much problems with negative numbers, too. They solve problems very close to the realities people face and have simple constructions. Likewise the rational. What I find much more questionable is the existence of real numbers. Having numbers that have no finite representation is a bit mind-boggling. – Perseids Aug 11 '13 at 02:44
  • 1
    @حكيمالفيلسوفالضائع That's more or less exactly what I mean --- negative numbers provide useful tools, but they don't 'exist'. Charge is an abstraction and a model and a framework where we use positive and negative reals to model physical events, but we could have invented a model system where we represented charge with, say, an isomorphism with angular velocity (instead of saying +/-e, you'd say counterclockwise and clockwise e --- you can add them just the same), and you see that negative-ness is not an inherent property of the physical electron but of the system we used to describe it. – Justin L. Feb 28 '14 at 02:09
  • 1
    You write: "Do negative numbers exist? Of course they do not. You can't have a negative number of apples." All this demonstrates is that negative numbers aren't a good model of the number of physical objects (like apples) in a physical collection (like a bag full of apples). – goblin GONE Mar 24 '14 at 13:02
  • Negative numbers were so anti-intuitive that Cardano did not used them for his prood that a third degree polynomial alwas has a real root using imaginary numbers. He distinguished an equation of the type $ax^3+bx^2+cx+d =0$ from an equation of the form $ax^3+bx^2+cx=d$ because all coefficient we supposed to be positive. And so had to produce solutions for each type separately. – vinnief Dec 24 '14 at 08:38
  • Some comments here mentioned about abstractions like "owing", "debt", "opposite" when referring to negative numbers. These abstractions are something that a layman can relate to. Can anyone mention similar abstractions with complex numbers(that do not involve 2d geometry, coz if 2d geometry can be used, then why use the complex numbers abstraction in 1st place)? – theprogrammer Sep 12 '20 at 07:52
  • -5 is the number such that when you add 5 to it, you have zero. So if you were to have -5 apples then in order to have no apples someone would need to give you five apples. Weird. – Pineapple Fish Aug 29 '21 at 17:37

One need only consult the history of algebra to find many informal discussions on the existence and consistence of complex numbers. Any informal attempt to justify the existence of $\mathbb C$ will face the same obstacles that existed in earlier times. Namely, the lack of any rigorous (set-theoretic) foundation makes it difficult to be precise - both syntactically and semantically. Nowadays the set-theoretic foundation of algebraic structures is so subconscious that is is easy to overlook just how much power it provides for such purposes. But this oversight is easily remedied. One need only consult some of the older literature where even leading mathematicians struggled immensely to rigorously define complex numbers. For example, see the quote below by Cauchy and Hankel's scathing critique - which is guaranteed to make your jaw drop! (Below is an excerpt from my post on the notion of formal polynomial rings and their quotients).

A major accomplishment of the set-theoretical definition of algebraic structures was to eliminate imprecise syntax and semantics. Eliminating the syntactic polynomial term $\rm\ a+b\cdot x+c\cdot x^2\ $ and replacing it by its rigorous set-theoretic semantic reduction $\rm\:(a,b,c,0,0,\ldots)\:$ eliminates many ambiguities. There can no longer be any doubt about the precise denotation of the symbols $\rm\: x,\; +,\;\cdot\:,$ or about the meaning of equality of polynomials, since, by set theoretic definition, tuples are equal iff their components are equal. The set-theoretic representation ("implementation") of these algebraic objects gives them rigorous meaning, reducing their semantics to that of set-theory.

Similarly for complex numbers $\rm\,a + b\cdot {\it i}\ $ and their set-theoretic representation by Hamilton as pairs of reals $\rm\,(a,b).\,$ Before Hamilton gave this semantic reduction of $\,\mathbb C\,$ to $\Bbb R^2,\,$ prior syntactic constructions (e.g. by Cauchy) as formal expressions or terms $\rm\:a+b\cdot {\it i}\:$ were subject to heavy criticism regarding the precise denotation of their constituent symbols, e.g. precisely what is the meaning of the symbols $\rm\;{\it i},\, +,\, =\,?\, $ In modern language, Cauchy's construction of $\mathbb C$ is simply the the quotient ring $\rm\:\mathbb R[x]/(x^2+1)\cong \Bbb R[{\it i}],\,$ which he described essentially as real polynomial expressions modulo $\rm\:x^2+1\:$. However, in Cauchy's time mathematics lacked the necessary (set-theory) foundations to rigorously define the syntactic expressions comprising the polynomial ring term-algebra $\rm\mathbb R[x]$, and its quotient ring of congruence classes $\rm\:(mod\ x^2+1).\,$ The best that Cauchy could do was to attempt to describe the constructions in terms of imprecise natural (human) language, e.g, in 1821 Cauchy wrote:

In analysis, we call a symbolic expression any combination of symbols or algebraic signs which means nothing by itself but which one attributes a value different from the one it should naturally be [...] Similarly, we call symbolic equations those that, taken literally and interpreted according to conventions generally established, are inaccurate or have no meaning, but from which can be deduced accurate results, by changing and altering, according to fixed rules, the equations or symbols within [...] Among the symbolic expressions and equations whose theory is of considerable importance in analysis, one distinguishes especially those that have been called imaginary. $\quad$ -- Cauchy, Cours d'analyse,1821, S.7.1

While nowadays, using set theory, we can rigorously interpret such "symbolic expressions" as terms of formal languages or term algebras, it was far too imprecise in Cauchy's time to have any hope of making sense to his colleagues, e.g. Hankel replied scathingly:

If one were to give a critique of this reasoning, we can not actually see where to start. There must be something "which means nothing," or "which is assigned a different value than it should naturally be" something that has "no sense" or is "incorrect", coupled with another similar kind, producing something real. There must be "algebraic signs" - are these signs for quantities or what? as a sign must designate something - combined with each other in a way that has "a meaning." I do not think I'm exaggerating in calling this an unintelligible play on words, ill-becoming of mathematics, which is proud and rightly proud of the clarity and evidence of its concepts. $\quad$-- Hankel

Thus it comes as no surprise that Hamilton's elimination of such "meaningless" symbols - in favor of pairs of reals - served as a major step forward in placing complex numbers on a foundation more amenable to his contemporaries. Although there was not yet any theory of sets in which to rigorously axiomatize the notion of pairs, they were far easier to accept naively - esp. given the already known closely associated geometric interpretation of complex numbers. Hamilton introduced pairs as 'couples' in 1837 [1]:

p. 6: The author acknowledges with pleasure that he agrees with M. Cauchy, in considering every (so-called) Imaginary Equation as a symbolic representation of two separate Real Equations: but he differs from that excellent mathematician in his method generally, and especially in not introducing the sign sqrt(-1) until he has provided for it, by his Theory of Couples, a possible and real meaning, as a symbol of the couple (0,1)

p. 111: But because Mr. Graves employed, in his reasoning, the usual principles respecting about Imaginary Quantities, and was content to prove the symbolical necessity without showing the interpretation, or inner meaning, of his formulae, the present Theory of Couples is published to make manifest that hidden meaning: and to show, by this remarkable instance, that expressions which seem according to common views to be merely symbolical, and quite incapable of being interpreted, may pass into the world of thoughts, and acquire reality and significance, if Algebra be viewed as not a mere Art or Language, but as the Science of Pure Time. $\quad$ -- Hamilton, 1837

Not until the much later development of set-theory was it explicitly realized that ordered pairs and, more generally, n-tuples, serve a fundamental foundational role, providing the raw materials necessary to construct composite (sum/product) structures - the raw materials required for the above constructions of polynomial rings and their quotients. Indeed, as Akihiro Kanamori wrote on p. 289 (17) of his very interesting paper [2] on the history of set theory:

In 1897 Peano explicitly formulated the ordered pair using $\rm\:(x, y)\:$ and moreover raised the two main points about the ordered pair: First, equation 18 of his Definitions stated the instrumental property which is all that is required of the ordered pair:

$$\rm (x,y) = (a,b) \ \ \iff \ \ x = a \ \ and\ \ y = b $$

Second, he broached the possibility of reducibility, writing: "The idea of a pair is fundamental, i.e., we do not know how to express it using the preceding symbols."

Once set-theory was fully developed one had the raw materials (syntax and semantics) to provide rigorous constructions of algebraic structures and precise languages for term algebras. The polynomial ring $\rm\:R[x]\:$ is nowadays just a special case of much more general constructions of free algebras. Such equationally axiomatized algebras and their genesis via so-called 'universal mapping properties' are topics discussed at length in any course on Universal Algebra - e.g. see Bergman [3] for a particularly lucid presentation.

[1] William Rowan Hamilton. Theory of conjugate functions, or algebraic couples; with a preliminary and elementary essay on algebra as the science of pure time
Trans. Royal Irish Academy, v.17, part 1 (1837), pp. 293-422.)

[2] Akihiro Kanamori. The Empty Set, the Singleton, and the Ordered Pair
The Bulletin of Symbolic Logic, Vol. 9, No. 3. (Sep., 2003), pp. 273-298.
PS http://www.math.ucla.edu/~asl/bsl/0903/0903-001.ps
PDF http://ifile.it/b20c48j

[3] George M. Bergman. An Invitation to General Algebra and Universal Constructions.
PS http://math.berkeley.edu/~gbergman/245/
PDF http://ifile.it/yquj5w1

Bill Dubuque
  • 257,588
  • 37
  • 262
  • 861
  • 15
    Did you miss the part where he said "to a non-mathematician"? – SamB Nov 27 '10 at 20:36
  • 25
    @SamB: The above is meant to provide to the OP some historical, foundational and pedagogical advice on the difficulty of such an endeavor. Hopefully the OP will find it helpful in devising his explanations for non-mathematicians. – Bill Dubuque Dec 01 '10 at 17:04
  • 1
    ah, I suppose it might ;-) – SamB Dec 01 '10 at 19:28

No number does "really exist" the way trees or atoms exist. In physics people however have found use for complex numbers just as they have found use for real numbers.

  • 463
  • 4
  • 13
  • Very good insight on this. – Vortico Jul 28 '10 at 02:40
  • 12
    I think this is a non-answer. Clearly the mathematical concept of numbers is not "real" and in the past concepts, as zero, that now we consider clear were misterious. Still people tend to understand and consider "real" positive, negative and fractional numbers because they see a link with reality. In this sense they "exist" and that's why basic algebra is normally understood by a vaste majority – Mauro Nov 22 '10 at 15:20
  • @Christian, Mauro: but it certainly seems that something rather similar to the Peano numbers is the simplest way to explain the empirical behavior of a significant class of objects in the real world, and thus (by Occam's razor) the best one -- how is that different from, say, Newtonian physics? – SamB Nov 27 '10 at 20:32
  • 1
    @Mauro: There a long philosophical debate about whether numbers can exist in some Platonian heaven of ideas. Things that physics people use in their formulas have per definition a link to reality. – Christian Nov 29 '10 at 12:41
  • 8
    @Christian: I wonder what you mean by "the way trees or atoms exist". What way is that, exactly? Any decent definition of "exist" has to at least admit that things like time, sounds, shadows, communication, and the color red exist, don't you think? It's hard to imagine any such definition would rule out the number six. – Jason Orendorff Dec 02 '10 at 22:10
  • @Christian, agreement with Jason. Physical theories are as much abstractions as are mathematical theories. If we want to be precise, we don't even get to distinguish a type of object, i.e., atom, without implying a model. – Andrew Marshall Dec 19 '10 at 18:03
  • some quantities can't be described even by real numbers, but necessarily by natural numbers only, such as performance of a process that doesn't scale (iteration of a function, even). Therein lies the answer to the complex number question: there is a context to what numbers can describe, and counting apples is not a meaningful context for complex numbers. – Andrew Marshall Dec 19 '10 at 18:10
  • Incidentally, this train of thought leads back to justifying complex numbers: take -1 as an involution on R. It's not clear what it means to iterate this function 1.5 times, but extending R to C now gives us (two) excellent choices. – Andrew Marshall Dec 19 '10 at 18:29
  • 8
    What about Quine's insight to define a natural number $n \in \mathbb{N}$ as the **equivalence class of all sets with cardinality** $n$? – isomorphismes Dec 22 '10 at 07:16
  • 1
    @Jason: You can run very straightforward tests to see whether a particular tree exists. Thinking of a test that tests whether time exists is qualitatively different. – Christian Feb 19 '11 at 14:16
  • I think we cannot be sure if a tree exists either. Today the tree might exist. 10 years from now, deforestation might make it non-existent. 1000 years ago, it might not have been born yet. So the absolute notion of whether "this" tree exists cannot be answered. – theprogrammer Sep 12 '20 at 07:54

In my opinion, the most natural way to view complex number is as a class of maps from the plane to itself. Specifically, lets define $(R, \theta)$ to be the map which multiplies every point in the plane by the number $R$, and then rotates it by the angle $\theta$. We may call these maps "dilations with rotations."

Such maps can be added and composed (multiplied) in the obvious way, and its not hard to work out that the sum and product of two such mappings is another dilation with rotation.

We can also identify the real number $x$ with the map $(x,0)$, i.e. the map which multiplies every point in the plane by $x$. Then we see that these maps have the magical property that $-1$ has a square root! Namely, if $P$ is the mapping $(1,\pi/2)$ (i.e. rotate every point by angle $\pi/2$), then applying $P$ twice is the same as multiplying every number by $-1$, i.e. $P^2=-1$!

As should be obvious by now, these maps are just complex numbers in disguise.

Unsurprisingly, they are singularly useful for solving polynomial equations. Indeed, the real number $x'$ is a root of the polynomial equations $a_0 x^n + a_1 x^{n-1} + \cdots + a_n =0$ if and only if the mapping $(x',0)$ satisfies the same equation. So viewing polynomial equations over the set of these mappings loses no solutions, while at the same time giving us additional freedom to do operations such as taking the square roots of negative numbers.

  • 2,168
  • 14
  • 15

Even though quite a few people have already contributed towards answering your question, I would like to offer some thoughts of mine that may help you.

I am not going to give you ways of showing that complex numbers are necessary and meaningful, rather an idea about why I think people find them meaningless and how this can be resolved.

I am prompted by the part of your question that says: "...most non-mathematicians find it hard to accept that such a number is meaningful. In contrast, they feel that real numbers have an obvious and intuitive meaning." I have thought about this a lot in the past and have come to the conclusion that the problem in finding complex numbers meaningful lies in the meaning we have attached to the number systems "preceding" them in the hierachical chain: $\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}$. The meaning we have attached is that of quantity! Numbers all the way up to and including the reals are scalar quantities: We use them for distance, area, volume, weight, speed, intensity and so on. However, when you get to the complex numbers all that has to go away. There is no such thing as $2 + 3i$ kilogrammes or $-4i$ dollars or $1-5i$ centimetres... Yet we ask the learner to call them numbers!

So, the learner is faced with an apparent contradiction in terms: They are asked to think of these strange entities as numbers while at the same time these new additions to the realm don't behave as the numbers of old. And you should take into account that the older numbers have been around for a long time. That's where I think the problem lies.

To circumvent this, I think that what one needs to do is explain to the learner that - from now on - numbers are going to take on a much wider role than before: They are going to be used not only to denote quantities, but also to denote directions, which is precisely what complex numbers do on the two-dimensional plane. Every complex number can be represented by a vector and this automatically suggests a direction. The "older" meaning is not lost, since a complex number has a modulus in addition to its real and imaginary parts and these three are quantities.

Of course, one might say "But real numbers denote directions as well: +1 denotes a unit displacement to the right of 0 along the x-axis while -1 denotes a displacement to the left". This is indeed true, however, I sincerely doubt that the untrained mind of a learner, who encounters complex numbers for the first time, will delve in that direction. And, if it does, then that's fine, because it shows that the direction concept was already lurking in the number hierarchy ever since negative integers were introduced!!

I hope all this is of help to you.

  • 7
    +1 spot on! and it doesn't help that the word "imaginary" is also used. The same non-mathematicians may very well have heard of groups, and likely have not questioned whether they are "real." "Groups" is not already used and understood with technical meaning, so there is no overloading – Andrew Marshall Dec 19 '10 at 18:59
  • What about directions in 3-space, for instance? Can complex numbers be generalized to $n$ dimensions? – sequence Nov 20 '16 at 06:21
  • @sequence I think you're looking for Quaternions. Knightofmathematics, I think your answer is excellent. I think that interpreting complex numbers (and reals) in terms of "direction" is the best way to introduce them to non-mathematicians, which is why I think your answer may be the best solution to OP's actual question (as opposed to the misleading title). – electronpusher Apr 24 '17 at 18:05
  • This is such an insightful answer. – Arturo don Juan Apr 13 '18 at 02:11
  • I agree that this is the one answer the addresses the psychological issue most people have. All numbers a typical student encounters prior to complex numbers occur in successions: natural numbers as points on a line, rational numbers fitting in between, irrationals filling holes that still remain, zero and negative numbers extending the pattern to the left. When complex numbers are introduced, there's no place left in this scheme for them to go. Maybe if we had called them "plane numbers" instead... – Will Orrick Apr 04 '20 at 10:12

To the degree that anything actually "exists" in math, yes complex number exist.

Once you accept that groups, rings and fields exist, and that isomorphism of rings makes sense, complex numbers can be recognized as (isomorphic to) the subring (which happens to be a field) of the ring of $2 \times 2$ real matrices.

Generators of this subring are the following matrices

$ \begin{vmatrix} 1 & 0 \\ 0 & 1 \\ \end{vmatrix} \;$ and $\; \begin{vmatrix} 0 & -1 \\ 1 & 0 \\ \end{vmatrix} $

which correspond to $1$ and $i$ in the normal notation of complex numbers.

As people tend to accept that matrices exist, this may be a convincing argument.

  • 1,350
  • 1
  • 12
  • 29
  • 635
  • 6
  • 6
  • 11
    Interesting answer, but good luck convincing the people who claim they don't exist with this argument :) – cobbal Jul 21 '10 at 05:19
  • 6
    Well, first you ask if matrices exist. ;-) – donroby Jul 21 '10 at 20:15
  • donroby: well, they certainly do exist in video game worlds (to an approximation -- rounding errors throw a major wrench in the works...) – SamB Nov 27 '10 at 20:34

I think some confusion comes from calling the numbers that only have imaginary part "imaginary numbers". I believe if mathematicians had other name to give to them (but I am really not thinking on a better name), there would be less confusion.

UPDATE: Even a person brilliant as Gauss thinks "imaginary" is a terrible naming:

Imaginary Numbers Are Real [Part 1: Introduction]

enter image description here

  • 250
  • 4
  • 15

You may be interested to read the MathOverflow question "Demystifying Complex Numbers," here. A teacher is asking how to motivate complex numbers to students taking complex analysis.

Jamie Banks
  • 12,214
  • 7
  • 34
  • 39

Quantum mechanics, and hence physics and everything around us, fundamentally involves complex numbers.

Noah Snyder
  • 9,445
  • 3
  • 37
  • 58

Here is an example of a physical quantity which comes naturally as a complex number.

The impedance between two nodes of a linear electrical circuit working in alternate current, which is the analogous of the resistance of a resistor and is also measured in Ohms, is a complex quantity. For instance, the impedance of an (ideal) capacitor is imaginary.


I'll start by pointing out that a whole host of things that people think of as 'real' are on shakier ground than imaginary numbers. Given that quantum mechanics predicts a fundamental limit to how granular reality is, the whole concept of real numbers is on very shakey ground, yet people accept those as fine. I'd therefore suggest that it is merely a case of familiarity - people are less familiar with complex numbers than with some other mathematical constructs.

As for an actual existence outside the realms of pure maths... your best bet is to look at quantum mechanics again. This area has some fascinating results that are only possible through the use of imaginary numbers. Incidentally, fundamental particles are the place in nature that gave a 'physicality' to negative numbers (the charge of an electron is negative) well after they were accepted as normal by most people.

  • 1,508
  • 11
  • 14
  • 3
    the ``granularness" of quantum mechanics has nothing to do with putting the real numbers on shakey ground-- quite the contrary, quantum mechanics relies heavily on the real numbers. For example, in the standard versions of quantum mechanics the position of most particles can take any real value (not some discrete set of points). – Eric O. Korman Jul 20 '10 at 22:39
  • the maths used to calculate results in quantum mechanics may make use of reals, but that's really due to convention and the fact that we (humans) have great difficulty with the hugeness of numbers that would be used if we calculated things in plank lengths and plank masses. It's a convenient abstraction rather than an affirmation of any 'existence' of real numbers. – workmad3 Jul 20 '10 at 22:54
  • 1
    I think electrical circuit theory is a more approachable use of complex numbers, with the imaginary component being used to express phase. Most people think quantum mechanics is pretty weird and have trouble believing it (as did Einstein, so they're in good company) so using quantum mechanics as a justification further convinces them that complex numbers are merely nonsense. – Neil Mayhew Jul 20 '10 at 22:57
  • 2
    of course every physical theory we have is just an approximation. there are no widely accepted theories that say that spacetime is a lattice (which you seem to believe). – Eric O. Korman Jul 20 '10 at 23:04
  • I haven't said spacetime is a lattice, just that there is a fundamental granularity to it (which is supported by quantum theory). A lattice implies there is some order to the granularity, while what I'm saying is that there is just a fundamental limit to how fine-detailed things can get. And you seem to have confused 'theory' with 'abstraction'. Real numbers are a convenient abstraction used to make things manageable, not a theory of any description. – workmad3 Jul 20 '10 at 23:14
  • @Neil I'm more familiar with quantum theory than electrical circuit theory :) Although now you mention it I have heard from other people I know that imaginary numbers play a large role there. – workmad3 Jul 20 '10 at 23:15
  • The granularity of quantum mechanics is observed regularly, and fairly directly, in the lab. It's far more 'real' than the complex numbers. – Dan Piponi Jul 21 '10 at 23:00
  • In an AC electrical circuit if the steady state's voltage is sinusoidal so is the current. The use of $V$ (complex voltage) and $I$ (complex current) simplifies calculations: $V=|V| e^{i(2\pi ft+\varphi )}$ and $I=|I|e^{i(2\pi ft+\psi )}$, where $f$ is frequency, $t$ is time and $\varphi $, $\psi $ are the voltage and current phases. For instance, a voltage source applied to a series $RLC$ circuit results in $V=(R+i2\pi fL-i(2\pi fC)^{-1})I$ and $|V|=|R+i(2\pi fL-(2\pi fC)^{-1})| | I|$. – Américo Tavares Sep 11 '10 at 17:29
  • 1
    @Eric I think @workmad3 means QFT, not QM. Spin foams don't use a Cauchy-complete number system for instance. And it probably is reasonable to dispute the "physical" existence of transcendental numbers. Is there a reason to believe that all series converge in real life? Dense is one thing, complete is another. – isomorphismes Mar 18 '11 at 11:03

Yes, as much as any number "exists". (We could say a mathematical "object" exists if it models something empirical.)

Here's a way to visualize a vector "pointing" in the $i$ direction. If electrical power is traveling 100% efficiently from power generator to your home, then it's pointing in the direction $\langle 1 \rangle$ (or flip-flopping $\langle 1 \rangle$ and $\langle -1 \rangle$ for A/C). If the power points in the direction of $\langle \sqrt{-1} \rangle$ then the wire will heat up but transmit no useful electricity.

  • 4,257
  • 1
  • 39
  • 48
  • 16
    I liked the way an old electrical engineering book put it: "there's nothing imaginary about an electrical shock from j500 V!" – J. M. ain't a mathematician Aug 24 '10 at 03:19
  • 1
    That's even better than the way poles in the left half-plane can lead to catastrophe (since left/right is on the real axis and all). – SamB Nov 27 '10 at 20:42

Are real numbers "real"? It's not even computationally possible to compare two real numbers for equality!

Interestingly enough, it is shown in Abstract Algebra courses that the idea of complex numbers arises naturally from the idea of real numbers - you could not say, for instance, that the real numbers are valid but the complex numbers aren't (whatever your definition of valid is...)


There are geometric interpretations of imaginary numbers where they are thought of as parallelograms with a front and back, or oriented parallelograms. That interpretation requires geometric algebra but only uses real numbers.

Here is a link: http://en.wikipedia.org/wiki/Geometric_algebra#Complex_numbers

That doesn't have any pictures so it is admittedly not intuitive, but the answer is yes. Whether you think of imaginary numbers as square root of negative 1 or as parallelogram with a front and back, they exist.

Jonathan Fischoff
  • 1,222
  • 14
  • 26
  • When I've used this explanation with people, they want to know why you can't just use normal geometry, which doesn't involve the concept of a negative square root. – Neil Mayhew Jul 20 '10 at 22:54
  • 1
    You can use normal geometry, you just have to add the idea of front and back, or alternatively clockwise and counter-clockwise. One way to prime the pump of understanding, is think how rotating something by 90 degrees twice gives -1. So rotate^2 = -1. i is like a 90 degree rotation. – Jonathan Fischoff Jul 20 '10 at 23:08
  • @jonathan-fischoff: thanks, that's helpful – Neil Mayhew Jul 20 '10 at 23:24

Complex numbers are the final step in a sequence of increasingly "unreal" extensions to the number system that humans have found it necessary to add over the centuries in order to express significant numerical concepts.

The first such "unreal number" was zero, back in the mists of time. It seems obvious to us now, but it must have seemed strange at first. How can the number of sheep I have be zero, when I don't actually have any sheep?

Negative numbers are the next most obvious addition to the family of numbers. But what does it mean to have -2 apples? If I have 3 apples and you have 5, it's convenient to be able to say that I have -2 more apples than you. Even so, during the middle ages many mathematicians were very uncomfortable with the idea of negative numbers and tried to arrange their equations so that they didn't occur.

Rationals (fractions) seem real enough, since I'm happy to have 2/5 of a pizza. However, this is not the number of pizzas that I have, just a ratio between 0 and 1 pizzas, and so is further removed from the concept of counting.

More significant philosophical problems problems arose when irrational numbers were first discovered by the classical Greeks. They were astonished when Euclid (or one of his predecessors) proved that the diagonal of a unit square could not be represented by ratio of two integers. This was such an outrageous idea to them that they called these numbers "irrational". However, they couldn't easily deny their existence since they have a direct geometric representation.

Irrational numbers were first understood as the solutions to algebraic equations such as x^2 = 2 but this still doesn't cover all the possible numbers that we need. For example, the ratio of a circle's diameter to its circumference is π and so has a direct geometric representation. However, in 1882 π was proved to be transcendental, meaning that it can't be defined as the solution to a specific algebraic equation. This begins to seem a lot less "real", especially when you consider that there are many important transcendental numbers that, unlike π, don't have a geometric interpretation.

There are of course many algebraic equations that don't have a solution even among the irrational numbers, and in some ways there's no reason why they should. However, when 16th century mathematicians like Gerolamo Cardano began working on solutions to cubic equations they found that the square roots of negative numbers began cropping up very naturally in their procedures, even though the solutions themselves were purely real. This eventually led people to explore the arithmetic of complex numbers and they were surprised to find that it produced a consistent and beautiful theory.

However, complex numbers don't have such an intuitively obvious geometrical meaning as the numbers that came before. They are typically represented graphically as points in the 2D plane, and the rules of addition and multiplication are equivalent to certain operations on lengths and angles, but those operations aren't driven by geometrical necessity in quite the way that squares and circles are. Even so, complex numbers are a perfect representation for various physical phenomena such as the state of particles in quantum mechanics and the behaviour of varying currents in electrical circuits. They are also very useful for reducing the cost of computation in 3D computer graphics.

The really special thing about complex numbers, though, is that they are the end of this journey that has been going on for millenia. There is no need to invent further number systems to provide solutions to problems expressed in terms of complex numbers because now every non-contradictory equation, algebraic or transcendental, has a solution within the complex numbers. They are a self-sufficient, consistent system.

Physicists have been breaking matter down into smaller and smaller particles over the years. Molecules, atoms, nuclei, protons, quarks. When will the process stop? For several decades it was felt that quarks could be the final, indivisible particle. However, new theoretical frameworks such as string theory are suggesting that there may be more fundamental entities than quarks. Because physics ultimately relies on experimental verification, we can never be sure that there aren't going to be more steps in the sequence.

In mathematics, however, we can prove things for all time. Complex numbers are the final step in the sequence, the numbers that we have been reaching for since before the beginning of recorded history. Every other number system is just a subset of the complex numbers, just a part of the true picture. Complex numbers are the real thing.

Neil Mayhew
  • 1,605
  • 4
  • 17
  • 18
  • `every non-contradictory equation has a solution within the complex numbers` - surely you mean every polynomial equation? – BlueRaja - Danny Pflughoeft Jul 27 '10 at 23:02
  • 11
    It is *false* that every other number system is a subset of the complex numbers. For example, modular arithmetic (say, adding and multiplying mod 5) can not be viewed as a subset of the complex numbers. In modular arithmetic 1 added to itself enough times gives you 0 and that doesn't happen in C. There are also many other number systems (p-adic numbers) which are not inside of C in any *natural* way. Moral: there is no "ultimate" number system. – KCd Aug 08 '10 at 03:30
  • It probably goes back further than the introduction of 0. {1,2,3,many}, for example. – Andrew Marshall Dec 19 '10 at 19:11
  • 1
    a very nice answer. But the last step is too idealistic in my view. Complex arithmetic with exponentiation is clock-arithmetic modulo $\small 2 \pi $ . We have to introduce multivaluedness; the squareroot of c^2 is not necessarily $\small \pm c $, branch-cuts; recently I came across the concept of a "winding-number" which should provide uniqueness for complex exponentiation (in an article of Corless & al on the Lambert-w), which might be assigned as additional component to a complex number. I'm not sure that complex numbers are the final step... – Gottfried Helms Aug 26 '11 at 18:47

As phrased, your question invites a philosophical answer but you said that's not what you want. One way to approach this question is to ask if complex numbers correspond to anything in the real world. What can you count or measure with them?

As far as I can tell, complex numbers are most directly useful for measuring things that rotate or oscillate. They're used by electrical engineers because voltages and currents can oscillate, and could be used for measuring springs or pendulums, or for anything that behaves like a wave. There are not that many situations in day-to-day life where you'd use complex numbers, but they're used extensively in physics because waves and oscillations show up everywhere.


The question you and your students are asking is whether the concept deserves to exist, i.e., is it really a useful concept? The best answer to offer non-mathematical people is that it is at the heart of many, many applications which are perhaps simpler to understand with this abstraction. You can draw historical parallels, for example to surds (such as $\sqrt2$), which were thought not to exist from the ancient Greek rational-geometric constructive perspective. But at the least, I think, you must point out the beauty and utility of Euler's formula $$ e^{i\theta}=\cos\theta+i\sin\theta $$ (connecting them to trigonometry) and of the complex plane. Perhaps DeMoivre's formula $$ \left(\cos\theta+i\sin\theta\right)^n= \cos{n\theta}+i\sin{n\theta} $$ provides a nice example of a considerable simplification realized through complex numbers. Then, you should mention some of the multifarious connections that could come to mind, both applications (such as to alternating current & fluid dynamics) and mathematical extensions and related areas: vectors, quaternions, octonions, complex (!), Fourier & Harmonic analysis, Lie Groups, cyclotomic polynomials, analytic number theory, etc.

Above all, one should mention that they have deep connections to algebra (e.g., its fundamental theorem) and by extension, to linear algebra and differential equations (?), two of the most useful areas of mathematics. And don't hesitate to use pretty pictures.

There is also some debate over, and well should there be room for, different fundamental viewpoints on what mathematics is and how it should be conducted. And one should probably also include here some perspectives more historically associated with statistics, such as pragmatism. With this in mind, one should have some tolerance for, or at least understanding of, non-mathematicians' continued skepticism regarding mathematical concepts, since the proof of a concept's utility is contingent on sufficient experience with it and, even within the field of mathematics, there are revisions and simplifications and room for alternative approaches.

  • 7,868
  • 18
  • 23

The argument isn't worth having, as you disagree about what it means for something to 'exist'. There are many interesting mathematical objects which don't have an obvious physical counterpart. What does it mean for the Monster group to exist?

Simon Nickerson
  • 5,341
  • 3
  • 21
  • 29
  • I know that complex numbers are a useful abstraction, and in my own mind I'm quite happy that they "exist", in the same that math in general 'exists". However, I tagged the question as "teaching" because I want to hear other people's ideas about how to help non-technicians grasp the wonder of complex numbers. I think your answer is trite and unhelpful so I'm downvoting it. – Neil Mayhew Jul 20 '10 at 22:51
  • 14
    I agree that the argument isn't worth having. But I think you need to reach a certain state of enlightenment before you can appreciate why it's not worth having. The entire mathematical community struggled with these kinds of issues for a long time so it's clearly a non-trivial issue that can't simply be dismissed in one sentence. – Dan Piponi Jul 21 '10 at 22:58
  • 5
    Is there a Monster group under my bed? – SamB Nov 27 '10 at 20:38

Erase from your mind that 'complex' numbers have anything to do with the square root of $-1$. Instead ask yourself if this is feasible:

Intelligent life in a distant part of the universe developed in a completely different way than we did. They often say

God made the polygons, all else is the work of ___.

This species made great strides in algebra at a very early stage. They built up considerable 'mathematical potential energy' in their ancient history.

In a short span of time, they went from the polygons to the circle, and then realized that there was a natural covering map of the 1-dim number line onto the circle group. For them, the circle group of rotations was just as useful as the number line.

As they worked with 2-dim space, one of their greatest minds realized that the most natural way to extend multiplication from the circle and number lines to all the points in the plane was to multiply number lengths and add their angles (dilation/rotation). It was a flash of intuition and insight, but the theory details gave then a tremendous technological advancement; many math problems they worked on had a new feel to them (for example, they found that every polynomial could now be completely factored).

As they advanced into quantum mechanics, they developed, what we humans call, the Schrödinger equation,

$i\hbar {\frac {\partial }{\partial t}}\Psi (\mathbf {r} ,t)={\hat {H}}\Psi (\mathbf {r} ,t)$

Of course they did not express it as we do, and they were really surprised when they learned that $i$ meant "imaginary number" to so many people on earth. They were even more surprised to learn what percentage of people even knew what it stood for.

  • 10,521
  • 1
  • 17
  • 43
  • Nice idea. Could you flesh it out a bit? The connection between complex numbers and circle groups isn't obvious. – Neil Mayhew Jul 08 '17 at 17:43

I usually say: "Believe it or not, electricity and radio waves actually do behave like complex numbers. You don't see that in high school, but electric and electronics engineers do."

  • 649
  • 4
  • 11

I have just discovered this web page and your question. This is probably a late response.

A lot of people think that at some point someone came along and simply asserted "yes there is a square root of -1 after all" and called it 'i'. That's a common misconception, and, unfortunately, seems to be what is often "taught" in "high schools" in the US.

The set of Real Numbers that you are used to is an example of what mathematicians call a "field". That means you can add, subtract, multiply, and divide according to familiar properties. The field C contains the Reals: it is just the two-dimensional plane endowed with a very natural addition (vectors) and a really cool multiplication, which takes a little effort to understand.

A complex number is just a point on the plane, an ordered pair. The absolute value of a complex number is its distance to the origin, and let's call its "angle" the angle it forms with the positive x-axis. The Real numbers are just the x-axis, and "i" is just (0,1). So the real number 1 is (1,0) and -1 is (-1,0). Then multiplying complex numbers multiplies their absolute values and adds the angles. That's why (0,1) times itself is -1 = (-1,0). 90 degrees plus 90 degrees = 180 degrees.

There is essentially no other way to imbed R (the reals) in a field in which all numbers have square roots. If you want to be technical, any other such field is isomorphic to C. Furthermore, there is no way to make any higher R^n (R^3 = space for example) into a field in a natural way. The quaternions are a way to make R^4 into a division ring, close but not a field.

So, in short, the field of complex numbers is extremely real and concrete.

Last March Steven Strogatz wrote a column about C = the field of complex numbers in the New York Times. You might enjoy this exchange of emails I had with someone a few months later, after Strogatz's article appeared in the New York Times.


  • 231
  • 3
  • 6

Since nobody has talked about Caspar Wessel I will, mainly because of this:

In 1799, Wessel was the first person to describe the geometrical interpretation of complex numbers as points in the complex plane.

As you can read from previous answers, all numbers are mathematical abstraction. $1$ is not even defined in the real world, it is an abstraction to quantify what surrounds us. To every object we have, we define it's "unity": one potato is the whole elipsoidal tuber. But then if we cut it in half we'd say we have "half" a potato. We're representing a concrete object with the abstract notion of unity, but the number $1$ itself is our first numerical abstraction. What makes it so awfully mundane is that we are very used to unity. And, thus, we march steadily to $2$, $3$, $\dots$, to get what we name the "natural" numbers: $\mathbb{N}$. They are those who naturally arise in our day to day life, which we use to count and order, among other uses.

Now, as you would probably imagine, we move onto integers. But as you are now doubtfull about the notion of complex numbers, many mathematicians were too about the negatives! They thought they were "impossible" and didn't considered them numbers:

Prior to the concept of negative numbers, negative solutions to problems were considered "false" and equations requiring negative solutions were described as absurd.

Although the first set of rules for dealing with negative numbers was stated in the 7th century by the Indian mathematician Brahmagupta, it is surprising that in 1758 the British mathematician Francis Maseres was claiming that negative numbers "... darken the very whole doctrines of the equations and make dark of the things which are in their nature excessively obvious and simple" .

So much for the "simple" integers, $\mathbb{Z}$. We can go on to the rational numbers $\mathbb{Q}$, the irrationals, and the real numbers $\mathbb{R}$, but let me focus on Wessels' genius. He named his paper "On the Analytical Representation of Direction; An Attempt." and began with

"This present attempt deals with the question, how may be represet direction analytically; that is, how shall we express right lines so that in a single equation involving one unknow line and others known, both the length and the direction of the unknown line may be expressed."

He gives two propostition which seem to him "undeniable":

  1. "...changes in direction which can be effected by algebraic operations shall be indicated by their signs."

  2. "...direction is not a subject for algebra except in so far as it can be changed by algebraic operations."

He then explains how sum and substraction should be defined (he basically defines vector addition and substractino) and what he's aiming in this exposition, among other remarks. But here's the interesting part, after he defines multiplication:

"...so that the angle of the product (...) becomes equal to the sum of the direction angles of the factors."

"Let $+1$ designate the positive rectilinear unit and $+\epsilon$ a certain other unit perpendicular to the positive unit and having the same origin; then the direction angle of $+1$ will be equal to $0º$, that of $-1$ to $180º$, that of $+\epsilon$ to $90º$ and that of $-\epsilon$ to $-90º$ or $270º$. By the rule that the direction angle of the product shal equal to sum of the angles of the factors, we have: $(+1)(+1)=+1$;$(+1)(-1)=-1$;$(-1)(-1)=+1$;$(+1)(+\epsilon)=+\epsilon$;$(+1)(-\epsilon)=-\epsilon$;$(-1)(+\epsilon)=-\epsilon$;$(-1)(-\epsilon)=+\epsilon$;$(+\epsilon)(+\epsilon)=-1$;$(+\epsilon)(-\epsilon)=+1$;$(-\epsilon)(-\epsilon)=-1$. From this it is seen that $\epsilon$ is equal to $\sqrt{-1}$ (...)"

He then, after some reasoning and trignometrical though gives the know representation:

"In agreement with 1 and 6, the radius which begins at the center and diverges from the absolute or positive unit by angle $v$ is equal to $\cos v + \epsilon \sin v$.

But what is most amazing is that he then gives a great ending to his paper!

Without knowing the angle which the indirect line $1+x$ makes with the absolute value, we may find, if the length of $x$ is less than $1$, the power ${\left( {1 + x} \right)^m} = 1 + \dfrac{{mx}}{1} + \dfrac{m}{1}\dfrac{{m - 1}}{2}{x^2} + \operatorname{etc}.$ If this series is arranged according to the powers of $m$, it has the same value and is changed into the form $$1 + \frac{{ml}}{1} + \frac{{{m^2}{l^2}}}{1\cdot2} + \frac{{{m^3}{l^3}}}{{1 \cdot 2 \cdot 3}} + \operatorname{etc}.$$ where $$l = x - \frac{{{x^2}}}{2} + \frac{{{x^3}}}{3} - \frac{{{x^4}}}{4} + etc.$$ and is a sum of a direct [horizontal] and a perpendicular line. If we call the direct line $a$ and the perpendicular $b\sqrt{-1}$ then $b$ is the smallest measure of the angle which $1+x$ makes with $+1$. If we set $$1 + \frac{1}{1} + \frac{1}{{1 \cdot 2}} + \frac{1}{{1 \cdot 2 \cdot 3}} + \operatorname{etc}. = e$$ then $${\left( {1 + x} \right)^m}$$ (...) may be represented by ${e^{ma + mb\sqrt { - 1} }}$ (...)"

So in trying to give direction an analytical representation Caspar Wessel has given the most important rules to represent complex numbers as lines in the plane, and made them be meaningfull for us.

I hope you enjoyed this as much as I did when I read it. If you want, I can give you the whole article, which is amazingly interesting.

  • 116,339
  • 16
  • 202
  • 362

Ordered pairs exist. If you define an operation on something that exists, the thing 'with the operation' exists. Certain operations can be defined on ordered pairs Complex numbers are ordered pairs with those operations defined on them. ∴ Complex numbers exist.

Adam Golding
  • 11
  • 1
  • 1

We will will first consider the most common definition of $i$, as the square root of $-1$. When you first hear this, it sounds crazy. $0$ squared is $0$; a positive times a positive is positive and a negative times a negative is positive too. So there doesn't actually appear to be any number that we can square to get $-1$.

A mathematician would collectively term $0$, negative numbers and positive numbers as the real numbers. They would also define the term complex numbers as a group of numbers that includes these real numbers. So while we have shown that no real number can square to get $-1$, we haven't even defined complex numbers at this point, so we can't rule out that one might have this property.

At this point, it makes sense to ask what does a mathematician mean by a number? It certainly isn't what most people associate it with - as an abstract representation some kind of real world quantity. We need to understand that it isn't uncommon for one word to have different meanings for different groups of people - after all words mean whatever we make them mean. Most people only need to real world quantities, so they find it convenient to call those numbers. On the other hand, mathematicians explore a variety of different number systems. Indeed some, such as complex numbers, are useful for solving problems that are actually about real numbers.

So mathematicians define $i$ as a number that obeys most of the normal algebraic laws. They also defined $i*i$ to equal $-1$. From this we can derive all of the standard results about complex numbers.

As for whether they are real - it depends on what you want to know. Obviously, they don't correspond to quantities of physical objects. On the other hand, complex numbers can useful for representing resistance in an electric circuit. Ultimately, they are an idea and while ideas don't exist physically, saying they don't exist at all is inaccurate.

  • 1,350
  • 1
  • 12
  • 29
  • 8,703
  • 7
  • 50
  • 79
  • "When you first hear this, it sounds crazy." I must say, when I first saw it being drawn in the Argand plane, it made perfectly sense to me: you introduce an imaginary axis because your imaginary number obviously can fit nowhere on the real axis. If you say i = 1 rotated CW over 90°, then i*i = 1 rotated over 2*90°, and you've arrived at -1, back on the real axis! The Argand plane made it all clear to me. Unfortunately I have no such representation for quaternions :-( – stevenvh Sep 11 '10 at 12:44
  • @stevenvh: Exactly the same representation works, it's just harder to visualize a 4D space! – Simon Dec 04 '11 at 04:55

There is a lovely way of motivating the "existence" of the complex numbers just by using a little calculus on the real numbers. I found this in Visual Complex Analysis, and it tickled me, so I thought I'd share it here, despite the lateness of the answer.

If $r_1,...,r_n$ are real numbers, define:

$$f(x)= \frac{1}{(x-r_1)(x-r_2)...(x-r_n)}$$

When $a\notin \{r_1,...,,r_n\}$ we can find the Taylor series around $a$:

$$\sum_{k=0}^\infty \frac{f^{(k)}(a)}{k!}(x-a)^k$$

The question is, for what (real) $x$ does this series converge to $f(x)$?

As it turns out, if we let $R=\min_{k} |a-r_k|$, then if $|x-a|<R$ this series converges to $f(x)$ and if $|x-a|>R$, then it doesn't converge.

So, in a sense, the $r_i$ "block" the ability of the Taylor series to converge around them.

Now, what about the Taylor series for $g(x)=\frac{1}{x^2+1}$?

Given an $a$, this function has no "real" blockages - it is defined on all of $\mathbb R$ - but the Taylor series for $g(x)$ around $a$ has a similar $R$ value, and that $R$ value is $\sqrt{1+a^2}$, a value that can be computed entirely with real number calculations.

That then looks like there is some geometric obstruction to the Taylor series, an obstruction not on the real line, but a unit distance away from the real line in a perpendicular direction away from $0$. It "looks like" an "imaginary" root of $x^2+1=0$.

Thomas Andrews
  • 164,948
  • 17
  • 196
  • 376

Even natural numbers are abstract notions. Through abstract constructions the complex numbers can be demonstrated. So asking whether complex numbers is something like asking whether the natural numbers exist, whether the real numbers exist, or not. They are all things in the abstract domain of thought.

If you want to reconcile it with your physical intuition, try the following. I suppose that your mental picture of the real numbers is by associating a line to it. Similarly, you can associate a plane to the set of complex numbers. Points are complex numbers. The real numbers will be the x-axis and imaginary numbers would be the y-axis. Addition is straightforward to visualize. For visualizing multiplication, write a complex number in the form $re^{i\theta}$. Then multiplication is a combination of stretching by a magnitude of $r$ and rotation by an angle of $\theta$. I hope this helps you in mental visualization.

In electrical networks, complex numbers are very good for analysis of alternating current networks. If some current has an imaginary component, it means that the current is leading or lagging the voltage by some "phase difference", or "angle". A resistance having imaginary components mean that it has capacitance or inductance. Only the "real" parts contribute to energy loss. But for imepdance calculations you have to consider capacitance and inductance too. A similar analysis can be made for every kind of control systems. So complex number are all very much there in nature and all sorts of engineering problems. I cannot stress their importance enough.

  • 3
    I agree that the complex plane is the easiest way to visualize the complex numbers. Part of the problem is that we use the term "imaginary." We should have used a different word. – phv3773 Oct 13 '10 at 20:06

Here is a possible line of reasoning.

Say, we start with natural numbers, $\mathbb{N}$, then add $0$, making them the whole numbers $\mathbb{N}_0$, then add negative numbers, making them integers $\mathbb{Z}$, then expand them to rationals $\mathbb{Q}$, and finally to reals $\mathbb{R}$. In some respect, we keep filling up the line, till there are no gaps left.

Now the question: why do we call them "numbers"? What are the properties we expect from some object so we can call it a number. In fact, just a few: addition and multiplication must be defined for all of them, and we want these operations to be commutative and associative. The distributive law of multiplication over addition must hold. It's nice to have a notion of ordering, so we can say $a \lt b$, and multiplication by some positive number must be compatible with that notion: if $a \lt b$ and $x$ is positive, then $ax \lt bx$. Those are the minimal requirements, met by $\mathbb{N}$. As we expand our numbering system, we get more and more useful properties, and the structure (both algebraic and topological) gets more complicated: from semigroup in case of $\mathbb{N}$ to complete ordered field in case of $\mathbb{R}$, but those basic ones always hold.

Now, the next step in our "quest for expanding our system" would be to look at $\mathbb{R}^2$, $\mathbb{R}^3$ etc. In general, the objects ("points") populating the space $\mathbb{R}^n$ are called "vectors" and they differ from numbers in one important respect: we can't define vector multiplication so it meets our requirements for numbers (commutativity, associativity and having multiplication distributed over addition). So we don't treat vectors in $\mathbb{R}^n$ as the numbers, in particular, we don't think of them as atomic objects, but rather in terms of the components or coordinates.

There's one important exception, however: i is $\mathbb{R}^2$. In fact we can define multiplication of two objects (points, vectors) in $\mathbb{R}^2$ so it meets all our requirements and we can call these objects "numbers". To be precise, all except one: the ordering. Multiplication we define is no longer compatible with the ordering. So we agree that probably not having that feature isn't such a big deal. Once we introduced multiplication, we end up with complete field (but not ordered field) of entities which we have a right to call the numbers. So we call them the complex numbers and designate them as $\mathbb{C}$. There are some similarities between $\mathbb{R}^2$ and $\mathbb{C}$, but there are also some difference, the most important one being the fact that multiplication is defined so $\mathbb{C}$ is a field rather than vector space. In fact we can treat the elements of $\mathbb{C}$ as the scalars and use them to build a vector space, a complex matrices, etc. Well, this is roughly, why we can call complex numbers "numbers". They exhibit the same behavior (except for ordering) as the numbers we're familiar with do. One of my favorite examples: when we define the derivative in vector analysis, the formulas look quite different from those we got used in Calculus. But when we define the derivative for complex-valued functions, the formula is exactly the same, because multiplication and hence division) is defined.

Now, why complex numbers are important is a different question. What I wanted to focus is the fact that we have a right to call them "numbers". But, just like we can think of rational numbers as a special case of reals, and when move from reals to rationals, we loose the important property of completeness, we can think of real numbers as a special case of complex numbers, and when we move from complex to reals we loose some nice properties as well. In many respects, studying complex numbers helps us to better understand real numbers.

As a sidenote, again, when we move from $\mathbb{R}$ to $\mathbb{C}$, we loose the ordering. Complex numbers form a complete field, but this is not an ordered field. (There is only one complete ordered field, up to isomorphism.) Now suppose we want to explore $\mathbb{R}^n$ further. That's the next best? $\mathbb{R}^4$. We can define multiplication of objects (vectors) in $\mathbb{R}^4$ which is associative, but - alas - not commutative. It's kind of hard to think of numbers whose multiplication is not commutative. So we no longer call them (quaternions, $\mathbb{H}$) numbers. Finally, the next interesting space is $\mathbb{R}^8$, where we still can define multiplication, but it is no longer associative (in addition to being non-commutative). It's really hard to deal with something which is not associative, and certainly it's hard to think of those entities as numbers.

  • 448
  • 6
  • 3

Re: "What's the best way to explain to a non-mathematician that complex numbers are necessary and meaningful, in the same way that real numbers are?"

I am a non-mathematician...so fully qualified to answer this question...

  • first explain imaginary numbers
  • then explain that complex numbers are simply numbers that use imaginary numbers
  • then tell 'em about how they are applied in weather forecasting
  • bang!....I geddit

I got all this from an amazing radio show :

"In Our Time - Imaginary Numbers"

Melvyn Bragg and his guests discuss imaginary numbers - important mathematical phenomena which provide us with useful tools for understanding the world.

  • 123
  • 7

A number of answerers have answered by asking the question of whether the real numbers exist.

There are lots of physical examples that a person can give to a lay-person of real numbers, including fractions, zero and negative numbers. Vector addition all by itself provides plenty of examples. For instance, most anyone can develop an intuition for the idea that if a vector pointing north has a positive component, then it can be combined with a vector pointing south, and that the south-pointing vector intuitively and usefully can be assigned a negative component.

So the question is, are there intuitive physical examples of imaginary numbers. I've never seen one! For example, I'd like anyone to show me something even resembling or approximating a stick of length 2i, that when lined up perpendicularly with another stick of length 2i outlines a region with area -4. Given this, lay people have a point when they deny complex numbers exist.

Two advanced comments on this:

(1) A lovely and non-obvious fact about sqrt(-1) is that once you have introduced it and called it "i" you don't have to introduce a pile of other numbers. For example, the sqrt(i) = 1 / sqrt(2) + i / sqrt(2). Imaginary numbers would be a lot less compelling to mathematicians if introducing them immediately led to a bunch of other quantities having to be hypothesized and named.

(2) Quantum mechanics makes heavy use of imaginary numbers. Unlike in electrical engineering, it isn't just a convenience. At the end of the day, in electrical engineering, after having solved a difficult problem, you'll never actually go measure an imaginary voltage or current. The solution to electrical engineering problems always involves "throwing away" the imaginary part of the answer, even though it makes the legwork a lot simpler when coming to an answer. In quantum mechanics, you don't throw the complex part of the wave function away. You work with it at every step of the way, until at the end, you use it's norm-squared. This turns a complex "probability amplitude" into a "probability density."

So you might say that quantum mechanics provides an example of the "existence" of complex numbers. However, the problem with this example is that quantum mechanics remains difficult to intuit even for the most experienced physicists. "I think I can safely say that nobody understands quantum mechanics." http://en.wikiquote.org/wiki/Richard_Feynman

  • __no__, "we" (I'm EE bkg) don't throw away the imaginary component. We sometimes want to know the reactive power, we study ccts that have "purely reactive load" (inductor/capacitor) etc – bobobobo Apr 06 '12 at 00:39
  • Penrose has made the point that the fundamental nature of reality, as measured by quantum wave functions take values in complex Hilbert spaces, is essentially ruled by the complex numbers. In a way the complex numbers are more fundamental than the real numbers. – Cheerful Parsnip Mar 20 '13 at 01:33

It may help to think of negative numbers as something other than "negative."

The concept that helped me was to think of -1 as the opposite of 1.

If the context was distance, for example, and I had a value of 1, then I went one unit in a direction. If, on the other hand, I had a value of -1, then I'm traveling in the opposite direction of 1.

In calculus and series work, it will become more clear that this is a terminology problem most people have. So whether you're dealing with space-time or voltages or something else, the negative symbol is just a relative thing, not an absolute value. In other words, don't think of -5 as negative 5 but as something opposite of something else...

Eric M
  • 121
  • 2

I'm of the idea that complex numbres exist in the same way real number exists, we can be ware of real number every time because they're involved in our daily operations. Lets talk about phasors, they aren't more that convenient ways to express senoidal equations, based on the Eulers Identity:

$$e^{jt} = \cos(t) + j \sin(t) $$ Because this is easir to express and solve differential equations that involves senoidal functions in terms of exponential notation, then they become the prefered manner for analysis of electrical circuits of alternating current (CA). Some quantities sucha as impedance (Z=V/I) where V,I are phasors, have no sense without the complex numbers. In this application, physically the complex part is associated with reactive elements (inductors and capacitors) while the real part is associated with resistive elements (resistors). Also other kinds of transformation such as Laplace transformation (for solving linear differential equations) are based on complex numbers. I have had some work about these kind of notations and transformations and their application in Electrical Enginnering.

  • 116,339
  • 16
  • 202
  • 362
  • 111
  • 3

The weird introduction of complex numbers in school leads to such questions. And who is even concerned about one thing exists or not, which is written on the note book. For example $\infty$ or, $x\rightarrow a$.

Whenever a physical problem is modelled and written in a notebook, we use some symbols which satisfies some assumptions. Now while playing with those symbols in the notebook if we end up with certain things like "$x$ satisfies $x^2+1=0$" then gently symbolise its solution as $i$. That is, for further consideration $i$ is a symbol satisfying $i^2=-1$.

As far as intuition behind anything is concerned, negative integers, zero, irrational numbers, none of them has any "existence" in real life. These are only building blocks of mathematics. As for a long tower the base or the foundation remains hidden, these along with complex numbers are mathematical tools which gives mathematics a strong foundation and apparently has no "existence" in reality. We cannot think of todays mathematics or study of numbers without complex numbers.

If one does not know then let me state that set of complex numbers and Euclidean plane $\Bbb{R}^2$ are exactly same as a set. Just write $a+ib$ as $(a,b)$. A mathematician looks to complex numbers as a algebraically closed field having $\Bbb{R}$ has a subfield.


I'm not a mathematician and for a long time I've struggled with the question if numbers exist.

Mathematics is a language. Numbers are part of its vocabulary, like "apple" is part of the English vocabulary. Just like you can build a sentence with the word "apple" you can build equations with numbers, and just like you have to follow certain rules to make a correct sentence you have to follow certain rules for your equation to hold true.
Now, and I'm trying not go into semiotics (of which I know nothing), the word "apple" is not an apple: you can't eat the word "apple" for one thing. But it exists in the language. You can invent things in a language to represent things in the real world. Does the verb "to walk" exist? It represents an action in the real world, but in itself it is nothing.
I think the same is true with numbers: numbers exist because we defined them in the language of mathematics, but they only make sense if you can connect them to something real. Natural numbers often represent the cardinality of sets: 10 may the number of real world apples in a real world basket. Rational numbers come in handy when comparing things: one apple mat be 1.2 times as large as another one. To non-mathematicians irrational numbers make less sense, for everyday non-mathematical use even pi is rational: 22/7.
Now for complex numbers same thing: we define them in the language of mathematics, but just like irrational numbers it's much harder to make them represent something real, although especially physicists are very good at describing the real world with them. What about other numbers like quaternions? They're part of the language, and are often required to make the grammar fit.

So, are complex numbers real? (mind the pun! :-))
They obviously exist in the language of mathematics, and may be used to describe real world things and events, but in themselves I don't think they exist.

  • 2,446
  • 4
  • 19
  • 25

Really, I could say that numbers themselves don't exist. Imagine I am an alien from the planet Krypton who just came here knowing nothing about numbers. All I know that are real are trees and apples and popcorn.

"Numbers?!", I might say. "Well if I can't see them, how do I know they are real?" Then you might get three apples and say to me, "Look here, see these apples?" I would nod my head, and you might say, "Well, numbers basically show us how much of something there is. I will explain the words we use to describe numbers." Then you may put away two of the apples, leaving one in your hand. Then you would say, "Here is one apple." Then you would get another apple and say, "Here are two apples." You would get the last one and say, "Three apples". Then you would start teaching me more numbers.

*Fast forward 15 years later*

Now I come to you again, asking you, "What are complex numbers?" How would you explain that to me? You might say, "Remember when I taught you what numbers were? It was like learning a totally new language! From there you learnt many things about numbers, which we humans call Mathematics. You learnt about algebra, which is just another part of the language of mathematics. You learnt many, many things about math. Now I am going to teach you about complex numbers. Think of it as yet another part of the language of mathematics."

"Remember when I taught you about the natural numbers ($\mathbb N$), then integers ($\mathbb Z$), then rational numbers ($\mathbb Q$), them real numbers ($\mathbb R$)? $\mathbb Z$ closed off $\mathbb N$ with negative numbers, $\mathbb Q$ closed off $\mathbb Z$ with fractions and decimals, and $\mathbb R$ closed off $\mathbb Q$ with irrational numbers like $\pi$. What then, closes off $\mathbb R$? Complex numbers ($\mathbb C$) do." After explaining what complex numbers are, you would say, "See how complex numbers close off the real numbers and fill in all the remaining gaps? If only real numbers exist, we would never be able to explore negative square roots. But with complex numbers, we can!" Now I might ask, "What closes off $\mathbb C$ then?" You would reply, "No one knows. Maybe one day, someone will invent a new number system that closes off $\mathbb C$, but as of now, there is nothing that closes off $\mathbb C$."

That is what I have to offer on the subject of complex numbers.

  • 5,061
  • 8
  • 37
  • 57

In the en they exists as a consistent definition, you cannot be agnostic about it.

  • 355
  • 1
  • 10

I posted a similar question recently about how complex analysis describes reality better than real analysis and I got very interesting answers.

  • 2,721
  • 15
  • 34