# Tag Archives: proof

## A computer-checked proof of the odd order theorem

Big news: a proof of the Feit-Thompson Theorem (also known as the “odd order theorem”) has been completely formalized and verified by a computer, using the Coq proof assistant! Wait, what? Huh? you’re probably thinking. Well, let me unpack that … Continue reading

Posted in algebra, links, programming, proof | Tagged , , , , , , | 10 Comments

## Fibonacci multiples, solution 1

In a previous post, I challenged you to prove If evenly divides , then evenly divides , where denotes the th Fibonacci number (). Here’s one fairly elementary proof (though it certainly has a few twists!). Pick some arbitrary and … Continue reading

| Tagged , , , | 5 Comments

## Fun with repunit divisors: proofs

As promised, here are some solutions to the repunit puzzle posed in my previous post. (Stop reading now if you don’t want to see solutions yet!) Prove that every prime other than 2 or 5 is a divisor of some … Continue reading

| Tagged , , , , | 1 Comment

## Book review: Roads to Infinity

What is infinity? What is proof? These are two of the biggest questions mathematicians have grappled with over the years. In this well-written and fascinating book, John Stillwell takes us on a tour through some of the answers to these … Continue reading

Posted in arithmetic, books, computation, induction, infinity, logic, proof, review | Tagged , , ,

## Triangular number equations via pictures

The other day I was fiddling around a bit with triangular numbers. By only drawing pictures I was able to come up with the following triangular number equations, where denotes the th triangular number (that is, the number of dots … Continue reading

Posted in challenges, pictures, proof | Tagged , , , | 8 Comments

## Irrationality of pi: the impossible integral

We’re getting close! Last time, we defined a new function and showed that and are both integers, and that . So, consider the following: The first step uses the product rule for differentiation (recalling that and ); the last step … Continue reading

Posted in famous numbers, proof | | 4 Comments

## Irrationality of pi: curiouser and curiouser

I’ve been remiss in posting here lately, which I will attribute to Christmas and New Year travelling and general craziness, and then starting a new semester craziness… but things have settled down a bit, so here we go again! Since … Continue reading

Posted in famous numbers, proof | | 10 Comments