**Exercise 1.1**

**Q.1: If a and b are two odd positive integers such that a > b, then prove that one of the two numbers \(\frac{ a + b }{ 2 }\) and \(\frac{ a – b }{ 2 }\) is odd and the other is even.**

**Sol:**

**Given:** If a and b are two odd positive integers such that a > b.

**To Prove:** That one of the two numbers \(\frac{ a + b }{ 2 }\)

**Proof:** Let a and b be any odd positive integer such that a > b. Since any positive integer is of the form q, 2q + 1

Let, a = 2q + 1 and b = 2m + 1, where, q and in are some whole numbers

\(\frac{ a + b }{ 2 }\)

\(\frac{ a + b }{ 2 }\)

\(\frac{ a + b }{ 2 }\)

Also,

\(\frac{ a – b }{ 2 }\)

\(\frac{ a – b }{ 2 }\)

\(\frac{ a – b }{ 2 }\)

Given, a > b

2q + 1 > 2m + 1

2q > 2m

q > m

Therefore, \(\frac{ a – b }{ 2 }\)

Thus, \(\frac{ a – b }{ 2 }\)

Now we need to prove that one of the two numbers \(\frac{ a + b }{ 2 }\)

Consider , \(\frac{ a + b }{ 2 }\)

Also, we know that from the proof above that \(\frac{ a + b }{ 2 }\)

We know that the difference of two integers is an odd number if one of them is odd and another is even. (Also, difference between two odd and two even integers is even)

Hence it is proved that if a and b are two odd positive integers is even.

Hence, it is proved that if a and b are two odd positive integers such that a > b then one of the two number \(\frac{ a + b }{ 2 }\)

**Q.2: Â Prove that the product of two consecutive positive integers is divisible by 2.**

**Sol:**

**To Prove:** that the product of two consecutive integers is divisible by 2.

**Proof:** Let n – 1 and n be two consecutive positive integers.

Then their product is n (n – 1) = n^{2} – n

We know that every positive integer is of the form 2q or 2q + 1 for some integer q.

So let n = 2q

So, n^{2} – n = (2q) ^{2} – (2q)

n^{2} – n = (2q) ^{2} – (2q)

n^{2} – n = 4q^{2} – 2q

n^{2} – n = 2q (2q â€“ 1)

n^{2} – n = 2r [where r = q (2q â€“ 1)]

n^{2 }– n is even and divisible by 2

Let n = 2q + 1

So, n^{2} – n = (2q + 1) ^{2} – (2q + 1)

n^{2} – n = (2q + 1)Â Â (2q + 1) â€“ 1)

n^{2} – n = (2q + 1)Â Â (2q)

n^{2} – n = 2r [r = q (2q + 1)]

n^{2} –Â n is even and divisible by 2

Hence it is proved that that the product of two consecutive integers is divisible by 2.

**Q.3: Prove that the product of three consecutive positive integer is divisible by 6.**

**Sol:**

**To Prove:** the product of three consecutive positive integers is divisible by 6.

**Proof:** Let n be any positive integer.

Since any positive integer is of the form 6q or 6q + 1 or 6q + 2 or 6q + 3 or 6q + 4, 6q + 5.

If n = 6q,

n (n + 1)Â Â (n + 2) Â = 6q (6q + 1)Â Â (6q + 2), which is divisible by 6

If n = 6q + 1

n (n + 1)Â Â (n + 2)Â = (6q + 1)Â Â (6q + 2)Â Â (6q + 3)

n (n + 1)Â Â (n + 2) Â = 6 (6q + 1)Â Â (3q + 1)Â Â (2q + 1) Â Which is divisible by 6

If n = 6q + 2

n (n + 1)Â Â (n + 2) Â = (6q + 2)Â Â (6q + 3)Â Â (6q + 4)

n (n + 1)Â Â (n + 2) Â = 12 (3q + 1)Â Â (2q + 1)Â Â (2q + 3),

Which is divisible by 6.

Similarly we can prove others.

Hence it is proved that the product of three consecutive positive integers is divisible by 6.

**Q.4: For any positive integer n, prove that n ^{3} â€“ n divisible by 6.**

**Sol:**

**To Prove:** For any positive integer n, n^{3 }â€” n is divisible by 6.

**Proof:** Let n be any positive integer. n^{3} â€” n = (n â€“ 1)Â Â (n)Â Â (n + I)

Since any positive integer is of the form 6q or 6q + 1 or 6q + 2 or 6q + 3 or 6q + 4, 6q + 5

If n = 6q,

Then, (n â€”1) n (n + 1) Â = (6q â€”1) Â 6q (6q + 1)

Which is divisible by 6

If n = 6q + 1,

Then, (n â€”1) n (n + 1) = (6q)Â Â (6q + 1)Â Â (6q + 2)

Which is divisible by 6.

If n = 6q + 2,

Then, (n – 1) n (n + 1) = (6q + 1)Â Â (6q + 2)Â Â (6q + 3)

(n â€“ 1) n (n + 1) = 6 (6q + 1)Â Â (3q + 1)Â Â (2q + 1)

Which is divisible by 6.

Similarly we can prove others.

Hence it is proved that for any positive integer n, n^{3}â€” n is divisible by 6.

**Q.5: Prove that if a positive integer is of form 6q + 5, then it is of the form 3q + 2 for some integer q, but not conversely**.

**Sol:**

**To Prove:** That if a positive integer is of the form 6q + 5 then it is of the form 3q + 2 for some integer q, but not conversely.

**Proof:** Let n = 6q + 5

Since any positive integer n is of the form of 3k or 3k + 1, 3k + 2

If q = 3k,

Then, n = 6q + 5

n = 18k + 5 (q = 3k)

n = 3 (6k + 1) + 2

n = 3m + 2 (where m = (6k + 1))

If q = 3k+ 1,

Then, n = (6q + 5)

n = (6 (3k + 1) + 5)Â Â (q = 3k + 1)

n = 18k + 6 + 5

n = 18k + 11

n = 3 (6k + 3) + 2

n = 3m + 2 (where m = (6k + 3))

If q = 3k + 2,

Then, n = (6q + 5)

n = (6 (3k + 2) + 5)Â Â (q = 3k + 2)

n = 18k + 12 + 5

n = 18k + 17

n = 3 (6k + 5) + 2

n = 3m + 2 (where m = (6k + 5))

Consider here 8 which is the form 3q + 2 i.e. 3 x 2 + 2 but it can’t be written in the form 6q + 5. Hence the converse is not true.

**Â **

**Q.6: Prove that square of any positive integer of the form 5q + 1 is of same form.**

**Sol:**

**To Prove:** That the square of a positive integer of the form 5q + 1 is of the same form

**Proof:** Since positive integer n is of the form 5q + 1

If n = 5q + 1

Then n^{2 }= (5q + 1) ^{2}

n^{2 }= (5q) ^{2} + 2 (1) (5q) + 1^{2} = 25q^{2} + 10q + 1

n^{2} = 5m + 1 (where m = (5q^{2}Â + 2q))

Hence n^{2 }integer is of the form 5m + 1.

**Q.7: Prove that the square of any positive integer is of the form 3m or 3m + 1 but not of the form 3m + 2.**

**Sol:**

**To Prove:** that the square of an positive integer is of the form 3m or 3m + 1 but not of the form 3m + 2.

**Proof:** Since positive integer n is of the form of 3q , 3q + 1 and 3q + 2

If n = 3q

n^{2Â }= (3q) ^{2}

n^{2 }=Â 9q^{2}

n^{2 }= 3 (3q) ^{2}

n^{2 }=Â 3m (m = 3q) ^{2}

If n = 3q + 1

Then, n^{2} = (3q + 1) ^{2}

n^{2} = (3q) ^{2} + 6q + 1

n^{2} = 9q^{2} + 6q + 1

n^{2} = 3q (3q + 1) + 1

n^{2 }= 3m +1 (where m = (3q + 2) )

If n = 3q + 2

Then, n^{2} = (3q + 2) ^{2} = (3q) ^{2 }+ 12q + 4

n^{2} = 9q^{2} + 12q + 4

n^{2} = 3 (3q + 4q + 1) + 1

n^{2 }= 3m + 1 (where q = (3q + 4q + 1))

Hence, n^{2Â }integer is of the form 3m, 3m + 1 but not of the form 3m +2.

**Q.8: Prove that the Square of any positive integer is of the form 4q or 4q + 1 for some integer q.**

**Sol:**

**To Prove:** that the square of any positive integer is of the form 4q or 4q + 1 for some integer q. **Proof:** Since positive integer n is of the form of 2q or 2q + 1

If n = 2q

Then, n^{2 }= (2q) ^{2}

n^{2} = 4q^{2}

n^{2} = 4m (where m = q^{2) }

If n = 2q + 1

Then, n^{2} = (2q + 1) ^{2}

n^{2} = (2q) ^{2 }+ 4q + 1

n^{2} = 4q^{2} + 4q + 1

n^{2} = 4q (q + 1) + 1

n^{2} = 4q + 1 (where m = q (q + 1))

Hence it is proved that the square of any positive integer is of the form 4q or 4q + 1, for some integer q.

**Q.9:Â Prove that the Square of any positive integer is of the form 5q or 5q + 1, 5q + 4 for some integer q.**

**Sol: **

**To Prove:** that the square of any positive integer is of the form **5q or 5q + 1, 5q + 4 for some integer q. **

**Proof:** Since positive integer n is of the form of **5q or 5q + 1, 5q + 4.**

If n = 5q

Then. n^{2 }= (5q) ^{2}

n^{2} = 25q^{2}

n^{2 }= 5 (5q)

n^{2} = 5m (Where m = 5q)

If n = 5q + 1

Then, n^{2} = (5q +1) ^{2}

n^{2} = (5q) ^{2 }+ 10q + 1

n^{2} = 25q^{2} + 10q + 1

n^{2} = 5q (5q + 2) + 1

It n^{2} = 5q (5q +2) + 1

n^{2}Â = 5m +1 (where m = q (5q + 2))

If n = 5q + 2

Then, n^{2 }= (5q + 2) ^{2}

n^{2} = (5q) ^{2 }+ 20q + 4

n^{2} = 25q^{2} + 20q + 4

n^{2} = 5q (5q + 4) + 4

n^{2}Â = 5m + 4 (where m = q (5q + 4))

If n = 5q + 4

Then, n^{2 }= (5q + 4) ^{2}

n^{2} = (5q) ^{2 }+ 40q + 16

n^{2} = 25q^{2} + 40q + 16

n^{2} = 5 (5q^{2} + 8q + 3) + 1

n^{2} = 5m + 1 (where m = 5q^{2} + 8q + 3Â )

Hence it is proved that the square of any positive integer is of the form **5q or 5q + 1, 5q + 4 for some integer q. **

**Q.10:Â Show that the Square of odd integer is of the form 8q + 1, for some integer q.**

**Sol:**

**To Prove:** the square of any positive integer is of the form** 8q + 1 for some integer q. **

**Proof: **Since any positive integer n is of the form 4m + 1 and 4m + 3

If n = m + 1

Then,

n^{2}Â = (4m + 1) ^{2}

n^{2} = (4m) ^{2 }+ 8m + 1

n^{2} = 16m^{2} + 8m + 1

n^{2} = 8m (2m + 1) + 1

n^{2} + 8q +1 (where q = m (2m + 1))

If n = 4m + 3

Then, n^{2} = (4m + 3)^{2}

n^{2} = (4m)^{2 }+ 24m + 9

n^{2} = 16m^{2} + 24m + 9

n^{2} =Â 8 (2m^{2} + 3m + 1) + 1

n^{2} = 8q + 1 (where q =Â (2m^{2} + 3m + 1))

Hence, n^{2Â }integer is of the form **8q + 1, for some integer q.**

**Q.11:Â Show that any positive odd integer is of the form 6q +1 or 6q + 3 or 6q + 5, where q is some integer.**

**Sol:**

**To Show:** That any positive odd integer is of the form 6q + 1 or 6q + 3 or 6q + 5 where q is any some integer.

**Proof:** Let â€˜aâ€™ be any odd positive integer and b = 6.

Then, there exists integers q and r such that a = 6q + r, 0 â‰¤ r < 6 (by division algorithm)

a = 6q or 6q + 1 orÂ 6q + 2 or 6q + 3 or 6q + 4

But 6q or 6q + 2 or 6q + 4 are even positive integers.

So, a = 6q + 1 or 6q + 3 or 6q + 5

Hence it is proved that any positive odd integer is of the form 6q + 1 or 6q + 3 or 6q + 5, where q is any some integer**.**

**Â **