Category Archives: proof

MaBloWriMo 26: Left cosets

Let be a group and a subgroup of . Then for each element we can define a left coset of by . That is, is the set we get by combining (on the left) with every element of . For … Continue reading

Posted in algebra, proof | Tagged , , , , , | Leave a comment

MaBloWriMo 25: Subgroups

So in the remainder of the month, we’ll prove that in any group , the order of each element must evenly divide the order (size) of the group. I said in an earlier post that this is called Lagrange’s Theorem; … Continue reading

Posted in algebra, proof | Tagged , , , , | Leave a comment

Book review: Fermat’s Enigma

Fermat’s Enigma: The Epic Quest to Solve the World’s Greatest Mathematical ProblemSimon Singh After having it recommended to me several times, I finally picked up this book when I happened to see it at our favorite local used bookstore. I … Continue reading

Posted in books, open problems, proof, review | Tagged , , , | 10 Comments

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

Posted in fibonacci, modular arithmetic, number theory, pattern, pictures, proof, sequences | Tagged , , , | 5 Comments

Combinatorial proofs

Continuing from a previous post, we found that if we begin with th powers of consecutive integers and then repeatedly take successive differences, it seems like we always end up with the factorial of , that is, . We then … Continue reading

Posted in combinatorics, pictures, proof | Tagged , , | 12 Comments

A self-square number

[This is the seventh in a series of posts on the decadic numbers (previous posts: A curiosity, An invitation to a funny number system, What does “close to” mean?, The decadic metric, Infinite decadic numbers, More fun with infinite decadic … Continue reading

Posted in arithmetic, infinity, iteration, modular arithmetic, proof | Tagged , , , | 12 Comments