Module

for

Geometry of Complex Numbers

 

1.3 The Geometry of Complex Numbers

    Complex numbers are ordered pairs of real numbers, so they can be represented by points in the plane. In this section we show the effect that algebraic operations on complex numbers have on their geometric representations.

    We can represent the number  [Graphics:Images/ComplexGeometryMod_gr_1.gif]  by a position vector in the xy plane whose tail is at the origin and whose head is at the point  [Graphics:Images/ComplexGeometryMod_gr_2.gif].  When the xy plane is used for displaying complex numbers, it is called the complex plane, or more simply, the [Graphics:Images/ComplexGeometryMod_gr_3.gif] plane.  Recall that  [Graphics:Images/ComplexGeometryMod_gr_4.gif].  Geometrically,  [Graphics:Images/ComplexGeometryMod_gr_5.gif]  is the projection of  [Graphics:Images/ComplexGeometryMod_gr_6.gif]  onto the [Graphics:Images/ComplexGeometryMod_gr_7.gif] axis, and  [Graphics:Images/ComplexGeometryMod_gr_8.gif]  is the projection of [Graphics:Images/ComplexGeometryMod_gr_9.gif] onto the [Graphics:Images/ComplexGeometryMod_gr_10.gif] axis. It makes sense, then, to call the [Graphics:Images/ComplexGeometryMod_gr_11.gif] axis the real axis and the [Graphics:Images/ComplexGeometryMod_gr_12.gif] axis the imaginary axis, as Figure 1.3 illustrates.

[Graphics:Images/ComplexGeometryMod_gr_13.gif]

            Figure 1.3  The complex plane.

    Addition of complex numbers is analogous to addition of vectors in the plane.  As we saw in Section 1.2, the sum of [Graphics:Images/ComplexGeometryMod_gr_14.gif] and [Graphics:Images/ComplexGeometryMod_gr_15.gif]is [Graphics:Images/ComplexGeometryMod_gr_16.gif].  Hence, [Graphics:Images/ComplexGeometryMod_gr_17.gif] can be obtained vectorially by using the "parallelogram law," where the vector sum is the vector represented by the diagonal of the parallelogram formed by the two original vectors. Figure 1.4 illustrates this notion.

[Graphics:Images/ComplexGeometryMod_gr_18.gif]

            Figure 1.4  The sum [Graphics:Images/ComplexGeometryMod_gr_19.gif].  

    The difference  [Graphics:Images/ComplexGeometryMod_gr_20.gif]  can be represented by the displacement vector from the point  [Graphics:Images/ComplexGeometryMod_gr_21.gif]  to the point  [Graphics:Images/ComplexGeometryMod_gr_22.gif],  as Figure 1.5 shows.

[Graphics:Images/ComplexGeometryMod_gr_23.gif]

            Figure 1.5  The difference [Graphics:Images/ComplexGeometryMod_gr_24.gif].  

 

Definition 1.8, (Modulus or Absolute Value).  The modulus, or absolute value, of the complex number  [Graphics:Images/ComplexGeometryMod_gr_25.gif]  is a nonnegative real number denoted by  [Graphics:Images/ComplexGeometryMod_gr_26.gif]  and is given by the equation  

(1-20)            [Graphics:Images/ComplexGeometryMod_gr_27.gif].  

 

    The number  [Graphics:Images/ComplexGeometryMod_gr_28.gif]  is the distance between the origin and the point  [Graphics:Images/ComplexGeometryMod_gr_29.gif].  The only complex number with modulus zero is the number [Graphics:Images/ComplexGeometryMod_gr_30.gif].  The number  [Graphics:Images/ComplexGeometryMod_gr_31.gif]  has modulus  [Graphics:Images/ComplexGeometryMod_gr_32.gif],  and is depicted in Figure 1.6.  

[Graphics:Images/ComplexGeometryMod_gr_33.gif]

            Figure 1.6  The real and imaginary parts of a complex number.

    The numbers  [Graphics:Images/ComplexGeometryMod_gr_34.gif]  are the lengths of the sides of the right triangle OPQ shown in Figure 1.7.  

[Graphics:Images/ComplexGeometryMod_gr_35.gif]

            Figure 1.7  The moduli of z and its components.

    The inequality [Graphics:Images/ComplexGeometryMod_gr_36.gif] means that the point [Graphics:Images/ComplexGeometryMod_gr_37.gif] is closer to the origin than the point [Graphics:Images/ComplexGeometryMod_gr_38.gif].  Although obvious from Figure 1.7, it is still profitable to work out algebraically the standard results that    

(1-21)             [Graphics:Images/ComplexGeometryMod_gr_39.gif] and  [Graphics:Images/ComplexGeometryMod_gr_40.gif].
            
which we leave as an exercise for the reader.

 

    The difference [Graphics:Images/ComplexGeometryMod_gr_41.gif] represents the displacement vector from [Graphics:Images/ComplexGeometryMod_gr_42.gif] to [Graphics:Images/ComplexGeometryMod_gr_43.gif], so the distance between [Graphics:Images/ComplexGeometryMod_gr_44.gif] and [Graphics:Images/ComplexGeometryMod_gr_45.gif] is given by[Graphics:Images/ComplexGeometryMod_gr_46.gif].  We can obtain this distance by using Definition (1.2) and Definition (1.8) to obtain the familiar formula

            [Graphics:Images/ComplexGeometryMod_gr_47.gif][Graphics:Images/ComplexGeometryMod_gr_48.gif].  

    If  [Graphics:Images/ComplexGeometryMod_gr_49.gif],  then  [Graphics:Images/ComplexGeometryMod_gr_50.gif]  is the reflection of [Graphics:Images/ComplexGeometryMod_gr_51.gif], through the origin, and  [Graphics:Images/ComplexGeometryMod_gr_52.gif]  is the reflection of [Graphics:Images/ComplexGeometryMod_gr_53.gif] through the [Graphics:Images/ComplexGeometryMod_gr_54.gif] axis, as illustrated in Figure 1.8.

[Graphics:Images/ComplexGeometryMod_gr_55.gif]

            Figure 1.8 The geometry of negation and conjugation.

 

    We can use an important algebraic relationship to establish properties of the absolute value that have geometric applications.  Its proof is rather straightforward, and we ask you to give it in the exercises for this section.
    
(1-22)             [Graphics:Images/ComplexGeometryMod_gr_56.gif].  

 

    A beautiful and important application of the above identity is its use in establishing the triangle inequality, which states that the sum of the lengths of two sides of a triangle is greater than or equal to the length of the third side. Figure 1.9 illustrates this inequality.

[Graphics:Images/ComplexGeometryMod_gr_57.gif]

            Figure 1.9  The triangle inequality.

Theorem 1.2, (Triangle Inequality).   If  [Graphics:Images/ComplexGeometryMod_gr_58.gif] are arbitrary complex numbers, then  

(1-23)             [Graphics:Images/ComplexGeometryMod_gr_59.gif].  

Proof.  We appeal to basic results:  

[Graphics:Images/ComplexGeometryMod_gr_60.gif]

Taking square roots yields the desired inequality.  

 

Example  1.5.  To produce an example of which Figure 1.9 is a reasonable illustration, we let  [Graphics:Images/ComplexGeometryMod_gr_61.gif].  Then  [Graphics:Images/ComplexGeometryMod_gr_62.gif]  and  [Graphics:Images/ComplexGeometryMod_gr_63.gif].  Clearly,  [Graphics:Images/ComplexGeometryMod_gr_64.gif];  hence  [Graphics:Images/ComplexGeometryMod_gr_65.gif].  In this case, we can verify the triangle inequality without recourse to computation of square roots because  

        [Graphics:Images/ComplexGeometryMod_gr_66.gif],  
thus
            [Graphics:Images/ComplexGeometryMod_gr_67.gif].  

Explore Solution 1.5.

 

    We can also establish other important identities by means of the triangle inequality. Note that  
    
                [Graphics:Images/ComplexGeometryMod_gr_72.gif]  
                [Graphics:Images/ComplexGeometryMod_gr_73.gif]  
                [Graphics:Images/ComplexGeometryMod_gr_74.gif].  

Subtracting [Graphics:Images/ComplexGeometryMod_gr_75.gif] from the left and right sides of this string of inequalities gives an important relationship that will be used in determining lower bounds of sums of complex numbers:

(1-24)             [Graphics:Images/ComplexGeometryMod_gr_76.gif].  

Using the identity  [Graphics:Images/ComplexGeometryMod_gr_77.gif]  and the commutative and associative laws it follows that  

(1-20)             [Graphics:Images/ComplexGeometryMod_gr_78.gif]  
(1-20)             [Graphics:Images/ComplexGeometryMod_gr_79.gif]  
(1-20)             [Graphics:Images/ComplexGeometryMod_gr_80.gif]  

Taking square roots of the terms on the left and right establishes another important identity  

(1-25)             [Graphics:Images/ComplexGeometryMod_gr_81.gif].  

As an exercise, we ask you to show

(1-26)             [Graphics:Images/ComplexGeometryMod_gr_82.gif], provided   [Graphics:Images/ComplexGeometryMod_gr_83.gif].  


Example  1.6.  Use the values  [Graphics:Images/ComplexGeometryMod_gr_85.gif],  then  [Graphics:Images/ComplexGeometryMod_gr_86.gif]  and  [Graphics:Images/ComplexGeometryMod_gr_87.gif].  Also  [Graphics:Images/ComplexGeometryMod_gr_88.gif];  hence  

            [Graphics:Images/ComplexGeometryMod_gr_89.gif],  
thus
            [Graphics:Images/ComplexGeometryMod_gr_90.gif].  

Explore Solution 1.6.

 

    Figure 1.10 illustrates the multiplication shown in Example1.6.  The length of the [Graphics:Images/ComplexGeometryMod_gr_95.gif] vector apparently equals the product of the lengths of [Graphics:Images/ComplexGeometryMod_gr_96.gif], confirming that  [Graphics:Images/ComplexGeometryMod_gr_97.gif],  but why is it located in the second quadrant when both [Graphics:Images/ComplexGeometryMod_gr_98.gif]are in the first quadrant?  The answer to this question will become apparent to you in Section 1.4.

[Graphics:Images/ComplexGeometryMod_gr_99.gif]

            Figure 1.10  The geometry of multiplication.

 

Exercises for Section 1.3.  The Geometry of Complex Numbers  

 

Library Research Experience for Undergraduates

Complex Numbers

History of Complex Numbers

 

 

 

The Next Module is

 Geometry of Complex Numbers, Continued

 

 

 Return to the Complex Analysis Modules

 

 

Return to the Complex Analysis Project

 

 

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This material is coordinated with our book Complex Analysis for Mathematics and Engineering.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) 2012 John H. Mathews, Russell W. Howell