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

Similar documents
Intermediate Math Circles March 11, 2009 Sequences and Series

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

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

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

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

What can you prove by induction?

Situation: Summing the Natural Numbers

Four Basic Sets. Divisors

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

Algorithms: Lecture 2

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

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

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

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

Ross Program 2017 Application Problems

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

Table of Contents. 2013, Pearson Education, Inc.

5. Sequences & Recursion

1.2 Inductive Reasoning

Contents. Counting Methods and Induction

3.3 Accumulation Sequences

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

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

Wieland drift for triangular fully packed loop configurations

Math.3336: Discrete Mathematics. Cardinality of Sets

Section 4.1: Sequences and Series

Midterm Preparation Problems

Conjectures and proof. Book page 24-30

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

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

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

Fall 2017 November 10, Written Homework 5

Fall 2017 Test II review problems

Lecture 3 - Tuesday July 5th

Sums of Consecutive Integers

A guide to Proof by Induction

Solutions to Assignment 1

CSCI 150 Discrete Mathematics Homework 5 Solution

CIS Spring 2018 (instructor Val Tannen)

Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions

CS1800: Sequences & Sums. Professor Kevin Gold

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

The generating function of simultaneous s/t-cores

Putnam Pigeonhole Principle October 25, 2005

Alpha Sequences & Series MAΘ National Convention 2018

Appendix G: Mathematical Induction

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

Lecture 10: Everything Else

COM S 330 Lecture Notes Week of Feb 9 13

Some Review Problems for Exam 3: Solutions

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

Countable and uncountable sets. Matrices.

CDM Combinatorial Principles

Some Review Problems for Exam 1: Solutions

Session 7: Pseudoproofs and Puzzles - Handout

Pierre de Fermat ( )

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

VAN DER WAERDEN S THEOREM.

Generalization of a few results in integer partitions

Supremum and Infimum

Climbing an Infinite Ladder

SERIES

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.

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

Discrete Mathematics. Spring 2017

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

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

Example. How to Guess What to Prove

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

Mathematical Background

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

MOEMS What Every Young Mathlete Should Know

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

1.1.1 Algebraic Operations

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

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

BmMT 2017 Individual Round Solutions November 19, 2017

Chapter 1. Pigeonhole Principle

Lecture 6: The Pigeonhole Principle and Probability Spaces

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

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee

CHAPTER III THE PROOF OF INEQUALITIES

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

MATHEMATICAL INDUCTION

Eves Equihoop, The Card Game SET, and Abstract SET

Lecture 3: Sizes of Infinity

COMBINATORIAL PROOFS OF GENERATING FUNCTION IDENTITIES FOR F-PARTITIONS

PUTNAM TRAINING PROBLEMS

MI 4 Mathematical Induction Name. Mathematical Induction

Countable and uncountable sets. Matrices.

Combinatorial Proofs and Algebraic Proofs I

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

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

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

Getting Started with Communications Engineering

27 th Annual ARML Scrimmage

arxiv: v1 [math.gm] 1 Oct 2015

Some Review Problems for Exam 2: Solutions

Section Summary. Proof by Cases Existence Proofs

Pre-Algebra (6/7) Pacing Guide

Transcription:

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

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

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

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

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 2 + 10x = 39. 5 / 21

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

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 39 + 4 25 4 = 64, which is the square of 8. 25/4 39 8 7 / 21

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 39 + 4 25 4 = 64, which is the square of 8. 25/4 39 8 We finally deduce x: 8 2 5 2 = 3. 7 / 21

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

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 1879-1943 9 / 21

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

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 = 1 + 2 + + n + n + n-1 + + 1 = (n+1) + (n+1) + + (n+1)! 2 n is n times n + 1, thus, n = (n+1).n 2 11 / 21

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

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

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

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

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 + 0 = 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

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 + 0 = 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

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

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

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

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 = 1 + 2 + 3 + + n + 1 + 2 + + n-1 = 1 + 3 + 5 + + (2n-1)! 18 / 21

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

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 2. 19 / 21

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

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 2. 20 / 21

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