Scribd
Upload
72 views5 pages

18.781 - Theory of Numbers, Spring 2012: Introduction, Diophantine Equations, Divisibility, GCD

This document provides an overview of the 18.781 - Theory of Numbers course taught at MIT in Spring 2012 by Professor Abhinav Kumar. The course covers fundamental topics in number theory including Diophantine equations, properties of integers such as divisibility, and the greatest common divisor (GCD). It introduces key concepts like the successor operation, principle of mathematical induction, and well-ordering principle for natural numbers. The document provides definitions, theorems and proofs related to division with remainder, GCD, co-primality and their properties.

Uploaded by

Martha Ellis
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
72 views5 pages

18.781 - Theory of Numbers, Spring 2012: Introduction, Diophantine Equations, Divisibility, GCD

This document provides an overview of the 18.781 - Theory of Numbers course taught at MIT in Spring 2012 by Professor Abhinav Kumar. The course covers fundamental topics in number theory including Diophantine equations, properties of integers such as divisibility, and the greatest common divisor (GCD). It introduces key concepts like the successor operation, principle of mathematical induction, and well-ordering principle for natural numbers. The document provides definitions, theorems and proofs related to division with remainder, GCD, co-primality and their properties.

Uploaded by

Martha Ellis
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 5

18.

781 - Theory of Numbers, Spring 2012


Massachusetts Institute of Technology
taught by Prof. Abhinav Kumar

Lecture 1
Introduction, Diophantine Equations, Divisibility, GCD
Introduction - First, what is number theory? At the most basic level, its the
study of the properties of the integers Z = {. . . , 2, 1, 0, 1, 2, . . . } or the natural numbers N = {0, 1, 2, . . . }. A few reasons to study number theory:
1. In some ways the most basic piece of mathematics, for you can build
everything else from natural numbers.
negation

division

real analysis, Dedekind cuts

N Z Q R C
From there you can get to calculus, topology, etc.
God made the integers, all the rest is the work of man.
Leopold Kronecker (1823-1891)
2. Some of the most elegant mathematics!
Mathematics is the queen of sciences and number theory is the
queen of mathematics. She often condescends to render service
to astronomy and other natural sciences, but in all relations she
is entitled to the first rank.
Carl Friedrich Gauss (1777-1855)
Number theory uses techniques from algebra, analysis, geometry and
topology, logic and computer science, and often drives development in
these fields.

3. Has some great applications - eg., RSA public key cryptography, construction of expander graphs, coding theory, etc.
4. Its a great place to learn how to read and write proofs
5. Its a rich source of conjecture which are easy to state and VERY hard to
prove
Diophantine Equations - Given some equation, look for integer solutions.
Eg. The Pythagorean Theorem
a2 + b2 = c2
results in triples (3, 4, 5), (5, 12, 13), (7, 24, 25), (8, 15, 17), etc. This can also be
generalized to Fermats Last Theorem,
an + bn = cn
or to the open question of the existence of a perfect cuboid, where a2 + b2 +
c2 , a2 + b2 , a2 + c2 , and b2 + c2 are all squares, with integer a, b, c.
Basic Properties of N
1. Successor Operation - Fundamental operation for natural numbers:
s(n) = n + 1
Addition then becomes repeated applications of successor, multiplication is repeated addition
2. Principle of Mathematical Induction (PMI) - For property p(n) true or
false, if 1. p(1) true and 2. p(n) p(n + 1), then p(n) true for all natural
numbers
3. Well Ordering Principle (WOP) - Every nonempty subset of natural numbers has a smallest element
PMI and WOP are equivalent - each follows from the other
4. Divisibility - Say a|b if b = ax for a, b, x Z and a 6= 0
(a) n N, n|0
(b) a|b, b|c = a|c
(c) a|b, a|c = a|bx + cy x, y Z
Theorem 1 (Division with Remainder). Given a, b Z with a > 0, q, r Z such
that b = aq + r, 0 r < a
2

Proof. Let set S = {b + ka : k Z, b + ka 0}.


(
b > 0 then b + 0a S
S is nonempty:
b < 0 then adding a enough times makes it positive
We can make this rigorous by another application of WOP - since S is nonempty,
it has a smallest element r = b + ka for some k. Setting q = k results in
r = b qa. r 0 because its in S, and r < a because if not, then b + (k 1)a
would be smallest element in S instead ( ).

Note: a|b iff r = 0
(Definition): If a and b are not both 0, then gcd(a, b) or (a, b) is the greatest
common divisor of a and b
Theorem 2. Let g = (a, b). Then v0 , y0 Z such that g = ax0 + by0 .
Proof. Let set S = {ax + by : x, y Z, ax + by > 0}, and assume a, b not both 0.
(
a > 0, a S
S is nonempty (wlog, assume a 6= 0):
a < 0, a S
Since S is nonempty, it has a smallest element g = ax + by. To prove theorem,
show that g|a, g|b, and g is largest common divisor (if another common divisor
d, then d|g).
g|a by contradiction (assume g - a).
a = gq + r, 0 < r < g
r = a gq
= a q(ax + by)
= a(1 qx) b(qy)
r S, but r < g, so g isnt smallest

g is largest common. If d|a and d|b, then d|ax + by = g


Since g|a, g|b, and g is largest common divisor, then g is gcd of a, b.
(Definition) Co-Prime, Relatively Prime:
prime, or relatively prime.
3

If (a, b) = 1, then a and b are co-

Corollary 3. If (a, m) = 1 and (b, m) = 1, then (ab, m) = 1


Proof.
1 = ax + my, ax = 1 my
1 = bx0 + my 0 , bx0 = 1 my 0
abxx0 = (1 my)(1 my 0 )
= 1 my my 0 + m2 yy 0
= 1 + m(y y 0 + myy 0 )
1 = ab(xx0 ) + m(y + y 0 myy 0 )


Corollary 4. If c|ab and (c, a) = 1, then c|b
Proof.
(a, c) = 1 1 = ax + cy
b = abx + bcy
c|ab, c|bc c|(abx + bcy) = b


MIT OpenCourseWare
http://ocw.mit.edu

18.781 Theory of Numbers


Spring 2012

For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

You might also like