Written Assignment 2 Fibonacci Sequence

Size: px
Start display at page:

Download "Written Assignment 2 Fibonacci Sequence"

Transcription

1 Written Assignment Fibonacci Sequence Banana Slug (Put Your Name here) University of California at Santa Cruz Santa Cruz, CA 9064 USA September, 018 (Write your own abstract.) Abstract 1 Introduction. Who is Fibonacci? (Give a historical account of a person after whom Fibonacci sequence was named. When and where he lived, what he did, etc.) Fibonacci Sequence (You provide proofs for the following statements. You can add or delete comments between any two statements. You can also reorganize the following statements. But supply proofs to all the statements below.) The Fibonacci sequence {a n } n N is given by a 1 = a = 1, a n = a n 1 + a n, for n 3. The first twenty terms of a n are given as follows. 1, 1,, 3,, 8, 13, 1, 34,, 89, 144, 33, 377, 610, 987, 197, 84, 4181, 676. We notice that even integers appear every third term, and every fifth term is a multiple of. These are no accidents. In fact, using the recursive relation above several times, we can quickly deduce the following congruence relations. Lemma.1. The following congruence relations hold for Fibonacci numbers. (See class notes.) a n+3 a n mod, and a n+ 3a n mod. 1

2 Upon inspection of the first five terms, we obtain the following corollary. Corollary.. In the Fibonacci sequence, a n is even if and only if 3 n. Similarly, a n if and only if n. These results can be generalized in the following Theorem. Theorem.3. For m 1 and n 1, a mn is divisible by a m. To prove this result, we need to prepare a Lemma. Lemma.4. For m and n 1, Fibonacci sequence satisfies a m+n = a m 1 a n + a m a n+1. We prove the above identity for a fixed m by strong induction on n 1. First, we verify the formula for n = 1,. When n = 1, the identity takes the form (R.H.S.) = a m 1 a 1 + a m a = a m 1 + a m = a m+1 = (L.H.S.). This verifies the formula for n = 1. For n =, using a = 1, a 3 =, we get a m 1 a + a m a 3 = a m 1 + a m = (a m 1 + a m ) + a m = a m+1 + a m = a m+. Next, assume the formula for n = 1,,..., k with k and prove the formula for n = k + 1. (Complete the proof. You can use the formula for n = k 1, k to deduce the formula for n = k + 1.) Theorem can now be proved by induction on n using the following formula which is a consequence of the above Lemma. a m(k+1) = a mk+m = a mk 1 a m + a mk a m+1. Proof of Theorem. For a fixed m 1, we do induction on n to prove the divisibility property in Theorem. Next, we discuss some summation properties of Fibonacci sequences. results can be proved by simple induction. The following Proposition.. The Fibonacci sequence {a m } has the following properties. a 1 + a 3 + a + + a n 1 = a n, a + a 4 + a a n = a n+1 1, a 1 a + a 3 a ( 1) n+1 a n = 1 + ( 1) n+1 a n 1.

3 In 1843, a French mathematician Binet found the formula for the general term a n of the Fibonacci sequence. Let α and β be two solutions to x x 1 = 0. Thus, α = 1 +, β = 1. Note that α and β satisfy an equation similar to the recursive relation of the Fibonacci sequence a n = a n 1 + a n. Namely, α = α + 1 and β = β + 1. Binet s formula is given in the next Theorem. Theorem.6 (Binet). The general term a n of the Fibonacci sequence is given by [( a n = αn β n α β = ) n ( 1 ) n ]. (We discussed a proof in class. However, there are many different proofs. You can explore them on your own.) The above formula can be used to directly prove various identities involving Fibonacci numbers for which induction may not be easily applied. For example, we can show the following. Proposition.7. The Fibonacci sequence satisfy the following identity. a n+ a n = a n+. Some of you may have noticed that α = 1+ is the golden ratio. This number naturally appears in the Fibonacci sequence as the limit of the successive quotient. The following formula can be proved using Binet s formula by noticing that β n converges to 0 as n goes to infinity. Proposition.8. For the Fibonacci sequence {a n }, we have a n+1 lim = α = 1 +. n a n 3 Fibonacci Sequence in Nature (Do some research and find how Fibonacci sequence appear in nature in various patterns exhibited by plants, creatures, etc. For example, lilies have 3 petals, buttercups have petals, marigolds have 13, etc. Spiral patterns of seeds on the sunflower head has to do with Fibonacci numbers, so is the pattern on pineapples. Find out more on patterns in nature and its relationship to Fibonacci numbers.) (Delete below in your final paper, except possibly the reference. To cite a reference, use the following control sequence [1] to cite the first reference. See the tex file to see how this was actually done.) 3

4 4 Writing Guidelines From this section on, you can delete it in your finished paper. These sections are here as your guidance. 1. Follow all the writing guidelines from your textbook (See Chapter 1) and those discussed in class.. Your paper will be graded for the correctness of the mathematical arguments that you present, the clarity and quality of your exposition and the overall structure of the paper. Give careful thought to the order in which the parts of your paper appear. The above only gives bare minimum materials. Flesh out your paper. Give whatever materials you wish to add, and you will earn more points. 3. Try hard to eliminate typos. Proof read your paper several times. You may lose substantial points due to typos. To that end, do not rely solely on your spell checker; a sentence can be spelled correctly yet still be incorrect grammatically or have a different meaning than you intend. For instance, Give careful thought to the order in which the parts of you paper appear. has a typo that a spell checker won t catch. Collaboration: YES Plagiarism: NO You are allowed (in fact encouraged) to collaborate on this assignment. BUT you need to write your own paper. And YOU need to write it. See integrity /undergraduate students/resources.html for information about what constitutes cheating/plagiarism. Here is a well-written primer on plagiarism and how to avoid it written by UCSC faculty Gregory S. Gilbert (Environmental Studies) and Ingrid M. Parker (Ecology and Evolutionary Biology): 6 Closing Remarks Good luck with learning L A TEX and with your writing. Remember that both Jacqui and I are available in office hours and section for questions. See the class web site for office hour details as well as for additional resources for using L A TEX and writing Mathematics papers. I also want to take the opportunity to tell you that learning L A TEX will take some time but is absolutely worth it, particularly if you expect to continue to use mathematical notation in your future work. L A TEX is simply the best way to represent mathematical formulae, and once you have learned the basics, it is really quite easy to use. You will get better at it quickly, plus it s free as opposed to other typesetting programs. 4

5 References [1] J. Abhau, C.-F. Bödigheimer and R. Ehrenfried, Homology of the mapping class group Γ,1 for surfaces of genus with a boundary curve, arxiv: [] M. F. Atiyah, Topological quantum field theories, Inst. Hautes Etudes Sci. Publ. Math. No 68 (1988), [3] C.-F. Bödigheimer and U. Tillmann, Stripping and splitting decorated mapping class groups, Birkhäuser, Progress in Math. 196(001), [4] K.S. Brown, Cohomology of Groups, Graduate Texs in Mathematics, 87, Springer Verlag, New York (198). [] D. Chataur and L. Menichi, String topology of classifying spaces, arxiv: [6] M. Chas and D. Sullivan, String topology, CUNY, to appear in Ann. of Math. (1999). math.gt/ [7] R. Cohen and V. Godin, A polarized view of string topology, Topology, geometry and quantum field theory, London Math. Soc. Lecture Note Ser. Vol 308, Cambridge Univ. Press, Cambridge, 004

PODSYPANIN S PAPER ON THE LENGTH OF THE PERIOD OF A QUADRATIC IRRATIONAL. Copyright 2007

PODSYPANIN S PAPER ON THE LENGTH OF THE PERIOD OF A QUADRATIC IRRATIONAL. Copyright 2007 PODSYPANIN S PAPER ON THE LENGTH OF THE PERIOD OF A QUADRATIC IRRATIONAL JOHN ROBERTSON Copyright 007 1. Introduction The major result in Podsypanin s paper Length of the period of a quadratic irrational

More information

Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011

Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011 Math 31 Lesson Plan Day 5: Intro to Groups Elizabeth Gillaspy September 28, 2011 Supplies needed: Sign in sheet Goals for students: Students will: Improve the clarity of their proof-writing. Gain confidence

More information

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. Math 152, Problem Set 2 solutions (2018-01-24) All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. 1. Let us look at the following equation: x 5 1

More information

Great Theoretical Ideas in Computer Science

Great Theoretical Ideas in Computer Science 15-251 Great Theoretical Ideas in Computer Science Recurrences, Fibonacci Numbers and Continued Fractions Lecture 9, September 23, 2008 Happy Autumnal Equinox http://apod.nasa.gov/apod/ap080922.html Leonardo

More information

Chapter 5.1: Induction

Chapter 5.1: Induction Chapter.1: Induction Monday, July 1 Fermat s Little Theorem Evaluate the following: 1. 1 (mod ) 1 ( ) 1 1 (mod ). (mod 7) ( ) 8 ) 1 8 1 (mod ). 77 (mod 19). 18 (mod 1) 77 ( 18 ) 1 1 (mod 19) 18 1 (mod

More information

Grade 7/8 Math Circles October 28/29, Series

Grade 7/8 Math Circles October 28/29, Series Faculty of Mathematics Waterloo, Ontario NL 3G1 Centre for Education in Mathematics and Computing Sequence Recap Grade 7/8 Math Circles October 8/9, 014 Series Before starting series lets recap last weeks

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

Great Theoretical Ideas in Computer Science

Great Theoretical Ideas in Computer Science 15-251 Great Theoretical Ideas in Computer Science Recurrences, Fibonacci Numbers and Continued Fractions Lecture 9, September 24, 2009 Leonardo Fibonacci In 1202, Fibonacci proposed a problem about the

More information

EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS

EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS CLARA LÖH Abstract. By Gromov s mapping theorem for bounded cohomology, the projection of a group to the quotient by an amenable normal subgroup

More information

Generalization of Fibonacci sequence

Generalization of Fibonacci sequence Generalization of Fibonacci sequence Etienne Durand Julien Chartrand Maxime Bolduc February 18th 2013 Abstract After studying the fibonacci sequence, we found three interesting theorems. The first theorem

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

CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138

CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138 CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138 Abstract. We construct central extensions of the Lie algebra of differential operators

More information

Algebra Terminology Part 1

Algebra Terminology Part 1 Grade 8 1 Algebra Terminology Part 1 Constant term or constant Variable Numerical coefficient Algebraic term Like terms/unlike Terms Algebraic expression Algebraic equation Simplifying Solving TRANSLATION

More information

Entropy and Ergodic Theory Lecture 15: A first look at concentration

Entropy and Ergodic Theory Lecture 15: A first look at concentration Entropy and Ergodic Theory Lecture 15: A first look at concentration 1 Introduction to concentration Let X 1, X 2,... be i.i.d. R-valued RVs with common distribution µ, and suppose for simplicity that

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

Mathematical Induction. Part Two

Mathematical Induction. Part Two Mathematical Induction Part Two Announcements Problem Set due Friday, January 8 at the start of class. Problem Set checkpoints graded, will be returned at end of lecture. Afterwards, will be available

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

arxiv: v1 [math.co] 21 Sep 2015

arxiv: v1 [math.co] 21 Sep 2015 Chocolate Numbers arxiv:1509.06093v1 [math.co] 21 Sep 2015 Caleb Ji, Tanya Khovanova, Robin Park, Angela Song September 22, 2015 Abstract In this paper, we consider a game played on a rectangular m n gridded

More information

Some distance functions in knot theory

Some distance functions in knot theory Some distance functions in knot theory Jie CHEN Division of Mathematics, Graduate School of Information Sciences, Tohoku University 1 Introduction In this presentation, we focus on three distance functions

More information

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics Class Meetings: MW 9:30-10:45 am in EMS E424A, September 3 to December 10 [Thanksgiving break November 26 30; final

More information

The mod-2 cohomology. of the finite Coxeter groups. James A. Swenson University of Wisconsin Platteville

The mod-2 cohomology. of the finite Coxeter groups. James A. Swenson University of Wisconsin Platteville p. 1/1 The mod-2 cohomology of the finite Coxeter groups James A. Swenson swensonj@uwplatt.edu http://www.uwplatt.edu/ swensonj/ University of Wisconsin Platteville p. 2/1 Thank you! Thanks for spending

More information

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results

More information

Wilson s Theorem and Fermat s Little Theorem

Wilson s Theorem and Fermat s Little Theorem Wilson s Theorem and Fermat s Little Theorem Wilson stheorem THEOREM 1 (Wilson s Theorem): (p 1)! 1 (mod p) if and only if p is prime. EXAMPLE: We have (2 1)!+1 = 2 (3 1)!+1 = 3 (4 1)!+1 = 7 (5 1)!+1 =

More information

n F(n) 2n F(2n) Here are some values of the series in comparison to Fibonacci number:

n F(n) 2n F(2n) Here are some values of the series in comparison to Fibonacci number: I did my exploration on Lucas numbers because different series fascinate me and it was related to the Fibonacci numbers which is pretty well known to all the mathematicians across the world so I wanted

More information

THE CHINESE REMAINDER CLOCK

THE CHINESE REMAINDER CLOCK THE CHINESE REMAINDER CLOCK ANTONELLA PERUCCA WHAT TIME IS IT? Consider an analog clock: from the location of the minute hand we determine a number between and 59, and from the location of the hour hand

More information

ELLIPTIC CURVES BJORN POONEN

ELLIPTIC CURVES BJORN POONEN ELLIPTIC CURVES BJORN POONEN 1. Introduction The theme of this lecture is to show how geometry can be used to understand the rational number solutions to a polynomial equation. We will illustrate this

More information

Homework assignment 1: Solutions

Homework assignment 1: Solutions Math 240: Discrete Structures I Due 4:30pm Friday 29 September 2017. McGill University, Fall 2017 Hand in to the mailbox at Burnside 1005. Homework assignment 1: Solutions Discussing the assignment with

More information

CSE 20 DISCRETE MATH. Fall

CSE 20 DISCRETE MATH. Fall CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs

More information

KLEIN-FOUR COVERS OF THE PROJECTIVE LINE IN CHARACTERISTIC TWO

KLEIN-FOUR COVERS OF THE PROJECTIVE LINE IN CHARACTERISTIC TWO ALBANIAN JOURNAL OF MATHEMATICS Volume 1, Number 1, Pages 3 11 ISSN 1930-135(electronic version) KLEIN-FOUR COVERS OF THE PROJECTIVE LINE IN CHARACTERISTIC TWO DARREN GLASS (Communicated by T. Shaska)

More information

SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI

SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI P. GUERZHOY Abstract. We address a question posed by Ono [7, Problem 7.30], prove a general result for powers of an arbitrary prime, and provide an explanation

More information

SEQUENCES M.K. HOME TUITION. Mathematics Revision Guides Level: GCSE Higher Tier

SEQUENCES M.K. HOME TUITION. Mathematics Revision Guides Level: GCSE Higher Tier Mathematics Revision Guides Sequences Page 1 of 12 M.K. HOME TUITION Mathematics Revision Guides Level: GCSE Higher Tier SEQUENCES Version: 3.1 Date: 11-02-2019 Mathematics Revision Guides Sequences Page

More information

How to write maths (well)

How to write maths (well) How to write maths (well) Dr Euan Spence 29 September 2017 These are the slides from a talk I gave to the new first-year students at Bath, annotated with some of the things I said (which appear in boxes

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

Chemistry 883 Computational Quantum Chemistry

Chemistry 883 Computational Quantum Chemistry Chemistry 883 Computational Quantum Chemistry Instructor Contact Information Professor Benjamin G. Levine levine@chemistry.msu.edu 215 Chemistry Building 517-353-1113 Office Hours Tuesday 9:00-11:00 am

More information

Writing Mathematics. 1 LaTeX. 2 The Problem

Writing Mathematics. 1 LaTeX. 2 The Problem Writing Mathematics Since Math 171 is a WIM course we will be talking not only about our subject matter, but about how to write about it. This note discusses how to write mathematics well in at least one

More information

arxiv: v1 [math.co] 11 Aug 2015

arxiv: v1 [math.co] 11 Aug 2015 arxiv:1508.02762v1 [math.co] 11 Aug 2015 A Family of the Zeckendorf Theorem Related Identities Ivica Martinjak Faculty of Science, University of Zagreb Bijenička cesta 32, HR-10000 Zagreb, Croatia Abstract

More information

Induction and Recursion

Induction and Recursion . All rights reserved. Authorized only for instructor use in the classroom. No reproduction or further distribution permitted without the prior written consent of McGraw-Hill Education. Induction and Recursion

More information

FIFTH ROOTS OF FIBONACCI FRACTIONS. Christopher P. French Grinnell College, Grinnell, IA (Submitted June 2004-Final Revision September 2004)

FIFTH ROOTS OF FIBONACCI FRACTIONS. Christopher P. French Grinnell College, Grinnell, IA (Submitted June 2004-Final Revision September 2004) Christopher P. French Grinnell College, Grinnell, IA 0112 (Submitted June 2004-Final Revision September 2004) ABSTRACT We prove that when n is odd, the continued fraction expansion of Fn+ begins with a

More information

A Note on the 2 F 1 Hypergeometric Function

A Note on the 2 F 1 Hypergeometric Function A Note on the F 1 Hypergeometric Function Armen Bagdasaryan Institution of the Russian Academy of Sciences, V.A. Trapeznikov Institute for Control Sciences 65 Profsoyuznaya, 117997, Moscow, Russia E-mail:

More information

Exploration of Fibonacci function Prof. K. Raja Rama Gandhi

Exploration of Fibonacci function Prof. K. Raja Rama Gandhi Bulletin of Mathematical Sciences and Applications Online: 2012-08-01 ISSN: 2278-9634, Vol. 1, pp 57-62 doi:10.18052/www.scipress.com/bmsa.1.57 2012 SciPress Ltd., Switzerland Keywords: Fibonacci function,

More information

Part V. Chapter 19. Congruence of integers

Part V. Chapter 19. Congruence of integers Part V. Chapter 19. Congruence of integers Congruence modulo m Let m be a positive integer. Definition. Integers a and b are congruent modulo m if and only if a b is divisible by m. For example, 1. 277

More information

CSE 20 DISCRETE MATH. Winter

CSE 20 DISCRETE MATH. Winter CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs

More information

Notes on Systems of Linear Congruences

Notes on Systems of Linear Congruences MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the

More information

ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS

ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS SIMON M. SMITH Abstract. If G is a group acting on a set Ω and α, β Ω, the digraph whose vertex set is Ω and whose arc set is the orbit (α, β)

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

INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F

INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal

More information

Question of the Day. Key Concepts. Vocabulary. Mathematical Ideas. QuestionofDay

Question of the Day. Key Concepts. Vocabulary. Mathematical Ideas. QuestionofDay QuestionofDay Question of the Day Using 1 1 square tiles and 1 2 dominoes, one can tile a 1 3 strip of squares three different ways. (Find them!) In how many different ways can one tile a 1 4 strip of

More information

Introducing Proof 1. hsn.uk.net. Contents

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

More information

Homotopy and geometric perspectives on string topology

Homotopy and geometric perspectives on string topology Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known

More information

8. TRANSFORMING TOOL #1 (the Addition Property of Equality)

8. TRANSFORMING TOOL #1 (the Addition Property of Equality) 8 TRANSFORMING TOOL #1 (the Addition Property of Equality) sentences that look different, but always have the same truth values What can you DO to a sentence that will make it LOOK different, but not change

More information

Structural Induction

Structural Induction Structural Induction In this lecture we ll extend the applicability of induction to many universes, ones where we can define certain kinds of objects by induction, in addition to proving their properties

More information

GUO-NIU HAN AND KEN ONO

GUO-NIU HAN AND KEN ONO HOOK LENGTHS AND 3-CORES GUO-NIU HAN AND KEN ONO Abstract. Recently, the first author generalized a formula of Nekrasov and Okounkov which gives a combinatorial formula, in terms of hook lengths of partitions,

More information

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some

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

Cosets and Lagrange s theorem

Cosets and Lagrange s theorem Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem some of which may already have been lecturer. There are some questions for you included in the text. You should write the

More information

Cullen Numbers in Binary Recurrent Sequences

Cullen Numbers in Binary Recurrent Sequences Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn

More information

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

INDUCTION AND RECURSION. Lecture 7 - Ch. 4 INDUCTION AND RECURSION Lecture 7 - Ch. 4 4. Introduction Any mathematical statements assert that a property is true for all positive integers Examples: for every positive integer n: n!

More information

Publications. Graeme Segal All Souls College, Oxford

Publications. Graeme Segal All Souls College, Oxford Publications Graeme Segal All Souls College, Oxford [1 ] Classifying spaces and spectral sequences. Inst. Hautes Études Sci., Publ. Math. No. 34, 1968, 105 112. [2 ] Equivariant K-theory. Inst. Hautes

More information

FACTORING 3-FOLD FLIPS AND DIVISORIAL CONTRACTIONS TO CURVES

FACTORING 3-FOLD FLIPS AND DIVISORIAL CONTRACTIONS TO CURVES FACTORING 3-FOLD FLIPS AND DIVISORIAL CONTRACTIONS TO CURVES JUNGKAI A. CHEN AND CHRISTOPHER D. HACON 1. introduction Flips, flops and divisorial contractions are the elementary birational maps of the

More information

MATH 18.01, FALL PROBLEM SET # 3A

MATH 18.01, FALL PROBLEM SET # 3A MATH 18.01, FALL 2012 - PROBLEM SET # 3A Professor: Jared Speck Due: by Friday 1:45pm on 10-05-12 (in the boxes outside of Room 2-255 during the day; stick it under the door if the room is locked; write

More information

Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem

Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem W.A. Bogley Oregon State University J. Harlander Johann Wolfgang Goethe-Universität 24 May, 2000 Abstract We show

More information

MAT 243 Test 2 SOLUTIONS, FORM A

MAT 243 Test 2 SOLUTIONS, FORM A MAT Test SOLUTIONS, FORM A 1. [10 points] Give a recursive definition for the set of all ordered pairs of integers (x, y) such that x < y. Solution: Let S be the set described above. Note that if (x, y)

More information

arxiv: v1 [math.gt] 11 Oct 2018

arxiv: v1 [math.gt] 11 Oct 2018 KHOVANOV HOMOLOGY DETECTS THE HOPF LINKS JOHN A. BALDWIN, STEVEN SIVEK, AND YI XIE arxiv:1810.05040v1 [math.gt] 11 Oct 2018 Abstract. We prove that any link in S 3 whose Khovanovhomology is the same as

More information

Solutions Quiz 9 Nov. 8, Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1.

Solutions Quiz 9 Nov. 8, Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1. Solutions Quiz 9 Nov. 8, 2010 1. Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1. Answer. We prove the contrapositive. Suppose a, b, m are integers such that a < 3m

More information

Readings and Exercises

Readings and Exercises Nebraska Wesleyan University Math 4800: Research Experience Section 1 Spring 02016 Readings and Exercises Tuesday, January 19 Section 1 Exercise 1 Section 2 Exercise 1, 4ce Thursday, January 21 Section

More information

Problem Set 5 Solutions

Problem Set 5 Solutions Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true

More information

At the start of the term, we saw the following formula for computing the sum of the first n integers:

At the start of the term, we saw the following formula for computing the sum of the first n integers: Chapter 11 Induction This chapter covers mathematical induction. 11.1 Introduction to induction At the start of the term, we saw the following formula for computing the sum of the first n integers: Claim

More information

Math 440 Project Assignment

Math 440 Project Assignment Math 440 Project Assignment 1. Overview The goal of your project assignment is to explore an aspect of topology beyond the topics covered in class. It will be necessary to use the tools and properties

More information

Lecture 4: Constructing the Integers, Rationals and Reals

Lecture 4: Constructing the Integers, Rationals and Reals Math/CS 20: Intro. to Math Professor: Padraic Bartlett Lecture 4: Constructing the Integers, Rationals and Reals Week 5 UCSB 204 The Integers Normally, using the natural numbers, you can easily define

More information

Rational Trigonometry. Rational Trigonometry

Rational Trigonometry. Rational Trigonometry There are an infinite number of points on the unit circle whose coordinates are each rational numbers. Indeed every Pythagorean triple gives one! 3 65 64 65 7 5 4 5 03 445 396 445 3 4 5 5 75 373 5 373

More information

THE ORDER OF APPEARANCE OF PRODUCT OF CONSECUTIVE FIBONACCI NUMBERS

THE ORDER OF APPEARANCE OF PRODUCT OF CONSECUTIVE FIBONACCI NUMBERS THE ORDER OF APPEARANCE OF PRODUCT OF CONSECUTIVE FIBONACCI NUMBERS DIEGO MARQUES Abstract. Let F n be the nth Fibonacci number. The order of appearance z(n) of a natural number n is defined as the smallest

More information

58 CHAPTER 2. COMPUTATIONAL METHODS

58 CHAPTER 2. COMPUTATIONAL METHODS 58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study

More information

arxiv: v1 [math.co] 20 Aug 2015

arxiv: v1 [math.co] 20 Aug 2015 arxiv:1508.04953v1 [math.co] 20 Aug 2015 On Polynomial Identities for Recursive Sequences Ivica Martinak and Iva Vrsalko Faculty of Science University of Zagreb Bienička cesta 32, HR-10000 Zagreb Croatia

More information

Section 1.1: Patterns in Division

Section 1.1: Patterns in Division Section 1.1: Patterns in Division Dividing by 2 All even numbers are divisible by 2. E.g., all numbers ending in 0,2,4,6 or 8. Dividing by 4 1. Are the last two digits in your number divisible by 4? 2.

More information

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24 Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using

More information

Notice how these numbers thin out pretty quickly. Yet we can find plenty of triples of numbers (a, b, c) such that a+b = c.

Notice how these numbers thin out pretty quickly. Yet we can find plenty of triples of numbers (a, b, c) such that a+b = c. THE ABC Conjecture Mark Saul, Ph.D. Center for Mathematical Talent Courant Institute of Mathematical Sciences New York University I The abc conjecture was formulated independently by Joseph Oesterle and

More information

WAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME)

WAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME) WAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME ITAI BENJAMINI, GADY KOZMA, LÁSZLÓ LOVÁSZ, DAN ROMIK, AND GÁBOR TARDOS Abstract. We observe returns of a simple random wal on a finite graph to a fixed node,

More information

arxiv: v1 [math.rt] 11 Sep 2009

arxiv: v1 [math.rt] 11 Sep 2009 FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of

More information

On the discrepancy of circular sequences of reals

On the discrepancy of circular sequences of reals On the discrepancy of circular sequences of reals Fan Chung Ron Graham Abstract In this paper we study a refined measure of the discrepancy of sequences of real numbers in [0, ] on a circle C of circumference.

More information

THE p-adic VALUATION OF LUCAS SEQUENCES

THE p-adic VALUATION OF LUCAS SEQUENCES THE p-adic VALUATION OF LUCAS SEQUENCES CARLO SANNA Abstract. Let (u n) n 0 be a nondegenerate Lucas sequence with characteristic polynomial X 2 ax b, for some relatively prime integers a and b. For each

More information

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006 Divisibility in the Fibonacci Numbers Stefan Erickson Colorado College January 27, 2006 Fibonacci Numbers F n+2 = F n+1 + F n n 1 2 3 4 6 7 8 9 10 11 12 F n 1 1 2 3 8 13 21 34 89 144 n 13 14 1 16 17 18

More information

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

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

More information

Minimal Number of Steps in the Euclidean Algorithm and its Application to Rational Tangles

Minimal Number of Steps in the Euclidean Algorithm and its Application to Rational Tangles Rose-Hulman Undergraduate Mathematics Journal Volume 16 Issue 1 Article 3 Minimal Number of Steps in the Euclidean Algorithm and its Application to Rational Tangles M. Syafiq Johar University of Oxford

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

30. TRANSFORMING TOOL #1 (the Addition Property of Equality)

30. TRANSFORMING TOOL #1 (the Addition Property of Equality) 30 TRANSFORMING TOOL #1 (the Addition Property of Equality) sentences that look different, but always have the same truth values What can you DO to a sentence that will make it LOOK different, but not

More information

ABSTRACT 1. INTRODUCTION

ABSTRACT 1. INTRODUCTION THE FIBONACCI NUMBER OF GENERALIZED PETERSEN GRAPHS Stephan G. Wagner Department of Mathematics, Graz University of Technology, Steyrergasse 30, A-8010 Graz, Austria e-mail: wagner@finanz.math.tu-graz.ac.at

More information

6.042/18.062J Mathematics for Computer Science March 17, 2005 Srini Devadas and Eric Lehman. Recurrences

6.042/18.062J Mathematics for Computer Science March 17, 2005 Srini Devadas and Eric Lehman. Recurrences 6.04/8.06J Mathematics for Computer Science March 7, 00 Srini Devadas and Eric Lehman Lecture Notes Recurrences Recursion breaking an object down into smaller objects of the same type is a major theme

More information

In hindsight: Doklady Akademii Nauk SSSR, 181(4), 1968

In hindsight: Doklady Akademii Nauk SSSR, 181(4), 1968 In hindsight: Doklady Akademii Nauk SSSR, 181(4), 1968 Léon Bottou This short contribution presents the first paper in which Vapnik and Chervonenkis describe the foundations of the Statistical Learning

More information

Rectangles as Sums of Squares.

Rectangles as Sums of Squares. Rectangles as Sums of Squares. Mark Walters Peterhouse, Cambridge, CB2 1RD Abstract In this paper we examine generalisations of the following problem posed by Laczkovich: Given an n m rectangle with n

More information

Math 261 Exercise sheet 5

Math 261 Exercise sheet 5 Math 261 Exercise sheet 5 http://staff.aub.edu.lb/~nm116/teaching/2018/math261/index.html Version: October 24, 2018 Answers are due for Wednesday 24 October, 11AM. The use of calculators is allowed. Exercise

More information

Free summands of syzygies of modules over local rings

Free summands of syzygies of modules over local rings 1 Free summands of syzygies of modules over local rings 2 3 4 5 Bart Snapp Department of Mathematics, Coastal Carolina University, Conway, SC 29528 USA Current address: Department of Mathematics, The Ohio

More information

arxiv: v1 [math.gr] 4 Aug 2016

arxiv: v1 [math.gr] 4 Aug 2016 Asymmetric dynamics of outer automorphisms Mar C. Bell University of Illinois mcbell@illinois.edu arxiv:608.0550v [math.gr] 4 Aug 206 January 8, 208 Abstract We consider the action of an irreducible outer

More information

DYNAMICS ON THE CIRCLE I

DYNAMICS ON THE CIRCLE I DYNAMICS ON THE CIRCLE I SIDDHARTHA GADGIL Dynamics is the study of the motion of a body, or more generally evolution of a system with time, for instance, the motion of two revolving bodies attracted to

More information

February 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions

February 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions February 1, 2005 INTRODUCTION TO p-adic NUMBERS JASON PRESZLER 1. p-adic Expansions The study of p-adic numbers originated in the work of Kummer, but Hensel was the first to truly begin developing the

More information

CS103 Handout 08 Spring 2012 April 20, 2012 Problem Set 3

CS103 Handout 08 Spring 2012 April 20, 2012 Problem Set 3 CS103 Handout 08 Spring 2012 April 20, 2012 Problem Set 3 This third problem set explores graphs, relations, functions, cardinalities, and the pigeonhole principle. This should be a great way to get a

More information

MEETING 9 - INDUCTION AND RECURSION

MEETING 9 - INDUCTION AND RECURSION MEETING 9 - INDUCTION AND RECURSION We do some initial Peer Instruction... Predicates Before we get into mathematical induction we will repeat the concept of a predicate. A predicate is a mathematical

More information

Graphs with Integer Matching Polynomial Roots

Graphs with Integer Matching Polynomial Roots Graphs with Integer Matching Polynomial Roots S. Akbari a, P. Csikvári b, A. Ghafari a, S. Khalashi Ghezelahmad c, M. Nahvi a a Department of Mathematical Sciences, Sharif University of Technology, Tehran,

More information

MATH 18.01, FALL PROBLEM SET # 2

MATH 18.01, FALL PROBLEM SET # 2 MATH 18.01, FALL 2012 - PROBLEM SET # 2 Professor: Jared Speck Due: by Thursday 4:00pm on 9-20-12 (in the boxes outside of Room 2-255 during the day; stick it under the door if the room is locked; write

More information

Supplement for MAA 3200, Prof S Hudson, Fall 2018 Constructing Number Systems

Supplement for MAA 3200, Prof S Hudson, Fall 2018 Constructing Number Systems Supplement for MAA 3200, Prof S Hudson, Fall 2018 Constructing Number Systems A major goal of this course is to construct the number systems N, Z and Q, and especially the real numbers R, which play such

More information

Total Linking Numbers of Torus Links and Klein Links

Total Linking Numbers of Torus Links and Klein Links Rose- Hulman Undergraduate Mathematics Journal Total Linking Numbers of Torus Links and Klein Links Michael A Bush a Katelyn R French b Joseph R H Smith c Volume, Sponsored by Rose-Hulman Institute of

More information