Search for notes by fellow students, in your own course and all over the country.

Browse our notes for titles which look like what you need, you can preview any of the notes via a sample of the contents. After you're happy these are the notes you're after simply pop them into your shopping cart.

My Basket

You have nothing in your shopping cart yet.

Title: Tips for Proofs
Description: a short guide into writing proofs involving divisibility, the real numbers, and more. Some examples are given.

Document Preview

Extracts from the notes are below, to see the PDF you'll receive please use the links above


4
...
In this case, we write a | b
...


A Restatement
Theorem 3
...


Multiple and Divisor Description
If a | b, then we also say that b is a multiple of a and that a is a divisor
of b
...


Examples
Result 4
...
If a | b and b | c,
then a | c
...
Then b = ax and c = by, where x, y ∈ ℤ
...

Since xy is an integer, a | c
...
4 Let x ∈ ℤ
...

Assume that 2 | (x² - 1)
...
Thus, x² =
2y + 1 is an odd integer
...
12 that x too is
odd
...
Then,

x² - 1 = (2z + 1)² - 1 = (4z² + 4z + 1) - 1 = 4z² + 4z = 4(z² + z)
Since (z² + z) ∈ ℤ, 4 | (x² - 1)
...
6 Let x ∈ ℤ
...

(b) If x is even, then 4 | x²; while if x is odd, then 8 | (x² - 1) and
so 4 | (x² - 1)
...
6(a):
Assume, first, that 3 | x
...
Hence, x² =
(3q)² = 3(3q²)
...
Next, suppose that
3 ∤ x
...
We
consider these two cases
...
6(b):
First, assume that x is even
...
Thus, x² =
(2q)² = 4q²
...
Next, suppose that x is odd
...
We consider
these two cases
...
2 Proofs Involving Congruence of Integers
Background Knowledge
An integer is even if it's in the form 2q and odd if it's 2q + 1
...


Novel Knowledge
Integers can be expressed as 3q, 3q + 1, or 3q + 2 based on their
remainder when divided by 3
...


The concept of congruence is when one integer is similar to another
modulo a third
...

Modulo Notation
Every integer can be represented in forms related to division by 2 or 3
...

When divided by 4, every integer x will be congruent to 0, 1, 2, or 3
modulo 4
...


This pattern of congruence can be extended for divisions by any
integer n that's 5 or greater
...
3 Proofs Involving Real Numbers
Properties of Real Numbers
1
...

2
...

3
...

4
...

- When c > 0, the relation a/c ≥ b/c is true if a ≥ b, and both ac >
bc and a/c > b/c hold when a > b
...

5
...

4
...
The intersection of sets A and B is denoted by A ∩ B, which includes
all elements that are common to both A and B
...
The union of sets A and B is represented by A ∪ B, consisting of
elements that are in A, in B, or in both
...
The difference between sets A and B is represented by A - B, which
consists of elements that are in A but not in B
...
The relative complement of B in A is A - B
...


5
...

6
...
1, provide visual representations of set
operations such as A - B and A ∩ B
...

7
...
To prove the inclusion C ⊆ D, one has to
show that every element in C is also in D
...
If set C has no elements, it is the empty set {∅}, and is always a
subset of D
...
5 Fundamental Properties of Set Operations

Preface
Key results about sets are derived from fundamental set properties,
which stem from logical statements discussed in Chapter 2
...


4
...
If
either A or B is an empty set, then the Cartesian product is also empty
...



Title: Tips for Proofs
Description: a short guide into writing proofs involving divisibility, the real numbers, and more. Some examples are given.