1/22/2010. Favorite? Topics in geometry. Meeting place. Reconsider the meeting place. Obvious fact? How far are they from each other?

Size: px
Start display at page:

Download "1/22/2010. Favorite? Topics in geometry. Meeting place. Reconsider the meeting place. Obvious fact? How far are they from each other?"

Transcription

1 Topics in geometry Dive straight into it! Favorite? Have you every taught geometry? When? How often? Do you enjoy it? What is geometry to you? On a sheet of paper please list your 3 favorite facts from geometry, 3 facts you think are most obvious. Meeting place Three friends are planning to meet before heading to the movie theater. Their goal is to meet so that they each have to walk the same distance to the meeting place. Help them determine where to meet. Reconsider the meeting place Obvious fact? There is one shortest path between any two points! How many shortest paths are there between any two points? How far are they from each other? We know that the shortest distance between points (x 1, y 1 ) and (x, y ) is given by d ( x y 1 x) ( y1 ) How would you find the shortest distance in taxicab geometry? 1

2 Distance formula What is the shortest path between (x 1, y 1 ) and (x, y )? What is geometry? Greeks thought: True and absolute description of physical world We think: Statements are either true or false GIVEN CERTAIN HYPOTHESES We give hypotheses and discover their consequences Questions: Where do hypotheses come from? How do we discover their consequences? HUH? Axiom 1: There are exactly four Fe s. Axiom: Any two distinct Fe s belong to exactly one Fo. Axiom 3: Each Fo contains exactly two Fe s. If two distinct Fo s have a Fe in common, then they have exactly one Fe in common. Go discover things. There are exactly six Fo s. Each Fe belongs to exactly three Fo s.

3 Each Fo has exactly one Fo disjoint to it. UTA problem You are on the UTA s planning commission and it has been agreed that the bus system should satisfy the following conditions: i. One can get from any bus stop to any other without transferring; ii. For any pair of routes there is one and only one bus stop where one can transfer from one route to the other; iii. There are exactly three bus stops on each route. How many bus routes are there in town? Difference? How are Fe/Fo and UTA different? Proving To show that a statement, S, is true: S S 1 S How are Fe/Fo and UTA similar? either: we arrive at a statement that is accepted as true S has been proved we do not arrive at a true statement: Flawed proof Faulty system The sequence of statements is incorrect. We need Agree on language Agree on axioms (statements to be accepted as true without justification) Agree on what constitutes a proof (how do we deduce new statements from old ones?) Two theorems: Contrariwise, if it was so, it might be; and if it were so, it would be; but as it isn t, it ain t! No cat has eight tails. Since one cat has one more tail than no cat, it must have nine tails. 3

4 Language: technical terms Exercise: What is a point? What is a line? What is a number? Possible answers What is a point? A sharp or tapered end A decimal point A dimensionless geometric object having no properties except location Euclid: that which has no part. Possible answers What is a line? a geometric figure formed by a point moving along a fixed direction and the reverse direction Euclid: A breadthless length That which lies evenly with the points on itself Undefined terms in our exercise Fe Fo Belongs to Interpretation Give each undefined term a particular meaning interpretation If all axioms are correct statements, the interpretation is called a model Give two interpretation of Fe, Fo: A model A non-model Properties of axiomatic system A set of axioms is said to be Consistent if it is impossible from these axioms to deduce a theorem that would contradict any axiom or previously proved theorem. Independent each of the axioms is independent: can not be deduced from other axioms. 4

5 How students do it (movie #9) Students just can t do it? Easier to follow someone else s argument, than to construct one s own? It s hard to use information that was known before Proof mapping: Forward-backward d technique Ask key question: how can your conclusion come about? It should be abstract. Its answer should be then applied to the specific situation. Decide whether to move forward or backward: Can I now use what I have to advance the argument? Do I need to ask another key question? If in a ABC we have AC BC and CD is the altitude, then ADC BDC Use proof map to prove: Vertical angles are congruent Students questions Consider the questions students ask in geometry classroom given on your handout. With your peers decide how to answer those questions We will give presentations after you had some time to work on them. 5

Class IX Chapter 5 Introduction to Euclid's Geometry Maths

Class IX Chapter 5 Introduction to Euclid's Geometry Maths Class IX Chapter 5 Introduction to Euclid's Geometry Maths Exercise 5.1 Question 1: Which of the following statements are true and which are false? Give reasons for your answers. (i) Only one line can

More information

CMA Geometry Unit 1 Introduction Week 2 Notes

CMA Geometry Unit 1 Introduction Week 2 Notes CMA Geometry Unit 1 Introduction Week 2 Notes Assignment: 9. Defined Terms: Definitions betweenness of points collinear points coplanar points space bisector of a segment length of a segment line segment

More information

Contact. Emina. Office: East Hall 1825 Phone:

Contact. Emina.   Office: East Hall 1825 Phone: to Contact Emina Email: eminaa@umich.edu Office: East Hall 1825 Phone: 734 647 5518 About me Born in Bosnia: Real home Utah Family Your turn Please fill out the questionnaire Back to business Class website

More information

Exercise 5.1: Introduction To Euclid s Geometry

Exercise 5.1: Introduction To Euclid s Geometry Exercise 5.1: Introduction To Euclid s Geometry Email: info@mywayteaching.com Q1. Which of the following statements are true and which are false? Give reasons for your answers. (i)only one line can pass

More information

CHAPTER 5 INTRODUCTION TO EUCLID S GEOMETRY. 5.1 Introduction

CHAPTER 5 INTRODUCTION TO EUCLID S GEOMETRY. 5.1 Introduction 78 MATHEMATICS INTRODUCTION TO EUCLID S GEOMETRY CHAPTER 5 5.1 Introduction The word geometry comes form the Greek words geo, meaning the earth, and metrein, meaning to measure. Geometry appears to have

More information

EUCLID S AXIOMS A-1 A-2 A-3 A-4 A-5 CN-1 CN-2 CN-3 CN-4 CN-5

EUCLID S AXIOMS A-1 A-2 A-3 A-4 A-5 CN-1 CN-2 CN-3 CN-4 CN-5 EUCLID S AXIOMS In addition to the great practical value of Euclidean Geometry, the ancient Greeks also found great aesthetic value in the study of geometry. Much as children assemble a few kinds blocks

More information

Mathmatics 239 solutions to Homework for Chapter 2

Mathmatics 239 solutions to Homework for Chapter 2 Mathmatics 239 solutions to Homework for Chapter 2 Old version of 8.5 My compact disc player has space for 5 CDs; there are five trays numbered 1 through 5 into which I load the CDs. I own 100 CDs. a)

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

35 Chapter CHAPTER 4: Mathematical Proof

35 Chapter CHAPTER 4: Mathematical Proof 35 Chapter 4 35 CHAPTER 4: Mathematical Proof Faith is different from proof; the one is human, the other is a gift of God. Justus ex fide vivit. It is this faith that God Himself puts into the heart. 21

More information

Axiomatic Systems and Incidence Geometry. Summer 2009 MthEd/Math 362 Chapter 2 1

Axiomatic Systems and Incidence Geometry. Summer 2009 MthEd/Math 362 Chapter 2 1 Axiomatic Systems and Incidence Geometry Summer 2009 MthEd/Math 362 Chapter 2 1 Axiomatic System An axiomatic system, or axiom system, includes: Undefined terms Such terms are necessary to avoid circularity:

More information

THE FIVE GROUPS OF AXIOMS.

THE FIVE GROUPS OF AXIOMS. 2 THE FIVE GROUPS OF AXIOMS. 1. THE ELEMENTS OF GEOMETRY AND THE FIVE GROUPS OF AXIOMS. Let us consider three distinct systems of things. The things composing the first system, we will call points and

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

Logic, Proof, Axiom Systems

Logic, Proof, Axiom Systems Logic, Proof, Axiom Systems MA 341 Topics in Geometry Lecture 03 29-Aug-2011 MA 341 001 2 Rules of Reasoning A tautology is a sentence which is true no matter what the truth value of its constituent parts.

More information

HOW TO WRITE PROOFS. Dr. Min Ru, University of Houston

HOW TO WRITE PROOFS. Dr. Min Ru, University of Houston HOW TO WRITE PROOFS Dr. Min Ru, University of Houston One of the most difficult things you will attempt in this course is to write proofs. A proof is to give a legal (logical) argument or justification

More information

Item 8. Constructing the Square Area of Two Proving No Irrationals. 6 Total Pages

Item 8. Constructing the Square Area of Two Proving No Irrationals. 6 Total Pages Item 8 Constructing the Square Area of Two Proving No Irrationals 6 Total Pages 1 2 We want to start with Pi. How Geometry Proves No Irrations They call Pi the ratio of the circumference of a circle to

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

Writing proofs. Tim Hsu, San José State University. May 31, Definitions and theorems 3. 2 What is a proof? 3. 3 A word about definitions 4

Writing proofs. Tim Hsu, San José State University. May 31, Definitions and theorems 3. 2 What is a proof? 3. 3 A word about definitions 4 Writing proofs Tim Hsu, San José State University May 31, 2006 Contents I Fundamentals 3 1 Definitions and theorems 3 2 What is a proof? 3 3 A word about definitions 4 II The structure of proofs 6 4 Assumptions

More information

Lecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem. Michael Beeson

Lecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem. Michael Beeson Lecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem Michael Beeson The hypotheses needed to prove incompleteness The question immediate arises whether the incompleteness

More information

Proof Techniques (Review of Math 271)

Proof Techniques (Review of Math 271) Chapter 2 Proof Techniques (Review of Math 271) 2.1 Overview This chapter reviews proof techniques that were probably introduced in Math 271 and that may also have been used in a different way in Phil

More information

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

Just-in-Time-Teaching and other gadgets. Richard Cramer-Benjamin Niagara University

Just-in-Time-Teaching and other gadgets. Richard Cramer-Benjamin Niagara University Just-in-Time-Teaching and other gadgets Richard Cramer-Benjamin Niagara University http://faculty.niagara.edu/richcb The Class MAT 443 Euclidean Geometry 26 Students 12 Secondary Ed (9-12 or 5-12 Certification)

More information

UNIT 10 NUMBER SYSTEMS, NUMBER THEORY, EXPONENTS AND LOGARITHMS

UNIT 10 NUMBER SYSTEMS, NUMBER THEORY, EXPONENTS AND LOGARITHMS UNIT 10 NUMBER SYSTEMS, NUMBER THEORY, EXPONENTS AND LOGARITHMS Number Systems, Number Theory, Exponents and Logarithms Structure 10.1 Introduction 10.2 Objectives 10.3 Number Systems 10.3.1 Sets of Numbers

More information

p, p or its negation is true, and the other false

p, p or its negation is true, and the other false Logic and Proof In logic (and mathematics) one often has to prove the truthness of a statement made. A proposition is a (declarative) sentence that is either true or false. Example: An odd number is prime.

More information

What are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos

What are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos What are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos armandobcm@yahoo.com February 5, 2014 Abstract This note is for personal use. It

More information

Arithmetic: Decimals, Fractions and Percentages

Arithmetic: Decimals, Fractions and Percentages A B UNIT Lesson Plan Fractions and Place value and conversion of decimals to fractions T: Can you remember the place value table? Can you tell me the headings we use? Ps:... hundreds, tens, units, tenths,

More information

The analysis method for construction problems in the dynamic geometry

The analysis method for construction problems in the dynamic geometry The analysis method for construction problems in the dynamic geometry Hee-chan Lew Korea National University of Education SEMEO-RECSAM University of Tsukuba of Tsukuba Joint Seminar Feb. 15, 2016, Tokyo

More information

Geometry and axiomatic Method

Geometry and axiomatic Method Chapter 1 Geometry and axiomatic Method 1.1 Origin of Geometry The word geometry has its roots in the Greek word geometrein, which means earth measuring. Before the time of recorded history, geometry originated

More information

How to prove it (or not) Gerry Leversha MA Conference, Royal Holloway April 2017

How to prove it (or not) Gerry Leversha MA Conference, Royal Holloway April 2017 How to prove it (or not) Gerry Leversha MA Conference, Royal Holloway April 2017 My favourite maxim It is better to solve one problem in five different ways than to solve five problems using the same method

More information

Ohio s State Tests PRACTICE TEST GEOMETRY. Student Name

Ohio s State Tests PRACTICE TEST GEOMETRY. Student Name Ohio s State Tests PRACTICE TEST GEOMETRY Student Name The Ohio Department of Education does not discriminate on the basis of race, color, national origin, sex, religion, age, or disability in employment

More information

PROOFS IN MATHEMATICS

PROOFS IN MATHEMATICS Appendix 1 PROOFS IN MATHEMATICS Proofs are to Mathematics what calligraphy is to poetry. Mathematical works do consist of proofs just as poems do consist of characters. VLADIMIR ARNOLD A.1.1 Introduction

More information

Chapter 3. Betweenness (ordering) A system satisfying the incidence and betweenness axioms is an ordered incidence plane (p. 118).

Chapter 3. Betweenness (ordering) A system satisfying the incidence and betweenness axioms is an ordered incidence plane (p. 118). Chapter 3 Betweenness (ordering) Point B is between point A and point C is a fundamental, undefined concept. It is abbreviated A B C. A system satisfying the incidence and betweenness axioms is an ordered

More information

3.2. Parallel Lines and Transversals

3.2. Parallel Lines and Transversals . Parallel Lines and Transversals Essential Question When two parallel lines are cut by a transversal, which of the resulting pairs of angles are congruent? Exploring Parallel Lines Work with a partner.

More information

3.2. Parallel Lines and Transversals

3.2. Parallel Lines and Transversals . Parallel Lines and Transversals COMMON CORE Learning Standard HSG-CO.C.9 Essential Question When two parallel lines are cut by a transversal, which of the resulting pairs of angles are congruent? Work

More information

Unit 5: Congruency. Part 1 of 3: Intro to Congruency & Proof Pieces. Lessons 5-1 through 5-4

Unit 5: Congruency. Part 1 of 3: Intro to Congruency & Proof Pieces. Lessons 5-1 through 5-4 Name: Geometry Period Unit 5: Congruency Part 1 of 3: Intro to Congruency & Proof Pieces Lessons 5-1 through 5-4 In this unit you must bring the following materials with you to class every day: Please

More information

STA2112F99 ε δ Review

STA2112F99 ε δ Review STA2112F99 ε δ Review 1. Sequences of real numbers Definition: Let a 1, a 2,... be a sequence of real numbers. We will write a n a, or lim a n = a, if for n all ε > 0, there exists a real number N such

More information

ANALYSIS I. (i) For every ordered pair of real numbers a, b we can associate a third one written a + b called their sum

ANALYSIS I. (i) For every ordered pair of real numbers a, b we can associate a third one written a + b called their sum 1 The real number system 1.1 What are the reals? ANALYSIS I What are the real numbers? For the moment this is too hard a question! We can give various answers, but for the moment we prefer just to agree

More information

Conditional Statements

Conditional Statements 2.1 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS G.4.B Conditional Statements Essential Question When is a conditional statement true or false? A conditional statement, symbolized by p q, can be written as an

More information

Special Relativity - Math Circle

Special Relativity - Math Circle Special Relativity - Math Circle Jared Claypoole Julio Parra Andrew Yuan January 24, 2016 Introduction: The Axioms of Special Relativity The principle of relativity existed long before Einstein. It states:

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

Geometry Syllabus 2012/2013/2014

Geometry Syllabus 2012/2013/2014 Geometry Syllabus 2012/2013/2014 In the examination, candidates will have the option of answering a question on the synthetic geometry set out here, or Geometry Syllabus 2012/2013/2014 or answering a problem

More information

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 1. (a) Write the converse, contrapositive and negation of the following statement: For every integer n, if n is divisible by 3 then

More information

from Euclid to Einstein

from Euclid to Einstein WorkBook 2. Space from Euclid to Einstein Roy McWeeny Professore Emerito di Chimica Teorica, Università di Pisa, Pisa (Italy) A Pari New Learning Publication Book 2 in the Series WorkBooks in Science (Last

More information

Lecture 1: Axioms and Models

Lecture 1: Axioms and Models Lecture 1: Axioms and Models 1.1 Geometry Although the study of geometry dates back at least to the early Babylonian and Egyptian societies, our modern systematic approach to the subject originates in

More information

Geometry Unit 2 Notes Logic, Reasoning and Proof

Geometry Unit 2 Notes Logic, Reasoning and Proof Geometry Unit Notes Logic, Reasoning and Proof Review Vocab.: Complementary, Supplementary and Vertical angles. Syllabus Objective:. - The student will justify conjectures and solve problem using inductive

More information

Mathematical Proofs. e x2. log k. a+b a + b. Carlos Moreno uwaterloo.ca EIT e π i 1 = 0.

Mathematical Proofs. e x2. log k. a+b a + b. Carlos Moreno uwaterloo.ca EIT e π i 1 = 0. Mathematical Proofs Carlos Moreno cmoreno @ uwaterloo.ca EIT-4103 N k=0 log k 0 e x2 e π i 1 = 0 dx a+b a + b https://ece.uwaterloo.ca/~cmoreno/ece250 Mathematical Proofs Standard reminder to set phones

More information

WHALE EVOLUTION EVIDENCE TO SUPPORT THEORIES [3 points each]

WHALE EVOLUTION EVIDENCE TO SUPPORT THEORIES [3 points each] WHALE EVOLUTION EVIDENCE TO SUPPORT THEORIES [3 points each] MESONYCHIDS Explain what specific characteristics the Mesonychids exhibits based on the fossils found in Pakistan. In what range of years do

More information

RANDOM WALKS IN ONE DIMENSION

RANDOM WALKS IN ONE DIMENSION RANDOM WALKS IN ONE DIMENSION STEVEN P. LALLEY 1. THE GAMBLER S RUIN PROBLEM 1.1. Statement of the problem. I have A dollars; my colleague Xinyi has B dollars. A cup of coffee at the Sacred Grounds in

More information

INTRODUCTION TO LOGIC

INTRODUCTION TO LOGIC INTRODUCTION TO LOGIC L. MARIZZA A. BAILEY 1. The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra and geometry.

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

Mathematical Proofs. e x2. log k. a+b a + b. Carlos Moreno uwaterloo.ca EIT e π i 1 = 0.

Mathematical Proofs. e x2. log k. a+b a + b. Carlos Moreno uwaterloo.ca EIT e π i 1 = 0. Mathematical Proofs Carlos Moreno cmoreno @ uwaterloo.ca EIT-4103 N k=0 log k 0 e x2 e π i 1 = 0 dx a+b a + b https://ece.uwaterloo.ca/~cmoreno/ece250 Today's class: Mathematical Proofs We'll investigate

More information

Math Project 1 We haven t always been a world where proof based mathematics existed and in fact, the

Math Project 1 We haven t always been a world where proof based mathematics existed and in fact, the 336 Math Project 1 We haven t always been a world where proof based mathematics existed and in fact, the 1 use of proofs emerged in ancient Greek mathematics sometime around 300 BC. It was essentially

More information

What is proof? Lesson 1

What is proof? Lesson 1 What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might

More information

Unit 2 - Linear Motion and Graphical Analysis

Unit 2 - Linear Motion and Graphical Analysis Unit 2 - Linear Motion and Graphical Analysis Motion in one dimension is particularly easy to deal with because all the information about it can be encapsulated in two variables: x, the position of the

More information

CHAPTER 0. Introduction

CHAPTER 0. Introduction M361 E. Odell CHAPTER 0 Introduction Mathematics has an advantage over other subjects. Theorems are absolute. They are not subject to further discussion as to their correctness. No sane person can write

More information

Introduction to Logic

Introduction to Logic Introduction to Logic L. Marizza A. Bailey June 21, 2014 The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra

More information

5.2. Perfect Numbers Divisors of a natural number were covered in Section 5.1.

5.2. Perfect Numbers Divisors of a natural number were covered in Section 5.1. 5.2 Smith Numbers The mathematician Albert Wilansky, when phoning his brother-in-law, Mr. Smith, noticed an interesting property concerning Smith s phone number (493-7775). The number 4,937,775 is composite,

More information

Axiomatic set theory. Chapter Why axiomatic set theory?

Axiomatic set theory. Chapter Why axiomatic set theory? Chapter 1 Axiomatic set theory 1.1 Why axiomatic set theory? Essentially all mathematical theories deal with sets in one way or another. In most cases, however, the use of set theory is limited to its

More information

7.2 Applications of Euler s and Fermat s Theorem.

7.2 Applications of Euler s and Fermat s Theorem. 7.2 Applications of Euler s and Fermat s Theorem. i) Finding and using inverses. From Fermat s Little Theorem we see that if p is prime and p a then a p 1 1 mod p, or equivalently a p 2 a 1 mod p. This

More information

Dr Prya Mathew SJCE Mysore

Dr Prya Mathew SJCE Mysore 1 2 3 The word Mathematics derived from two Greek words Manthanein means learning Techne means an art or technique So Mathematics means the art of learning related to disciplines or faculties disciplines

More information

Math Fundamentals for Statistics I (Math 52) Unit 7: Connections (Graphs, Equations and Inequalities)

Math Fundamentals for Statistics I (Math 52) Unit 7: Connections (Graphs, Equations and Inequalities) Math Fundamentals for Statistics I (Math 52) Unit 7: Connections (Graphs, Equations and Inequalities) By Scott Fallstrom and Brent Pickett The How and Whys Guys This work is licensed under a Creative Commons

More information

P1-763.PDF Why Proofs?

P1-763.PDF Why Proofs? P1-763.PDF Why Proofs? During the Iron Age men finally started questioning mathematics which eventually lead to the creating of proofs. People wanted to know how and why is math true, rather than just

More information

Ch 3.2: Direct proofs

Ch 3.2: Direct proofs Math 299 Lectures 8 and 9: Chapter 3 0. Ch3.1 A trivial proof and a vacuous proof (Reading assignment) 1. Ch3.2 Direct proofs 2. Ch3.3 Proof by contrapositive 3. Ch3.4 Proof by cases 4. Ch3.5 Proof evaluations

More information

Notes 1 Autumn Sample space, events. S is the number of elements in the set S.)

Notes 1 Autumn Sample space, events. S is the number of elements in the set S.) MAS 108 Probability I Notes 1 Autumn 2005 Sample space, events The general setting is: We perform an experiment which can have a number of different outcomes. The sample space is the set of all possible

More information

G12MAN Mathematical Analysis Fully-justified answers to Revision Quiz questions

G12MAN Mathematical Analysis Fully-justified answers to Revision Quiz questions G12MAN Mathematical Analysis Fully-justified answers to Revision Quiz questions Remember that, unless otherwise specified or not applicable for some reason), you MUST justify your answers to questions

More information

11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic

11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic 11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic Bezout s Lemma Let's look at the values of 4x + 6y when x and y are integers. If x is -6 and y is 4 we

More information

Enhanced Instructional Transition Guide

Enhanced Instructional Transition Guide Enhanced Instructional Transition Guide / Unit 07: Suggested Duration: 3 days Unit 07: Measurement (15 days) Possible Lesson 01 (9 days) Possible Lesson 02 (3 days) Possible Lesson 03 (3 days) Possible

More information

Please note that, as always, these notes are really not complete without diagrams. I have included a few, but the others are up to you.

Please note that, as always, these notes are really not complete without diagrams. I have included a few, but the others are up to you. Mathematics 3210 Spring Semester, 2005 Homework notes, part 6 March 18, 2005 lease note that, as always, these notes are really not complete without diagrams. I have included a few, but the others are

More information

Checkpoint Questions Due Monday, October 1 at 2:15 PM Remaining Questions Due Friday, October 5 at 2:15 PM

Checkpoint Questions Due Monday, October 1 at 2:15 PM Remaining Questions Due Friday, October 5 at 2:15 PM CS103 Handout 03 Fall 2012 September 28, 2012 Problem Set 1 This first problem set is designed to help you gain a familiarity with set theory and basic proof techniques. By the time you're done, you should

More information

Part 1: You are given the following system of two equations: x + 2y = 16 3x 4y = 2

Part 1: You are given the following system of two equations: x + 2y = 16 3x 4y = 2 Solving Systems of Equations Algebraically Teacher Notes Comment: As students solve equations throughout this task, have them continue to explain each step using properties of operations or properties

More information

MTH 250 Graded Assignment 4

MTH 250 Graded Assignment 4 MTH 250 Graded Assignment 4 Measurement Material from Kay, sections 2.4, 3.2, 2.5, 2.6 Q1: Suppose that in a certain metric geometry* satisfying axioms D1 through D3 [Kay, p78], points A, B, C and D are

More information

1 Modular Arithmetic Grade Level/Prerequisites: Time: Materials: Preparation: Objectives: Navajo Nation Math Circle Connection

1 Modular Arithmetic Grade Level/Prerequisites: Time: Materials: Preparation: Objectives: Navajo Nation Math Circle Connection 1 Modular Arithmetic Students will explore a type of arithmetic that results from arranging numbers in circles instead of on a number line. Students make and prove conjectures about patterns relating to

More information

Math 308 Midterm Answers and Comments July 18, Part A. Short answer questions

Math 308 Midterm Answers and Comments July 18, Part A. Short answer questions Math 308 Midterm Answers and Comments July 18, 2011 Part A. Short answer questions (1) Compute the determinant of the matrix a 3 3 1 1 2. 1 a 3 The determinant is 2a 2 12. Comments: Everyone seemed to

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

Existence Postulate: The collection of all points forms a nonempty set. There is more than one point in that set.

Existence Postulate: The collection of all points forms a nonempty set. There is more than one point in that set. Undefined Terms: Point Line Distance Half-plane Angle measure Area (later) Axioms: Existence Postulate: The collection of all points forms a nonempty set. There is more than one point in that set. Incidence

More information

Frames of reference. Objectives. Assessment. Physics terms. Equations. What is a frame of reference? 5/19/14

Frames of reference. Objectives. Assessment. Physics terms. Equations. What is a frame of reference? 5/19/14 Frames of reference Objectives Identify and describe motion relative to different frames of reference. Calculate the one-dimensional velocity of an object in a moving frame of reference. A train is moving

More information

r=1 Our discussion will not apply to negative values of r, since we make frequent use of the fact that for all non-negative numbers x and t

r=1 Our discussion will not apply to negative values of r, since we make frequent use of the fact that for all non-negative numbers x and t Chapter 2 Some Area Calculations 2.1 The Area Under a Power Function Let a be a positive number, let r be a positive number, and let S r a be the set of points (x, y) in R 2 such that 0 x a and 0 y x r.

More information

October 16, Geometry, the Common Core, and Proof. John T. Baldwin, Andreas Mueller. The motivating problem. Euclidean Axioms and Diagrams

October 16, Geometry, the Common Core, and Proof. John T. Baldwin, Andreas Mueller. The motivating problem. Euclidean Axioms and Diagrams October 16, 2012 Outline 1 2 3 4 5 Agenda 1 G-C0-1 Context. 2 Activity: Divide a line into n pieces -with string; via construction 3 Reflection activity (geometry/ proof/definition/ common core) 4 mini-lecture

More information

Math 144 Summer 2012 (UCR) Pro-Notes June 24, / 15

Math 144 Summer 2012 (UCR) Pro-Notes June 24, / 15 Before we start, I want to point out that these notes are not checked for typos. There are prbally many typeos in them and if you find any, please let me know as it s extremely difficult to find them all

More information

Solution Set 2. Problem 1. [a] + [b] = [a + b] = [b + a] = [b] + [a] ([a] + [b]) + [c] = [a + b] + [c] = [a + b + c] = [a] + [b + c] = [a] + ([b + c])

Solution Set 2. Problem 1. [a] + [b] = [a + b] = [b + a] = [b] + [a] ([a] + [b]) + [c] = [a + b] + [c] = [a + b + c] = [a] + [b + c] = [a] + ([b + c]) Solution Set Problem 1 (1) Z/nZ is the set of equivalence classes of Z mod n. Equivalence is determined by the following rule: [a] = [b] if and only if b a = k n for some k Z. The operations + and are

More information

Models of Computation,

Models of Computation, Models of Computation, 2010 1 Induction We use a lot of inductive techniques in this course, both to give definitions and to prove facts about our semantics So, it s worth taking a little while to set

More information

Section 4.7 Scientific Notation

Section 4.7 Scientific Notation Section 4.7 Scientific Notation INTRODUCTION Scientific notation means what it says: it is the notation used in many areas of science. It is used so that scientist and mathematicians can work relatively

More information

Proofs. 29th January 2014

Proofs. 29th January 2014 Proofs 29th January 2014 Housekeeping Your solutions to Problem Sheet 2 are due today at the start of class. Please make sure you have your name on them and that you put them in the correct pile! Don t

More information

1. Write three things you already know about expressions. Share your work with a classmate. Did your classmate understand what you wrote?

1. Write three things you already know about expressions. Share your work with a classmate. Did your classmate understand what you wrote? LESSON 1: RATIONAL EXPONENTS 1. Write three things you already know about epressions. Share your work with a classmate. Did your classmate understand what you wrote?. Write your wonderings about working

More information

DISCOVERING GEOMETRY Over 6000 years ago, geometry consisted primarily of practical rules for measuring land and for

DISCOVERING GEOMETRY Over 6000 years ago, geometry consisted primarily of practical rules for measuring land and for Name Period GEOMETRY Chapter One BASICS OF GEOMETRY Geometry, like much of mathematics and science, developed when people began recognizing and describing patterns. In this course, you will study many

More information

Geometry Unit 2 Notes Logic, Reasoning and Proof

Geometry Unit 2 Notes Logic, Reasoning and Proof Geometry Unit Notes Logic, Reasoning and Proof Review Vocab.: Complementary, Supplementary and Vertical angles. Syllabus Objective:. - The student will justify conjectures and solve problem using inductive

More information

Question: Total. Points:

Question: Total. Points: MATH 200, Lec 2 November 20, 2006 Second Midterm Name: ID: Question: 1 2 3 4 5 6 Total Points: 10 10 10 5 10 10 55 Score: There are 6 problems in this exam. The pages are printed on both sides. Make sure

More information

UAB MATH TALENT SEARCH

UAB MATH TALENT SEARCH NAME: GRADE: SCHOOL NAME: 2016-2017 UAB MATH TALENT SEARCH This is a two hour contest. Answers are to be written in the spaces provided on the test sheet. There will be no credit if the answer is incorrect.

More information

Workshop 1- Building on the Axioms. The First Proofs

Workshop 1- Building on the Axioms. The First Proofs Boston University Summer I 2009 Workshop 1- Building on the Axioms. The First Proofs MA341 Number Theory Kalin Kostadinov The goal of this workshop was to organize our experience with the common integers

More information

SOLVING EQUATIONS AND DEVELOPING THE FOUNDATION FOR PROOFS

SOLVING EQUATIONS AND DEVELOPING THE FOUNDATION FOR PROOFS 12 SOLVING EQUATIONS AND DEVELOPING THE FOUNDATION FOR PROOFS INSTRUCTIONAL ACTIVITY Lesson 2 LEARNING GOAL Students will solve linear equations using concrete and semi-concrete models, algebraic procedures,

More information

Projects in Geometry for High School Students

Projects in Geometry for High School Students Projects in Geometry for High School Students Goal: Our goal in more detail will be expressed on the next page. Our journey will force us to understand plane and three-dimensional geometry. We will take

More information

Probability Year 9. Terminology

Probability Year 9. Terminology Probability Year 9 Terminology Probability measures the chance something happens. Formally, we say it measures how likely is the outcome of an event. We write P(result) as a shorthand. An event is some

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

Strongly Agree Agree

Strongly Agree Agree Reed ACCT 556-7E2 Summer 2015 Item Analysis - Survey: Course requirements were clearly communicated in syllabus. Strongly Agree 5 19 86.36 86.36 86.36 86.36 Agree 4 3 13.64 100.00 13.64 100.00 Neither

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

2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary

2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary 2-1 Inductive Reasoning and Conjecture What You ll Learn Scan Lesson 2-1. List two headings you would use to make an outline of this lesson. 1. Active Vocabulary 2. New Vocabulary Fill in each blank with

More information

Teacher s Guide Listen to Literature

Teacher s Guide Listen to Literature Teacher s Guide Listen to Literature Focus Skills Grammar Subject Pronouns Listening and Speaking Listen to Literature The Secret Water retold by Daphne Liu CD 1 Track 11 ABOUT THE FOLK TALE When Shu Fa

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

3. In the Poincaré Plane let l = 0 L and. 4. Prove the above Theorem. [Th 7.1.4, p173] 5. Show that in the Poincaré Plane there is

3. In the Poincaré Plane let l = 0 L and. 4. Prove the above Theorem. [Th 7.1.4, p173] 5. Show that in the Poincaré Plane there is 22 The Existence of Parallel Lines The concept of parallel lines has led to both the most fruitful and the most frustrating developments in plane geometry. Euclid (c. 330-275 B.C.E.) defined two segments

More information

Some Basic Logic. Henry Liu, 25 October 2010

Some Basic Logic. Henry Liu, 25 October 2010 Some Basic Logic Henry Liu, 25 October 2010 In the solution to almost every olympiad style mathematical problem, a very important part is existence of accurate proofs. Therefore, the student should be

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