Activity 1-12 : Multiple-free sets www.carom-maths.co.uk.

Slides:



Advertisements
Similar presentations
Mathematical Induction
Advertisements

Lecture 19. Reduction: More Undecidable problems
Mathematical induction Isaac Fung. Announcement ► Homework 1 released ► Due on 6 Oct 2008 (in class)
Copyright © Cengage Learning. All rights reserved.
Activity 1-16: The Distribution Of Prime Numbers
Elementary Number Theory and Methods of Proof
Section 7.4: Closures of Relations Let R be a relation on a set A. We have talked about 6 properties that a relation on a set may or may not possess: reflexive,
RMIT University; Taylor's College This is a story about four people named Everybody, Somebody, Anybody and Nobody. There was an important job to be done.
1 Intro to Induction Supplementary Notes Prepared by Raymond Wong Presented by Raymond Wong.
Consecutive Task Task 1 Task 2 Task 3 Task 4 Task 5 Task 6 Task 7
Chapter Number Theory 4 4 Copyright © 2013, 2010, and 2007, Pearson Education, Inc.
CS 2210 (22C:019) Discrete Structures Logic and Proof Spring 2015 Sukumar Ghosh.
Methods of Proof & Proof Strategies
CSCI 2110 Discrete Mathematics Tutorial 10 Chin 1.
 Jim has six children.  Chris fights with Bob,Faye, and Eve all the time; Eve fights (besides with Chris) with Al and Di all the time; and Al and Bob.
Reading and Writing Mathematical Proofs
College Algebra Fifth Edition James Stewart Lothar Redlin Saleem Watson.
Proofs 1/25/12.
Methods of Proof. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical theorems. Direct.
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
Activity 2-2: Mapping a set to itself
Discrete Mathematics Tutorial 11 Chin
Methods of Proof Lecture 3: Sep 9. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical.
Activity 1-9: Siders My local café features this pleasing motif in its flooring. I made a few copies and cut out the shapes…
Homework Homework due now. Reading: relations
Activity 1-7: The Overlapping Circles
Mathematical Proofs And how they are applied to Computer Olympiads.
Using Inductive Reasoning to Make Conjectures 2-1
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
Activity 1-19: The Propositional Calculus
CS201: Data Structures and Discrete Mathematics I
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
Copyright © Cengage Learning. All rights reserved. 1 Whole Numbers.
Activity 2-15: Elliptic curves
Activity 2-5: What are you implying?
Week 4 - Monday.  What did we talk about last time?  Divisibility  Quotient-remainder theorem  Proof by cases.
Activity 1-8: Repunits 111, 11111, , are all repunits. They have received a lot of attention down the.
Theorem The square of any odd integer has the form 8m + 1 for some integer m.
Solving Linear Equations. Example 1 It’s obvious what the answer is. However, we need to start with the basics and work our way up because we need to.
Copyright © Curt Hill Proofs An Introduction.
Activity 1-4 : The Least Road Problem
Activity 1-13: Descent This problem is due to Euler. Task: Show that the equation x 3 + 2y 3 + 4z 3 = 0 has the sole solution (0,
Mathematical Induction
1 Chapter 2 Pigeonhole Principle. 2 Summary Pigeonhole principle –simple form Pigeonhole principle –strong form Ramsey’s theorem.
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
The Pigeonhole Principle Alan Kaylor Cline. The Pigeonhole Principle Statement Children’s Version: “If k > n, you can’t stuff k pigeons in n holes without.
Chapter 5. Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If we can reach.
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
Activity 2-11: Quadratic Reciprocity
MA/CSSE 473 Day 10 Primality Testing. MA/CSSE 473 Day 10 In-class exam: Friday, Sept 28 –You may bring a two-sided 8.5x11 inch piece of paper containing.
Main Menu Main Menu (Click on the topics below) Pigeonhole Principle Example Generalized Pigeonhole Principle Example Proof of Pigeonhole Principle Click.
Prove that: odd + odd = even even + even = even odd + even = odd even + odd = odd.
EXAMPLE 3 Write an indirect proof Write an indirect proof that an odd number is not divisible by 4. GIVEN : x is an odd number. PROVE : x is not divisible.
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
Chapter 1 Logic and Proof.
Hubert Chan (Chapters 1.6, 1.7, 4.1)
Discrete Structures for Computer Science
Objective The student will be able to:
Direct Proof by Contraposition Direct Proof by Contradiction
How Many Ways Can 945 Be Written as the Difference of Squares?
Number Theory and Techniques of Proof
Copyright © 2016, 2013, and 2010, Pearson Education, Inc.
The Pigeonhole Principle
Hubert Chan (Chapters 1.6, 1.7, 4.1)
Applications of Expansion and Factorisation
Indirect Proof by Contradiction Direct Proof by Cases
Copyright © 2013, 2010, and 2007, Pearson Education, Inc.
Back to Cone Motivation: From the proof of Affine Minkowski, we can see that if we know generators of a polyhedral cone, they can be used to describe.
The Pigeonhole Principle
Presentation transcript:

Activity 1-12 : Multiple-free sets

Let’s call a set of numbers multiple-free if there is no pair of numbers in the set such that one is a multiple of the other. So { 3, 4, 5} is multiple-free, while { 3, 4, 6} is not.

Task: you are given the whole numbers from 1 to 20. What is the largest multiple-free set of these you can pick?

The primes? {19, 17, 13, 11, 7, 5, 3, 2} 8 numbers. If we take off 2 and 3, and add some others... {19, 18, 17, 13, 12, 11, 8, 7, 5} 9 numbers.

Or we could take the top half... {19, 18, 17, 16, 15, 14, 13, 12, 11} 10 numbers.

Conjecture: if we pick n + 1 of the numbers from 1 to 2n, this set will never be multiple-free. Call this statement S n. Task: prove S n for all n  1.

So S 5 says: if we pick 6 of the numbers from 1 to 10, this set will never be multiple-free. So S 14 says: if we pick 15 of the numbers from 1 to 28, this set will never be multiple-free. if we pick 106 of the numbers from 1 to 210, this set will never be multiple-free. So S 105 says:

Task: you are given a 2 by 2 square, and you are asked to pick five points. Prove that two of the points must lie within √2 of each other. And now for something apparently unrelated...

This looks tough initially, but The Pigeon-hole Principle makes it easy. What does this say? If you have n + 1 letters and n pigeon-holes to post them into, then some pigeonhole must contain at least two letters. This sounds obvious, but it is a wonderfully useful tool for proving all sorts of things.

Task: we know n people enter a room and some handshakes take place. No one shakes their own hand! Show that there is always some pair of people who have shaken hands the same number of times. Could The Pigeon-hole Principle help us here? There are two cases: 1.Someone shakes everybody else’s hand 2.Nobody shakes everybody else’s hand

If somebody shakes everybody else’s hand, then the possible handshake-scores around the room are 1, 2,..., n  1. No one can score 0, since everybody’s hand has been shaken. We have n  1 possible scores and n people, so by the Pigeon-hole Principle, two people have the same score. If nobody shakes everybody else’s hand, then the possible handshake-scores around the room are 0, 1, 2,..., n  2. Once again we have n  1 possible scores and n people, so by the Pigeon-hole Principle, some two people have the same score.

Let’s return to our five points problem. Divide the square into four equal ones. We have to pick five points, so by the Pigeon-hole Principle, two must be in the same square. The furthest apart that two points in the square can be is √2, so we are done.

Proof: Every integer can be written as 2 u v, where v is odd, and u  0. So we can write the 2n numbers in this form, a power of 2 times an odd number. Returning to our original problem...

Now pick n + 1 numbers from these 2n numbers. There are only n possibilities for v, so we must (by the Pigeon-Hole Principle) pick two numbers with the same v. So we write the 2n numbers in this form, 2 u v, where v is odd, and u  0. But 2 p v always divides 2 q v, if q > p, so we now have a pair in our set where one number divides the other, and so the set cannot be multiple-free.

We will use a method of DESCENT. We have a conjecture about whole numbers. If this is false, there must be a smallest example contradicting this. So we cannot find such an example at all, And we have proved our conjecture. It’s a powerful technique! The Minimal Criminal... Now construct from this a smaller such example. But a smaller example cannot exist! Alternative proof:

Suppose our conjecture is false. Let n be the first number for which S k fails, so we can pick n + 1 numbers from the first 2n so that our set is multiple-free, and we cannot do this for any smaller k. We are now going to attempt to show that (if the above is true) we must be able to find n - 1 numbers from 1 to 2n - 2 that are multiple-free. In which case, we have a contradiction! Conjecture: if we pick n + 1 of the numbers from 1 to 2n, this set will never be multiple-free. Call this statement S n. Task: prove this for all n  1.

There are 3 cases: Case 3: delete one number from the set of n + 1 you have chosen – you now have a set of n numbers from 1 to 2n - 2 which is multiple-free. Case 2: delete either 2n or 2n - 1 from the set of n + 1 you have chosen – you now have a set of n numbers from 1 to 2n - 2 which is multiple-free.

Case 1: neither n nor any factor of n can be in your set, because 2n is. So delete 2n and 2n - 1 from your list and add n. You now have n numbers between 1 and 2n - 2 that are multiple-free. So for Cases 1, 2, and 3, we have found a multiple-free set for the numbers from 1 to 2n - 2. But S k was meant to be impossible for any number less than n... We thus have a contradiction, and so choosing a multiple-free set of size n + 1 from the numbers from 1 to 2n must be impossible. What about Case 1?

With thanks to: Nrich, and Mazzafarius. Carom is written by Jonny Griffiths,