CSCI 2824: Lecture 7In this lecture we will cover:
Topics covered: Chapter 2.2 of the book. Proving Properties of NumbersLet us start with divisibility. An integer The following concepts are all equivalent:
Divisibility by Theorem -1: If Proof
For your convenience, we split the proof step by step to make the flow of reasoning steps clear.
Important Note
Whenever in a proof, a number can be written as Theorem-2 If Proof
Proofs on Consecutive NumbersTheorem-3 The product of two consecutive numbers is always even. Proof
Proofs by Case-SplittingA number Theorem-4 If a perfect square is even, then it is divisible by Proof
Therefore, we conclude that QED. There are other ways of proving this theorem that we will revisit when we study proofs by contradiction. Modular ArithmeticWe have been using the “mod” operator so far in some proofs. Let us study the properties of the “mod” operator in more detail. Modulo Operator
Let Let us look at examples. Example
We write As a convention, the result of a modulo operation Also, we always apply over Note:
Odd number: A number We can distribute Secondly, Let us prove these facts: Theorem: Suppose number Proof
Let Therefore QED. Theorem: For any integers Proof
Let us assume Therefore, QED. Similarly, we can prove that modulo operator distributes over multiplication. Theorem For any integers Proof
Let
Therefore, using the distributivity of modulo operator over addition (proved in the previous theorem), Therefore, This shows that (QED) Computing moduloLet us try some interesting problems involving modulo arithmetic. Example 1For instance, let us try and compute
As you can see the pattern that emerges is
Example 2We know In general, the last digit of a number Answer
Example 3Find the smallest natural number that leaves a remainder of Let our mystery number be Now consider Therefore, we note that Let us choose The smallest number is indeed We will examine more problems of this sort when we look at the Chinese remainder theorem. |