I’m not really sure why I’ve never seen this argument before, but it’s much cleaner and easier to digest than the arguments I’m used to that make Gauss’s Lemma look like it’s not part of algebra at all. Definition. A … Continue reading
This is a command that’s tough to Google even if you know it exists. To get GAP to describe a group with a common, human-readable name, you can use the StructureDescription command, as follows: gap> StructureDescription(Group([(1,3), (1,2,3,4)])); “D8” gap> StructureDescription(Group([(1,3), … Continue reading
Problem 6 of the 1988 International Math Olympiad reads: Let a and b be positive integers such that a b + 1 divides . Show that is the square of an integer. There’s a writeup of a solution at the … Continue reading
There are various conventions for normalizing the Fourier transform. For the purposes of this post, let’s write The Poisson Summation Formula concerns the sum Where on Earth did that come from? Well, without regard to convergence issues, we have So … Continue reading
This has tripped me up in the past, so let’s write it down. Imagine we have an ellipse Let’s say we have some parametrization (x(t), y(t)) of the ellipse and we want to convert it into a unit-speed parametrization. We … Continue reading
The n-fold integral of the natural logarithm is given by where is the n-th harmonic number and C(z) is any polynomial of degree at most n-1.