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 = z₁ + iz₂ and w = w₁ + iw₂,

2z.w =	[(z₁w₁ + z₂w₂) + i(z₁w₂ - z₂w₁)] + [(z₁w₁ + z₂w₂) + i(-z₁w₂ + z₂w₁)] =
	2(z₁w₁ + z₂w₂),

so that

(2)	z.w = z₁w₁ + z₂w₂

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:

z.z = |z|².
z.w = w.z.
r(z.w) = (rz).w = z.(rw), for any real r.
z.(u + v) = z.u + z.v.
z.w = 0 iff OZ ⊥ OW, where O, Z, W are the points with coordinates 0, z, w.
(zu).(zv) = |z|²(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:

For z,w ≠ 0, z×w = 0 iff z = sw for some real s.
z×w = - w×z. (anticommutativity)
z×(u + v) = z×u + z×v.
s(z×w) = (sz)×w = z×(sw), for any real s.
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

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

Complex Numbers

71924521