Lecture 1 Maths for Computer Science. Denis TRYSTRAM Lecture notes MoSIG1. sept. 2017

Size: px
Start display at page:

Download "Lecture 1 Maths for Computer Science. Denis TRYSTRAM Lecture notes MoSIG1. sept. 2017"

Transcription

1 Lecture 1 Maths for Computer Science Denis TRYSTRAM Lecture notes MoSIG1 sept / 21

2 Context The main idea of this preliminary lecture is to show how to obtain some results in Mathematics (in the field of combinatorics, counting, basic number theory). We will show how to handle simple and less easy results with very basic tools that do not require any sophisticated background. 2 / 21

3 Brief overview of proving techniques Induction Contradiction contradictio in contrarium Combinatoric proofs Bijections between sets Pigeon holes Proofs by computers (for instance the four colors conjecture, which is no more a conjecture). A nice way for proving results on integers is to represent them by sets of items (bullets, squares, numbers, intervals) and to use the Fubini s principle 1. Geometric proofs 1 explanation is coming soon... 3 / 21

4 Content 1 A preliminary example 2 Basic summations (triangular numbers) 3 Sum of odd numbers 4 / 21

5 A preliminary example An old (simple) geometrical proof This first example has been provided by Al Khwarizmi in the XIIth century. It is a nice illustration of what a geometrical proof is. Solve the equation x x = / 21

6 A preliminary example An old (simple) geometrical proof The solution of the equation x x = 39 is determined by means of the surfaces of elementary pieces. We first represent the left hand side x x. x 5/2 x 2 x 6 / 21

7 A preliminary example First example (2) The surface of the cross depicted below is equal to the right hand side. Adding the 4 little squares in the border leads to a total surface of = 64, which is the square of 8. 25/ / 21

8 A preliminary example First example (2) The surface of the cross depicted below is equal to the right hand side. Adding the 4 little squares in the border leads to a total surface of = 64, which is the square of 8. 25/ We finally deduce x: = 3. 7 / 21

9 A preliminary example Remark This method is incomplete, since there exists another root for this equation (x =-13). However, as at the time of Al Khawariszmi, Maths were mainly used for solving geometrical problems of the daily life, negative roots were not considered... 8 / 21

10 A preliminary example Another simple way to prove The informal idea is to establish a one-to-one correspondence between elements of a set (integers). Fubini s principle 2 : Enumerate the elements of a set by two different methods, one leading to an evidence. 2 Guido Fubini / 21

11 A preliminary example Content 1 A preliminary example 2 Basic summations (triangular numbers) 3 Sum of odd numbers 10 / 21

12 Basic summations (triangular numbers) Triangular numbers Definition: Triangular numbers are defined as the sum of the n first integers: n = n k=1 k. There exist many proofs for this result, the simplest one is obtained in writing this sum forward and backward and gathering the terms two by two as follows: 2.Δ n = n + n + n = (n+1) + (n+1) + + (n+1)! 2 n is n times n + 1, thus, n = (n+1).n 2 11 / 21

13 Basic summations (triangular numbers) Another way of looking at this process (1) Use the Fubini s principle. 12 / 21

14 Basic summations (triangular numbers) Another way of looking at this process (1) Use the Fubini s principle. n is represented by piles of bullets arranged as a triangle. Putting two copies up side down gives the n by n + 1 rectangle. n" n&1" n&2" 2" 1" 1" 2" 3" n" 12 / 21

15 Basic summations (triangular numbers) Another way of looking at this process (2) The following figure proves the same result by using a geometric (contiguous) argument instead of bullets. n! 1! 2! 3! n! n! 13 / 21

16 Basic summations (triangular numbers) Another way of looking at this process (2) The following figure proves the same result by using a geometric (contiguous) argument instead of bullets. n! 1! 2! 3! n! n! The sum is represented by a tesselation of boxes of size 1 by 1. The global result is determined by the surface of half the square ( n2 2 ) plus n times half of the surface of the unit square in the diagonal. Thus, n2 2 + n. 1 2 = (n+1).n 2 13 / 21

17 Basic summations (triangular numbers) Sum of two consecutive triangular numbers An interesting question is to compute n + n 1. Computing the first ranks leads us to an evidence: = 1, then, 4, 9, 16, 25, 36,... It is natural to guess n = n 2, which is easy provable by induction (or alternatively, using the expression n + n 1 = n + 2 n 1 since n = n + n 1 ). 14 / 21

18 Basic summations (triangular numbers) Sum of two consecutive triangular numbers An interesting question is to compute n + n 1. Computing the first ranks leads us to an evidence: = 1, then, 4, 9, 16, 25, 36,... It is natural to guess n = n 2, which is easy provable by induction (or alternatively, using the expression n + n 1 = n + 2 n 1 since n = n + n 1 ). This result can be directly obtained using a geometric pattern: n$ n"1$ Δ n $ 14 / 21

19 Basic summations (triangular numbers) Content 1 A preliminary example 2 Basic summations (triangular numbers) 3 Sum of odd numbers 15 / 21

20 Sum of odd numbers Sum of odds Determine the sum of the first odd integers, denoted by S n = n 1 k=0 (2k + 1). This result may again be established by using Fubini s principle. The bullets depict the consecutive odd numbers. The arrangement of the bullets gives two ways for counting. 16 / 21

21 Sum of odd numbers S n = n 2 17 / 21

22 Sum of odd numbers Rearranging the figure as a butterfly gives an insight of another expression of n + n 1. Δ n! The analytic expression is as follows: Δ n + Δ n-1 = n n-1 = (2n-1)! 18 / 21

23 Sum of odd numbers We can also imagine an alternative construction which uses four copies of S n that exactly correspond to an 2n by 2n square as depicted in the figure. 2n#1% 2n#1% 19 / 21

24 Sum of odd numbers We can also imagine an alternative construction which uses four copies of S n that exactly correspond to an 2n by 2n square as depicted in the figure. 2n#1% 2n#1% This leads to 4.S n = (2n) 2, thus S n = n / 21

25 Sum of odd numbers Generalization (1) Both previous examples of triangular and sum of odd numbers are special cases of arithmetic progressions: starting at p 1 = a, p n = p n 1 + b for n > 2. The figure below shows that the sum of the n first elements of an arithmetic progression is equal to n.a + n 1.b. a b 20 / 21

26 Sum of odd numbers Generalization (1) Both previous examples of triangular and sum of odd numbers are special cases of arithmetic progressions: starting at p 1 = a, p n = p n 1 + b for n > 2. The figure below shows that the sum of the n first elements of an arithmetic progression is equal to n.a + n 1.b. a b For instance, a = 1 and b = 2 for the sum of the first n odd numbers. We have S n = n + 2. n 1 = n + n(n 1) = n / 21

27 Sum of odd numbers Generalization (2) Another interesting case is for a = 1 and b = 4 (1, 5, 9, 13, 17,...). The sum is equal to n(2n 1) = n + 4 n 1. = n + 3 n 1 which is also a triangular number ( 2n 1 ). Δ n Δ n-1 Δ n-1 Δ n-1 21 / 21

Intermediate Math Circles March 11, 2009 Sequences and Series

Intermediate Math Circles March 11, 2009 Sequences and Series 1 University of Waterloo Faculty of Mathematics Centre for Education in Mathematics and Computing Intermediate Math Circles March 11, 009 Sequences and Series Tower of Hanoi The Tower of Hanoi is a game

More information

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers. MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

Introduction to Induction (LAMC, 10/14/07)

Introduction to Induction (LAMC, 10/14/07) Introduction to Induction (LAMC, 10/14/07) Olga Radko October 1, 007 1 Definitions The Method of Mathematical Induction (MMI) is usually stated as one of the axioms of the natural numbers (so-called Peano

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

Billstein, Libeskind and Lott, A problem solving approach to Mathematics for elementary school teachers.

Billstein, Libeskind and Lott, A problem solving approach to Mathematics for elementary school teachers. . Exploration with patterns. Solving problems by algebraic Method. The Geometer s Sketchpad 4. -dimentional geometry 5. Statistical investigations 6. Measures of Central tendency and Spread 7. Fundamental

More information

What can you prove by induction?

What can you prove by induction? MEI CONFERENCE 013 What can you prove by induction? Martyn Parker M.J.Parker@keele.ac.uk Contents Contents iii 1 Splitting Coins.................................................. 1 Convex Polygons................................................

More information

Situation: Summing the Natural Numbers

Situation: Summing the Natural Numbers Situation: Summing the Natural Numbers Prepared at Penn State University Mid-Atlantic Center for Mathematics Teaching and Learning 14 July 005 Shari and Anna Edited at University of Georgia Center for

More information

Four Basic Sets. Divisors

Four Basic Sets. Divisors Four Basic Sets Z = the integers Q = the rationals R = the real numbers C = the complex numbers Divisors Definition. Suppose a 0 and b = ax, where a, b, and x are integers. Then we say a divides b (or

More information

Hence, the sequence of triangular numbers is given by., the. n th square number, is the sum of the first. S n

Hence, the sequence of triangular numbers is given by., the. n th square number, is the sum of the first. S n Appendix A: The Principle of Mathematical Induction We now present an important deductive method widely used in mathematics: the principle of mathematical induction. First, we provide some historical context

More information

Algorithms: Lecture 2

Algorithms: Lecture 2 1 Algorithms: Lecture 2 Basic Structures: Sets, Functions, Sequences, and Sums Jinwoo Kim jwkim@jjay.cuny.edu 2.1 Sets 2 1 2.1 Sets 3 2.1 Sets 4 2 2.1 Sets 5 2.1 Sets 6 3 2.1 Sets 7 2.2 Set Operations

More information

Fibonacci mod k. In this section, we examine the question of which terms of the Fibonacci sequence have a given divisor k.

Fibonacci mod k. In this section, we examine the question of which terms of the Fibonacci sequence have a given divisor k. Fibonacci mod k I start by giving out a table of the first 0 Fibonacci numbers actually the first, because we begin with u 0 =0 (and I have a reason for that which will soon become apparent). Okay, which

More information

Announcements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm.

Announcements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm. Announcements CS43: Discrete Structures Sequences, Summations, and Cardinality of Infinite Sets Işıl Dillig Homework is graded, scores on Blackboard Graded HW and sample solutions given at end of this

More information

TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX

TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX #A05 INTEGERS 9 (2009), 53-64 TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX Mark Shattuck Department of Mathematics, University of Tennessee, Knoxville, TN 37996-1300 shattuck@math.utk.edu

More information

Basic Combinatorics. Math 40210, Section 01 Fall Homework 8 Solutions

Basic Combinatorics. Math 40210, Section 01 Fall Homework 8 Solutions Basic Combinatorics Math 4010, Section 01 Fall 01 Homework 8 Solutions 1.8.1 1: K n has ( n edges, each one of which can be given one of two colors; so Kn has (n -edge-colorings. 1.8.1 3: Let χ : E(K k

More information

Ross Program 2017 Application Problems

Ross Program 2017 Application Problems Ross Program 2017 Application Problems This document is part of the application to the Ross Mathematics Program, and is posted at http://u.osu.edu/rossmath/. The Admission Committee will start reading

More information

Definition: A sequence is a function from a subset of the integers (usually either the set

Definition: A sequence is a function from a subset of the integers (usually either the set Math 3336 Section 2.4 Sequences and Summations Sequences Geometric Progression Arithmetic Progression Recurrence Relation Fibonacci Sequence Summations Definition: A sequence is a function from a subset

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

5. Sequences & Recursion

5. Sequences & Recursion 5. Sequences & Recursion Terence Sim 1 / 42 A mathematician, like a painter or poet, is a maker of patterns. Reading Sections 5.1 5.4, 5.6 5.8 of Epp. Section 2.10 of Campbell. Godfrey Harold Hardy, 1877

More information

1.2 Inductive Reasoning

1.2 Inductive Reasoning 1.2 Inductive Reasoning Goal Use inductive reasoning to make conjectures. Key Words conjecture inductive reasoning counterexample Scientists and mathematicians look for patterns and try to draw conclusions

More information

Contents. Counting Methods and Induction

Contents. Counting Methods and Induction Contents Counting Methods and Induction Lesson 1 Counting Strategies Investigations 1 Careful Counting... 555 Order and Repetition I... 56 3 Order and Repetition II... 569 On Your Own... 573 Lesson Counting

More information

3.3 Accumulation Sequences

3.3 Accumulation Sequences 3.3. ACCUMULATION SEQUENCES 25 3.3 Accumulation Sequences Overview. One of the most important mathematical ideas in calculus is that of an accumulation of change for physical quantities. As we have been

More information

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence Section 2.4 1 Section Summary Sequences. Examples: Geometric Progression, Arithmetic Progression Recurrence Relations Example: Fibonacci Sequence Summations 2 Introduction Sequences are ordered lists of

More information

JUST THE MATHS SLIDES NUMBER 2.1. SERIES 1 (Elementary progressions and series) A.J.Hobson

JUST THE MATHS SLIDES NUMBER 2.1. SERIES 1 (Elementary progressions and series) A.J.Hobson JUST THE MATHS SLIDES NUMBER.1 SERIES 1 (Elementary progressions and series) by A.J.Hobson.1.1 Arithmetic progressions.1. Arithmetic series.1.3 Geometric progressions.1.4 Geometric series.1.5 More general

More information

Wieland drift for triangular fully packed loop configurations

Wieland drift for triangular fully packed loop configurations Wieland drift for triangular fully packed loop configurations Sabine Beil Ilse Fischer Fakultät für Mathematik Universität Wien Wien, Austria {sabine.beil,ilse.fischer}@univie.ac.at Philippe Nadeau Institut

More information

Math.3336: Discrete Mathematics. Cardinality of Sets

Math.3336: Discrete Mathematics. Cardinality of Sets Math.3336: Discrete Mathematics Cardinality of Sets Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018

More information

Section 4.1: Sequences and Series

Section 4.1: Sequences and Series Section 4.1: Sequences and Series In this section, we shall introduce the idea of sequences and series as a necessary tool to develop the proof technique called mathematical induction. Most of the material

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

Conjectures and proof. Book page 24-30

Conjectures and proof. Book page 24-30 Conjectures and proof Book page 24-30 What is a conjecture? A conjecture is used to describe a pattern in mathematical terms When a conjecture has been proved, it becomes a theorem There are many types

More information

Given a sequence a 1, a 2,...of numbers, the finite sum a 1 + a 2 + +a n,wheren is an nonnegative integer, can be written

Given a sequence a 1, a 2,...of numbers, the finite sum a 1 + a 2 + +a n,wheren is an nonnegative integer, can be written A Summations When an algorithm contains an iterative control construct such as a while or for loop, its running time can be expressed as the sum of the times spent on each execution of the body of the

More information

Series of Integers in Arithmetic Progression with a Common Property of Two Parts of Equal Sums

Series of Integers in Arithmetic Progression with a Common Property of Two Parts of Equal Sums IOSR Journal of Mathematics (IOSR-JM) e-issn: 78-578, p-issn: 39-765X. Volume, Issue Ver. III (Mar. - Apr. 06), PP 37-4 www.iosrjournals.org Series of Integers in Arithmetic Progression with a Common Property

More information

Examples of Finite Sequences (finite terms) Examples of Infinite Sequences (infinite terms)

Examples of Finite Sequences (finite terms) Examples of Infinite Sequences (infinite terms) Math 120 Intermediate Algebra Sec 10.1: Sequences Defn A sequence is a function whose domain is the set of positive integers. The formula for the nth term of a sequence is called the general term. Examples

More information

Fall 2017 November 10, Written Homework 5

Fall 2017 November 10, Written Homework 5 CS1800 Discrete Structures Profs. Aslam, Gold, & Pavlu Fall 2017 November 10, 2017 Assigned: Mon Nov 13 2017 Due: Wed Nov 29 2017 Instructions: Written Homework 5 The assignment has to be uploaded to blackboard

More information

Fall 2017 Test II review problems

Fall 2017 Test II review problems Fall 2017 Test II review problems Dr. Holmes October 18, 2017 This is a quite miscellaneous grab bag of relevant problems from old tests. Some are certainly repeated. 1. Give the complete addition and

More information

Lecture 3 - Tuesday July 5th

Lecture 3 - Tuesday July 5th Lecture 3 - Tuesday July 5th jacques@ucsd.edu Key words: Identities, geometric series, arithmetic series, difference of powers, binomial series Key concepts: Induction, proofs of identities 3. Identities

More information

Sums of Consecutive Integers

Sums of Consecutive Integers arxiv:math/0701149v1 [math.ho] 4 Jan 007 Sums of Consecutive Integers Wai Yan Pong California State University, Dominguez Hills February, 008 While looking for exercises for a number theory class, I recently

More information

A guide to Proof by Induction

A guide to Proof by Induction A guide to Proof by Induction Adapted from L. R. A. Casse, A Bridging Course in Mathematics, The Mathematics Learning Centre, University of Adelaide, 1996. Inductive reasoning is where we observe of a

More information

Solutions to Assignment 1

Solutions to Assignment 1 Solutions to Assignment 1 Question 1. [Exercises 1.1, # 6] Use the division algorithm to prove that every odd integer is either of the form 4k + 1 or of the form 4k + 3 for some integer k. For each positive

More information

CSCI 150 Discrete Mathematics Homework 5 Solution

CSCI 150 Discrete Mathematics Homework 5 Solution CSCI 150 Discrete Mathematics Homework 5 Solution Saad Mneimneh Computer Science Hunter College of CUNY Problem 1: Happy Birthday (if it applies to you)! Based on the size of the class, there is approximately

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

Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions

Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions 4.2 #77. Let s n,k denote the number of ways to seat n persons at k round tables, with at least one person at each table. (The numbers s n,k

More information

CS1800: Sequences & Sums. Professor Kevin Gold

CS1800: Sequences & Sums. Professor Kevin Gold CS1800: Sequences & Sums Professor Kevin Gold Moving Toward Analysis of Algorithms Today s tools help in the analysis of algorithms. We ll cover tools for deciding what equation best fits a sequence of

More information

, p 1 < p 2 < < p l primes.

, p 1 < p 2 < < p l primes. Solutions Math 347 Homework 1 9/6/17 Exercise 1. When we take a composite number n and factor it into primes, that means we write it as a product of prime numbers, usually in increasing order, using exponents

More information

The generating function of simultaneous s/t-cores

The generating function of simultaneous s/t-cores The generating function of simultaneous s/t-cores William J. Keith, wjk150@cii.fc.ul.pt University of Lisbon CMUC Seminar, Univ. Coimbra Abstract Previous work on partitions simultaneously s-core and t-core

More information

Putnam Pigeonhole Principle October 25, 2005

Putnam Pigeonhole Principle October 25, 2005 Putnam Pigeonhole Principle October 5, 005 Introduction 1. If n > m pigeons are placed into m boxes, then there exists (at least) one box with at least two pigeons.. If n > m, then any function f : [n]

More information

Alpha Sequences & Series MAΘ National Convention 2018

Alpha Sequences & Series MAΘ National Convention 2018 . B. The series adds even numbers as the series progresses, defined as each term a n = a n- +2(n-). Therefore, the next term is 43+2(8-) = 57. 2. A. If we take the given series and find the differences

More information

Appendix G: Mathematical Induction

Appendix G: Mathematical Induction Appendix G: Mathematical Induction Introduction In this appendix, you will study a form of mathematical proof called mathematical induction. To see the logical need for mathematical induction, take another

More information

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1). Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the

More information

Lecture 10: Everything Else

Lecture 10: Everything Else Math 94 Professor: Padraic Bartlett Lecture 10: Everything Else Week 10 UCSB 2015 This is the tenth week of the Mathematics Subject Test GRE prep course; here, we quickly review a handful of useful concepts

More information

COM S 330 Lecture Notes Week of Feb 9 13

COM S 330 Lecture Notes Week of Feb 9 13 Monday, February 9. Rosen.4 Sequences Reading: Rosen.4. LLM 4.. Ducks 8., 8., Def: A sequence is a function from a (usually infinite) subset of the integers (usually N = {0,,, 3,... } or Z + = {,, 3, 4,...

More information

Some Review Problems for Exam 3: Solutions

Some Review Problems for Exam 3: Solutions Math 3355 Fall 018 Some Review Problems for Exam 3: Solutions I thought I d start by reviewing some counting formulas. Counting the Complement: Given a set U (the universe for the problem), if you want

More information

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence Section 2.4 Section Summary Sequences. Examples: Geometric Progression, Arithmetic Progression Recurrence Relations Example: Fibonacci Sequence Summations Introduction Sequences are ordered lists of elements.

More information

Countable and uncountable sets. Matrices.

Countable and uncountable sets. Matrices. Lecture 11 Countable and uncountable sets. Matrices. Instructor: Kangil Kim (CSE) E-mail: kikim01@konkuk.ac.kr Tel. : 02-450-3493 Room : New Milenium Bldg. 1103 Lab : New Engineering Bldg. 1202 Next topic:

More information

CDM Combinatorial Principles

CDM Combinatorial Principles CDM Combinatorial Principles 1 Counting Klaus Sutner Carnegie Mellon University Pigeon Hole 22-in-exclusion 2017/12/15 23:16 Inclusion/Exclusion Counting 3 Aside: Ranking and Unranking 4 Counting is arguably

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

Session 7: Pseudoproofs and Puzzles - Handout

Session 7: Pseudoproofs and Puzzles - Handout Session 7: Pseudoproofs and Puzzles - Handout Many who have had an opportunity of knowing any more about mathematics confuse it with arithmetic, and consider it an arid science. In reality, however, it

More information

Pierre de Fermat ( )

Pierre de Fermat ( ) Section 04 Mathematical Induction 987 8 Find the sum of the first ten terms of the sequence: 9 Find the sum of the first 50 terms of the sequence: 0 Find the sum of the first ten terms of the sequence:

More information

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below). Teddy Einstein Math 430 HW Solutions Problem 1:. Find the sign and inverse of the permutation shown in the book (and below). Proof. Its disjoint cycle decomposition is: (19)(8)(37)(46) which immediately

More information

VAN DER WAERDEN S THEOREM.

VAN DER WAERDEN S THEOREM. VAN DER WAERDEN S THEOREM. REU SUMMER 2005 An arithmetic progression (AP) of length k is a set of the form A = {a, a+d,..., a+(k 1)d} which we ll also denote by A = a+[0, k 1]d. A basic result due to Van

More information

Generalization of a few results in integer partitions

Generalization of a few results in integer partitions Notes on Number Theory and Discrete Mathematics Vol. 9, 203, No. 2, 69 76 Generalization of a few results in integer partitions Manosij Ghosh Dastidar and Sourav Sen Gupta 2, Ramakrishna Mission Vidyamandira,

More information

Supremum and Infimum

Supremum and Infimum Supremum and Infimum UBC M0 Lecture Notes by Philip D. Loewen The Real Number System. Work hard to construct from the axioms a set R with special elements O and I, and a subset P R, and mappings A: R R

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

SERIES

SERIES SERIES.... This chapter revisits sequences arithmetic then geometric to see how these ideas can be extended, and how they occur in other contexts. A sequence is a list of ordered numbers, whereas a series

More information

n f(k) k=1 means to evaluate the function f(k) at k = 1, 2,..., n and add up the results. In other words: n f(k) = f(1) + f(2) f(n). 1 = 2n 2.

n f(k) k=1 means to evaluate the function f(k) at k = 1, 2,..., n and add up the results. In other words: n f(k) = f(1) + f(2) f(n). 1 = 2n 2. Handout on induction and written assignment 1. MA113 Calculus I Spring 2007 Why study mathematical induction? For many students, mathematical induction is an unfamiliar topic. Nonetheless, this is an important

More information

Integer Partitions With Even Parts Below Odd Parts and the Mock Theta Functions

Integer Partitions With Even Parts Below Odd Parts and the Mock Theta Functions Integer Partitions With Even Parts Below Odd Parts and the Mock Theta Functions by George E. Andrews Key Words: Partitions, mock theta functions, crank AMS Classification Numbers: P84, P83, P8, 33D5 Abstract

More information

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder

More information

Notes. Combinatorics. Combinatorics II. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Spring 2006

Notes. Combinatorics. Combinatorics II. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Spring 2006 Combinatorics Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 4.1-4.6 & 6.5-6.6 of Rosen cse235@cse.unl.edu

More information

N M L Nova S. Scotia League. Math. Game One SOLUTIONS

N M L Nova S. Scotia League. Math. Game One SOLUTIONS N M L Nova S Math Scotia League 11 1 Game One SOLUTIONS Team Question Solutions 1. Clearly there s nothing special about the number 11 in this contet. The question is really asking about the relative sizes

More information

Example. How to Guess What to Prove

Example. How to Guess What to Prove How to Guess What to Prove Example Sometimes formulating P (n) is straightforward; sometimes it s not. This is what to do: Compute the result in some specific cases Conjecture a generalization based on

More information

Lectures in Discrete Mathematics Math 1165 Professors Stanislav Molchanov and Harold Reiter

Lectures in Discrete Mathematics Math 1165 Professors Stanislav Molchanov and Harold Reiter Lectures in Discrete Mathematics Math 1165 Professors Stanislav Molchanov and Harold Reiter Lecture 0 Introduction Discrete mathematics continues to be an important part of mathematics education at the

More information

Mathematical Background

Mathematical Background Chapter 1 Mathematical Background When we analyze various algorithms in terms of the time and the space it takes them to run, we often need to work with math. That is why we ask you to take MA 2250 Math

More information

D - E - F - G (1967 Jr.) Given that then find the number of real solutions ( ) of this equation.

D - E - F - G (1967 Jr.) Given that then find the number of real solutions ( ) of this equation. D - E - F - G - 18 1. (1975 Jr.) Given and. Two circles, with centres and, touch each other and also the sides of the rectangle at and. If the radius of the smaller circle is 2, then find the radius of

More information

MOEMS What Every Young Mathlete Should Know

MOEMS What Every Young Mathlete Should Know MOEMS What Every Young Mathlete Should Know 2018-2019 I. VOCABULARY AND LANGUAGE The following explains, defines, or lists some of the words that may be used in Olympiad problems. To be accepted, an answer

More information

MTH Linear Algebra. Study Guide. Dr. Tony Yee Department of Mathematics and Information Technology The Hong Kong Institute of Education

MTH Linear Algebra. Study Guide. Dr. Tony Yee Department of Mathematics and Information Technology The Hong Kong Institute of Education MTH 3 Linear Algebra Study Guide Dr. Tony Yee Department of Mathematics and Information Technology The Hong Kong Institute of Education June 3, ii Contents Table of Contents iii Matrix Algebra. Real Life

More information

1.1.1 Algebraic Operations

1.1.1 Algebraic Operations 1.1.1 Algebraic Operations We need to learn how our basic algebraic operations interact. When confronted with many operations, we follow the order of operations: Parentheses Exponentials Multiplication

More information

Grades 7 & 8, Math Circles 10/11/12 October, Series & Polygonal Numbers

Grades 7 & 8, Math Circles 10/11/12 October, Series & Polygonal Numbers Faculty of Mathematics Waterloo, Ontario NL 3G1 Centre for Education in Mathematics and Computing Grades 7 & 8, Math Circles 10/11/1 October, 017 Series & Polygonal Numbers Solutions Example 1 (a) 1 +

More information

arxiv:math/ v1 [math.co] 13 Jul 2005

arxiv:math/ v1 [math.co] 13 Jul 2005 A NEW PROOF OF THE REFINED ALTERNATING SIGN MATRIX THEOREM arxiv:math/0507270v1 [math.co] 13 Jul 2005 Ilse Fischer Fakultät für Mathematik, Universität Wien Nordbergstrasse 15, A-1090 Wien, Austria E-mail:

More information

BmMT 2017 Individual Round Solutions November 19, 2017

BmMT 2017 Individual Round Solutions November 19, 2017 1. It s currently 6:00 on a 12 hour clock. What time will be shown on the clock 100 hours from now? Express your answer in the form hh : mm. Answer: 10:00 Solution: We note that adding any multiple of

More information

Chapter 1. Pigeonhole Principle

Chapter 1. Pigeonhole Principle Chapter 1. Pigeonhole Principle Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 1. Pigeonhole Principle Math 184A / Fall 2017 1 / 16 Pigeonhole principle https://commons.wikimedia.org/wiki/file:toomanypigeons.jpg

More information

Lecture 6: The Pigeonhole Principle and Probability Spaces

Lecture 6: The Pigeonhole Principle and Probability Spaces Lecture 6: The Pigeonhole Principle and Probability Spaces Anup Rao January 17, 2018 We discuss the pigeonhole principle and probability spaces. Pigeonhole Principle The pigeonhole principle is an extremely

More information

Math 11 Foundations: Unit 1 - Logic. Unit 1: Logic

Math 11 Foundations: Unit 1 - Logic. Unit 1: Logic Unit 1: Logic 1.4 Deductive Reasoning Inductive reasoning is not a of anything except for possibilities that you tested. There could always be a just around the corner. In order to prove that something

More information

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Sequences and Summations Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Sequences 2 Sequences A sequence is a function from a subset of the set of

More information

CHAPTER III THE PROOF OF INEQUALITIES

CHAPTER III THE PROOF OF INEQUALITIES CHAPTER III THE PROOF OF INEQUALITIES In this Chapter, the main purpose is to prove four theorems about Hardy-Littlewood- Pólya Inequality and then gives some examples of their application. We will begin

More information

3. The vertices of a right angled triangle are on a circle of radius R and the sides of the triangle are tangent to another circle of radius r. If the

3. The vertices of a right angled triangle are on a circle of radius R and the sides of the triangle are tangent to another circle of radius r. If the The Canadian Mathematical Society in collaboration ith The CENTRE for EDUCTION in MTHEMTICS and COMPUTING First Canadian Open Mathematics Challenge (1996) Solutions c Canadian Mathematical Society 1996

More information

MATHEMATICAL INDUCTION

MATHEMATICAL INDUCTION MATHEMATICAL INDUCTION MATH 3A SECTION HANDOUT BY GERARDO CON DIAZ Imagine a bunch of dominoes on a table. They are set up in a straight line, and you are about to push the first piece to set off the chain

More information

Eves Equihoop, The Card Game SET, and Abstract SET

Eves Equihoop, The Card Game SET, and Abstract SET Eves Equihoop, The Card Game SET, and Abstract SET Arthur Holshouser 3600 Bullard St Charlotte, NC, USA Harold Reiter Department of Mathematics, University of North Carolina Charlotte, Charlotte, NC 83,

More information

Lecture 3: Sizes of Infinity

Lecture 3: Sizes of Infinity Math/CS 20: Intro. to Math Professor: Padraic Bartlett Lecture 3: Sizes of Infinity Week 2 UCSB 204 Sizes of Infinity On one hand, we know that the real numbers contain more elements than the rational

More information

COMBINATORIAL PROOFS OF GENERATING FUNCTION IDENTITIES FOR F-PARTITIONS

COMBINATORIAL PROOFS OF GENERATING FUNCTION IDENTITIES FOR F-PARTITIONS COMBINATORIAL PROOFS OF GENERATING FUNCTION IDENTITIES FOR F-PARTITIONS AE JA YEE 1 Abstract In his memoir in 1984 George E Andrews introduces many general classes of Frobenius partitions (simply F-partitions)

More information

PUTNAM TRAINING PROBLEMS

PUTNAM TRAINING PROBLEMS PUTNAM TRAINING PROBLEMS (Last updated: December 3, 2003) Remark This is a list of Math problems for the NU Putnam team to be discussed during the training sessions Miguel A Lerma 1 Bag of candies In a

More information

MI 4 Mathematical Induction Name. Mathematical Induction

MI 4 Mathematical Induction Name. Mathematical Induction Mathematical Induction It turns out that the most efficient solution to the Towers of Hanoi problem with n disks takes n 1 moves. If this isn t the formula you determined, make sure to check your data

More information

Countable and uncountable sets. Matrices.

Countable and uncountable sets. Matrices. CS 441 Discrete Mathematics for CS Lecture 11 Countable and uncountable sets. Matrices. Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Arithmetic series Definition: The sum of the terms of the

More information

Combinatorial Proofs and Algebraic Proofs I

Combinatorial Proofs and Algebraic Proofs I Combinatorial Proofs and Algebraic Proofs I Shailesh A Shirali Shailesh A Shirali is Director of Sahyadri School (KFI), Pune, and also Head of the Community Mathematics Centre in Rishi Valley School (AP).

More information

. As the binomial coefficients are integers we have that. 2 n(n 1).

. As the binomial coefficients are integers we have that. 2 n(n 1). Math 580 Homework. 1. Divisibility. Definition 1. Let a, b be integers with a 0. Then b divides b iff there is an integer k such that b = ka. In the case we write a b. In this case we also say a is a factor

More information

Lecture 7 Feb 4, 14. Sections 1.7 and 1.8 Some problems from Sec 1.8

Lecture 7 Feb 4, 14. Sections 1.7 and 1.8 Some problems from Sec 1.8 Lecture 7 Feb 4, 14 Sections 1.7 and 1.8 Some problems from Sec 1.8 Section Summary Proof by Cases Existence Proofs Constructive Nonconstructive Disproof by Counterexample Nonexistence Proofs Uniqueness

More information

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Name (please print) Mathematics Final Examination December 14, 2005 I. (4) Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,

More information

Getting Started with Communications Engineering

Getting Started with Communications Engineering 1 Linear algebra is the algebra of linear equations: the term linear being used in the same sense as in linear functions, such as: which is the equation of a straight line. y ax c (0.1) Of course, if we

More information

27 th Annual ARML Scrimmage

27 th Annual ARML Scrimmage 27 th Annual ARML Scrimmage Featuring: Howard County ARML Team (host) Baltimore County ARML Team ARML Team Alumni Citizens By Raymond Cheong May 23, 2012 Reservoir HS Individual Round (10 min. per pair

More information

arxiv: v1 [math.gm] 1 Oct 2015

arxiv: v1 [math.gm] 1 Oct 2015 A WINDOW TO THE CONVERGENCE OF A COLLATZ SEQUENCE arxiv:1510.0174v1 [math.gm] 1 Oct 015 Maya Mohsin Ahmed maya.ahmed@gmail.com Accepted: Abstract In this article, we reduce the unsolved problem of convergence

More information

Some Review Problems for Exam 2: Solutions

Some Review Problems for Exam 2: Solutions Math 5366 Fall 017 Some Review Problems for Exam : Solutions 1 Find the coefficient of x 15 in each of the following: 1 (a) (1 x) 6 Solution: 1 (1 x) = ( ) k + 5 x k 6 k ( ) ( ) 0 0 so the coefficient

More information

Section Summary. Proof by Cases Existence Proofs

Section Summary. Proof by Cases Existence Proofs Section 1.8 1 Section Summary Proof by Cases Existence Proofs Constructive Nonconstructive Disproof by Counterexample Uniqueness Proofs Proving Universally Quantified Assertions Proof Strategies sum up

More information

Pre-Algebra (6/7) Pacing Guide

Pre-Algebra (6/7) Pacing Guide Pre-Algebra (6/7) Pacing Guide Vision Statement Imagine a classroom, a school, or a school district where all students have access to high-quality, engaging mathematics instruction. There are ambitious

More information