A proof of the infinitude of primes, in meter.
Let’s prove the primes’ infinitude
they do exist in multitude
of quite astounding magnitude
we count the primes in plenitude!
‘Twas proved by Euclid way back when
in Elements he argued then
He proved it with exactitude
in his Book IX he did conclude
for any given finite list
there will be primes the list has missed
to prove this gem let number N
be when you multiply them then
multiply the list for fun,
multiply, and then add one
If into N we shall divide
the listed primes seen in that guide
remainder one each leaves behind
so none as factors could we find
but every number has some prime factor
with our N take such an actor
since it can’t be on the list
we thus deduce more primes exist
No finite list can be complete
and so the claim is in retreat
By iterating this construction
primes do flow in vast deduction
as many as we’d like to see
so infinite the primes must be
Thus proved the primes’ infinitude
in quite enormous multitude
of arb’trarly great magnitude
we count the primes in plenitude!
‘Twas known by Euclid way back then
he proved it in the Elements when
in modern times we know some more
math’s never done, there’s new folklore:
For Bertrand, Chebyshev had said
about the puzzle in his head
and Erdős said it once again:
there’s always a prime between n and 2n.
We proved the primes’ infinitude
they do exist in multitude
of inconceiv’ble magnitude
we count the primes in plentitude!
The primes are plenitudinous
they’re truly multitudinous!
Musical video production of Plenitudinous Primes by the supremely talented Hannah Hoffman!
I was just thinking about primes for no particular reason, and, equally randomly, this poem was the first thing that produced a deep warm smile in weeks. (I suspect that pretty much everyone with even a basic interest in STEM would react similarly:) Great stuff!
I am so glad you enjoyed it!
Why I like primes—
We can’t count ’em all cause there’s not enough time!
But can we guess them? I can with the natural numbers naively, any you devise—their progression is purely predictable! and therefore not particularly delictable, where primes are kind of sneaky, and love to surprise.
Those of you who liked this entry and can read French might enjoy « Rationnel mon ℚ » a book inspired by Queneau’s “Exercises in Style”, but changing the main story to proofs of the irrationality of √2.