Number Theory BSC Notes PDF

Download as pdf or txt
Download as pdf or txt
You are on page 1of 24
At a glance
Powered by AI
The document discusses various theorems related to number theory, specifically analytic number theory. It covers concepts like divisibility, common divisors, greatest common divisor, and least common multiple.

Some of the main theorems discussed include the Division Algorithm, properties of divisibility, relationships between common divisors and greatest common divisors, and expressions for writing integers as products.

Divisibility is defined such that an integer a divides b if b is a multiple of a, or if there exists an integer c such that b = ac.

B.Sc.

Mathematics

Analytic Number Theory

Analytic Number Theory


DIVISIBILITY:Suppose

, then we say that

divides b if b is a multiple of a. If a divides b then a is also

called the divisor of b.


We know that b is a multiple of a if

If we name that some other integer to be c, then the definition of divisibility is


a divides b if there exist an integer c such that

Notation:
If a divides b then we use the notation . If a does not divide b then we use the notation
Theorem 1: show that
Proof:
As we know

Theorem 2: show that

Proof:
As by simple multiplication, we know that

Similarly, by using simple multiplication

Theorem 3: if , then show that


Proof:
If then

a point

Multiplying both sides by

such that

we have
1

Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

Therefore,

This completes the proof.


Theorem 4: if and ,then show that
Proof:
If and , then there exists two integers

Using

such that

we have

This will be hold only if

Using

we have

This completes the proof.


Theorem 5: if and ,then show that
Proof:
If

and , then by definition of divisibility, there exists two integers

Using

in

such that

we have

Therefore,

This completes the proof.


2
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

Theorem 6: if and ,then

for any integers x and y.

Proof:
If and , then by definition of divisibility, there exists two integers

such that

Now consider

Since
Therefore,

This completes the proof.


Theorem 7: if

and

,then

Proof:
If

and , then by definition of divisibility, there exists two integers

such that

Using

Put

So that

This completes the proof of the theorem.

3
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics
Analytic Number Theory
Theorem 8:(DIVISION ALGORITHM OR EUCLIDE THEOREM)
If a and b are integers such that

, then there exist unique integers q and r such that

Proof:
Consider that
{

Note that A is non-empty.


If

, then by well ordering property 0 is least element of A. If

, then A be the set that must

have least element.


Let

be the least element. Then,

Replace

Now, we have to prove

. For this, we suppose on contrary that

But
This is contradiction to our supposition. So our supposition is wrong and therefore

Combining

we have

UNIQUENESS:
To prove uniqueness, we suppose that If a and b are integers such that
unique integers

and

, then there exist

such that

Taking modulus on both sides, we have


|

|
|

Since

|
|

|
|

. Then |

|
|

, so the equation (1) will become


4

Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics
|

Analytic Number Theory

|
|

Using

in equation (1), we have

implies that both q and r are unique. This completes the proof of division
algorithm.

APPLICATION OF DIVISION ALGORITHM:


Theorem 9: Every integer can be written in the form of
Proof:
Let a be any integer. Then for

Here

, the euclide theorem will be

implies that

Case-1: when
Then,

Case-2: when
Then,

Case-3: when
Then,

This completes the proof.

5
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

Theorem 10: Every odd integer can be written in the form of


Proof:
Let a be any odd integer. Then for

Here

, the euclide theorem will be

implies for odd integer that

Case-1: when
Then,

Case-2: when
Then,

This completes the proof.

COMMON DIVISOR:
Suppose a and b be any two integers then a number c is called common divisor of a and b if

EXAMPLE:2 is common divisor of the set {

} because

MATHEMATICAL INDUCTION:
It is a method which is often used to prove the divisibility based result. It is most powerful tool to
prove the result in exponent form. To prove the result with the help of mathematical induction, we
have to follow the following steps
First, we will check the result at n=1
In the second step, we suppose that the result is true for n=k-1
Now with the help of above supposition, we have to prove the result is true for n=k
Remark:
If a result fulfilled the above three steps, then that result is true mathematically.
6
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics
Theorem 11: If n is odd then

Analytic Number Theory

Proof:We use mathematical induction in order to prove the result.


When

Hence the result is true for


Now, we suppose that the result is true for n=k. That is,

Now, we have to prove that the result is true for

That is,

Consider that

Since

Therefore,

(by 2)

It follows that the result is true for


Hence, by principle of mathematical induction, it is proved that
Theorem 12: If n is odd then prove that

Proof:
Since n is an odd number. Then, we have

Case -1:- When k is even. That is,

7
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

Case -2:- When k is odd. That is,

Hence in both above cases

This completes the proof.


Theorem 13: Show that the product of three consecutive natural number is divisible by 6.
Proof:Assume that n,n+1 and n+2 be three consecutive natural numbers.
We claim that

We use induction method in order to prove our claim


When n=1

This implies that the result is true for n=1


Now, we suppose that the result is true for n=k. That is,

Now, we have to prove that the result is true for n=k+1. That is,

Since

is true by supposition.

Now, we prove that

Case -1:- When k is even. That is,

The right hand side of above equation is true by division. Hence

is true.
8

Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

Case -2:- When k is odd. That is,

The right hand side of above equation is true obviously. Hence

is true.

Thus in both above cases, we proved

is true

This implies that


It follows that the result is true for n=k+1.
Hence by principle of mathematical induction, it is proved that
Product of three consecutive natural numbers is divisible by 6.
Theorem 14: Show that

Proof:We use induction method in order to prove our result.


When

. Then,

The result is true for

Now, we suppose that the result is true for

. That is,

Now, we have to prove that the result is true for

That is,

9
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

Here

Therefore,

This implies that the result is true for


Hence by principle of mathematical induction, it is proved that

Theorem 15: Show that


Proof:We use induction method in order to prove our result.
When

. Then,

This implies that the result is true for n=1.


Now, we suppose that the result is true for

. That is,

Now, we have to prove that the result is true for

That is,

Here

Therefore,

10
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

That is, the result is true for


Hence by principle of mathematical induction, it is proved that

Theorem 16: Show that

Proof:We use induction method in order to prove our result.


When

. Then,

This implies that the result is true for


Now, we suppose that the result is true for

. That is

Now, we have to prove that the result is true for

That is,

Here

Therefore,

This implies that the result is true for


Hence by principle of mathematical induction, it is proved that

11
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics
Theorem 17: Show that

Analytic Number Theory

Proof:We use induction method in order to prove our result.


When

. Then,

This implies that the result is true for


Now, we suppose that the result is true for

. That is

Now, we have to prove that the result is true for

That is,

Here

Therefore,

This implies that the result is true for


Hence by principle of mathematical induction, it is proved that

12
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics
GREATEST COMMON DIVISOR:

Analytic Number Theory

The largest positive integer that divides both a and b is called greatest common divisor of a and b. it
is denoted as

EXAMPLE:Let us calculate the g.c.d of 42 and 48


Divisor of 42

Divisor of 48

}
}
{

Common Divisor of 42 & 48

Therefore,

LINEAR COMBINITION:Suppose a and b be any two integer then m is called linear combination of a and b if

we have

Remark:
The greatest common divisor of two numbers a and b is the smallest positive linear combination of a
and b. that is,

RELATIVELY PRIME:
The integers a and b is called relatively prime if
The integers

. More generally, it is defined as

are relatively prime if every pair of


(

whenever

is relatively prime i.e.

Remark: Any two consecutive numbers are relatively prime.


Proof:
Assume that n and n+1 are two consecutive integers. Then for all

Take

, we have

, then we have

This completes the proof.

13
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

Theorem18: If is any common divisor of

and

then divides

Proof:
Suppose c is common divisor of a and b. Then by definition

Then by a result, we have

Because

This proves the result.

Alternative Definition of G.C.D


In view of the previous result we can reformulate the definition of g.c.d.
Definition: A positive integer

is called g.c.d of

and

if

I.
| and |

II.

If some other integer | and | , then | .

III.

Theorem 19: The greatest common divisor of

is unique.

Proof:Suppose
Then, we have to show that

If

is G.C.D of

and

is common divisor of

. Then, by definition of G.C.D, we have

and

is common divisor of

. Then, by definition of G.C.D, we have

If

is G.C.D of

From

Since

, we have

are non-negative. Therefore.

14
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

Theorem 20: If

Proof:Suppose that

This implies by alternative definition of G.C.D, we have

Since it is given that


Two integers

From

such that

, we have

Since 2 is a prime number. Therefore,

Using

in equation (A), we have

This completes the proof.


Theorem 21: Let

and

be integers. Then
for any positive integer

if

Proof:I.

for any positive integer

As we know The greatest common divisor of two numbers a and b is the smallest positive linear
combination of a and b. Therefore,

15
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics
Here

Analytic Number Theory

is the smallest linear combination of a and b. therefore,

It follows that,

II.

if

Since

. Then,

both are integers.

Now consider that,


(

)
(

This completes the proof.


Theorem 22: If

then

Proof:Since it is given that


Two integers

such that

Let

. Then, we have to show that

As

. This implies by definition

16
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

The above shows that md is common divisor of ma and mb. But from (A),

is G.C.D of ma and

mb. Then by definition of G.C.D, we have

Now from

, we have

It follows that

This completes the proof.


Theorem 23: If

, then .

and

Proof:Since it is given
Two integers

such that

Since

This completes the proof.


Theorem 24: Let ,

and be integers.

(I)

If

, then

(II)

If | , | and

, then

| .

Proof:I.
Since

Multiplying

, then
. Then, there exists the integers

such that

we have

17
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

II.

Analytic Number Theory

| , | and

, then

| .

Since | & | . This implies that there exists two integers

such that

Also it is given that


Two integers

such that

This completes the proof

Theorem 25: If

then

Proof:
Since

| &

| . This implies that there exists two integers

such that

Also it is given that


Two integers

such that

This completes the proof

18
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory


, then

Theorem 26: If

Proof:If , then there exist an integer

such that

Also it is given that

Let
Then we have to show that
As

. Then, by definition of G.C.D, we have

put in

we have

This completes the proof.


Theorem 27: If

then

Proof:Suppose that

Then, we have to show that


From

, we have

Which shows that


of

is common divisor of

. But from

it is clear that

is G.C.D

. This implies by the definition

Since
Two integers

such that
19

Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Now from

Analytic Number Theory

we have

Implies that

is common divisor of

. But from

, G.C.D of

is

Then by definition of G.C.D, we have

From

, we have
.

Therefore,

This completes the proof.


Theorem 28: If

then show that

Proof:Suppose that

From

, we have

Shows that

is common divisor of

But from

G.C.D of

is

Then by definition of G.C.D, we have

20
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics
From

Analytic Number Theory

, we have

Shows that

is common divisor of

But from

G.C.D of

is

Then by definition of G.C.D, we have

From

, we have

Therefore,

This completes the proof.


Theorem 29: If

then show that

Proof:Suppose that

From

, we have

This Shows that

is common divisor of

But from

G.C.D of

is

. Then by

But from

G.C.D of

is

. Then by

definition of G.C.D, we have

From

, we have

This Shows that

is common divisor of

definition of G.C.D, we have


21
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics

Analytic Number Theory

Since it is given that


Two integer

From

such that

, we have

The integers

such that

Put in

From

From

we have

, we have

From
From
Multiplying

.
This completes the proof.

22
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics
Least Common Multiple

Analytic Number Theory

Definition(l.c.m):The smallest positive integer which is multiple of two numbers


multiple of

and

and is denoted by

and

is called the lease common

Alternative definition of L.C.M:An integer m is called L.C.M of

if it satisfies the following axioms:

If

then

Theorem 30: L.C.M of two numbers

is unique.

Proof:Suppose that

If is L.C.M of
have

then

is common multiple of

Then by definition of L.C.M, we

then

is common multiple of

Then by definition of L.C.M, we

If is L.C.M of
have

From

, we have

This proves the uniqueness of the L.C.M.


|

Theorem 31: If

Proof:To prove m is L.C.M of

we shall prove that m satisfies all the axioms of L.C.M

As d is greatest common divisor of


Also,|

. Then,

|
|

This is the 1st axiom of L.C.M


Since it is given

If , then

a point

such that
23

Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

B.Sc. Mathematics
If , then

Analytic Number Theory

a point

such that

Therefore,
|

|
|

|
|

This is the 2nd axiom of L.C.M.


Let

. Then

Since

two integers

such that

implies that

Therefore,
Comparing (i) & (ii), we have

The above last expression implies that

Substituting

in

such that

, we have

This is the 3rd axiom of L.C.M.


Since m satisfies all the axiom of L.C.M. So m is L.C.M of
|

and therefore,

24
Muhammad Umer Asghar (0307-4896454)

For Online Skype Tuition (Skype ID): sp15mmth06678

You might also like