Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Reciprocal links
Privacy Policy

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

Complex Numbers

  1. Algebraic Structure of Complex Numbers
  2. Division of Complex Numbers
  3. Real and Complex Products of Complex Numbers
  4. Useful Inequalities Among Complex Numbers
  5. Trigonometric Form of Complex Numbers
  6. Real and Complex Products of Complex Numbers
  7. Complex Numbers and Geometry
  8. Remarks on the History of Complex Numbers
  9. Complex Numbers: A Dynamic Tool
  10. Cartesian Coordinate System
  11. Fundamental Theorem of Algebra
  12. Complex Number To a Complex Power May Be Real
  13. One Can't Compare Two Complex Numbers
  14. Problems

Real and Complex Products of Complex Numbers

Complex numbers, as an ordered pair of real numbers, can be identified with either points or vectors in the plane. The Argand diagram, with its axes and the origin, explicitly associates complex numbers with points. The operations of addition and multiplication highlight the implicit vector link. This is especially obvious in the case of addition, which is illustrated graphically with the parallelogram rule.

Two uncommon borrowings from the vector algebra have been demonstrated in a recent book by T. Andreescu to provide powerful tools for solving complex number problems.

Real Product

The real product is a complex number incarnation of the scalar product (and this is what it is called in Gardiner, Bradley, p. 239]):

(1) z.w = (z'w + zw')/2.

It is important (although difficult) to distinguish between the symbols for the common symbol of multiplication z·w (= zw) and the symbol for the real product z.w. Usually the context is indicative of which one is used and, in addition, the symbol is never omitted (as in zw) for the real product.

Assuming z = z1 + iz2 and w = w1 + iw2,

 
2z.w =[(z1w1 + z2w2) + i(z1w2 - z2w1)] +
[(z1w1 + z2w2) + i(-z1w2 + z2w1)] =
 2(z1w1 + z2w2),

so that

(2) z.w = z1w1 + z2w2

which we may call the real form of the real product, for it shows immediately that the real product is always a real number. Since (z'w)' = zw', we may obtain the same from the definition:

  z.w = Re(z'w) = Re(zw'),

which is not as symmetric as (2), but may be computationally useful. There is also a symmetric derivation:

 
(z.w)'= (z'w + zw')'/2
 = (z''w' + z'w'')/2
 = (zw' + z'w)/2
 = z.w.

The real product has the following properties:

  1. z.z = |z|2.
  2. z.w = w.z.
  3. r(z.w) = (rz).w = z.(rw), for any real r.
  4. z.(u + v) = z.u + z.v.
  5. z.w = 0 iff OZ OW, where O, Z, W are the points with coordinates 0, z, w.
  6. (zu).(zv) = |z|2(u.v).

Maxwell's theorem serves a nice application for #5.

Complex Product

The complex product is the incarnation of the vector product in complex terms (in [Gardiner, Bradley, p. 239] the product is designated exterior):

(3) z×w = (z'w - zw')/2.

We can verify that:

 
(z×w)'= (z'w - zw')'/2
 = (z''w' - z'w'')/2
 = (zw' - z'w)/2
 = -z×w,

which says that z×w is purely imaginary and justifies the terminology.

The complex product have the following properties:

  1. For z,w ≠ 0, z×w = 0 iff z = sw for some real s.
  2. z×w = - w×z. (anticommutativity)
  3. z×(u + v) = z×u + z×v.
  4. s(z×w) = (sz)×w = z×(sw), for any real s.
  5. z×w = 0 iff O, Z, W are collinear, where O, Z, W are the points with coordinates 0, z, w.

... to be continued ...

References

  1. T. Andreescu, D. Andrica, Complex Numbers From A to ... Z, Birkhäuser, 2006
  2. C. W. Dodge, Euclidean Geometry and Transformations, Dover, 2004 (reprint of 1972 edition)
  3. A. D. Gardiner, C. J. Bradley, Plane Euclidean Geometry: Theory and Problems, UKMT, 2005
  4. Liang-shin Hahn, Complex Numbers & Geometry, MAA, 1994

Copyright © 1996-2008 Alexander Bogomolny

28715581Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
Math
Posted by Laura
2 messages
06:56 AM, Apr-15-08

Divisibility rules - Jargon buste ...
Posted by Carolyn
2 messages
08:35 AM, Apr-04-08

drawing puzzle
Posted by martin gran
31 messages
06:53 PM, May-09-08

conway's game of life
Posted by frequency
0 messages
11:52 PM, May-12-08

Mistake on the page (an aside, Be ...
Posted by Max
4 messages
10:28 AM, Feb-28-08

Deriving functions based on diffe ...
Posted by ke_45
1 messages
12:47 PM, May-10-08

A typo in
Posted by alexwajn
1 messages
11:36 PM, Apr-19-08