Real numbers- Example 2

Example 2 : Show that every positive even integer is of the form 2q, and that every positive odd integer is of the form 2q + 1, where q is some integer.

Solution : Let a be any positive integer and b = 2. Then , by Euclid’s algorithm, a = 2q +r, for some integer q 0, and r =0 or r= 1, because 0r<2. So a= 2q or 2q +1.

If a is of the form 2q, then a ids an even integer . Also, a positive integer can be either even or odd. Therefore, any positive odd integer I sof the form 2q +1.

Real Numbers -Introduction

1.1 Introduction


In Class IX, you began your exploration of the world of real nubers and encountered irrational numbers. We continue our discussion on real numbers in this chapter . We begin with two very important properties of positive integers in Sections 1.2 and 1.3, namely the Euclid’s division algorithm and the Fundamental Theorem of Airthemetic.

Euclid’s division algorithm , as the name suggests , has to do with divisibility of integers. Stated simply , it says any positive integer a can be divided by another positive integer b in such a way that it leaves a remainder r that is smaller than b. Many of you probably recognize this as the usual long division process. Although this result is quite easy to state and understand , it has many applications related to the divisibility properities of integers. We touch upon a few of them, and use it mainly to compute the HCF of two positive integers.

The fundamental Theorem of Airthemetic , on the other hand has to do something with multiplication of positive integers. You already know that every composite number can be expressed as a product of primes in a unique way. This important fact is the Fundamental Theorem of Airthemetic . Again, while it is a result that is easy to state and understand, it has some very deep and significant applications in the field of mathematics. We use the Fundamental Theorem of Airthemetic for two main applications. First, we use it prove the irrationality of many of the nubers you studied in Class IX, such as , and . Second , we apply this theorem to explore when exactly the decimal expansion of a rational number , say p/q (q0), is terminating and when it is non-terminating repeating. We do so by looking at the prime factorization of the denominator q of p/q. You will see that the prime factorization of q will completely reveal the nature of the decimal expansion of p/q. So let us begin our exploration.

Real numbers - Example 1

Example 1: Use Euclid’s algorithm to find the HCF of 4052 and 12576.
Solution :

Step 1 : Since 12576 > 4052, we apply the division lemma to 12576 and 4052, to get
12576 + 4052 x 3 + 420
Step 2 : Since the remainder 420 0, we apply the division lemma to 4052 and 420, to get
4052 = 420 x9 + 272
Step 3 : We consider the new divisor 420 and the new remainder 272, and apply the division lemma to get
420 = 272 x 1 + 148
We consider the new divisor 272 and the new remainder 148, and apply the division lemma to get
272 = 148 x 1 + 124
We consider the new divisor 148 and the new remainder 124, and apply the division lemma to get
148 = 124 x 1 + 24
We consider the new divisor 124 and the new remainder 24, and apply the division lemma to get
124 = 24 x 5 + 4
We consider the new divisor 24 and the new remainder 4, and apply the division lemma to get
24 = 4 x6 +0
The remainder has now become zero,, so our procedure stops. Since the divisor at this stage is 4, the HCF of 12576 and 4052 is 4.
Notice that 4 = HCF (24,4) = HCF (124,24) = HCF (148, 124) = HCF (272 ,148) = HCF (420, 272) = HCF (4052, 420) = HCF (12576 , 4052).
Euclid’s division algorithem is not only useful for calculating the HCF of very large numbers, but also because it is one of the earliest examples of an algorithm that a computer has been programmed to carry out.

Remarks :
1. Euclid’s division lemma and algorithm are so closely interlinked that people often call former as the division algorithm also.
2. Although Euclid’s Division Algorithm is stated for only positive integers, it can be extended for all integers except zero i.e, b0. However , we shall not discuss this aspect here.