# Proofs

## Proving Certain Polynomials Form a Group

Abstract algebra can be a huge leap for many students, who may know algebra well, but are not used to abstraction – generalizing the concept of numbers so we can invent new kinds of “numbers” and “operations” and comparing their properties. Here we will look at a question from a student beginning the study of …

## Summing Squares: Finding or Proving a Formula

Last week we looked at problems about counting the squares of all sizes in a checkerboard. Some solutions required finding the sum of consecutive squares, $$1^2+2^2+3^2+\dots+n^2$$, for which we used a formula whose derivation I deferred to this week. Here we’ll see a couple proofs that require knowing the formula ahead of time, and a …

## Distances on Earth 2: The Haversine Formula

Last week we started a series about finding distances on a sphere (which approximates the shape of the earth), using a straightforward formula from spherical geometry. But in practice, that formula turns out not to be ideal, so a different formula is used when accuracy in all circumstances matters. That is this week’s topic: first …

## 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 …

## Generalizing and Summing the Fibonacci Sequence

Continuing our look at the Fibonacci sequence, we’ll extend the idea to “generalized Fibonacci sequences” (with different starting numbers), and see that the ratio of consecutive terms is the same in general as in the usual special case. Then we’ll look at the sum of terms of both the special and general sequence, turning it …

## 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 …

## Graph Coloring: Working Through a Proof

(A new question of the week) The Math Doctors have different levels of knowledge in various fields; I myself tend to focus on topics through calculus, which I know best, and leave the higher-level questions to others who are more recently familiar with them. But sometimes, both here and in my tutoring at a community …

## 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.

## Inductive Proofs: More Examples

Last week we looked at examples of induction proofs: some sums of series and a couple divisibility proofs. This time, I want to do a couple inequality proofs, and a couple more series, in part to show more of the variety of ways the details of an inductive proof can be handled.

## Multiplying Vectors II: The Vector Product

Last time, we looked at the scalar, or dot, product of vectors, focusing on proving the equivalence of two ways to define it. This time, we’ll look at the vector, or cross, product in the same way. The distinction between dot and cross product reflects the symbol used, u · v vs. u × v, …