It's about time I write on a non-Euler topic -- the birth of ordinals. I've been reading Georg Cantor's *Contributions to the Founding of the Theory of Transfinite Numbers.* In two papers published in 1895 and 1897, Cantor creates the theory of cardinals and ordinals from the ground up. The memoir is a rather good read since it assume no prior knowledge of set-theory on part of the reader; in fact, set theory had not even been properly formed at this time. Unfortunately, since it is a foundational text (if that makes any sense), you get the feeling he's forming all this great ideas out of thin air. This post documents my journey to convince myself how ideas of ordinal numbers can arise naturally when studying point-sets, specifically, sets of real numbers. Continue reading

# Basel's Problem - New proof and some calculus

Sorry for the long hold up on another post. This new post is a result on my investigations on a proof of by Daniele Ritelli. Yes, it's another post on something Euler solved first. But I did things different this time around: I discussed the few (advanced) Calculus theorems that played crucial roles in the proof.

Theorem.

# From Heron's formula to Descartes' circle theorem

Descartes' Circle Theorem is a very remarkable and simple statement and, to prove it, I had to use three other surprising theorems of the triangle, including Heron's formula. While I had been aware of Heron's formula before, it was during my research on Descartes' theorem that I discovered the inradius and exradius formulas. The circle theorem was first described by Descartes in 1643 and then rediscovered by Philip Beecroft in 1842, Frederick Soddy in 1936, and M. E. Wise in 1960. To be exact, Wise actually discovered the three dimension version of the theorem unaware of the plane version. Descartes' circle theorem has a history that was as interesting to read as its various proofs. Without further ado... Continue reading

# Inclusion-Exclusion Principle (Pt. 2)

Last post was a proof for the Inclusion-Exclusion Principle and now this post is a couple of examples using it. The first example will revisit derangements (first mentioned in Power of Generating Functions); the second is the formula for Euler's phi function. Yes, many posts will end up mentioning Euler one way or another. Continue reading

# The Inclusion-Exclusion Principle (Pt. 1)

The Inclusion-Exclusion principle is one of those things I understood quickly and intuitively; in fact, it seemed obvious to me. It was not until I tried to prove it that I was amazed by its dependence on the binomial theorem and also realized it was not so obvious after all. In this post, I chose to take an unorthodox path and present the theorem at the end of the post rather than at the start. Continue reading

# Schinzel's Theorem

Today, I'll translate the proof for a theorem by André Schinzel that gives a circle with integer coordinates (also known as **Lattice Points**) on its circumference, for any given . The theorem was published in *L'Enseignement Mathématique* in 1958 and can be found here. Continue reading

# Area and Perimeter of Astroids

It is about time I revisited my first adventure Envelopes and Astroids. In the end of the post, I named the envelope of the line segments an **Astroid**. I will now find two basic properties of this shape: area and perimeter. Continue reading

# The Power of Generating Functions

In Pentagonal Number Theory, I touched on the topic of generating function but now I'll give examples of generating functions being used to find explicit solutions for recurrent relations. I think this was their primary purpose; Abraham de Moivre invented them when he tried to find the exact formula for the term of a sequence defined by a linear recurrence relation, like the Fibonacci Sequence.

Definition 1.TheFibonacci Sequenceis defined by the following recurrence:

Binet's Formula.

*Sidenote: It is named after Binet even though de Moivre discovered the formula a century before him.* Continue reading

# Surprising Surds

Yesterday, I stumbled upon this very surprising identity while reading on nested radicals:

While it is easy to prove the fact after seeing it, I will try to prove this from the perspective of someone who is not sure if is the simplest form of the pair. Continue reading

# Euler's Pentagonal Number Theorem

Today, I'll prove Euler's Pentagonal Number Theorem and show how he used it to find recurrence formulae for the sum of 's positive divisors and the partitions of . This post will be based on two papers I read last week: “An Observation on the Sums of Divisors” and “Euler and the Pentagonal Number Theorem”.

Definition 1.The generalized pentagonal numbers are those of the form

for any integer .

Pentagonal Number Theorem.

Apparently, Euler conjectured this theorem in (or earlier) but it was not until that he proved it; Continue reading