44
$\begingroup$

I'm trying to teach middle schoolers about the emergence of complex numbers and I want to motivate this organically. By this, I mean some sort of real world problem that people were trying to solve that led them to realize that we needed to extend the real numbers to the complex.

For instance, the Greeks were forced to recognize irrational numbers not for pure mathematical reasons, but because the length of the diagonal of a square with unit length really is irrational, and this is the kind of geometrical situation they were already dealing with. What similar situation would lead to complex numbers in terms that kids could appreciate?

I could just say, try to solve the equation $x^2 + 1 = 0$, but that's not something from the physical world. I could also give an abstract sort of answer, like that $\sqrt{-1}$ is just an object that we define to have certain properties that turn out to be consistent and important, but I think that won't be entirely satisfying to kids either.

$\endgroup$
7
  • $\begingroup$ This might interest you. $\endgroup$ Commented May 29, 2019 at 13:45
  • 12
    $\begingroup$ This has been endlessly asked and answered, reasked and reanswered all over the internet and on this site. Why ask again? $\endgroup$
    – rschwieb
    Commented May 29, 2019 at 14:21
  • 2
    $\begingroup$ if it's related to teaching then this may be more suitable on or you may be interested in Mathematics Educators $\endgroup$
    – phuclv
    Commented May 31, 2019 at 5:34
  • 1
    $\begingroup$ Directly commenting on the title; What you are asking is impossible to find, because mathematics is not somethimg we find in nature but rather we invent, and then use it to model the physical world. $\endgroup$
    – Our
    Commented May 31, 2019 at 8:11
  • 1
    $\begingroup$ This question from physics.stackexchange is quite relevant $\endgroup$
    – Jam
    Commented May 31, 2019 at 11:34

17 Answers 17

64
$\begingroup$

I don't know

a simple, physical situation where complex numbers emerge naturally

but I can suggest a way to help you

teach middle schoolers about the emergence of complex numbers and I want to motivate this organically.

I did this once as a guest lecturer in a middle school classroom by developing a geometric interpretation of arithmetic on the number line.

Adding a fixed number $r$ is a shift by $r$, to the right if $r > 0$, to the left if $r < 0$. Successive shifts add the shift amounts. Each geometric shift is characterized by the position that $0$ moves to. You illustrate this visually by physically shifting a yardstick along a number line drawn on the board.

The answer to the question "what do you shift by so that doing it twice shifts by $r$?" is clearly $r/2$.

This is looking ahead to square roots, but you don't say that yet. The underlying idea is that the group of shifts is the additive group of the real numbers, but you don't say that ever.

Now that addition is done you go on to multiplication. Multiplying by a fixed positive $r$ rescales the number line. If $r>1$ things stretch, if $r < 1$ they shrink and multiplying by $r=1$ changes nothing. To know what a scaling does all you need to know is the image of $1$.

Successive scalings multiply, just as successive shifts add. What should you do twice to scale by $9$? Half of $9$ doesn't work, but $3$ does. The class will quickly grasp that the geometric way to halve a scaling is to find the square root.

What about multiplication by a negative number? The geometry is clear: it's reflection over $0$ followed by a scaling by the absolute value. Again the transformation is characterized by the image of $1$.

Now you're ready for the denoument. What geometric transformation can you do twice to move $1$ to $-1$ on the number line? Take your yardstick, place it on the line on the board, rotate by a quarter of a circle so that it's vertical, then another quarter and you're there. The image of $1$ is not on the line. It's at position $(0,1)$ in the cartesian coordinate system middle schoolers know about. They will find it cool to think of that point as a new number such that multiplying by it twice turns $r$ into $-r$. Name that number "$i$".

If you have brought the class along this far the rest is easy. They will quickly see the $y$ axis as the real multiples of $i$. Clearly adding $i$ should be a vertical translation by one unit. Vector addition for complex numbers follows quickly. Ask for the square root of $i$ and they will rotate the yardstick $45$ degrees. If they know about isosceles right triangles they will know that the (actually a) square root of $i$ is $(\sqrt{2}/2)(1+i)$, which they can check formally with the distributive law (which they will not ask you to prove).


A caveat. I think this should be pure fun for the class. Make that clear, so if some don't follow they don't worry. I would not try to integrate it into whatever the standard curriculum calls for. It should probably not extend over multiple class periods. Save it for a day near the end of the school year.

$\endgroup$
17
  • 3
    $\begingroup$ This video has some good visuals of the shifting/scaling transforms and how they naturally generalize to complex numbers. $\endgroup$ Commented May 30, 2019 at 2:07
  • 2
    $\begingroup$ "Adding a fixed number 𝑟 is a shift by 𝑟, to the right if 𝑟>0, to the left if 𝑟<0. Successive shifts add the shift amounts. Each geometric shift is characterized by the position that 0 moves to. " Any middle schooler I know would have switched off already by this point. $\endgroup$
    – Omegastick
    Commented May 30, 2019 at 5:05
  • 25
    $\begingroup$ @Omegastick My answer is an outline for the teacher, not a script to read to the class. I've done this with kids and it works just fine. $\endgroup$ Commented May 30, 2019 at 10:04
  • 2
    $\begingroup$ "rotate half a circle so that it's vertical" ==> "rotate a quarter circle so that it's vertical", ie. from -- to | ? $\endgroup$
    – Rhys
    Commented May 30, 2019 at 14:02
  • 4
    $\begingroup$ @Erin I see what you're saying. But I don't think you should drag the students into a discussion of covariant versus contravariant. While they may be mature enough to understand such a thing when discussed as a separate issue, it would distract too much from what you actually want to say in this lesson. Multiplying by $2$ is a stretching of the number line just as much as addition by $1$ is a shift to the right (assuming you draw the number line with $1$ on the right side of $0$). $\endgroup$
    – Arthur
    Commented May 31, 2019 at 8:04
24
$\begingroup$

The historical origin of the complex numbers is, I think, the finest approach. Consider the problem of solving cubic equations of the type $x^3+px+q=0$. For this, you have Cardano's formula:$$x=\sqrt[3]{-\frac q2+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}}+\sqrt[3]{-\frac q2-\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}}.$$But what do you do if it turns out that $\frac{q^2}{4}+\frac{p^3}{27}<0$? This happens, for instance, in the case of the equation $x^3-15x-4=0$; in this case we have $\frac{q^2}{4}+\frac{p^3}{27}=-121<0$. So, Cardano's formula tells us that a root of the equation is$$\sqrt[3]{2+\sqrt{-121}}+\sqrt[3]{2-\sqrt{-121}}.\tag1$$Could this mean that the equation has no solutions? No, since $4$ is clearly a solution. However, if we accept that we can work with square roots of negative numbers, then\begin{multline}\left(2+\sqrt{-1}\right)^3=2+11\sqrt{-1}=2+\sqrt{-121}\text{ and }\\\left(2-\sqrt{-1}\right)^3=2-11\sqrt{-1}=2-\sqrt{-121}.\end{multline}Therefore, it is natural to say that$$(1)=2+\sqrt{-1}+2-\sqrt{-1}=4.$$So, this shows that we can work with complex numbers in order to find real roots of cubic equations with real coefficients. And, in the XIXth century, Pierre Wantzel proved that, if we wish to have an algebraic formula to do that, it is impossible to avoid complex numbers.

$\endgroup$
10
  • 2
    $\begingroup$ Are you aware of a quadratic or cubic with complex roots that arises naturally out of a physical problem (as opposed to constructing one for the purpose of showing that equations can have non-real roots)? $\endgroup$ Commented May 29, 2019 at 16:46
  • 13
    $\begingroup$ Yes, I am. Consider a sphere cut by a plane. Where should you put the plane so that the largest piece has twice the volume than the smaller one. Suppose that $AB$ is a diameter of the sphere and let $C$ be its center. Then the plane should be orthogonal to $AB$ and pass through a point $D$ of the line segment $AB$ such that $\frac{CD}{CA}$ is a root of the polynomial $x^3-3x+\frac23$ (you'll get $x\simeq0.226074$). Or, if you want to think in terms of mass instead of volume, say that you want to cut the sphere in such a way that the largest piece has twice the mass than the smallest one. $\endgroup$ Commented May 29, 2019 at 20:26
  • 2
    $\begingroup$ Another very common situation is finding the principle axes of inertia. These are three perpendicular axes passing through the center of gravity of a body about which the body will rotate without wobbling ("Balancing" a wheel consists of adding weights to the wheel to align one of these principle axes with the axle). These axes are the eigenvectors of the inertia matrix, which are most easily found by first finding the eigenvalues, which are the roots of the characteristic polynomial - a cubic. $\endgroup$ Commented May 30, 2019 at 0:14
  • 3
    $\begingroup$ Admittedly, this is too complex for middle schoolers to go through, but might be worth mentioning to them, since it is not contrived. Desiging where the principle axes of real world bodies will be is an extremely important engineering task, particularly for airplanes and spaceships. $\endgroup$ Commented May 30, 2019 at 0:19
  • 2
    $\begingroup$ OP asking about a clarification at middle school level... $\endgroup$
    – Mehdi
    Commented May 31, 2019 at 14:39
16
$\begingroup$

If you want a physical phenomenon for which complex numbers greatly simplify analysis, may I draw your attention to alternating electrical current?

You can either use calculus to analyze how a AC signal responds to a given circuit of resistors, capacitors, and inductors, or you can use complex numbers that turn all of this calculus into algebra.

$\endgroup$
4
  • 1
    $\begingroup$ (+1) Waves in general can be tied to complex numbers, as shown by the Fourier transform. So an electrical wave, an ocean wave or a fluctuation in the stock market can be related to complex numbers. I recently encountered complex numbers when I was processing some physiological data because it had waves in it. Complex numbers form a bridge between waves and exponential functions. Also, complex numbers and Fourier transforms can tie probability density functions with their characteristic functions. $\endgroup$
    – Jam
    Commented May 30, 2019 at 11:05
  • 12
    $\begingroup$ This is true, but I'm not sure how comprehensible it would be to middle school students. $\endgroup$ Commented May 30, 2019 at 12:52
  • $\begingroup$ @JoshuaFrank I think they could appreciate the idea that oscillating signals have 2 qualities: their intensity and phase offset. The 2 parts can be represented by a complex number, which is fundamentally just a number with 2 parts (intensity and offset). Even if they don't understand the exact mechanics of it, they can still superficially appreciate the connection. I don't understand any of the intricacies of the Riemann Hypothesis but I understand that there's a connection between the zeta-function and the primes. $\endgroup$
    – Jam
    Commented May 30, 2019 at 13:11
  • 2
    $\begingroup$ The beauty of using complex numbers as phasors in this way is that you eventually reach the idea of impedence. The fact that you can treat all inductors and capacitors in the same way you treat resistors is where we see a lot of the power. If you have already taught resistors (with real numbers), teaching inductors and capacitors (with complex numbers) as precicely the same sort of thing might resonate. Fewer equations to memorize for the test! $\endgroup$
    – Cort Ammon
    Commented May 30, 2019 at 18:52
7
$\begingroup$

I would suggest the Riemann sphere. It maps latitude and longitude onto a single number in a simple and delightful way. After you have done that, you can rotate the Earth about the North Pole by multiplying by $e^{i\theta}$, rotate it $90°$ about the equatorial points $90°W$ and $90°E$ by transforming $z$ to $\frac{1+z}{1-z}$, and even reflect it in the Greenwich meridian by transforming $z$ to $\bar z$. (The antipodal point of $z$ is $-\bar z^{-1}$ - nicely bringing in the idea that conjugation is a kind of reflection).

You can rotate a point $w$ onto the Pole (I usually use $0$ for the North Pole, though the convention seems to be to have that for the South Pole) by the transform that takes $z$ to $\frac{z-w}{1+wz}$. That lets you measure the great circle distance from any point $w_0$ to any other point $w_1$, since when you have moved $w_0$ to the Pole, the latitude of $w_1$ transformed the same way will easily give you its distance. You can get the direction too, by comparing the longitude of the transformed $w_1$ with the longitude of the transformed Pole.

And if you want to draw a great circle from $w_0$ to $w_1$, then all you need to do is take equal steps in latitude from the Pole to the transformed $w_1$, and do the inverse transform to take everything back to real latitudes and longitudes. I planned my first intercontinental flight that way.

All this is physical, as you requested. By encoding a pair of numbers (latitude and longitude) as a single complex number, it lets your pupils do all sorts of geographical and spherical-geometrical exercises just by multiplying and dividing complex numbers, without ever needing any formula full of sines and cosines.

As a bonus, if they are moving so fast through the cosmos that Special Relativity starts to have an effect, I learned from an article by Roger Penrose that one can still model the distorted positions of the stars by a transform of the form $\frac{a+bz}{c+dx}$. But that is left as an exercise for the reader.

$\endgroup$
3
  • 6
    $\begingroup$ The unit sphere is isomorphic to the complex plane? So the Earth is flat! $\endgroup$ Commented May 30, 2019 at 15:41
  • 3
    $\begingroup$ @Accumulation The (compact) unit sphere is not isomorphic in any reasonable category to the complex plane, not even in the category of topological spaces. $\endgroup$ Commented May 31, 2019 at 8:45
  • 1
    $\begingroup$ @MarcvanLeeuwen All you people and your so-called science "proving" that the Earth is round. Pfffft. ;-) $\endgroup$ Commented May 31, 2019 at 16:25
6
$\begingroup$

Well..it may not be much use for middle-school students, but

http://www.feynmanlectures.caltech.edu/I_22.html

is pretty compelling.

One natural answer for middle-school students is that sine-waves look an awful lot like cosine-waves, and we have a ton of formulas tying them together in various ways, but if we introduce phase, then things get pretty. So we can describe a periodic value in terms of phase and amplitude. When we multiply these, the amplitudes and phases combine in a weird way, "weird" in the same way that instead of $$ \frac{a}{b} + \frac{c}{d} = \frac{a+c}{b+d} $$ we have to use more complicated rules to find the new numerator and denominator. But if we convert amplitude and phase to $x$-part and $y$-part via $$ x = A \cos \theta\\ y = A \sin \theta $$ then a product of waves ends up producing $x$ and $y$ values (i.e., real and imaginary parts) that combine with a rule no weirder than the one for adding fractions. The only peculiar thing is that $(0, 1) * (0, 1) = (-1, 0)$, so if you regard the "$x$-part" as corresponding to the real numbers, then you've got something whose square is $-1$.

$\endgroup$
5
$\begingroup$

While it's not "physical", I'd suggest perhaps the one "grade school" level introduction that is not artificial would, perhaps, ironically, be the one that is also that which motivated their creation in the first place and thus fits your bill of "something people were trying to solve that required their creation": the solution of a cubic polynomial.

I presume that, at this point, they have already heard of the quadratic formula. Then show them this:

$$x^3 + (3p)x - (2q) = 0$$

and ask how they'd go about solving that for $x$. Tell them it's clearly not a quadratic, as it involves a third power. How would you go about solving an equation with a third power? After a bit of wrestling with it, write that you can solve it with this:

$$x = \sqrt[3]{q + \sqrt{q^2 + p^3}} + \sqrt[3]{q - \sqrt{q^2 + p^3}}$$

which doesn't look too much worse than a quadratic formula. Play with a couple "easy" cases to show it works, then have them consider a case like $q = 2$, $p = -2$, i.e.

$$x^3 - 6x - 4 = 0$$

Show on a graph that it has 3 real solutions. Explain that this is the maximum possible number, because if you have all 3 solutions, you can factorize the polynomial and thus recover it completely therefrom, hence there can't be any missing. As a result, the formula for $x$ just given must give one of these 3 when you evaluate it.

But now ask them to try evaluating that formula, and see what happens under the square-root radicals. In particular, paying close attention to $q^2 + p^3$ with $q = 2$ and $p = -2$. Remember: $x$ is real, but something funny goes when you try to compute it this way.

Gerolamo Cardano was the first to discover the solution formula for the cubic polynomials in the 16th century, Renaissance Italy. When encountering a case like this, he also became the first to suggest the use of complex numbers, but called them merely a "subtle and useless" device. Nonetheless, they persisted and somewhat later another Renaissance Italian mathematician, Rafael Bombelli, would write down the codified rules for their arithmetical manipulation, and from then on their development would only continue further.

$\endgroup$
1
  • 1
    $\begingroup$ Cardano was not the first. Ferro was the one who came up with the idea of "pretending" that square roots of negative numbers existed to solve these cubics (a double-stretch of imagination, since negative numbers themselves were considered "imaginary"). He passed it on to his student Tartaglia, who in turn revealed it to Cardano under a promise not to reveal it while Tartaglia was alive. But upon discovery that Ferro had come up with it, not Tartaglia, Cardano decided to publish anyway. $\endgroup$ Commented May 30, 2019 at 0:06
4
$\begingroup$

I recommend the geometric algebra approach to complex numbers.

We start with vectors in 2D. Vector addition and scalar multiplication are obvious (or just well-known). Vector multiplication is where it gets interesting. We assume that the product of vectors is associative, $\vec a(\vec b\vec c)=(\vec a\vec b)\vec c$, and that it distributes over addition. We also assume that a vector squared is its magnitude squared; if

$$\vec r=x\vec e_1+y\vec e_2$$

where $\vec e_1$ and $\vec e_2$ are the unit vectors along the $x$ and $y$ axes, then the Pythagorean theorem says

$$x^2+y^2=\vec r^2=x^2\vec e_1\!^2+xy\vec e_1\vec e_2+yx\vec e_2\vec e_1+y^2\vec e_2\!^2.$$

This requires that $\vec e_1\!^2=\vec e_2\!^2=1$, which makes sense because they're unit vectors. But it also requires that their product is anticommutative, $\vec e_1\vec e_2=-\vec e_2\vec e_1$. What is this quantity? Let's square it and see what happens:

$$(\vec e_1\vec e_2)^2=(\vec e_1\vec e_2)(\vec e_1\vec e_2)=\vec e_1(\vec e_2\vec e_1)\vec e_2=\vec e_1(-\vec e_1\vec e_2)\vec e_2=-(\vec e_1\vec e_1)(\vec e_2\vec e_2)=-1.$$

Any real number or vector would square to a positive number, so this is neither. This bivector $\mathbb i=\vec e_1\vec e_2$ can be thought of as the unit square for the plane (with a right-handed orientation; $-\mathbb i$ would be left-handed).

Multiplying a vector by $\mathbb i$ rotates it by $90^\circ$, clockwise if on the left, anticlockwise if on the right:

$$\vec e_1\,\mathbb i=\vec e_1\vec e_1\vec e_2=\vec e_2,\qquad\vec e_2\,\mathbb i=-\vec e_2\vec e_2\vec e_1=-\vec e_1$$

$$\vec r\,\mathbb i=-\mathbb i\,\vec r=x\vec e_1\,\mathbb i+y\vec e_2\,\mathbb i=-y\vec e_1+x\vec e_2.$$

Multiplying by $\mathbb i$ twice is thus a $180^\circ$ rotation, which flips the direction of the vector; $\vec r\,\mathbb i\,\mathbb i=-\vec r$. This provides one explanation of $\mathbb i^2=-1$.

More generally, multiplying a vector by a complex number $a+b\mathbb i$ rotates it by an arbitrary angle.

It's easy to convert a vector to a complex number or vice versa; just multiply by $\vec e_1$.

$$\vec e_1(x\vec e_1+y\vec e_2)=x+y\mathbb i$$

$$\vec e_1(a+b\mathbb i)=a\vec e_1+b\vec e_2$$

(There's nothing special about $\vec e_1$; any unit vector could be chosen for the "real axis".)


Links:

https://en.wikipedia.org/wiki/Geometric_algebra

http://www.mrao.cam.ac.uk/~clifford/publications/ps/imag_numbs.pdf

http://geocalc.clas.asu.edu/pdf/OerstedMedalLecture.pdf

$\endgroup$
2
$\begingroup$

I know you marked the question as answered but Impedance is a perfect physical phenomenon to show how complex numbers arise naturally. Impedance is kind of like regular resistance, but for AC circuits. Impedance behaves like a complex number, thus making it difficult to calculate the resistance (impedance) of AC circuits without using complex numbers.

Here is a snippet from Wikipedia regarding the phenomena:

In addition to resistance as seen in DC circuits, impedance in AC circuits includes the effects of the induction of voltages in conductors by the magnetic fields (inductance), and the electrostatic storage of charge induced by voltages between conductors (capacitance). The impedance caused by these two effects is collectively referred to as reactance and forms the imaginary part of complex impedance whereas resistance forms the real part.

In essence: If you try to calculate the impedance of AC circuits without complex numbers, you will only take the resistance part into consideration, not the reactance, thus giving you incorrect results.

Wikipedia article on electrical impedance

$\endgroup$
3
  • $\begingroup$ The word "phenomena" is the plural form of "phenomenon". The latter should be used with "a". I can't make that small of an edit. $\endgroup$ Commented May 31, 2019 at 14:33
  • $\begingroup$ Fixed. As you might guess English is not my first language. $\endgroup$
    – Pucch
    Commented Jun 7, 2019 at 7:59
  • $\begingroup$ You might be surprised how many people whose first language is English have trouble with plurals not formed by adding "s". In this case, it's precisely because it comes to English from Greek (via Latin) rather than the Anglo-Saxon core, that it's irregular. $\endgroup$ Commented Jun 7, 2019 at 15:59
1
$\begingroup$

Here is an "un"-natural but possibly fun thought-experiment for middle schoolers, provided they know the circle area formula $A = \pi r^2$.

Start with a x-y coordinate plane, draw a circle at the center with radius 5. Show them the radius is 5 by drawing a line from (0,0) to (5,0). What's the area? $25\pi$. Now make the radius 4: draw your line from (0,0) to (4,0). Area is now $16\pi$. Then make the area 3, then 2, then 1, then 0, then...keep going...to -1! The circle shows up again! After shrinking to area 0, it starts growing again as the radii get more negative. You can show them the "radius" is -1 because you draw a "radius line" from 0 to -1. But the area of the circle is $\pi$. Because $\pi \times (-1)^2 = \pi$.

So finding the area with a "negative radius" (yeah, yeah, I know lengths should be positive, but the middle schoolers might enjoy the shrinkage from "positive radii" to "negative radii".) It looks cool, at any rate, and it motivates the fact that areas are still positive even when the lengths (okay, displacements) are negative.

Okay now for the fun part. Focus not in decreasing radii, but on decreasing area! Draw your circle with radius $25\pi$ then $16\pi$ then $9\pi$ then $4\pi$ then $\pi$ then $0\pi$ then ask them how to draw circles of areas $-\pi$, $-4\pi$, $-9\pi$ and so on. They won't be able to "see" those areas. The circle progression has gotten smaller and smaller but to make the areas negative the circles have to bounce back in another "dimension".

I have no idea whether middle schoolers will like this or not. But maybe, there is something here that says we can compute the radius for a negative area such as $$ A = -9\pi $$

using

$$ r = \sqrt{\frac{A}{\pi}} = \sqrt{\frac{-9\pi}{\pi}} = \sqrt{-9} = 3i $$

So the radius of this circle, which you cannot see, is "3 imaginary units"...3 units in...another dimension, the dimension of imaginary numbers. Maybe you can create an animation of the shrinking circle that pops out in another universe or something.

I don't know why that thought popped into my head, but felt it was okay to share. Something tells me there is a way to phrase it for middle schoolers.

$\endgroup$
4
  • 1
    $\begingroup$ This takes a bit of a leap of faith of what "area" is. AFAIK, both the intuitive notion of area and formal definition with Lebesgue measure are strictly non-negative, so it would be misleading to suggest you would have a negative area. If anything, I think it might confuse the students. $\endgroup$
    – Jam
    Commented May 30, 2019 at 10:56
  • $\begingroup$ Good to know. Thanks for the feedback! $\endgroup$
    – Ray Toal
    Commented May 30, 2019 at 15:55
  • $\begingroup$ The idea of a circle with an imaginary radius came up in the early intuitions about noneuclidean geometries and makes sense in some contexts today. You can search for "imaginary radius" to find some referenece. $\endgroup$ Commented May 31, 2019 at 11:51
  • $\begingroup$ Nice, I had only searched for "imaginary length." Makes sense this idea isn't new. There is something appealing to me about shaking the "distances (because they are metrics) have to be positive." After all, the set of numbers had to be extended to include negatives, irrationals, imaginaries/complexes at some point, and there are non-Euclidean geometries. The imaginary radius might be wrong thing for middle schoolers but getting them to think about the shrinking circles (the numbers are there even though we can't visualize) is similar to one's first exposure to two minus five. $\endgroup$
    – Ray Toal
    Commented May 31, 2019 at 16:12
0
$\begingroup$

I am not sure whether this counts but it may be useful.

There is a simple, well-known formula for solving quadratic equations. This is frequently useful.

There is a less well-known and more complex formula for cubic equations. One quirk of this is that you may need to take square roots of negative numbers even if they final answer is real. Today, mathematicians are quite relaxed about this step but they were once suspicious. A rerun of the Greeks and irrational numbers.

Cubic function at Wikipedia

$\endgroup$
0
$\begingroup$

A complex number represents a rotation and a scaling and translation of another complex number.

That is about as physical as it gets in mathematics.

Given two complex numbers, a+b is translating a by b.

And a*b is rotating a by the angle of b, then scaling the result by the magnitude of b.

A strange thing happens because the same value b represents both a scaling/rotation operation, and a translation operation, on another complex number.

So how do we inspire that physically?

If we have:

(a + b)*c

this is obviously "start with a. Move by b. Then rotate/scale based on c. The algebra lets us break this apart:

a*c + b*c

which is really neat. There is a whole pile of things you can align this algebraic manipulation to physical operations here.

The next bit is a bit strange:

a * (b + c)

what happens when you add complex rotate-and-scale operations? Well, algebra tells us this is:

a*b + a*c

the operation b+c becomes "what if you took something, rotated it scaled by b and then by c, then added the result".

This is strange operation. But you know what isn't a strange operation?

(b * lambda + c * (1-lambda))

This is called an affine combination of b and c.

So we have two different rotation/scales, b and c. And we want to interpolate between them smoothly.

Then

a* (b * lambda + c * (1-lambda))

as lambda goes from 0 to 1 gives us the result of transforming a first by b, then finally by c, and having a smooth transformation in between.

Also

a * (b * c)

is rotate/scale a by b, then by c. b*c is the combination of the two rotations/scales in one value.

So applying the same rotation/scale twice would be:

a * (b*b)

or

a * b^2

which means that if c^2 = b, then

a*c^2 = a*b

or, c is the operation that if you do twice, you get b.

On the real line there are two different operations such that if you do either one twice, you get 4. They are -2 and 2. The same holds in the complex numbers.

Of interest is

a * c^3

because on the real line, there is only one scale factor that can get 8 if you do it 3 times. But in the complex numbers there are 3.

To see this, look at scaling by 1. On the real line, there are two scale/rotates that reach 1 by applying twice -- "-1" and "1". These correspond to the complex numbers 1 e^0 and 1 e^(pi i) -- no scale, no rotation, and no-scale, half rotation.

If you do half rotation twice, you get a full rotation, ie nothing.

How about the cube root of 1? Something you do 3 times that is a scale or rotation, and afterwards you end up being back where you started.

$\endgroup$
0
$\begingroup$

I can highly recommend section 5-2 of Eisberg and Resnick's Quantum Physics of Atoms, Molecules, Solids, Nuclei, and Particles. I'll give a brief overview of the argument. I missed the part about middleschoolers in the OP. But this is a discussion that any high school student should be able to follow, and it shows why complex numbers are not just mathematically useful, but physically necessary.

In quantum mechanics, we study something called the wave function, which encodes the state of a quantum mechanical system (up to multiplication by a complex number). For a particle, the magnitude squared of the wave function determines the probability of finding a particle at a particular location. We want to know what equation describes the time evolution of the wave function. That is, we are seeking the analog of $F = m\ddot{x}$ for quantum mechanical states. From experimental data we know that for free particles the wave function can take the form $$ \psi(x,t) = A\cos(kx - \omega t) + B\sin(kx - \omega t) $$ where $A,B$ are some constants, $$ p = \hbar k $$ is the momentum of the particle, and $$ E = \hbar \omega $$ is the energy of the particle (these are known as the De Broglie relations). A free particle is just a particle which satisfies $$ E = \frac{p^2}{2m} $$ where $m$ is the mass of the particle. Substituting, we see that $$ \hbar \omega = \frac{\hbar^2 k^2}{2m} $$ Time derivatives of $\psi(x,t)$ bring out factors of $\omega$ and space derivatives of $\psi(x,t)$ bring out factors of $k$. Thus, the simplest differential equation for the wave function which will satisfy the above equation for our known solution $\psi(x,t)$ will involve a time derivative of the wave function and a second order space derivative of the wave function and nothing else. That is, we guess that the wave function of a free particle is given by a differential equation of the form $$ \alpha \frac{\partial \psi}{\partial t} + \beta \frac{\partial^2 \psi}{\partial x^2} = 0 $$ where we have introduced constants $\alpha$ and $\beta$ to take care of pesky factors of $m$ and $\hbar$. Upon substituting $\psi(x,t)$, we find $$ \alpha \left(A\omega \sin(kx - \omega t) - B\omega \cos(kx - \omega t) \right) + \beta \left( -Ak^2 \cos(kx - \omega t) - B k^2 \sin(kx - \omega t) \right) = 0 $$ This can only be satisfied for general $x$ and $t$ if \begin{align} \alpha A \omega - \beta B k^2 &= 0 \\ -\alpha B \omega - \beta A k^2 & = 0 \end{align} Adding $A$ times the first equation to $-B$ times the second, we obtain $$ \alpha A^2 \omega + \alpha B^2 \omega = 0 $$ or $$ A^2 = -B^2 $$ There is no pair of real numbers $A$ and $B$ which can satisfy $A^2 = -B^2$, so at least one of these numbers must be imaginary.

To summarize the argument, from the De Broglie relations and the equation for the energy of a free particle, we are led naturally to a differential equation for the wave function (up to some constants). This is not the only possible differential equation, but it is the simplest form that doesn't contradict the experimental data. By plugging a known solution into the differential equation, we find that we must allow the wave function to be complex.

You might wonder how we know $\psi(x,t)$ is a solution to a differential equation we have not yet determined. We know what $\psi(x,t)$ is in physical terms. $|\psi(x,t)|^2$ tells us the probability of detecting the particle at location $x$ at time $t$. Based on this interpretation and experimental evidence, we have seen that free particles must have wave functions that look like the $\psi(x,t)$ given above. Therefore, any equation that determines the wave function must admit $\psi(x,t)$ as a solution. Thus, if real $\psi(x,t)$ is not a solution to the differential equation, then either the equation is wrong, or $\psi(x,t)$ is not real. All the evidence we have so far tells us that the equation is right, so $\psi(x,t)$ must really be complex!

$\endgroup$
-1
$\begingroup$

I was amazed when I realised for the first time that osclilating events, like sound waves, are best described and calculated by complex numbers. That was almost twenty years after I learned about them at school. That was also the first real-world application of complex numbers that I knew. My teachers failed to give us such an application. So at school, I never knew I would ever need them again...

Tell them what one can actually do with complex numbers outside the class room.

$\endgroup$
-1
$\begingroup$

A physical example that should be comprehensible to bright 14 year olds. Fourier series and transforms can be used to describe functions and naturally produce complex numbers. I think complex numbers are easiest introduced by defining the solutions to $x^2+1=0$, analogously to negative numbers defining the solution to $x+1=0$. But it's good to have a physical example too.

Fourier series approximate periodic functions

Functions are ubiquitous in physics. Some functions can be periodic, for instance the red particles' positions as a function of time, $s(t)$, in the figure below.

enter image description here

Realistically, any function we observe will have some unexplained error. The red particles in the figure will not be moving perfectly back and forth due to other factors affecting their movement (e.g. buffeting about by the other particles).

So, if we wanted to interpolate $s(t)$ or find it's slope, we may want to approximate our periodic function with a simpler one. We would want to constrain this to a continuous function, since it is unrealistic for the particle to teleport through space. One natural choice is $\sin(t)$, since it's continuous and easy to define. But this doesn't quite solve the problem since $\sin(t)$ doesn't reflect the complex shape of $s(t)$. Hence, a sum of $\sin(t)$, with different amplitudes and frequencies could approximate $s(t)$ since it would have more potential for different shapes.*

The figure below shows what this looks like in practice, when we approximate the red $s(t)$ with the green sum of $\sin(t)$. The right amplitudes for each frequency of $\sin(t)$ are shown below. So we have successfully approximated a periodic function with a sum of $\sin(t)$ (Fourier series) that is easier to work with.

enter image description here

We can find explicit expressions for the amplitudes at each frequency that follows from the properties of $\sin$ and $\cos$. The proof might be slightly beyond your students' current skills but they could possibly go through it with a little help. Suffice it to say, we can look at the strength of each frequency in $s(t)$.

Fourier transforms generate complex numbers

The Fourier transform allows us to generalise this technique to approximate functions that are less obviously periodic (if at all) or to test whether they have periodicity. Just like with the Fourier series, we can say "how much" of each frequency makes up the function. This is particularly useful if we just want to describe the most important bits of our data. It's far easier to say "the red particle has a strong oscillation of $3\,\mathrm{Hz}$" than to describe its position at every single point in time.**

So, how does the Fourier transform find the strength of each frequency? We can't use the technique we used earlier with the Fourier series, since we don't know how our function is periodic. In order to proceed, we can describe the frequency of each wave that makes up the function by a certain strength (magnitude). But we must also know the phase-offset since $\sin(t)$ could be present as $\sin(t+1)$.

What system of numbers incorporates both a magnitude and a phase? The complex numbers do. Not only does a complex number have a 'size' (modulus), it also has an 'angle' (argument). So each frequency, with a magnitude and phase-offset, is naturally associated with a complex number, with a modulus and argument (as in the figure below). Hence, this is the output of the Fourier transform, if we adapt our earlier technique for Fourier series coefficients. This also requires some slightly difficult calculus.

Hence, complex numbers (via Fourier transforms) allow us to describe data with some semblance of "waves". This could be for physical waves (electromagnetic waves or wavefunctions) or abstract waves, such as relating the "frequencies" of the prime-counting function with the complex numbers of the Riemann zeta function.

enter image description here

To summarise, when we want to describe the important frequencies that make up a function, we must consider both the size and phase of each frequency, which corresponds with the modulus and argument of a complex number.


* The sum should include terms with both $\sin$ and $\cos$.

** This fact is the basis for .jpg and .mp3 file compression algorithms; another example of the utility of complex numbers.

$\endgroup$
4
  • $\begingroup$ Unbelievable! now try explaining that to middle schoolers... $\endgroup$
    – Mehdi
    Commented May 31, 2019 at 14:46
  • $\begingroup$ I don't doubt that a middle schooler could grasp all the concepts I've mentioned with some help. If there's anything in particular that you think a middle schooler would struggle with, point it out. $\endgroup$
    – Jam
    Commented May 31, 2019 at 14:57
  • $\begingroup$ the fourier transform alone is already a far stretch, but for a 12 years old middle schooler, what is a function of time, what does s(t) means, why is sinus suddenly a function of time sin(t)? it was only known as opposite divided by hypotenuse in a triangle. And then what is a phase? how can you explain that with opposites and hypotenuses? I think generally middle school is between 12 and 13 years old. $\endgroup$
    – Mehdi
    Commented May 31, 2019 at 15:15
  • $\begingroup$ @Jam I know I learned trigonometry in 10th grade, which is where I really learned about sin/cos. So I doubt a middle schooler (6th, 7th, 8th grade) will know what you start talking about sin/cos with the unit circle. $\endgroup$
    – rhavelka
    Commented May 31, 2019 at 15:51
-1
$\begingroup$

Why not use space dimensions and cartesian coordinate frames to clarfy complex numbers? that is the most intuitive way to understand them that I came across when I was at middle school.

Imagine an ant in a 1-D world. The ant can travel only backwards or forwards and its position can be described by one real number x. In a parallel universe, we have ants living in a 2-D world. In this world, complex numbers can define a position of ants on a surface. A complex number x + iy describes an ant which traveled x front/rear and y sideways (left/right migh be easier for the kids to understand). And i is just there to indicate that that number describes movement on the second dimension.

Woudln't that satisfy the kids' imagination?

Edit: from this website about the history of complex numbers

Over decades, many people believed that complex numbers existed, and set out to make them understood and accepted. One of the ways they wanted to make them accepted was to be able to plot them of a graph. In this case, the X-axis is would be real numbers, and the Y-axis would be imaginary numbers. If the number were purely imaginary (like 2i), it would just be on the Y-axis. If the number was purely real, it would just be on the X-axis. The first person who considered this kind of graph was John Wallis. In 1685, he said that a complex number was just a point on a plane, but he was ignored. More than a century later, Caspar Wessel published a paper showing how to represent complex numbers in a plane, but was also ignored. In 1777, Euler made the symbol i stand for √-1, which made it a little easier to understand. In 1804, Abbe Buee thought about John Wallis’s idea about graphing imaginary numbers, and agreed with him. In 1806, Jean Robert Argand wrote how to plot them in a plane, and today the plane is called the Argand diagram. In 1831, Carl Friedrich Gauss made Argand’s idea popular, and introduced it to many people. In addition, Gauss took Descartes’ a+bi notation, and called this a complex number. It took all these people working together to get the world, for the most part, to accept complex numbers.

$\endgroup$
4
  • $\begingroup$ This would explain why you need two coordinates on a plane but say nothing about the arithmetic of points in the plane that generalizes arithmetic on the line and allows for a square root of $-1$. $\endgroup$ Commented May 31, 2019 at 14:59
  • $\begingroup$ Please explain how this makes complex numbers arise naturally. Defining the complex plane as a 2D space is far less natural than using $R^2$ and the choice of $i$ to be the orthogonal unit vector seems arbitrary. $\endgroup$
    – Jam
    Commented May 31, 2019 at 15:00
  • $\begingroup$ @EthanBolker do you really need to explain that to middle school kids? Sometimes an tangible image of something abstract helps people get unstuck and enables them working with such concepts, even though the explanation is mathematically incomplete. We are not trying to prove anything here. $\endgroup$
    – Mehdi
    Commented May 31, 2019 at 15:39
  • $\begingroup$ Your edit explains how the coordinate plane is a way to make sense of complex number arithmetic. But your original post does not say anything about that arithmetic, so soes not begin to answr the OP's question. $\endgroup$ Commented May 31, 2019 at 15:48
-1
$\begingroup$

I don't know how seriously to take the suggestion, but the novel Smilla's Sense of Snow by Peter Høeg suggests that the crystal formation of ice is one such example. In one passage, the protagonist embarks on a long monologue about numbers:

Do you know what the foundation of mathematics is? The foundation of mathematics is numbers. If anyone asks me what makes me truly happy, I would say: numbers. Snow and ice and numbers. And do you know why? Because the number system is like human life. First you have the natural numbers. The ones that are whole and positive. The numbers of a small child. But human consciousness expands. The child discovers a sense of longing, and do you know what the mathematical expression is for longing ... The negative numbers. The formalization of the feeling that you are missing something. And human consciousness expands and grows even more, and the child discovers the in between spaces. Between stones, between pieces of moss on the stones, between people. And between numbers. And do you know what that leads to? It leads to fractions. Whole numbers plus fractions produce rational numbers. And human consciousness doesn't stop there. It wants to go beyond reason. It adds an operation as absurd as the extraction of roots. And produces irrational numbers ... It's a form of madness. Because the irrational numbers are infinite. They can't be written down. They force human consciousness out beyond the limits. And by adding irrational numbers to rational numbers, you get real numbers ... It doesn't stop. It never stops. Because now, on the spot, we expand the real numbers with the imaginary square roots of negative numbers. These are numbers we can't picture, numbers that normal human consciousness cannot comprehend. And when we add the imaginary numbers to the real numbers, we have the complex number system. The first number system in which it's possible to explain satisfactorily the crystal formation of ice. It's like a vast, open landscape. The horizons. You head toward them and they keep receding.

Whether or not it is scientifically accurate, I have found that this passage is a nice way to motivate the development of number systems. I often show the quote when I teach Survey of Math classes. If nothing else, it catches students' attention.

$\endgroup$
-2
$\begingroup$

Not 100% sure if it is a good example, but afaik the time-dependent Schrödinger equation contains i (https://en.wikipedia.org/wiki/Schr%C3%B6dinger_equation#Time-dependent_equation).

$\endgroup$
0

Not the answer you're looking for? Browse other questions tagged .