Introduction to Abstract Mathematics MA 103. Exercises 1. 1 Consider the following (false) statement:

Size: px
Start display at page:

Download "Introduction to Abstract Mathematics MA 103. Exercises 1. 1 Consider the following (false) statement:"

Transcription

1 Introduction to Abstract Mathematics MA 103 Exercises 1 Relevant parts of the Lecture notes: Chapter 1 and Sections , 2.12 and Relevant parts of the text books: Biggs: Chapter 1 and Sections ; Eccles: Chapters 1 4. Try to do as many questions as you can, and hand in whatever you have. Hand in your homework by putting it in the homework box of your class teacher on the Ground Floor of Columbia House. Always write your name, the course number (MA 103), your class group number and your class teacher s name on your homework. Use standard A4 paper and leave room in the margins for remarks, corrections, etc. from your class teacher. Use paperclips or staples to keep the pages of your homework together. Here are some general remarks about writing mathematics: Always justify your answers, whatever the wording of the question. Most answers to exercises in this course will require a careful explanation of why something is true or false. You should give your argument in enough detail for somebody else to follow what you write. Write your answers in English. That is, don t just use symbols, but use words to explain how you get from each line to the next. Avoid using the symbols or (if you don t know what they mean, that s just fine), or arrows like or = in mathematical arguments. Use words! In the questions below, we assume that we are always dealing with natural numbers. So if a statement is made about certain numbers n, say, then the fuller version of this statement would start: for all natural numbers n, Consider the following (false) statement: If n is a multiple of 16, then n is not a multiple of 6. What properties must the number n have, for n to be a counterexample to this statement? Find a counterexample to the given statement. 2 Show that the following statement is true, by giving a proof: If n is a multiple of 4, then 9n+30 is a multiple of 6. c London School of Economics, 2015

2 MA 103 Introduction to Abstract Mathematics Exercises 1 Page 2 3 Construct the truth table for the statement p (q r). (b) Decide whether the statement in is logically equivalent to (p q) (p r) or not. 4 Construct the truth table for the statement (p q) r. (b) Construct the truth table for the statement p (q r). Construct the truth table for the statement (p q) (q r). (d) In view of your answers, why do you think we should never write p q r? 5 Write down the converse of the statements in Questions 1 and 2. (b) For each of the converses, determine whether the converse statement is true or false. Justify your answer by giving a proof or a counterexample. 6 Write down the contrapositive of the statements in Questions 1 and 2. (b) For each of the contrapositives, determine whether the statement is true or false. 7 For which natural numbers n is 3 n 1 a prime number? Justify your answer. 8 Explain what is wrong with the following proof of the statement: If n and m are natural numbers, then 4 = 3. Proof: Denote the sum n+m by t. Then we certainly have n+m = t. This last statement can be rewritten as (4n 3n) +(4m 3m) = 4t 3t. Rearrangement leads to 4n+4m 4t = 3n+3m 3t. Taking out common factors on each side gives 4(n + m t) = 3(n + m t). Removing the common term now leads to 4 = 3. (b) Explain what is wrong with the following proof of the statement: If n and m are natural numbers, then n = m. Proof: Denote the sum n+m by t. Then we certainly have n+m = t. Multiplying both sides by n m yields (n+m)(n m) = t(n m). Multiplying out gives n 2 m 2 = tn tm. This can be rewritten as n 2 tn = m 2 tm. Adding 1 4 t2 to both sides gives n 2 tn+ 1 4 t2 = m 2 tm+ 1 4, t2. This is the same as (n 1 2 t)2 = (m 1 2 t)2. So we get n 1 2 t = m 1 2 t. Adding 1 2t to both sides gives n = m.

3 Introduction to Abstract Mathematics MA 103 Exercises 2 Relevant parts of the Lecture notes: Sections Relevant parts of the text books: Biggs: Chapter 2 and Sections ; Eccles: Sections , and 7.6. Always justify your answers. In the questions below you must take care to note whether the question deals with natural numbers or with integers. 1 Write down the mathematical notation for the following sets: (i) the set A of all natural numbers that are multiples of five; (ii) the set B of all integers whose fourth power is less than (b) List the elements of the set B in (ii). 2 For each of the following pairs of sets A, B, determine whether the statement A B is true or false. Make sure you explain why! A = { 1, 3, 9}, B = { m m is an odd integer}; (b) A = {0, 1, 3, 7, 1023}, B = { m m = 2 n 1 for some natural number n}; A =, B = {0}; (d) A = {n N n is even}, (e) A = {1}, B = { N}. B = {n N n 2 is even}; 3 Consider the set X = { A A { 0, 1} }. In words: X is the set consisting of those A which are subsets of {0, 1}. Exactly what does it mean to say that A is an element of X? Exactly what does it mean to say that B is a subset of X? (If you are not sure, go back and look at the definitions of these terms.) (b) Is {0} an element of X? Is {0} a subset of X? (d) Is there a set which is both an element of X and a subset of X? Justify all your answers carefully. c London School of Economics, 2015

4 MA 103 Introduction to Abstract Mathematics Exercises 2 Page 2 4 Write out the following statements using mathematical notation for the sets and quantifiers. (Ordinary phrases like such that are acceptable.) For every integer x, there is an integer z such that x z 2x. There is a natural number n such that, for every natural number m, we have n m. (b) Prove that the first statement in is false by giving a counterexample. Is the second statement in true or false? (Justify your answer in detail.) (d) Formulate the negation for each of the two statements, and express these as simply as you can. Write these negations out in mathematical notation as well. 5 Decide whether the following statement is True or False, and justify your assertion by means of a proof or a counterexample: For all sets A, B and C, we have A (B C) = (A B) C. 6 Give a proof that, for all sets A, B, C, we have A (B C) (A B) (A C). (b) Give a proof that, for all sets A, B, C, we have A (B C) = (A B) (A C). 7 This is an extra question, and it is not directly related to the material discussed this week. Try to see how far you can get; it s a good way to test your mathematical skills. The numbers 1 to 25 are arranged in a square array of five rows and five columns in an arbitrary way. The greatest number in each row is determined, and then the least number of these five is taken; call that number s. Next, the least number in each column is determined, and then the greatest number of these five is taken; this number is called t. Arrange the numbers 1 to 25 in a square array by writing 1, 2, 3, 4, 5 in the first row, then 6, 7, 8, 9, 10 in the second row, etc. Determine s and t for this arrangement. (You should have s = t.) (b) Find a way to arrange the numbers 1 to 25 in a square array which leads to values s, t with s = t. Write out carefully a proof of the following statement: For every possible arrangement in a square array of the numbers 1 to 25, if we obtain s and t as described above, then we have s t.

5 Introduction to Abstract Mathematics MA 103 Exercises 3 Relevant parts of the Lecture notes: Sections and Relevant parts of the text books: Biggs: Chapter 5; Eccles: Chapter 5. Always justify your answers. 1 Use the principle of induction to prove that, for all n N, n 3 + 5n is a multiple of 3. (b) Use the principle of induction to prove that, for all n N, n 3 + 5n is a multiple of 6. (You may use the result that, for every k N, k 2 + k is an even number.) 2 Prove that n k=1 (4k 3) = n(2n 1), for all n 1. 3 Prove that 2m 2 m, for all natural numbers m. Now, for m a natural number, let P(m) be the statement: m(m 1)+10 2 m. (b) Use to show that, for any natural number m, if P(m) is True, then P(m+1) is True. For which natural numbers m is P(m) True? Justify your answer carefully. 4 The natural numbers u n are defined recursively as follows. u 0 = 2; u n = 2u n (n 1). Write down the first few values of u n. (b) On the basis of these values, guess a formula for u n of the form u n = a2 n + b, where you need to guess the value of the integers a and b. Use induction to show that your formula is correct. 5 Write down explicit formulae for the expressions u n, v n and w n defined as follows: u 1 = 1; u n = u n (n 2); v 1 = 1; v n = n 2 v n 1 (n 2); w 0 = 0; w n = w n 1 + 3n (n 1). (Start by working out the first few values in each case without doing the arithmetic, so you might write, for instance, u 2 = 1+3, u 3 = (1+3)+3,... and try to spot the pattern emerging. It is a good idea to check that the formula you give is correct for the first one or two values of n.) c London School of Economics, 2015

6 MA 103 Introduction to Abstract Mathematics Exercises 3 Page 2 6 For each of the sets X, Y, Z below, find the least element in that set. X = { x N x 3 500}; Y = { x N x = k for some k N}; Z = { x N x < 25x}. (b) And, if it exists, find the greatest element in X, Y and Z. ( Make sure you justify your answers. ) Note: make sure you read the definitions of the sets carefully. What exactly does it mean, for instance, to say that 11 is an element of Y? 7 This is an extra question, and it is not directly related to the material discussed this week. Try to see how far you can get; it s a good way to test your mathematical skills. Eddie and Ayesha, a married couple, go to a party in which there are four other couples. Some people from the group know each other, others have never met. People who meet for the first time are introduced and shake hands. No one shakes hands with her/his own partner, and no one shakes hands more than once with the same person. At the end of the party, Eddie asks the nine others how many people they had shaken hands with. To his surprise, all answers are different. How many people shook hands with Eddie s wife, Ayesha? (b) If you find part hard, you can try the following easier variants first: (i) (ii) What would the answer be if there was only one other couple? (Use the same assumptions on whom can shake hands with whom. But now assume at the end Eddie asks the three others how many people they shook hands with, and he gets three different answers. And the question is to find out how many people shook hands with Ayesha.) And what is the answer if there are two other couples? (Again, use the same assumptions: Eddie asks five people and gets five different answers.) (iii) Finally, try to answer the original question.

7 Introduction to Abstract Mathematics MA 103 Exercises 4 The material for this week is not included in the Lecture notes. You will be give an additional set of notes. Relevant parts of the text books: Eccles: Section 5.4. Always justify your answers. 1 Consider female cats that reproduce by the following rule: A cat born at time n has two daughters both born at time n+1, and otherwise no further female offspring. Starting with a single female cat born at time 1, what is the number of female cats born at time n, for any natural number n? Justify your answer. (b) Suppose rabbit pairs reproduce by the following rule: A rabbit pair born at time n gives birth to one further pair in every month starting from month n+1. Rabbits never die. Starting with a single rabbit pair at time 1, what is the total number of rabbit pairs at time n, for any natural number n? Justify your answer. 2 If a rectangle has sides of lengths A and B where A B, then we call A/B the proportion of the rectangle (so a square has proportion 1, and any non-square rectangle has proportion larger than 1). The Golden Ratio φ is defined as the proportion of a rectangle with the property that, after removing a square, the remaining smaller rectangle has the same proportion φ, as shown in the picture on the left: Consider now the different proportion α of a rectangle that has the property that when dividing the longer side in half, the resulting two rectangles each have that same proportion α, as shown in the above picture on the right. Determine α. The standard paper formats A0, A1, A2, A3, A4 etc. are defined by the rule that they have this proportion α and each is the previous format cut in half. So A4 is obtained by cutting A3 in half, for example. In addition, A0 is exactly one square metre in area. c London School of Economics, 2015

8 MA 103 Introduction to Abstract Mathematics Exercises 4 Page 2 (b) Determine the sizes (rounded to a millimetre) of A0, A1, A2, A3, A4 (the familiar A4 format allows you to check your result for plausibility). What is the weight of an A4 sheet of paper that weighs 80 grams per square metre? 3 Analogous to the method for finding Binet s explicit formula for the Fibonacci numbers, show how to derive explicit formulas for the following recursively defined sequences (which, apart from, have been given, and proved to hold by induction, in an earlier lecture): a 1 = 9, a 2 = 13, and a n = 3a n 1 2a n 2 for n 3; (b) b 1 = 7, b 2 = 23, and b n = 5b n 1 6b n 2 for n 3; c 1 = 1, c 2 = 2, and c n = 2c n 1 + 3c n 2 for n 3. 4 Recall that a unit fraction is of the form 1/a for a natural number a. An Egyptian fraction is a sum of distinct unit fractions. Show, using Egyptian fractions, how to divide 3 loaves of bread among 11 people so that everyone gets the same kinds of pieces. The greedy method to present a fraction p/q, where 1 p < q, as an Egyptian fraction finds the smallest integer a so that p/q 1/a, which is a = q/p, and applies this recursively to the difference p/q 1/a until that difference is zero. (b) Represent 7/15 as an Egyptian fraction using the greedy method. Represent 3/7 as an Egyptian fraction using the greedy method. How does this help you to distribute 3 loaves of bread among 7 people? If this does not work, how would you modify the method? (Think of how to divide the bread.)

9 Introduction to Abstract Mathematics MA 103 Exercises 5 Relevant parts of the Lecture notes: Sections and 4.8. Relevant parts of the text books: Biggs: Chapter 5 and Sections ; Eccles: Sections , , and Always justify your answers. Before you start these exercises, make sure you have in front of you the precise definitions you need. In particular, you shoud know exactly what it means for a set to have m elements. 1 The functions α and β from N to N are defined by α(n) = 2 n, β(n) = n 2 (n N). Find formulae for the compositions αβ and βα. (b) Determine whether αβ and βα are different functions or not. 2 Which of the following functions from Z to Z are injections, which are surjections, and which are bijections? f(x) = x 3 (x Z); h(x) = 2x+3 (x Z); (b) g(x) = 3 x (x Z); (d) j(x) = { x+1, if x is even, x+3, if x is odd, (x Z). For each of the functions that are bijections, give the inverse function. 3 The function z from N to N is defined recursively by the rules z(1) = 1 and z(n + 1) = { 1 2 (z(n)+3), if z(n) is odd, z(n)+5 if z(n) is even, for all n 1. Show that z is neither an injection nor a surjection. 4 Let X = {1, 2, 3} and Y = {a, b, c, d}. How many functions are there from X to Y? (b) How many bijections are there from X to Y? How many injections are there from X to Y? Explain your answers. c London School of Economics, 2015

10 MA 103 Introduction to Abstract Mathematics Exercises 5 Page 2 5 In each of the following cases, find a value for m such that a bijection f : N m X exists, and give a formula for such a bijection: X = { 12, 15, 18, 21, 24, 27, 30}; (b) X = { x Z 2 x 4}; X = { x Z x 2 16}. 6 Let A be a finite set with m elements, for some m N. And suppose x is an object that is not a member of A. Prove, using the definitions, that A {x} has m+1 elements. (All you are told about A is that it has m elements. You need to show that there is a bijection from N m+1 to A {x}.) 7 Explain what is wrong with the following proof of the statement: Proof: If at least one person in the world has blue eyes, then everybody has blue eyes. Instead of the statement above, we prove the following: Theorem: For all n N we have: if in a group of n persons there is at least one person with blue eyes, then everybody in that group has blue eyes. Once the theorem is proved, the original statement follows if we take for n the number of people in the world. Proof of Theorem: We prove the theorem using induction. First, the result is true for n = 1. Since if we have a group of one person, and that person has blue eyes, then everybody in the group has blue eyes. Now suppose the result is true for n = k, hence we suppose that: if in a group of k persons at least one person has blue eyes, then everybody in that group has blue eyes. We are going to prove that this gives the statement for n = k + 1: if in a group of k + 1 persons there is at least one person with blue eyes, then everybody in that group has blue eyes. So take a group of k+1 persons in which at least one person has blue eyes. Let s use the name A for one of the persons with blue eyes. Since k+1 2, there is at least one person in the group who is not A. Call that person B. Now remove B from the group. What is left is a group of k people in which at least one has blue eyes (since A is in that group). Hence everybody in that group has blue eyes (induction hypothesis). Now put B back in, but remove another person. Again we have a group of k people with at least one person with blue eyes. (In fact, all people except B are known to have blue eyes.) So also for this group we must conclude that everybody has blue eyes. In particular B must have blue eyes as well. So we see that everybody in the original group of k+1 persons has blue eyes. By the principle of induction it follows that the result is true for all n N.

11 Introduction to Abstract Mathematics MA 103 Exercises 6 Relevant parts of the Lecture notes: Sections and Relevant parts of the text books: Biggs: Section , and 7.6; Eccles: Section 11.1 and Chapter 22. (The treatment of equivalence relations in Eccles is somewhat different of the way we do it, so read Chapter 22 with care.) Always justify your answers. (Hint: in the first three exercises, try using the Pigeonhole Principle.) 1 Vladimir has 5 pairs of blue socks, 10 pairs of red socks, and 3 pairs of grey socks, all loose in a drawer. He picks a number of socks in the dark (i.e. he can t see the colours of the socks). What is the minimum number of socks he has to pick to be guaranteed to have two of the same colour? 2 Let T be a set of 11 different natural numbers. Show that there are two elements t 1, t 2 T, t 1 = t 2, such that t 2 t 1 is divisible by In Question 7 of Exercises 3 we met Eddie and Ayesha. A couple of weeks after that question they attend another party. Again, some pairs of people shake hands, and some pairs don t. The total number of people at the party is n, for some n 2. Explain why, no matter what handshakes take place, there are certain to be two people at the party who shake the same number of hands. 4 For each of the following relations on the set N, decide whether the relation is reflexive, whether it is symmetric, whether it is transitive, and whether it is an equivalence relation. Justify your answers, giving short proofs or explicit counterexamples as appropriate. the relation xry given by x y + 2 ; (b) the relation xsy given by x y is even ; the relation xty given by x is a multiple of y ; (d) the relation xuy given by x = 1 and y = 1. 5 Show that the relation V on Z defined by setting xvy if x 2 y 2 2 is an equivalence relation. Describe the equivalence classes of this relation. c London School of Economics, 2015

12 MA 103 Introduction to Abstract Mathematics Exercises 6 Page 2 6 Explain what is wrong with the following proof of the statement: If S is a relation on a set X that is both symmetric and transitive, then S is an equivalence relation. Proof: Suppose S is a symmetric and transitive relation on a set X, and let a be any element of X. Now, if asb, then bsa (since S is symmetric), and so asa (since S is transitive). Therefore S is reflexive, as well as being symmetric and transitive. So S is an equivalence relation. Hint: consider the relation U in Question 4(d). Metahint: why might we suggest you do that? 7 For a subset S of Z, we say that m is a lower bound of S if for all s S we have m S. And M is an upper bound of S if for all s S we have M S. For each of the following (false) statements, give a counterexample (i.e. a set S of integers with the first property, but not the second). If S is a set of integers with an upper bound, then S has a lower bound. (b) If S is a set of integers with an upper bound, then S = {x Z x / S} has a lower bound. If S is a set of integers with no upper bound, then S has an upper bound.

13 Introduction to Abstract Mathematics MA 103 Exercises 7 Relevant parts of the Lecture notes: Chapter 6. Relevant parts of the text books: Biggs: Chapter 8; Eccles: Chapters and Section Always justify your answers. 1 Write down the definition of the statement a b (a divides b) for two integers a, b. Use this definition to answer the following questions. (b) For which integers z is it true that 0 z? For which integers z is it true that z 0? (d) For which integers z is it true that 1 z? (e) For which integers z is it true that z 1? 2 Which of the following statements, for integers a, b, c, d, p, q, are true in general? Justify your answers, referring again to the definition of divisibility. If d a and d b, then d (pa + qb). (b) If a c and b c, then (ab) c. If a c and b d, then (a+b) (c+d). (d) If a c and b d, then (ab) (cd). 3 Use Euclid s algorithm to find the greatest common divisor of 2009 and 820. (b) Find integers x, y so that gcd(2009, 820) = 2009x + 820y. 4 Show that gcd(96, 42) = 6, and find integers x and y satisfying 96x+42y = 6. Hence find integers p and q satisfying 96p + 42q = 60. (b) Let a and b be positive integers, and let d = gcd(a, b). Prove that, for c Z, we have d c if and only if there are integers x, y so that c = xa+yb. 5 Let a, b be integers, b > 0. In the lecture notes, it is proved that Theorem: if a > 0, then there exist q, r Z such that a = qb+r with 0 r < b. Show how you can use this statement to deduce that if a < 0, then there exist q, r Z such that a = qb+r with 0 r < b. c London School of Economics, 2015

14 MA 103 Introduction to Abstract Mathematics Exercises 7 Page 2 6 Let n 2 be a number that is not a prime. Show that there is a divisor q of n, with q 2, so that q 2 n. (b) Show that there is a divisor p of n so that p 2 n, p 2 and p is prime. 7 Let F 0, F 1, F 2, F 3,... be the Fibonacci numbers, defined by F 0 = 1; F 1 = 1; F n = F n 1 + F n 2, for n 2. Prove that for all n 0 we have gcd(f n+1, F n ) = 1. (b) Prove that for all n 0 we also have gcd(f n+2, F n ) = 1. (Hint: check what Euclid s algorithm would do if you started to compute gcd(f n+1, F n ) or gcd(f n+2, F n ).) Is it true that, for all n 0, we have gcd(f n+3, F n ) = 1? (d) Show that, for n 3, F n+3 = 4F n + F n 3. What does this tell us about gcd(f n+3, F n )? Maple questions Since all students following this course are also supposed to follow (or have followed) MA100 Mathematical Methods, everybody should have some experience with using the computer package Maple. This program is available on all PCs in the school. Future exercises sheets will contain some questions in which you are asked to use Maple to explore aspects of the theory. In your answers, you should say what commands you used and what the output is. You may attach a printout of your work as well if you wish. 8 For all k N, let p k be the k-th prime, so p 1 = 2, p 2 = 3, etc. The maple command to find the k-th prime is ithprime(k). Use this command to find p 15, p 150 and p 1,500. (b) The maple command to check if a number n is prime is isprime(n). Use this command to find all prime numbers between 1,000,000 and 1,000,010. We prove in lectures that the set of primes is infinite, using a proof by contradiction. This proof looks at the numbers N m = p 1 p 2 p m + 1, for m 1. So N 1 = p = 2+1 = 3, N 2 = p 1 p = = 7, etc. We prove that N m is not divisible by any of p 1, p 2,..., p m, so that N m is either a prime or it is divisible by a prime larger than p m. Use Maple to find out which of these numbers N m, for m = 1, 2,..., 15, is actually prime. The Maple command to find the prime factors of n is numtheory[factorset](n). (It is easier to first load the number theory package by typing with(numtheory), and then use the command factorset(n).) (d) Use Maple to compare p m with the smallest prime number that divides N m, for m = 1, 2,..., 15.

15 Introduction to Abstract Mathematics MA 103 Exercises 8 Relevant parts of the Lecture notes: Chapter 7. Relevant parts of the text books: Biggs: Sections ; Eccles: Chapters Always justify your answers. 1 Find the representations of (2008) 10 in base 2, base 3 and base 11. (b) What is the normal decimal notation for (100011) 2 and (100011) 3? For any integer m 2, what is 1 in base m? And what is m in base m? 2 Let m be an integer, m 2. Prove that, for all elements r, s, t Z m, we have (r s) t = r (s t). (Remember that an element of Z m is an equivalence class [x] m for some x Z.) (b) Prove that for all elements r, s Z m we have r s = s r. Show that in Z m we have (m 1) 1 = m 1. 3 Solve the following systems of equations; i.e., in each case, find all pairs (x, y) satisfying both equations. Make sure to justify each step carefully. { 2x+ y = 1, x+2y = 3, { 2x+ y = 2, x+2y = 4, in Z 7 ; (b) { 2x+ y = 1, x+2y = 3, in Z 6 ; in Z 6. 4 Find the inverses (if they exist) of 3 in Z 11 ; (b) 11 in Z 16 ; 14 in Z 16. (d) 100 in Z For part and (b) of this question, we work in Z p, where p is a prime. (So what result from lectures is likely to be useful?) Suppose a, b Z p have the property that ab = 0 in Z p. Show that a = 0 or b = 0 in Z p. (b) Using the result in, show that the equation x 2 = 1 has only the solutions x = 1 and x = 1 in Z p (which is the same as x = 1 and x = p 1 in Z p ). How many solutions are there for the equation x 2 = 1 in Z 2? (d) Find an integer m 2 so that the equation x 2 = 1 in Z m has more than two solutions. c London School of Economics, 2015

16 MA 103 Introduction to Abstract Mathematics Exercises 8 Page 2 6 We want to solve the quadratic equation y 2 + y 11 = 0 in Z 41. Solve the equation 2a = 1 in Z 41. (b) Find elements a, b Z 41 such that y 2 + y 11 = (y+a) 2 b in Z 41. Use (b) and Question 5(b) to write down the solution(s) of y 2 + y 11 = 0 in Z 41. Maple questions 7 Find all primes p with 41 p 107. (Remember that the Maple command to find the i-th prime number is ithprime(i).) The Maple command to solve equations in modular arithmetic Z m is msolve. Use the Maple help (or type?msolve ) to find out how to use this command for different values of m. (b) Solve the equation y 2 + y 11 = 0 in Z p for all primes p with 41 p 107. You will notice that there are no solutions (or at least, Maple doesn t give solutions) for certain values of p. Use your results (and if necessary check for more prime values) to make a conjecture describing the primes p for which there are solutions to y 2 + y 11 = 0 in Z p.

17 Introduction to Abstract Mathematics MA 103 Exercises 9 Relevant parts of the Lecture notes: Section Relevant parts of the text books: Biggs: Sections 6.6, and 9.7; Eccles: Chapters (The treatment of this material in Eccles is somewhat different of the way we do it, so read those chapters with care.) Always justify your answers. 1 In the lectures, we gave a construction for the rational numbers. This started by looking at the set S of all pairs of the form (a, b), with a, b Z and b = 0, and then considering the relation R on R defined by: (a, b)r(c, d) if and only if ad = bc. Explain why things would go badly wrong if we allow S to include pairs (a, b) with b = 0. (The answer is not that if b = 0 the division a/b doesn t make sense. We define division only after we ve established certain properties of the relation R, and defined Q and its arithmetic operations.) We define the set Q to be the set of equivalence classes of the relation R, and defined an addition operation on Q by setting [a, b]+[e, f] = [a f + be, b f], for all (a, b),(e, f) S. (We re using the shorthand [a, b] here for [(a, b)].) (b) Suppose that(a, b),(c, d) and(e, f) are in S, and that(a, b)r(c, d). Show that this means that (a f + be, b f)r(c f + de, d f). Use this to show that if (r, s)r(t, u) and (v, w)r(x, y), then [r, s]+[v, w] = [t, u]+[x, y]. (This means that the addition operation defined on Q is well-defined.) 2 Write down 5 rational numbers lying strictly between 4/3 and 41/30. (b) Explain how you would extend the method you used in to find 5,000 rational numbers lying strictly between 4/3 and 41/30. 3 Express the following rational numbers in decimal representation: (i) ; (ii) (b) Express the recurring decimal as a rational number p/q, where p and q are integers. c London School of Economics, 2015

18 MA 103 Introduction to Abstract Mathematics Exercises 9 Page 2 4 In the lectures and text books (Example 1 of Section 9.4 in Biggs; Theorem in Eccles), it is proved that 2 is an irrational number. We also observe that 1 < 2 < 2. Prove that for any rationals x, y, with y = 0, also x+y 2 is an irrational number. (b) Explain how you can use these facts about 2 to find an irrational number lying strictly between any two rational numbers a/b and c/d, where a/b < c/d. 5 If z is a real number, then z n is defined recursively for non-negative integers n: z 0 = 1, and, for n 0, z n+1 = z z n. If z is a positive real number, and b a natural number, then we define the positive b th root y = z 1/b to be the positive real number y such that y b = z. You may assume that a positive real number always has a positive b th root. Given a positive real number z, is it possible for there to be two different positive b th roots of z? Justify your answer briefly. (b) Suppose that a, b, c, d are natural numbers with ad = bc, and x is a positive real number. Show, from the definitions above, that (x a ) 1/b = (x c ) 1/d. Explain why this result allows you to define x q when x is a positive real number and q is a positive rational number. Show that 2 3/4 is irrational. Maple questions 6 The numbers x n for n N are defined by x 1 = 1; x n = 1 ( x n ), for n 2. 2 x n 1 Prove that x n is a rational number for all n 1. (b) Use Maple to calculate x 1, x 2,..., x 8 as rational numbers. The Maple command to find approximate decimal representations of numbers is evalf(.). By default it gives 10 digits of the results. Check the Maple help of evalf to find out how to obtain results with a different (prescribed) number of digits. Approximate the decimal representation of x 1, x 2,..., x 8 with 20 digits precision. Calculate 3 with 20 digits precision as well. (d) For what x n does it appear that x n gives an approximation of 3 with 20 or more digits precision? (e) By further increasing the number of digits, try to find out in how many digits 3 and x 8 coincide.

19 Introduction to Abstract Mathematics MA 103 Exercises 10 Relevant parts of the Lecture notes: Section 8.5. The two text books Biggs and Eccles don t do complex numbers. You can find some further reading on complex numbers in one of the MA100 text books: M. Anthony and M. Harvey, Linear Algebra: Concepts and Methods, Chapter 13. Always justify your answers. 1 Write the following sum, product and quotient of complex numbers as complex numbers: (2+3i)+( 5+4i); (b) (2+3i)( 5+4i); 2+3i 5+4i. 2 Find the square roots of the following numbers. (That is, for each of the numbers, find the complex numbers z such that z 2 equals the number.) 9; (b) i; 4 3i. 3 Solve the quadratic equation x 2 2ix 5+3i = 0. 4 DeMoivre s formula tells us that (cos θ+ i sin θ) 3 = cos(3θ)+i sin(3θ). By expanding the left hand-side of this equation, and by using sin 2 θ+ cos 2 θ = 1, prove the following trigonometrical identities: cos(3θ) = 4 cos 3 θ 3 cos θ and sin(3θ) = 3 sin θ 4 sin 3 θ. 5 Write the following complex numbers in the standard form x+yi: ( ( 3π ) ( 3π )) 7; cos + i sin (b) ( 3+i) Find the modulus and principal argument of the following complex numbers: 1+i, (b) 1 3i. c London School of Economics, 2015

20 MA 103 Introduction to Abstract Mathematics Exercises 10 Page 2 7 Consider the equation z 5 = a, where a is a positive real number. What can you say about the modulus of any solution z? What can you say about the principal argument? Draw all the five solutions of z 5 32 = 0 on the Argand diagram. (b) Write down a polynomial P(z) such that (z 2)P(z) = z What can you say about the solutions of P(z) = 0? 8 Consider the polynomial P(z) = z 4 + z 2 2z+6. Show that z = 1+i is a root of P(z), i.e. a solution of P(z) = 0. (b) Hence find all the roots of P(z).

3 The language of proof

3 The language of proof 3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;

More information

Fundamentals of Pure Mathematics - Problem Sheet

Fundamentals of Pure Mathematics - Problem Sheet Fundamentals of Pure Mathematics - Problem Sheet ( ) = Straightforward but illustrates a basic idea (*) = Harder Note: R, Z denote the real numbers, integers, etc. assumed to be real numbers. In questions

More information

Review Sheet for the Final Exam of MATH Fall 2009

Review Sheet for the Final Exam of MATH Fall 2009 Review Sheet for the Final Exam of MATH 1600 - Fall 2009 All of Chapter 1. 1. Sets and Proofs Elements and subsets of a set. The notion of implication and the way you can use it to build a proof. Logical

More information

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. 2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say

More information

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

MATH 2200 Final Review

MATH 2200 Final Review MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

More information

MAS114: Solutions to Exercises

MAS114: Solutions to Exercises MAS114: s to Exercises Up to week 8 Note that the challenge problems are intended to be difficult! Doing any of them is an achievement. Please hand them in on a separate piece of paper if you attempt them.

More information

MT181 Number Systems: Sheet 1. Attempt all numbered questions. To be handed in during the MT181 lecture on Thursday 11th October.

MT181 Number Systems: Sheet 1. Attempt all numbered questions. To be handed in during the MT181 lecture on Thursday 11th October. MT181 Number Systems: Sheet 1 Attempt all numbered questions. To be handed in during the MT181 lecture on Thursday 11th October. 1. Read the preface and pages 3 8 of How to think like a mathematician by

More information

8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2

8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2 MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been

More information

Mathematical Reasoning & Proofs

Mathematical Reasoning & Proofs Mathematical Reasoning & Proofs MAT 1362 Fall 2018 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0

More information

Writing Mathematical Proofs

Writing Mathematical Proofs Writing Mathematical Proofs Dr. Steffi Zegowitz The main resources for this course are the two following books: Mathematical Proofs by Chartrand, Polimeni, and Zhang How to Think Like a Mathematician by

More information

MTH 299 In Class and Recitation Problems SUMMER 2016

MTH 299 In Class and Recitation Problems SUMMER 2016 MTH 299 In Class and Recitation Problems SUMMER 2016 Last updated on: May 13, 2016 MTH299 - Examples CONTENTS Contents 1 Week 1 3 1.1 In Class Problems.......................................... 3 1.2 Recitation

More information

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n).

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n). MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been

More information

Basic Logic and Proof Techniques

Basic Logic and Proof Techniques Chapter 3 Basic Logic and Proof Techniques Now that we have introduced a number of mathematical objects to study and have a few proof techniques at our disposal, we pause to look a little more closely

More information

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Preparing for the CS 173 (A) Fall 2018 Midterm 1 Preparing for the CS 173 (A) Fall 2018 Midterm 1 1 Basic information Midterm 1 is scheduled from 7:15-8:30 PM. We recommend you arrive early so that you can start exactly at 7:15. Exams will be collected

More information

MATH 2200 Final LC Review

MATH 2200 Final LC Review MATH 2200 Final LC Review Thomas Goller April 25, 2013 1 Final LC Format The final learning celebration will consist of 12-15 claims to be proven or disproven. It will take place on Wednesday, May 1, from

More information

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

More information

Introduction to Abstract Mathematics

Introduction to Abstract Mathematics Introduction to Abstract Mathematics Notation: Z + or Z >0 denotes the set {1, 2, 3,...} of positive integers, Z 0 is the set {0, 1, 2,...} of nonnegative integers, Z is the set {..., 1, 0, 1, 2,...} of

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively 6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise

More information

8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

More information

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The

More information

Some Review Problems for Exam 1: Solutions

Some Review Problems for Exam 1: Solutions Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x

More information

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...} WORKSHEET ON NUMBERS, MATH 215 FALL 18(WHYTE) We start our study of numbers with the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } and their subset of natural numbers: N = {1, 2, 3,...} For now we will not

More information

MATH Fundamental Concepts of Algebra

MATH Fundamental Concepts of Algebra MATH 4001 Fundamental Concepts of Algebra Instructor: Darci L. Kracht Kent State University April, 015 0 Introduction We will begin our study of mathematics this semester with the familiar notion of even

More information

and problem sheet 1

and problem sheet 1 21-128 and 15-151 problem sheet 1 Solutions to the following seven exercises and optional bonus problem are to be submitted through gradescope by 11:30PM on Wednesday 5th September 2018. Problem 1 Suppose

More information

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS 2013 MATH 122: Logic and Foundations Instructor and section (check one): K. Mynhardt [A01] CRN 12132 G. MacGillivray [A02] CRN 12133 NAME: V00#: Duration: 3

More information

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011 Math 31 Lesson Plan Day 2: Sets; Binary Operations Elizabeth Gillaspy September 23, 2011 Supplies needed: 30 worksheets. Scratch paper? Sign in sheet Goals for myself: Tell them what you re going to tell

More information

Introducing Proof 1. hsn.uk.net. Contents

Introducing Proof 1. hsn.uk.net. Contents Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction

More information

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. A prime number

More information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

More information

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS. 4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers: WORKSHEET MATH 215, FALL 15, WHYTE We begin our course with the natural numbers: N = {1, 2, 3,...} which are a subset of the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } We will assume familiarity with their

More information

2301 Assignment 1 Due Friday 19th March, 2 pm

2301 Assignment 1 Due Friday 19th March, 2 pm Show all your work. Justify your solutions. Answers without justification will not receive full marks. Only hand in the problems on page 2. Practice Problems Question 1. Prove that if a b and a 3c then

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

3.4 The Fundamental Theorem of Algebra

3.4 The Fundamental Theorem of Algebra 333371_0304.qxp 12/27/06 1:28 PM Page 291 3.4 The Fundamental Theorem of Algebra Section 3.4 The Fundamental Theorem of Algebra 291 The Fundamental Theorem of Algebra You know that an nth-degree polynomial

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam RED Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam Note that the first 10 questions are true-false. Mark A for true, B for false. Questions 11 through 20 are multiple choice

More information

Midterm Preparation Problems

Midterm Preparation Problems Midterm Preparation Problems The following are practice problems for the Math 1200 Midterm Exam. Some of these may appear on the exam version for your section. To use them well, solve the problems, then

More information

Math 230 Final Exam, Spring 2008

Math 230 Final Exam, Spring 2008 c IIT Dept. Applied Mathematics, May 15, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 230 Final Exam, Spring 2008 Conditions. 2 hours. No book, notes, calculator, cell phones, etc. Part

More information

MA554 Assessment 1 Cosets and Lagrange s theorem

MA554 Assessment 1 Cosets and Lagrange s theorem MA554 Assessment 1 Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem; they go over some material from the lectures again, and they have some new material it is all examinable,

More information

Math 13, Spring 2013, Lecture B: Midterm

Math 13, Spring 2013, Lecture B: Midterm Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.

More information

Solutions to Homework Set 1

Solutions to Homework Set 1 Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement

More information

CIS Spring 2018 (instructor Val Tannen)

CIS Spring 2018 (instructor Val Tannen) CIS 160 - Spring 2018 (instructor Val Tannen) Lecture 09 Tuesday, February 13 PROOFS and COUNTING Figure 1: Too Many Pigeons Theorem 9.1 (The Pigeonhole Principle (PHP)) If k + 1 or more pigeons fly to

More information

DR.RUPNATHJI( DR.RUPAK NATH )

DR.RUPNATHJI( DR.RUPAK NATH ) Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology

More information

All numbered readings are from Beck and Geoghegan s The art of proof.

All numbered readings are from Beck and Geoghegan s The art of proof. MATH 301. Assigned readings and homework All numbered readings are from Beck and Geoghegan s The art of proof. Reading Jan 30, Feb 1: Chapters 1.1 1.2 Feb 6, 8: Chapters 1.3 2.1 Feb 13, 15: Chapters 2.2

More information

3 Finite continued fractions

3 Finite continued fractions MTH628 Number Theory Notes 3 Spring 209 3 Finite continued fractions 3. Introduction Let us return to the calculation of gcd(225, 57) from the preceding chapter. 225 = 57 + 68 57 = 68 2 + 2 68 = 2 3 +

More information

STRATEGIES OF PROBLEM SOLVING

STRATEGIES OF PROBLEM SOLVING STRATEGIES OF PROBLEM SOLVING Second Edition Maria Nogin Department of Mathematics College of Science and Mathematics California State University, Fresno 2014 2 Chapter 1 Introduction Solving mathematical

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics Introductory Notes in Discrete Mathematics Solution Guide Marcel B. Finan c All Rights Reserved 2015 Edition Contents

More information

Chapter 9: Roots and Irrational Numbers

Chapter 9: Roots and Irrational Numbers Chapter 9: Roots and Irrational Numbers Index: A: Square Roots B: Irrational Numbers C: Square Root Functions & Shifting D: Finding Zeros by Completing the Square E: The Quadratic Formula F: Quadratic

More information

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

MATH10040: Chapter 0 Mathematics, Logic and Reasoning MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly

More information

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution Math 38: Graph Theory Spring 2004 Dartmouth College 1 Introduction On Writing Proofs What constitutes a well-written proof? A simple but rather vague answer is that a well-written proof is both clear and

More information

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Chapter 1 Review of Equations and Inequalities

Chapter 1 Review of Equations and Inequalities Chapter 1 Review of Equations and Inequalities Part I Review of Basic Equations Recall that an equation is an expression with an equal sign in the middle. Also recall that, if a question asks you to solve

More information

MATH CSE20 Homework 5 Due Monday November 4

MATH CSE20 Homework 5 Due Monday November 4 MATH CSE20 Homework 5 Due Monday November 4 Assigned reading: NT Section 1 (1) Prove the statement if true, otherwise find a counterexample. (a) For all natural numbers x and y, x + y is odd if one of

More information

Midterm 1. Your Exam Room: Name of Person Sitting on Your Left: Name of Person Sitting on Your Right: Name of Person Sitting in Front of You:

Midterm 1. Your Exam Room: Name of Person Sitting on Your Left: Name of Person Sitting on Your Right: Name of Person Sitting in Front of You: CS70 Discrete Mathematics and Probability Theory, Fall 2018 Midterm 1 8:00-10:00pm, 24 September Your First Name: SIGN Your Name: Your Last Name: Your Exam Room: Name of Person Sitting on Your Left: Name

More information

One-to-one functions and onto functions

One-to-one functions and onto functions MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are

More information

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets) MTH299 - Homework 1 Question 1. exercise 1.10 (compute the cardinality of a handful of finite sets) Solution. Write your answer here. Question 2. exercise 1.20 (compute the union of two sets) Question

More information

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

1 Numbers. exponential functions, such as x 7! a x ; where a; x 2 R; trigonometric functions, such as x 7! sin x; where x 2 R; ffiffi x ; where x 0:

1 Numbers. exponential functions, such as x 7! a x ; where a; x 2 R; trigonometric functions, such as x 7! sin x; where x 2 R; ffiffi x ; where x 0: Numbers In this book we study the properties of real functions defined on intervals of the real line (possibly the whole real line) and whose image also lies on the real line. In other words, they map

More information

In Exercises 1 12, list the all of the elements of the given set. 2. The set of all positive integers whose square roots are less than or equal to 3

In Exercises 1 12, list the all of the elements of the given set. 2. The set of all positive integers whose square roots are less than or equal to 3 APPENDIX A EXERCISES In Exercises 1 12, list the all of the elements of the given set. 1. The set of all prime numbers less than 20 2. The set of all positive integers whose square roots are less than

More information

Math 10850, fall 2017, University of Notre Dame

Math 10850, fall 2017, University of Notre Dame Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need

More information

Math 300: Final Exam Practice Solutions

Math 300: Final Exam Practice Solutions Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a

More information

CS280, Spring 2004: Prelim Solutions

CS280, Spring 2004: Prelim Solutions CS280, Spring 2004: Prelim Solutions 1. [3 points] What is the transitive closure of the relation {(1, 2), (2, 3), (3, 1), (3, 4)}? Solution: It is {(1, 2), (2, 3), (3, 1), (3, 4), (1, 1), (2, 2), (3,

More information

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018 About This Document This is the examples document for MTH 299. Basically it is a loosely organized universe of questions (examples) that we think are interesting, helpful, useful for practice, and serve

More information

Grade 6 Math Circles November 1 st /2 nd. Egyptian Mathematics

Grade 6 Math Circles November 1 st /2 nd. Egyptian Mathematics Faculty of Mathematics Waterloo, Ontario N2L 3G Centre for Education in Mathematics and Computing Grade 6 Math Circles November st /2 nd Egyptian Mathematics Ancient Egypt One of the greatest achievements

More information

Introduction to Proofs

Introduction to Proofs Introduction to Proofs Notes by Dr. Lynne H. Walling and Dr. Steffi Zegowitz September 018 The Introduction to Proofs course is organised into the following nine sections. 1. Introduction: sets and functions

More information

A Guide to Proof-Writing

A Guide to Proof-Writing A Guide to Proof-Writing 437 A Guide to Proof-Writing by Ron Morash, University of Michigan Dearborn Toward the end of Section 1.5, the text states that there is no algorithm for proving theorems.... Such

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Elementary Properties of the Integers

Elementary Properties of the Integers Elementary Properties of the Integers 1 1. Basis Representation Theorem (Thm 1-3) 2. Euclid s Division Lemma (Thm 2-1) 3. Greatest Common Divisor 4. Properties of Prime Numbers 5. Fundamental Theorem of

More information

Algorithms: Background

Algorithms: Background Algorithms: Background Amotz Bar-Noy CUNY Amotz Bar-Noy (CUNY) Algorithms: Background 1 / 66 What is a Proof? Definition I: The cogency of evidence that compels acceptance by the mind of a truth or a fact.

More information

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. (a) Circle the prime

More information

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction written by Sarah Peluse, revised by Evangelie Zachos and Lisa Sauermann September 27, 2016 1 Introduction

More information

MAS114: Exercises. October 26, 2018

MAS114: Exercises. October 26, 2018 MAS114: Exercises October 26, 2018 Note that the challenge problems are intended to be difficult! Doing any of them is an achievement. Please hand them in on a separate piece of paper if you attempt them.

More information

Chapter 5. Number Theory. 5.1 Base b representations

Chapter 5. Number Theory. 5.1 Base b representations Chapter 5 Number Theory The material in this chapter offers a small glimpse of why a lot of facts that you ve probably nown and used for a long time are true. It also offers some exposure to generalization,

More information

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that: Equivalence MA Relations 274 and Partitions Scott Taylor 1. EQUIVALENCE RELATIONS Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that: (1) is reflexive. That is, (2) is

More information

4.1 Real-valued functions of a real variable

4.1 Real-valued functions of a real variable Chapter 4 Functions When introducing relations from a set A to a set B we drew an analogy with co-ordinates in the x-y plane. Instead of coming from R, the first component of an ordered pair comes from

More information

Solutions to Practice Final

Solutions to Practice Final s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (

More information

Discrete Mathematics and Probability Theory Fall 2018 Alistair Sinclair and Yun Song Note 6

Discrete Mathematics and Probability Theory Fall 2018 Alistair Sinclair and Yun Song Note 6 CS 70 Discrete Mathematics and Probability Theory Fall 2018 Alistair Sinclair and Yun Song Note 6 1 Modular Arithmetic In several settings, such as error-correcting codes and cryptography, we sometimes

More information

STUDY GUIDE FOR THE WRECKONING. 1. Combinatorics. (1) How many (positive integer) divisors does 2940 have? What about 3150?

STUDY GUIDE FOR THE WRECKONING. 1. Combinatorics. (1) How many (positive integer) divisors does 2940 have? What about 3150? STUDY GUIDE FOR THE WRECKONING. Combinatorics Go over combinatorics examples in the text. Review all the combinatorics problems from homework. Do at least a couple of extra problems given below. () How

More information

2k n. k=0. 3x 2 7 (mod 11) 5 4x 1 (mod 9) 2 r r +1 = r (2 r )

2k n. k=0. 3x 2 7 (mod 11) 5 4x 1 (mod 9) 2 r r +1 = r (2 r ) MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems take from the extra practice sets presented in random order. The challenge problems have not been included.

More information

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

CHAPTER 6. Prime Numbers. Definition and Fundamental Results CHAPTER 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results 6.1. Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and the only positive divisors of p are 1 and p. If n

More information

Solving Equations by Adding and Subtracting

Solving Equations by Adding and Subtracting SECTION 2.1 Solving Equations by Adding and Subtracting 2.1 OBJECTIVES 1. Determine whether a given number is a solution for an equation 2. Use the addition property to solve equations 3. Determine whether

More information

MATH 135 Fall 2006 Proofs, Part IV

MATH 135 Fall 2006 Proofs, Part IV MATH 135 Fall 006 s, Part IV We ve spent a couple of days looking at one particular technique of proof: induction. Let s look at a few more. Direct Here we start with what we re given and proceed in a

More information

Chapter One. The Real Number System

Chapter One. The Real Number System Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and

More information

MAT115A-21 COMPLETE LECTURE NOTES

MAT115A-21 COMPLETE LECTURE NOTES MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes

More information

Why write proofs? Why not just test and repeat enough examples to confirm a theory?

Why write proofs? Why not just test and repeat enough examples to confirm a theory? P R E F A C E T O T H E S T U D E N T Welcome to the study of mathematical reasoning. The authors know that many students approach this material with some apprehension and uncertainty. Some students feel

More information

At least one of us is a knave. What are A and B?

At least one of us is a knave. What are A and B? 1. This is a puzzle about an island in which everyone is either a knight or a knave. Knights always tell the truth and knaves always lie. This problem is about two people A and B, each of whom is either

More information

MATH 13 FINAL EXAM SOLUTIONS

MATH 13 FINAL EXAM SOLUTIONS MATH 13 FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers. T F

More information

CHAPTER 8: EXPLORING R

CHAPTER 8: EXPLORING R CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed

More information

Part IA Numbers and Sets

Part IA Numbers and Sets Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

Do not open this exam until you are told to begin. You will have 75 minutes for the exam.

Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Math 2603 Midterm 1 Spring 2018 Your Name Student ID # Section Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Check that you have a complete exam. There are 5

More information

(e) Commutativity: a b = b a. (f) Distributivity of times over plus: a (b + c) = a b + a c and (b + c) a = b a + c a.

(e) Commutativity: a b = b a. (f) Distributivity of times over plus: a (b + c) = a b + a c and (b + c) a = b a + c a. Math 299 Midterm 2 Review Nov 4, 2013 Midterm Exam 2: Thu Nov 7, in Recitation class 5:00 6:20pm, Wells A-201. Topics 1. Methods of proof (can be combined) (a) Direct proof (b) Proof by cases (c) Proof

More information

not to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results

not to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results Euclid s Division Lemma : Given two positive integers a and b, there exist unique integers q and r satisfying a = bq + r, 0 r < b. Euclid s Division

More information

Mathematical induction

Mathematical induction Mathematical induction Notes and Examples These notes contain subsections on Proof Proof by induction Types of proof by induction Proof You have probably already met the idea of proof in your study of

More information

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the

More information

Table of Contents. 2013, Pearson Education, Inc.

Table of Contents. 2013, Pearson Education, Inc. Table of Contents Chapter 1 What is Number Theory? 1 Chapter Pythagorean Triples 5 Chapter 3 Pythagorean Triples and the Unit Circle 11 Chapter 4 Sums of Higher Powers and Fermat s Last Theorem 16 Chapter

More information