Web Homework College Algebra

Chapter 1: Numbers and Points

1.1 Fields

The word number typically refers to a quantity, which may be definite as in ``the number of people in line'', indefinite as in ``a number of students took the class''; the dictionary definition typically lists over a dozen common meanings. In this course, a variety of types of numbers will be studied, including the numbers in each of the following sets:

  1. The positive integers or natural numbers images/num1.png : 1, 2, 3, ....
  2. The integers images/num2.png which includes the positive integers, zero, and the negative integers: -1, -2, -3, ....
  3. The rational numbers images/num3.png is the set of numbers which can be written as m/n where m and n are integers with n non-zero. Rational numbers can be expressed as finite or repeating decimals.
  4. The real numbers images/num4.png include the rational numbers as well as irrational numbers such as images/num5.png and images/num6.png . Every real number has a possibly infinite decimal expansion.
  5. The complex numbers images/num7.png which include the real numbers as well as the images/num8.png . Every complex number can be expressed in the form images/num9.png where images/num10.png and images/num11.png are real numbers.

On each of these sets, is defined the binary operations addition and multiplication. For each ordered pair images/num12.png of numbers from one of these sets, there are well defined numbers images/num13.png and images/num14.png called the sum and the product of images/num15.png and images/num16.png in the same set. One expresses this property by saying that the sets are closed under addition and multiplication.

These operations have simple geometric interpretations. For example, if two line segments are of length x and y respectively, then connecting the two together end-to-end yields a line segment of length x + y. Similarly, the area of a rectangle with length x and width y is precisely xy.

By repeatedly combining numbers via addition and multiplication, one can make complicated expressions such as images/num17.png . By substituting various values of x and y into this expression, one gets numerical values for the expression. One finds that regardless of which values of x and y you use, the numerical value is the same as that obtained by the expression images/num18.png . The process of verifying this is one of the skills that you have already mastered in earlier algebra courses. The idea is that you can use a number of properties of numbers to successively simplify the first expression until you get to the second one. Amongst these properties are:

  1. Addition and Multiplication are commutative: a + b = b + a and ab = ba.
  2. Addition and Multiplication are associative: (a + b) + c = a + (b + c) and (ab)c = a(bc).
  3. Multiplication distributes over addition: a(b + c) = ab + ac.
These properties are referred to as the commutative, associative, and distributive laws.

Before going on, we should clear up some ambiguity. We said that images/num19.png was obtained by a succession of additions and multiplications. This is true, but there are many different ways of doing this, e.g. after one gets the value of images/num20.png , images/num21.png , and images/num22.png , one could add the third to the sum of the first two or add the first to the sum of the last two. Of course, the result would be the same, and it is the associative law for addition that guarantees this. For this reason, one typically does not even bother to specify the order by adding in parentheses. Similarly, one didn't put parentheses to indicate the order of evaluation of the product of the three factors in images/num23.png . Another ambiguity occurs in the expression images/num24.png . Does this mean add the product of 4 and x to y or does it mean multiply 4 times the sum of x and y? This is more serious because the two ways of evaluating the expression give different answers. This is resolved by the rules for order of evaluation of expressions. In this case, the rules say that you evaluate multiplications before additions. So, the meaning of the expression images/num25.png is images/num26.png and not images/num27.png . The rules for order of evaluation will be stated in detail at the end of the next section.

Exercise 1.1: Using the geometric interpretation of addition and multiplication given above for positive real numbers, give geometric interpretations of the commutative, associative, and distributive laws. For example, the commutative law for addition might be illustrated by saying that if you join a line segment of length x end-to-end with a line segment of length y, then the length of the result is the same whether you measure it from one end or from the other.

Here are two more important properties of the rational numbers images/num28.png , the real numbers images/num29.png , and the complex numbers images/num30.png :

  1. There is a number 0 such that a + 0 = a for all numbers a and there is a number 1 not equal to 0 such that images/num31.png for all numbers a. Any such numbers are called additive or multiplicative identities.
  2. For any number images/num32.png , there is a number images/num33.png such that images/num34.png . Such a number images/num35.png is called an additive inverse of images/num36.png . Similarly, if images/num37.png is number other than 0, then there is a number images/num38.png called a multiplicative inverse or reciprocal of images/num39.png such that images/num40.png .

The numbers 0 and 1 are unique:

Proposition 1.1: There is at most one additive identity and at most one multiplicative identity.

Proof: Suppose images/num41.png and images/num42.png are two additive identities. Letting images/num43.png play the role of images/num44.png in the definition of an additive identity images/num45.png , we have images/num46.png . Similarly, one has images/num47.png by letting images/num48.png play the role of images/num49.png in the definition of images/num50.png being an additive identity. Because of the commutative law, one has images/num51.png The same argument shows that multiplicative identities are also unique.

We can define subtraction by images/num52.png and division by images/num53.png if b is non-zero. Alternative ways of denoting division are: images/num54.png .

Exercise 1.2:

  1. Which of the five sets of numbers images/num55.png , images/num56.png , images/num57.png , images/num58.png , and images/num59.png are closed under subtraction? Which are closed under division?
  2. Are subtraction and/or division commutative and/or associative?
  3. Does addition distribute over multiplication? Does division distribute over addition?
  4. Do the natural numbers images/num60.png and/or the integers images/num61.png have additive and/or multiplicative identities? What about inverses?

Any set closed under addition and multiplication which satisfies the commutative, associative, and distributive laws as well as has identities and inverses is referred to as a field. Here is the formal definition:

Definition 1.1: A field is a set F together with with two binary operations '+' and '·' called addition and multiplication which satisfy the following conditions:

  1. F is closed under addition and multiplication.
  2. Addition and multiplication are commutative. This means that images/num62.png and images/num63.png for all a and b in F.
  3. Addition and multiplication are associative. This means that images/num64.png and images/num65.png for all a, b, and c in F.
  4. Multiplication distributes over addition. This means that images/num66.png for all a, b, and c in F.
  5. (Identities) There is an element 0 in F such that a + 0 = a for all images/num67.png . There is an element 1 in F different from 0 such that images/num68.png for all images/num69.png .
  6. (Inverses) For every images/num70.png in F, there is an element denoted images/num71.png in F such that images/num72.png . For every images/num73.png in F other than 0, there is an element denoted images/num74.png in F such that images/num75.png .

Remark: If all the conditions except for the requirement that multiplicative inverse exist are true, then F is called a commutative ring with identity.

Many of the common rules of algebra follow from the fact that one is working in a field. One very important example is:

Proposition 1.2: Let F be a field. If images/num76.png is in F, then images/num77.png . If images/num78.png and images/num79.png in F satisfy images/num80.png , then either images/num81.png or images/num82.png are zero.

Proof: Let images/num83.png be an arbitrary element of F. Then images/num84.png . Let b be the additive inverse of images/num85.png . Then applying it to the last equation, we get

images/num86.png

Suppose ab = 0. If a is zero, there is nothing more to prove. On the other hand, if images/num87.png , then a has a multiplicative inverse c and so images/num88.png .

Corollary 1.1: If a is an element of a field F, then -a = (-1)a.

Proof: images/num89.png .

Corollary 1.2: 0 has no multiplicative inverse.

Proof: If this were false, then one would have images/num90.png But, images/num91.png Combining these, we conclude that images/num92.png . But this contradicts the property that 0 and 1 are not equal.

Because the field properties imply most of the rules of algebra, they help us understand why these rules are true. For example, you know that the product of two negative numbers is always positive. But why should this be true? Why not make a new rule, e.g. that the product of two negative numbers should be negative. The answer is that you could do this, but then one of the field properties would no longer be true.

Exercise 1.3: Show that in a field, one has (-a)(-b) = ab.

Hint: Fill in reasons for each of the following steps:

images/num93.png

Here are some more common rules of algebra:

Proposition 1.3: Let F be a field containing a, b, c, and d where b and d are non-zero. Then

  1. images/num94.png
  2. images/num95.png if and only if images/num96.png
  3. images/num97.png
  4. images/num98.png
  5. images/num99.png
  6. If c is also non-zero, then images/num100.png

Proof: (i) By the definition of multiplicative inverse, one must show that images/num101.png Starting from the left hand side, one can simplify the expression as shown here.

images/num102.png

Each of the above steps involves one of the fundamental properties of fields; make sure that you can justify each step with the appropriate property.

(ii) This like any "if and only if" statement is really two assertions:

  1. If images/num103.png then images/num104.png
  2. If images/num105.png then images/num106.png

To prove assertion (a), assume that images/num107.png To see that images/num108.png , multiply both sides of images/num109.png by images/num110.png to get images/num111.png . Now simplify each side:

images/num112.png

and

images/num113.png

Combining results, one gets images/num114.png (As before, make sure that you can justify each step.)

Now, let's show assertion (b). Assuming that images/num115.png and that both images/num116.png and images/num117.png are non-zero, we know that both images/num118.png and images/num119.png have multiplicative inverses. So, we need only multiply both sides of images/num120.png by images/num121.png and simplify. Here are the details:

images/num122.png

and

images/num123.png

(Label each line with the property that justifies the step.)

(iii) Simplify starting from the left hand side:

images/num124.png

Did you justify each step?

(iv) One has:

images/num125.png

(v) This is the usual rule for adding fractions. Notice that property (iv) allows one to convert the fractions so that they have a common denominator images/num126.png . Here are the detailed steps:

images/num127.png

(vi) This is the rule for simplifying fractions of fractions. It is the same as

images/num128.png

Using property (ii), this is the same as showing

images/num129.png

But, we can see this by simplifying each side:

images/num130.png

and

images/num131.png

This completes the proof of Proposition 1.3.

Exercise 1.3: (i) Redefine addition on the real numbers:

images/num132.png

With the new definition of addition and the usual multiplication, do the real numbers still form a field? Which of the field properties are true and which are not.

We defined multiplication by making images/num133.png be the area of a rectangle with sides of length m and n respectively. Suppose that we based things on the area of a triangle with given base and height instead. With the new definition of multiplication (and the usual definition of addition), do the real numbers form a field? What is the multiplicative identity?

1.2 Induction and Order of Operations

1.2.1 Mathematical Induction

The positive integers are the numbers 1, 2, 3, .... Every positive integer n has a successor n' = n + 1. Every positive integer n except 1 is the successor of a unique positive integer, viz. n - 1. The most important property of the set images/num134.png of positive integers is

Principle of Mathematical Induction: If images/num135.png is any property of the positive number images/num136.png such that

  1. images/num137.png is true.
  2. If images/num138.png is true for a positive integer images/num139.png , then images/num140.png is true for the successor images/num141.png of images/num142.png
Then images/num143.png is true for all positive integers images/num144.png

This principle can be used for both definitions as well as for theorems. For example, one can use it to define the usual operations on the positive integers using only the successor operation:

Definition 2.1: The sum m + n of two positive integers m and n is defined by:

  1. m + 1 is defined to be the successor m' of m.
  2. m + n' is defined to be the successor (m + n)' of m + n.

Let images/num145.png be the property of the positive integer n that m + n is defined. Then (i) assures us that images/num146.png is true and (ii) assures us that images/num147.png is true of n' if it is true of n. So, images/num148.png is true for all positive integers n. Similarly, one sees that we can define multiplication by:

Definition 2.2: The product images/num149.png of two positive integers images/num150.png and images/num151.png is defined by:

  1. images/num152.png for all positive integers images/num153.png
  2. If images/num154.png is defined, then images/num155.png

One can also use the principle of mathematical induction to prove theorems. For example, we can verify that our addition operation is associative:

Proposition 2.1: Addition is associative.

Proof: Let images/num156.png be the property of the positive integer n that (a+ b) + n = a + (b + n) for all positive integers a and b. In the case where n = 1, images/num157.png is true because

images/num158.png

(Why is each step true?)

Assuming that images/num159.png is true for n, let's show it for n'. One has

images/num160.png

So, images/num161.png must be true for all positive integers images/num162.png

Proposition 2.2: Addition is commutative.

Proof: Let images/num163.png be the property of the positive integer n that a + n = n + a for all positive integers a. We will show that images/num164.png is true by using the principle of mathematical induction. Let images/num165.png be the property of the positive integer a that a + 1 = 1 + a. We know that images/num166.png is true because 1 + 1 = 1 + 1. If images/num167.png is true for some positive integer a, then

images/num168.png

and so images/num169.png is true for all positive integers images/num170.png and so images/num171.png is true.

Now suppose that images/num172.png is true for n. Then

images/num173.png

and so images/num174.png is true for all positive integers n. (Did you justify each step?)

Proposition 2.3Multiplication distributes over addition.

Proof: Let images/num175.png be the property of the positive integer n that a(b + n) = ab + an for all positive integers a and b. Then images/num176.png is true. because images/num177.png

Suppose that images/num178.png is true for n. Then it is also true for n' because

images/num179.png

and so images/num180.png is true for all positive integers n.

Exercise 2.1:Use induction to prove the following results:

  1. Multiplication is associative.
  2. (a + b)c = ac + bc for all positive integers a, b, and c.
  3. Multiplication is commutative.

Exercise 2.2: (Laws of Exponents)

  1. Use induction to define images/num181.png where a is number (real or complex) and n is a positive integer.
  2. Use induction to prove that images/num182.png where a is a number and m and n are positive integers.
  3. Use induction to prove that images/num183.png where a is a number and m and n are positive integers.
  4. Assuming that you want these properties to hold for all integers m and n, what are the only possible definitions for images/num184.png ? What about images/num185.png where n is a negative integer?

Exercise 2.3: (Sums of Powers)

  1. Show by induction that the sum of the first n positive integers is precisely n(n+1)/2.
  2. Show by induction that the sum of the squares of the first n positive integers is precisely n(n + 1)(2n + 1)/6.

1.2.2 Binomial Theorem

It will often be useful to expand powers images/num186.png of a binomial a + b. For small positive integer value of n, you can do this using the distributive law. For example,

images/num187.png

images/num188.png

images/num189.png

Exercise 2.4: Show that

images/num190.png

It should be clear that for any given positive integer n, we can obtain a formula for images/num191.png ; but also that it is becoming more and more tedious as n increases. The goal is to find a general formula. Here is a first approximation:

Proposition 2.4: (Binomial Theorem) For each positive integer n, one can write

images/num192.png

where the coefficients images/num193.png are all positive integers. In fact, one has images/num194.png for k = 1, ..., n-1 and images/num195.png

Proof: Define images/num196.png by induction using the formulas in the statement of the proposition. Let images/num197.png be the property of the positive integer n which is true provided that the images/num198.png can be expressed as in the statement of the proposition. Then images/num199.png is clearly true because images/num200.png

Assume that images/num201.png is true for n so that

images/num202.png

So images/num203.png is true for all positive integers n.

The equations defining the coefficients images/num204.png appear quite complicated, however, if we write them down in the form of a triangle with the images/num205.png row containing images/num206.png for k = 0, 1, ..., n from left to right:

                    1
                  1   1
                1   2   1
              1   3   3   1
            1   4   6   4   1
          1   5  10   10  5   1
       1    6  15  20   15  6   1
From the diagram, we see that the formulas for the images/num207.png simply says that each row begins and ends with a 1 and every other entry is the sum of the two numbers in the row above it immediately to its left and to its right. This triangle is called Pascal's triangle and gives a simple way of computing the coefficients.

Exercise 2.5: Define n! (pronounced n factorial) by 0! = 1! = 1 and (n+1)! = (n+1)n!. So, n! is the product of all positive integers less than or equal to n.

Define images/num208.png for k = 0, 1, ..., n. Show by induction that images/num209.png for every positive integer n and k = 0, 1, ..., n.

Definition 2.3: The numbers images/num210.png are called binomial coefficients.

With this notation, the binomial theorem can be stated as:

images/num211.png

Another interpretation of the number images/num212.png is the number of combinations of images/num213.png objects taken images/num214.png at a time which is a formal way of saying the number of subsets of images/num215.png elements which can be formed from a given set of images/num216.png elements.

Exercise 2.6: In Pascal's triangle, note that each row reads the same from left to right as from right to left, i.e. is palindromic. Express this relation as an equation involving the images/num217.png . Explain why the relation is true.

1.2.3 Order of Operation

The rules for order of operations are used to determine the precise order in which operations are to be carried out when evaluating an expression. Using them allows one to write expressions with far fewer parentheses making them both more readable and less error prone. On the other hand, the rather large number of operators makes for a rather complicated set of rules. The goal is to make your expressions readable and correct; sometimes it is better and clearer to add a set of parentheses even though the rules indicate that they are not really necessary.

Here are the rules. You should read through the rules now and start using them. Because they are complicated, you will need to refer back to them a few times before they become clear. I am purposely not specifying exactly which numbers we are talking about because we want the material to apply to any of several types of algebraic quantities. Variables like x or y are letters that stand for numbers. By parentheses we mean any of the usual types of parentheses seen in algebraic expressions; they include rounded parentheses (), square brackets [], and curly brackets {}; in the rules below, we will use the rounded parentheses, but any other kind can be used as well.

Definition 2.4: An expression is a particular kind of string of numbers, variables, operators, and parentheses. The following rules can be used to determine if such a string is an expression:

  1. Every number and every variable is an expression.
  2. If E is an expression, then so is ( E ).
  3. If E is an expression, then so is -E.
  4. If E1 and E2 are expressions and op is any of the binary relations '+', '-', '·', '÷', and '^'then E1 op E2 is also an expression.
  5. The only strings which are expressions are those which can be shown to be expressions by applying the above rules a certain number of times.

Some fine points:

  1. Sometimes we will omit the multiplication operator ·. You can handle these expressions either by adding in the operator or by defining a new operator which is simply a space character.
  2. One can add the alternative slash '/' character as an alternate for the division symbol '÷'.
  3. Division is also often indicated with a horizontal bar. To handle this, simply replace the expression with the numerator between parentheses followed by ÷ and the denominator between parentheses.
  4. Sometimes, one does not assume that the exponentation operator is evaluated from left to right. In such cases, you need to be sure to put in additional parentheses so that the order of evaluation is explicit.

Any expression has a well defined value. To guarantee this property, one needs to agree on the order in which an expression is evaluated. For example, if one evaluates the addition in 4 + 5 · 3 before the multiplication, the value is 27; but evaluating the multiplication first gives a value of 19. In order to avoid this kind of ambiguity, expressions are always evaluated using the so-called order of operations. The rule is:

  1. Evaluate parenthesized subexpressions starting from the first innermost parenthesized expression. If E has value v, then the value of (E) is also v. Use the remaining rules in order to evaluate a subexpression with no parentheses.
  2. The value of a number is the number itself; the value of a variable is the number which it represents.
  3. Powers should be evaluated first, from left to right.
  4. Unary minus operations should be evaluated next starting from the innermost.
  5. Multiplications and divisions should be done next; do this left to right.
  6. Additions and subtractions should be done next; again do this left to right.

1.3 Unique Factorization

1.3.1 Order

For the positive integers images/num218.png , the order relation is defined by

Definition 3.1: If images/num219.png and images/num220.png are positive integers, then images/num221.png is smaller than images/num222.png (or images/num223.png is larger than images/num224.png ) if there is a positive integer d such that images/num225.png . One writes this as images/num226.png or images/num227.png .

Here are the main properties of the order relation:

Proposition 3.1: Let images/num228.png images/num229.png and images/num230.png be any postive integers.

  1. (Trichotomy) Exactly one of these is true: images/num231.png images/num232.png or images/num233.png
  2. (Transitivity) If images/num234.png and images/num235.png , then images/num236.png
  3. If images/num237.png then images/num238.png
  4. If images/num239.png then images/num240.png

Proof: The hard part is to prove trichotomy. So, let's assume that we have proven it and use it to prove the other assertions.

(ii) If images/num241.png and images/num242.png , then there arepositive integers images/num243.png and images/num244.png with images/num245.png and images/num246.png . But then

images/num247.png

and so images/num248.png

(iii) If images/num249.png then there is a positive integer images/num250.png with images/num251.png But then using the associative and commutative laws, one has

images/num252.png

and so images/num253.png

(iv) If images/num254.png then there is a positive integer images/num255.png with images/num256.png But then the commutative and distributive laws shwo that

images/num257.png

and so images/num258.png

(i) Now, let's tackle the problem of showing that trichotomy is true. Let's start with:

Lemma 3.1: Let r be a positive integer. There is no positive integer m such that images/num259.png

Proof: We prove this by induction using the property images/num260.png which is true of m provided that images/num261.png We know that images/num262.png is true because 1 is not the successor of any positive integer. Now suppose that images/num263.png is true for images/num264.png If images/num265.png were not true for its successor images/num266.png then images/num267.png But then

images/num268.png

and so images/num269.png because each positive integer is the successor of at most one positive integer. This contradiction shows that images/num270.png must be true for images/num271.png and so the lemma is true.

We can use the lemma to show that no two of the conditions images/num272.png , images/num273.png , and images/num274.png can be simultaneously true. There are three cases:

  1. If images/num275.png and images/num276.png , then images/num277.png
  2. If images/num278.png and images/num279.png , then images/num280.png
  3. If images/num281.png and images/num282.png , then

    images/num283.png

In all three cases, we get a contradiction with the assertion of the lemma and so no two of the conditions can be simultaneously true.

It remains to show that at least one of the three conditions must always be true. Let m be a fixed positive integer and images/num284.png be the property of a positive integer n that is true provided that at least one of images/num285.png images/num286.png and images/num287.png is true. images/num288.png is true because either images/num289.png or else images/num290.png for some positive integer p; in the second case, images/num291.png and so images/num292.png

If images/num293.png is true for the positive integer n, then there are three cases:

  1. If images/num294.png then there is an r with images/num295.png But then

    images/num296.png

    and so images/num297.png

  2. If images/num298.png then images/num299.png and so images/num300.png .
  3. If images/num301.png there is a positive integer images/num302.png with images/num303.png If images/num304.png then images/num305.png On the other hand, if images/num306.png is not 1, then it is the successor of some positive integer, say images/num307.png and so images/num308.png One has

    images/num309.png

    and so images/num310.png

In all three cases, we see that the condition images/num311.png is true and so images/num312.png holds for all positive integers images/num313.png and so trichotomy is true.

Exercise 3.1: Prove that if images/num314.png then images/num315.png

Definition 3.2: If images/num316.png then the difference images/num317.png is defined to be images/num318.png

1.3.2 Descent

Descent is a variant on the principle of mathematical induction:

Descent Principle: Let images/num319.png be a property which may or may not be true of the positive integer n. If images/num320.png is false for at least one positive integer images/num321.png then there is a smallest integer images/num322.png for which images/num323.png is false, i.e. images/num324.png is false for images/num325.png and true for all images/num326.png with images/num327.png .

Proof: Suppose the descent principle is false for some property images/num328.png . Let images/num329.png be the property of the positive integer images/num330.png which is true provided that images/num331.png is true for all positive integers images/num332.png less than or equal to images/num333.png images/num334.png must be true; otherwise, images/num335.png would be false and clearly n = 1 would be the smallest number for which images/num336.png would be false because 1 is smaller than every positive integer except 1.

Now suppose that images/num337.png is true for images/num338.png If images/num339.png were not true, then images/num340.png would be false but images/num341.png would be true for all numbers k less than images/num342.png . But then images/num343.png would be the smallest positive integer for which images/num344.png was false which contradicts the assumption that the descent principle is false for images/num345.png .

1.3.3 Unique Factorization

Definition 3.2:Let images/num346.png and images/num347.png be positive integers.

  1. images/num348.png is a factor of images/num349.png (or images/num350.png is a multiple of images/num351.png ) if there is a positive integer images/num352.png such that images/num353.png A factor images/num354.png of images/num355.png is a proper factor if images/num356.png
  2. images/num357.png is prime if it is not equal to 1 and has no proper factors.

Examples of primes are 2, 3, 5, 7, 11,....

Exercise 3.2: Replace the order relation images/num358.png in the statement of Proposition 3.1 with the property that images/num359.png be a factor of images/num360.png Which of the conclusions of the Proposition are still true? Which are false?

Exercise 3.3: Show that if images/num361.png is a factor of images/num362.png then images/num363.png

Proposition 3.2 Every positive integer can be factored into a product of primes. In other words, if images/num364.png is a positive integer, then there are prime positive integers images/num365.png images/num366.png ..., images/num367.png (where images/num368.png is a non-negative integer) such that

images/num369.png

Proof: This is a proof by descent. If the Proposition is false, then there is a smallest positive integer images/num370.png for which the assertion is false. images/num371.png cannot be equal to 1 or prime and so it can be written as product of proper factors: images/num372.png Since each of the factors is smaller than images/num373.png , one has images/num374.png and images/num375.png where the images/num376.png and images/num377.png are primes. But then

images/num378.png

Proposition 3.3 (Euclid) There are infinitely many primes.

Proof: If not, then there are only finitely many. Let images/num379.png images/num380.png ..., images/num381.png be the complete list of them. Consider the positive integer images/num382.png Let images/num383.png be any prime factor of images/num384.png we know that images/num385.png for some images/num386.png = 1, 2, ..., images/num387.png Then images/num388.png But then images/num389.png which means that images/num390.png is a prime factor of 1. By Exercise 3.3, it follows that images/num391.png is less than or equal to 1 and so must be equal to 1 contrary to the assumption that images/num392.png is prime.

Clearly, positive integers might be factored in more than one way as product of primes, e.g.

images/num393.png

As it turns out, the factorization is unique except for the order of the factors (and the way it is parenthesized):

Proposition 3.4 (Division Theorem) If images/num394.png and images/num395.png are positive integers, then there are non-negative integers images/num396.png and images/num397.png such that images/num398.png and images/num399.png Furthermore, the numbers images/num400.png and images/num401.png are unique.

Proof: (i) Existence: Let images/num402.png and images/num403.png be positive integers for which there are no such numbers images/num404.png and images/num405.png For the fixed value images/num406.png choose images/num407.png to be the smallest such that images/num408.png and images/num409.png do not exist. We cannot have images/num410.png because that would allow for images/num411.png Also, one cannot have images/num412.png as this would allow for images/num413.png By trichotomy, it follows that images/num414.png and so images/num415.png for some positive integer images/num416.png But then images/num417.png and so there must be non-negative numbers images/num418.png and images/num419.png such that images/num420.png and and images/num421.png But then

images/num422.png

contrary to the assumption that no appropriate images/num423.png and images/num424.png exist.

(ii) Uniqueness: Suppose images/num425.png where images/num426.png images/num427.png images/num428.png and images/num429.png are non-negative integers with images/num430.png and images/num431.png If images/num432.png then images/num433.png and so images/num434.png Otherwise, assume that images/num435.png (swapping the roles of q, r and u, v if necessary. Re-arranging, we get images/num436.png which is a contradiction because the right hand side is smaller than n and the left hand side is greater than equal to n.

Theorem 3.1 (Fundamental Theorem of Arithmetic) Every positive integer can be factored as a product of primes and this factorization is unique up to order of the factors.

Proof: By Proposition 3.2, we need only show the uniqueness assertion. Let us begin with

Lemma 3.2 If images/num437.png is a prime factor of the product images/num438.png then images/num439.png is a factor of either images/num440.png or images/num441.png (or both).

Proof: If this is not true in general, then let images/num442.png be the smallest prime for which there is a counter-example. Of all such counter-examples choose one with the smallest possible value for images/num443.png , and of all these choose one with the smallest possible value for n. Using the division theorem, we know that one can write images/num444.png and images/num445.png where images/num446.png and images/num447.png are smaller than images/num448.png Since images/num449.png , we see that images/num450.png is a factor of images/num451.png and images/num452.png cannot be a factor of either images/num453.png or of images/num454.png without being a factor of images/num455.png or images/num456.png respectively. So, we can assume by the choice of images/num457.png and images/num458.png that they are both smaller than images/num459.png Since images/num460.png is a factor of images/num461.png there is a images/num462.png with images/num463.png . Further, images/num464.png and so images/num465.png But then every prime factor images/num466.png of images/num467.png must be smaller than images/num468.png . We have images/num469.png a factor of images/num470.png and so by the minimality of images/num471.png it must be that images/num472.png is either a factor of images/num473.png or of images/num474.png In either case, we could divide both sides of images/num475.png by images/num476.png and get a contradiction with the minimality of the choice of either images/num477.png or images/num478.png So, it must be that images/num479.png has no prime factors and so images/num480.png But then images/num481.png contradicting the fact that images/num482.png is a prime. This proves the lemma.

Corollary 3.1: If images/num483.png is a prime factor of images/num484.png then images/num485.png is a prime factor of at least one of the factors images/num486.png images/num487.png ..., images/num488.png

Proof: Suppose not. Choose a counter-example with the smallest possible value of images/num489.png . Then images/num490.png divides images/num491.png and so Lemma 3.2 tells us that images/num492.png is either a factor of images/num493.png or of images/num494.png . But, it can't be a factor of the second quantity because this would give us a counter-example with a smaller images/num495.png . So, images/num496.png must be a factor of images/num497.png contrary to assumption.

If factorization can be non-unique, then let images/num498.png be the smallest positive integer which has at least two factorizations into products of primes differing other than in the order of the factors. No prime images/num499.png can occur in both factorizations; otherwise, images/num500.png would be a smaller positive integer with at least two factorizations. If images/num501.png is any prime factor of the first factorization, then images/num502.png is a factor of some prime images/num503.png of the second factorization by Corollary 3.1. So images/num504.png for some positive integer images/num505.png Since images/num506.png is a prime, it must be that images/num507.png and so images/num508.png contrary to assumption.

1.4 Numerals and Geometric Series

A numeral is a symbol used to represent a number. The standard numeration system is the Arabic numeral system. A base 10 Arabic numeral is a sequence of digits 0, 1, 2, 3, ..., 9. The numeral images/num509.png where each images/num510.png is a digit represents the number

images/num511.png

For example, 3147 means images/num512.png . Decimal numerals are similar, e.g. images/num513.png .

Sometimes it is more convenient to use bases other than 10. A base b Arabic numeral (where b is a positive integer bigger than 1) uses digits 0, 1, ..., b-1 and the numeral images/num514.png where each images/num515.png is a digit represents the number

images/num516.png

The commonly used bases other than 10 are 2 and 16. Base 2 numerals are called binary numbers and base 16 numerals are called hexadecimal numbers. Hexadecimal numbers use the letters A through F (or a through f) to denote the digits 10 through 15 respectively. For example, the decimal number 3147 is equal to the Number C4B in hexadecimal because 11 + 16(4) + 162(12) = 3147. You can check that in binary, the same number is 110001001011. One can also work with decimals in other bases as well; for lack of a better term, base 2 decimals will be referred to as binary decimals.

The usual algorithms for doing operations with base 10 numbers work fine in other bases. However, most people find it easier to convert the numbers to base 10, do the computation in base 10, and convert the answer back to the desired base. Doing base conversions is easy. We have already seen how to convert to base 10. If you wanted to convert to say base 16, then take the number and divide by 16. The remainder is the lowest digit. Dividing the quotient by 16 gives a remainder which is the next digit, etc.

Example 4.1: To convert the base 10 number 3145 to hexadecimal, divide 3145 by 16 to get images/num517.png So the lowest digit is eleven which is denoted B. Next divide 196 by 16 to get images/num518.png and so the next digit is 4. Finally, images/num519.png and so the high order digit is twelve or C. The number 3147 in base 10 is equal to the number C4B in base 16.

Example 4.2:Calculate images/num520.png

  1. First, let's calculate it using the same algorithm as one uses in school. Here is the calculation:
              C4B
              C4B
              ---
             8739
            312C
           9384
           ------
           971DF9
    

    To understand this, recall that images/num521.png and so by the distributive law:

    images/num522.png

    The three terms on the right are written above in the three lines between the horizontal bars. Instead of writing multiplying the lines by 10 (hex) and images/num523.png (hex), the numbers are simply written one and two columns to the left of the where they would normally be written.

    To see how one calculates images/num524.png , write this as

    images/num525.png

    Verify that this is precisely what you do when you do multiplication in base 10; then check the other two subproducts and the final addition.

    Now check your work: We know that C4B is 3145 in base 10. So its square in base 10 is images/num526.png in base 10 which converted to base 16 is 971DF9. Check the computation! Of course, if the two answers do not match, there must be an error in the computation.

    Repeating decimals are possibly infinite decimals whose digits eventually start to repeat themselves, numbers like 3.14141414... Such numbers are actually rational numbers. To see this, we will need:

    Proposition 4.1: (Geometric Series) One has

    images/num527.png

    In particular, if x is a number less than 1 in absolute value, then

    images/num528.png

    Proof: Use the distributive law to expand out the left side of the first equation. All but two of the terms subtract out leaving the two terms on the right hand side. To see the second assertion, divide both sides of the first equation by images/num529.png . As images/num530.png grows larger and larger, the term images/num531.png approaches 0 because images/num532.png .

    We can use the Proposition to evaluate our infinite decimal:

    images/num533.png

    A similar argument shows that any repeating decimal represents a rational number. Conversely, if you have a rational number p/q, then you can expand it out into a decimal by using the standard long division algorithm. At each stage in the computation, the remainder is a number between 0 and q - 1. As soon as the remainder repeats, the sequence of digits also repeat; so, the decimal expansion of a rational number is repeating. The formal result is:

    Proposition 4.2: Every repeating decimal represents a rational number and every rational number has a repeating decimal expansion.

    Although we argued in base 10 numerals, everything works anlaogously regardless of which base we work in.

    Corollary 4.1: There exist real numbers which are not rational.

    Proof: Any decimal expansion which is not repeating represents a real number which is not rational.

    Remark 4.1: The square root of 2 is irrational. For otherwise, we could write images/num534.png where images/num535.png and images/num536.png are integers with images/num537.png non-zero. Squaring both sides and multiplying through by images/num538.png , one gets images/num539.png . Now express images/num540.png and images/num541.png as products of primes and substitute these into this last equation. Because integers factor uniquely, we have a contradiction, because the left side of the equation would have an odd number of factors of 2 and the right side would have an even number of factors of 2.

    1.5 Ordered Fields

    Definition 5.1: An ordered field F is a field (i.e. a set with addition and multiplication satisfying the conditions of Definition 2) with a binary relation < which satisfies:

    1. (Trichotomy) For every pair of elements a and b in F, exactly one of the following is true: a < b, a = b, and b < a.
    2. (Transitivity) Let a, b, c be arbitrary elements of F. If a < b and b < c, then a < c.
    3. If a, b, and c in F satisfy a < b, then a + c < b + c.
    4. If a, b, and c in F satisfy a < b and 0 < c, then ac < bc.

    Fact: If F is an ordered field, then 0 < 1.

    Proof: By Definition 2, images/num542.png and so by trichotomy, if the the fact were wrong, then we would have a field F with 1 < 0. By property iii, we would have 1 + (-1) < 0 + (-1) and so 0 < -1. But then using property iv, we would have images/num543.png . By Proposition 2, the left side is 0 and so images/num544.png . This contradicts trichotomy and so the assertion must be true.

    If F is an ordered field, an element a in F is called positive if 0 < a.

    Proposition 5.1: The set P of positive elements in an ordered field F satisfy:

    1. (Trichotomy) For every a in F, exactly one of the following conditions holds: a is in P, a = 0, and -a is in P.
    2. (Closure) If a and b are in P, then so are a + b and ab.

    Proof: (i) By property i of the Definition 3, exactly one of a < 0, a = 0, and 0 < a must be true. If a < 0, then by property iii of Definition 3, we have a + (-a) < 0 + (-a) and so 0 < -a. Conversely, if 0 < -a, adding a to both sides gives a < 0. So the three conditions are the same as -a is in P, a = 0, and a is in P.

    (ii) Suppose a and b are in P. Then 0 < a and by property iii of Definition 3, we have 0 + b < a + b and images/num545.png . Since 0 < b and b < a + b, transitivity implies that 0 < a + b. Since images/num546.png by Proposition 2, we have 0 < ab.

    Remarks: i. In one of the exercises, you will show that, if a field has a set P of elements which satisfy the conditions of Proposition 8, then the field is an ordered field assuming that one defines a < b if and only if b - a is in P.

    ii. An element a of an ordered field F is said to be negative if and only if a < 0.

    iii. It is convenient to use the other standard order relations. They can all be defined in terms of <. For example, we define a > b to mean b < a. Also, we define images/num547.png to mean either a < b or a = b and similarly for images/num548.png .

    iv. The absolute value function is defined in the usual way:

    images/num549.png

    Proposition 5.2: Let a and b be elements of an ordered field F.

    1. |-a| = |a|
    2. images/num550.png (i.e. images/num551.png and images/num552.png )
    3. (Triangle Inequality) images/num553.png

    Proof: i. By Trichotomy, we can treat three cases: a > 0, a = 0, and a < 0. If a > 0, then -a < 0 and so |a| = a and so |-a| = -(-a) = a. If a = 0, then -a = 0 and so |a| = 0 = |-a|. If a < 0, then -a > 0 and so |a| = -a and |-a| = -a. In all three cases, we have |a| = |-a|.

    ii. Again, we can treat three cases: If a > 0 or a = 0, then |a| = a and so images/num554.png . If a < 0, then adding -a to both sides gives 0 < -a and so a < -a by transitivity. In this case we have |a| = -a and so a < |a|.

    We could argue the other inequality the same way, but notice that we could also use our result replacing a with -a. (Since it holds for all a in F, it holds for -a.) The result says images/num555.png , where we have used assertion i. Adding a - |a| to both sides of the inequality gives the desired inequality.

    iii. Once again, do this by considering cases: If images/num556.png , then |a + b| = a + b. Since images/num557.png and images/num558.png , we can add b to both sides of the first inequality and |a| to both sides of the second one to get images/num559.png and images/num560.png . Using transitivity, we get images/num561.png as desired.

    Now suppose that images/num562.png . Then adding -a - b to both sides of the inequality gives -a + (-b) > 0. Applying the result of the last paragraph, we get images/num563.png . But a + b < 0 means that |a + b| = -(a + b) and so images/num564.png where we have used assertion i for the last step. This completes the proof.

    1.6 Decimal Expansions

    As noted earlier, one can write numerals in any integer base b > 1. The choice b = 10 has the advantage of being most familiar; but choosing b = 2 often makes the proofs a bit simpler - basically, each additional digit cuts an interval in two equal pieces which is easier to handle than 10 equal pieces. For this section, we will use base 10; but after reading it, you should go back and verify that everything works regardless of the choice of the base. In some later sections, we will use base 2 in order to have simpler proofs. We start by formalizing our notion of infinite decimal.

    Definition 6.1: i. An infinite decimal is an expression of the type images/num565.png , where images/num566.png is an integer, and images/num567.png is an infinite sequence of decimal digits (i.e. integers between 0 and 9).

    ii. Every such infinite decimal defines a second sequence of finite decimals images/num568.png where images/num569.png .

    iii. One says that the infinite decimal represents the number r (or has limit r) if images/num570.png can be made arbitrarily close to zero simply by taking k sufficiently large.

    Definition 6.2: i. An ordered field F is said to be Archimedean if, for every positive a in F, there is a natural number N with a < N.

    ii. An Archimedean ordered field F is called the field of real numbers if every infinite decimal has a limit in F.

    Given any element a in F, we can form an infinite decimal for a. First, we can assume that a is positive, since the case where a = 0 is trivial, and if a < 0, then we can replace a with -a. Next, we see why we needed to add the Archimedean property to the above definition. Without it, we would not know how to get the integer part of a: Since F is Archimedean, the set of natural numbers N with a < N is non-empty and so there it has a smallest element b. Let images/num571.png . Then images/num572.png if images/num573.png . Choose images/num574.png to be the decimal digit such that images/num575.png and let images/num576.png , so that again images/num577.png . Assuming that we have already defined for some natural number k, the quantities images/num578.png and images/num579.png with images/num580.png , define by induction the digit images/num581.png so that images/num582.png and let images/num583.png , so that images/num584.png .

    The infinite decimal images/num585.png was defined so that images/num586.png with images/num587.png . So this infinite decimal has limit a. We say that this is the infinite decimal expansion of the element a in F.

    Proposition 6.1:i. Every element a in F is the limit of the infinite decimal expansion of a.

    ii. The decimal expansion of every rational number is a repeating decimal, i.e. except for an initial segment of the decimal, the decimal consists of repetitions of a single string of digits.

    iii. Every repeating decimal has limit a rational number.

    Proof: The first assertion has already been proved. For the second assertion, note that the definition of the sequence of digits images/num588.png is completely determined by the value of images/num589.png .

    If a = r/s is rational with r and s integers, then images/num590.png is a rational number with denominator (a factor of ) s. Furthermore, since images/num591.png , if images/num592.png is rational with denominator s, then so is images/num593.png . By induction, it follows images/num594.png is rational with denominator s for every k. Since images/num595.png lies between 0 and 1 and is rational with denominator s, it follows that there are at most s possible values for images/num596.png .

    The following principle is called the pigeonhole principle: If s + 1 objects are assigned values from a set of at most s possible values, then at least two of the objects must be assigned the same value.

    By the pigeonhole principle, there are subscripts i and j with images/num597.png such that images/num598.png . As indicated at the beginning of the proof, it follows that the sequence of digits starting from images/num599.png must be the same as the sequence of digits starting from images/num600.png and so the decimal repeats over and over again the cycle of values images/num601.png .

    The third assertion is easy to prove -- it is essentially the same as our calculation of the limit of the infinite decimal expansions of 1/3 and 1/7. The formalities are left as an exercise.

    Example 2: The field of real numbers contains many numbers which are not rational. All we need to do is choose a non-repeating decimal and it will have as its limit an irrational number. For example, you might take images/num602.png where at each step one adds another zero.

    Proposition 6.2: Every a > 0 in the field of real numbers has a positive images/num603.png -root for every natural number n, i.e. there is a real number b with images/num604.png .

    Proof:It is easy to show by induction that, if images/num605.png , then images/num606.png for every natural number n. So the function images/num607.png is an increasing function. By the Archimedean property, we know that there is a natural number M > a. Again by induction, it is easy to see that images/num608.png . Now consider the set S of all numbers m with images/num609.png . Clearly 0 is in this set. If every successor of an element of S lies in S, then the principle of mathematical induction would imply that S would be the set of all non-negative numbers contrary to the fact that we have already identified a number M not in S. So, let images/num610.png be an element of S such that images/num611.png is not in S. We know that the images/num612.png -root of a must lie between images/num613.png and images/num614.png . Next evaluate images/num615.png for integers j from 0 to 10. The values start from a number no smaller than a and increase to a number larger than a. Let images/num616.png be the largest value of j for which the quantity is at most a. Repeating the process, one can define by induction an infinite decimal images/num617.png such that the images/num618.png -power of the finite decimal images/num619.png differs from a by no more than images/num620.png .

    Let b be the limit of the infinite decimal, and images/num621.png be the values of the corresponding finite decimals. Then we have images/num622.png and images/num623.png and so it is reasonable to expect that images/num624.png . This is in fact true. Using the identity for geometric series, we see that: images/num625.png . But then the triangle inequality gives images/num626.png where C is a positive constant which does not depend on k. Since this holds for all positive integers k, it follows that images/num627.png .

    1.7 Complex Numbers

    If a is a positive element of any ordered field, we know that images/num628.png because the set of positive numbers is closed under multiplication. Since we also have images/num629.png , it follows by trichotomy that the square of any element in an ordered field is always non-negative. In particular, such a field cannot contain a solution of images/num630.png .

    We would like to have a field where all polynomial equations have a root. We will define a field images/num631.png called the field of complex numbers which contains the field of rational numbers and which also has a root, denoted i, of the equation images/num632.png . In a later chapter, it will be shown that, in fact, images/num633.png contains a root of any polynomial with coefficients in images/num634.png . This result is called the Fundamental Theorem of Algebra.

    Let us first define the field of complex numbers. Since it is a field which contains both the field of real numbers and the element i, it must also contain expressions of the form z = a + bi where a and b are real numbers. Furthermore, there is no choice about how we would add and multiply such quantities if we wanted the field axioms to be satisfied. The operations can only be:

    images/num635.png

    and

    images/num636.png

    where we have used the assumption that images/num637.png .

    It is straightforward, but a bit tedious to show that these operations satisfy all the field axioms. Most of the verification is left to the exercises. But let us at least indicate how we would show that there are multiplicative inverses. Let us proceed heuristically -- we would expect the inverse of a + bi to be expressed as images/num638.png but this does not appear to be of the desired form because there is an i in the denominator. But our formula from geometric series shows how to rewrite it: We have images/num639.png . This is just what we need:

    images/num640.png

    Of course, we have proven nothing. But we now have a good guess that the multiplicative inverse might be images/num641.png . It is now an easy matter to check that this does indeed work as a multiplicative inverse.

    Proposition 7.1: The set of all expressions a + bi, where a and b are real and i behaves like images/num642.png , is a field if we define operations as shown above.

    We have already seen that the field images/num643.png cannot be ordered. Nevertheless, we can define an absolute value function by images/num644.png . The conjugate of a complex number is a + bi is defined to be a - bi and is denoted images/num645.png .

    Proposition 7.2: Let w and z be complex numbers. Then

    1. |w| = |-w|
    2. |wz| = |w||z|
    3. |z| = 0 if and only if z = 0.
    4. (Triangle Inequality) images/num646.png .
    5. images/num647.png .
    6. If r is a real number, its absolute value is the same as a real number as it is if it is considered to be the complex number images/num648.png .

    Proof: These are all left as exercises except for the triangle inequality. To prove the triangle inequality, let images/num649.png and images/num650.png where images/num651.png images/num652.png images/num653.png and images/num654.png are real numbers. To show the triangle inequality, it is enough to show that images/num655.png Substituting in the values for images/num656.png and images/num657.png one sees that this will hold provided that

    images/num658.png

    This simplifies to the equivalent inequality

    images/num659.png

    This in turn would be true if the square of the left side were less than or equal to the square of the right side, i.e.

    images/num660.png

    which is equivalent to images/num661.png But subtracting images/num662.png from both sides and factoring gives

    images/num663.png

    which is obviously true. So, the triangle inequality is also true.

    Exercise 7.1 (i) Prove the rest of Proposition 7.2

    Prove that in the triangle inequality, one has equality if and only if one of images/num664.png and images/num665.png is a non-negative real multiple of the other.

    1.8 Solving Equations

    Solving equations of one variable uses two basic principles:

    1. If a = b, then a + c = b + c and a · c = b · c.
    2. If ab = 0, then a = 0 or b = 0.

    Example 8.1: To solve the general linear equation ax + b = c for x where a, b, and c are constants with a non-zero, one can assume that x is a solution so that ax + b = c. Add -b to both sides of the equation to get (ax + b) + (-b) = c + (-b). This simplifies to ax = c - b. Multiplying both sides by a-1 and simplifying gives x = a-1(c - b). We have shown that this is the only possible solution. Substituting it into the original equation and simplifying verifies that this value is indeed a solution. So, the equation has the unique solution x = a-1(c - b).

    Example 8.2: To solve the general quadratic equation ax2 + bx + c = 0, we can restrict ourselves to the case where a is non-zero. (Otherwise, the equation is linear and Example 3 applies.) If x is a solution of the equation, then one can divide both sides by a and simplify to get x2 + (b/a)x + c/a = 0.

    If 2 is not zero, then one can complete the square to get (x + b/(2a))2 = (b/(2a))2 - c/a. If the right side was square, then we could solve for x to get

    images/num666.png

    Furthermore, one can check that this actually is a solution of the original equation. This last equation is known as the quadratic formula.

    In particular, if we are working in the field of real numbers, then we have completely solved the quadratic; there are two, one, or no solutions when b2 - 4ac is positive, zero, or negative respectively. In the case of the field of complex numbers, things are even simpler as we will show that all complex numbers have square roots.

    Another example is the general system of 2 linear equations in two unknowns x and y: ax + by = e, cx + dy = f. What makes the general system of 2 linear equations appear difficult is that both equations involve both variables. There are two approaches:

    1. One could solve the first equation for one of the variables in terms of the other. Then substitute this into the second equation giving an equation in only the second variable. Then proceed as in the easy case.
    2. One could subtract an appropriately chosen multiple of one equation from the other in order to obtain an equation involving only one variable.
    As before, one needs to check that the possible solutions one obtains do indeed satisfy the original equations.

    Example 8.3: Consider the system: 2x + 3y = 5, 4x - 7y = -3. Assume that x and y are satisfy both equations. One can proceed using either method:

    1. Solving for x using the first equation, gives x = (5/2) - (3/2)y. Substituting this into the second equation gives 4((5/2) - (3/2)y) - 7y = -3, which can be used to find y = 1. Substituting this back into our expression for x yields x = 1. One then checks that the values x = 1, y = 1 do indeed satisfy the original equations.
    2. If one subtracts twice the first equation from the second equation, one gets (4x - 7y) - 2(2x + 3y) = -3 - 2(5) or -13y = -13. This gives y = 1 and substituting this value back into the first equation gives 2x + 3 = 5 or x = 1. As before, we need to check that x = 1, y = 1 does indeed satisfy the original two equations.

    Example 8.4: Find all the solutions of the system of equations: images/num667.png , images/num668.png . Assume that one has a solution x, y. Solving the second equation for y, one gets a value y = 1 -x which when substituted into the firs equation gives: images/num669.png or images/num670.png . Collecting terms, we get a quadratic images/num671.png . Factoring and using the second part of Proposition 1, gives x = 0 or x = 1. Substituting these values into our expression for y, gives two possible solutions (x,y) = (0, 1) and (x,y) = (1, 0). Substituting each of these into the original equations, verifies that both of these pairs are solutions of the original system of equations.

    If we have more than two variables and more equations, we can apply the same basic strategies. For example, if you have three linear equations in three unknowns, you can use one of them to solve for one variable in terms of the other two. Substituting this expression into the two remaining equations gives two equations in two unknowns. This system can be solved by the method we just described. Then the solutions can be substituted back into the expression for the first variable to find all possible solutions. When you have these, substitute each triple of numbers into the original equations to see which of the possibilities are really solutions. One can also use the second approach as is illustrated by the next example.

    Example 8.5: Solve the system of equations: x + y + z = 0, x + 2y + 2z = 2, x - 2y + 2z = 4. Assume that (x, y, z) is a solution. Subtracting the first equation from each of the other two equations gives y + z = 2, -3y + z = 4. Now subtracting the first of these from the second gives -4y = 2 or y = -1/2. Substituting this into the y + z = 2 gives z = 5/2. Finally, substituting these into the first of the original equations gives x = -2. So the only possible solution is (x, y, z) = (-2, -1/2, 5/2). Substituting these values into the original equations shows that this possible solution is, in fact, a solution of the original system.

    1.9 Number Line and Plane

    This section is an informal review of some elementary notions of analytic geometry. Let's start with the number line. Choose a line and mark off two points 0 and 1 on the line. By marking off segments of length equal to that between 0 and 1, one can define points 2, 3, etc. Moving in the other direction, one gets -1, -2, etc. To each rational number, one can associate a point on the line; e.g. 1/2 is the point midway between 0 and 1; 7/4 is the point a quarter of the way between 0 and 7, etc. Real numbers can be represented as infinite decimals; we can associate them with the points obtained as limits of the finite decimals obtained by throwing away the tail end of the decimal. For example, 1.2121212... is the point which is the limit of the points 1, 1.2, 1.21, 1.212, etc. At least intuitively, it appears that we have defined a one-to-one correspondence between the real numbers and the set of points on the line.

    To name the points in the plane, simply use the cartesian product of the real numbers with itself. Geometrically, this corresponds to taking two perpendicular number lines intersecting at 0. These are called the x-axis and y-axis respectively. Each point on the plane can be projected perpendicularly onto each of the two axes. The name the point is the ordered pair (x, y) where x is the number associated with the projection of the point on the x-axis and y is the number associated with the projection of the point on the y-axis. The diagram below shows the point (3, 2):

    Recall that the complex numbers can be written in the form a + b i where images/num672.png and a and b are real numbers. So, a complex number is essentially the same thing as an ordered pair (a, b) of real numbers. This allows one to think of the plane as being the set of real numbers. The number a is called the real part and the number b is called the imaginary part of the complex number a + b i. In the above diagram, the point (3, 2) corresponds to the complex number 3 + 2i.

    Proposition 9.1: (Distance Formula) If images/num673.png and images/num674.png are two points in the plane, then the distance between them is images/num675.png .

    Proof: Let images/num676.png . Then images/num677.png is a right triangle with right angle at images/num678.png . The legs have length images/num679.png and images/num680.png respectively. The distance formula now follows by the Pythagorean Theorem. (This theorem will be proved in a next chapter.)

    If (a, b) and (c, d) are two points in the plane, then one can define their sum to be (a + c, b + d). Note that this is precisely the point corresponding to the sum z + w of the complex numbers z = a + bi and w = c + di corresponding to the two points.

    The addition is the so-called parallelogram law Let L be the line segment from the origin (0, 0) to (a, b) and M be the line segment from the origin to (c, d). If we move M parallel to itself so that it starts at (a, b), then its other end-point will be at (a + c, b + d). So the line segments R from (a, b) to (a + c, b + d) and S from (c, d) to (a + c, b + d) combine with L and M to make a parallelogram whose diagonal starts from the origin and ends at the sum of z = (a, b) and w = (c, d). You can also think of this as a triangle rule: To add z and w, start with a line segment from the origin to (a, b), then move the line segment from the origin to (c, d) parallel to itself until it is starting from (a, b); the final end-point is the sum z + w.

    Let images/num681.png and images/num682.png be any two complex numbers with images/num683.png We can think of images/num684.png as defining a line segment M from the origin to images/num685.png If images/num686.png is a positive real number, then images/num687.png corresponds to a line segment obtained by stretching M by a factor of t. If images/num688.png is a negative real number, then the segment is streched by the a factor of images/num689.png but goes in the oppositive direction as does M. When you add images/num690.png to it, the complex numbers in the set

    images/num691.png

    make up a line through images/num692.png and parallel to M.

    Definition 9.1 A line is any set of points of the form

    images/num693.png

    where images/num694.png and images/num695.png are complex numbers with images/num696.png The corresponding set of points in the plane are also referred to as a line.

    Proposition 9.2: (Midpoint Formula) If images/num697.png and images/num698.png are two points in the plane, then the point images/num699.png . is on a line through images/num700.png and images/num701.png and the distance between images/num702.png and either end-point is equal to half the distance between the end-points.

    Proof: The line is the one defined by images/num703.png and images/num704.png Letting t = 1/2 gives the point M. The assertions about the distance are easy to verify using the distance formula.

    1.10 Functions

    Intuitively speaking, a function is a rule which associates with each element of a set images/num705.png an element of a set images/num706.png . The set images/num707.png is called the domain of the function and the set images/num708.png is called the codomain of the function. A function with domain images/num709.png and codomain images/num710.png is often denoted images/num711.png and the number in images/num712.png associated by the rule to the element images/num713.png in images/num714.png is denoted images/num715.png The range of images/num716.png is the set of all elements of images/num717.png that are associated to at least one element of the domain images/num718.png

    For example, function which squares each real number is a function images/num719.png with domain and codomain both equal to the field of real numbers. For each real number images/num720.png one has images/num721.png and the range of the function is the set of non-negative real numbers. On the other hand, the square root function images/num722.png has domain the non-negative real numbers and images/num723.png The codomain might be the set of non-negative real numbers or any set containing this set.

    For any function images/num724.png one can form the set of all ordered pairs images/num725.png where images/num726.png is in the domain images/num727.png of images/num728.png This set

    images/num729.png

    is called the graph of the function. In the special case where the function images/num730.png has domain and codomain contained in the set of real numbers, the graph of f can be thought of as a subset of the number plane.

    Remark 1.10.1 One should think of the graph of a function as a visual representation of the function. In the special case in which the domain and codomain are subsets of the real numbers, one has:

    1. The domain is the set of x-coordinates of points in the graph.
    2. The range is the set of y-coordinates of points in the graph.
    3. Every vertical line intersects the graph in at most one point.
    The last property is often referred to as the vertical line test

    Example 1.10.1 Not every subset of the number plane is the graph of a function. For example, the circle with center at the origin and radius 1 is not the graph of a function. This is because there are vertical lines which intersect the graph in more than one point. For example, the y-axis intersects the circle at images/num731.png which means that there cannot be a rule which associates to 0 a single number and still have both of these points in the graph. On the other hand, the part of the circle which has y-coordinate non-negative is the graph of the function which assigns to every images/num732.png in the closed interval [-1, 1] the value images/num733.png

    Many times the function will be ambiguously specified by simply giving the rule for associating elements of the domain with elements of the codomain, without specifying a domain and codomain. In this case, one normally assumes one is dealing with the largest domain for which the rule makes sense, and this domain is referred to as the natural domain.

    For example, the natural domain of the squaring function is the set of all real numbers, even though there are other functions with domains any specific subset of the real numbers. In some cases, one needs to intuit the meaning of what one means by the largest domain for which the rule makes sense; for example, the squaring function is also defined on the field of complex numbers.

    Remark 1.10.2 Because it is difficult to formalize what one means by a rule, a formal definition of function usually is a definition of the graph of the function. For example, one could say that a function images/num734.png with domain images/num735.png and codomain images/num736.png is any subset images/num737.png of the set of all ordered pairs images/num738.png where images/num739.png and images/num740.png such that for every images/num741.png there is exactly one ordered pair in images/num742.png first coordinate equal to images/num743.png One then writes images/num744.png to indicate that images/num745.png

    1.10.1 Operations on Functions

    Let images/num746.png and images/num747.png be functions with domains some set images/num748.png codomains some field images/num749.png Then one can combine images/num750.png and images/num751.png to form new functions:

    1. The sum images/num752.png of images/num753.png and images/num754.png is defined by

      images/num755.png

    2. The difference images/num756.png of images/num757.png and images/num758.png is defined by

      images/num759.png

    3. The product images/num760.png of images/num761.png and images/num762.png is defined by

      images/num763.png

    4. The quotient images/num764.png of images/num765.png and images/num766.png is defined by

      images/num767.png

    Note that the domain of the first three functions is images/num768.png but the domain of the fourth function is the set of images/num769.png for which images/num770.png

    Finally, if images/num771.png and images/num772.png are two functions, then the composition images/num773.png of the two functions is defined by

    images/num774.png

    Example 1.10.2 If images/num775.png is the squaring function and images/num776.png is the cubing function, then images/num777.png is the function images/num778.png Also, images/num779.png is the function with images/num780.png The function images/num781.png is the reciprocal function, which is only defined for non-zero real numbers. Finally, the composition images/num782.png is the function which raises numbers to their sixth power.

    Exercise 1.10.1

    1. Show that the operations sum and product are commutative but that the other three operations are not.
    2. Show that the operations sum, product, and composition are associative, but the other two are not.

    Revised: September 7, 2003
    All contents © copyright 2002, 2003 K. K. Kubota. All rights reserved