Proofs

Equivalent Definitions of e

(A new question of the week) It is not unusual for mathematicians to define a concept in multiple ways, which can be proved to be equivalent. One definition may lead to a theorem, which another presentation uses as the definition, from which the original definition can be proved as a theorem. Here, in yet another …

Equivalent Definitions of e Read More »

Fibonacci, Pascal, and Induction

A couple weeks ago, while looking at word problems involving the Fibonacci sequence, we saw two answers to the same problem, one involving Fibonacci and the other using combinations that formed an interesting pattern in Pascal’s Triangle. I promised a proof of the relationship, and it’s time to do that. And while we’re there, since …

Fibonacci, Pascal, and Induction Read More »

A Few Inductive Fibonacci Proofs

Having studied proof by induction and met the Fibonacci sequence, it’s time to do a few proofs of facts about the sequence. We’ll see three quite different kinds of facts, and five different proofs, most of them by induction. We’ll also see repeatedly that the statement of the problem may need correction or clarification, so …

A Few Inductive Fibonacci Proofs Read More »

Introducing the Fibonacci Sequence

We’ve been examining inductive proof in preparation for the Fibonacci sequence, which is a playground for induction. Here we’ll introduce the sequence, and then prove the formula for the nth term using two different methods, using induction in a way we haven’t seen before.