# Math Poetry

#### (Note from many years later)

For whatever reason, when I first started 3blue1brown, I also found myself jotting down silly math poems on the side. Math is often most naturally expressed with symbols or pictures, and words are a more tricky medium, so something about the added constraint of making those words adhere to certain meters or rhyming structures felt like a fun puzzle, albeit an unabashedly cheesy one.

After I made the first couple of 3blue1brown videos, and put together a website with some vague sense that that's what I was supposed to do, I tossed up the poems to that site while I was at it. Even if they seem a bit strange now, I still find a certain charm in leaving them here as a remnant of that early-2015 mindset associated with trying something wacky and throwing it up online, which was the same mindset which led to the channel in the first place.

## Moser's Circle Problem

Take two points on a circle,

and draw a line straight through.

The space that was encircled

is divided into two.

To these points add a third one,

which gives us two more chords.

The space through which these lines run

has been fissured into four.

Continue with a fourth point,

and three more lines drawn straight.

The new number of disjoint

regions sums, in all, to eight.

A fifth point and its four lines

support this pattern gleaned.

Counting sections, one divines

that there are now sixteen.

This pattern here of doubling

does seems a sturdy one.

But one more step is troubling

as the sixth gives thirty-one.

## Primes

The primes,

through times,

mystified

those who pried.

One fact answers why

they’re simple yet sly:

Layers of abstraction yield

complex forms when pierced and peeled.

Addition lies under multiplication,

defining him as repeated summation.

Then he defines primes as the atoms of integers,

for when multiplied, they give numbers their signatures.

But when we breach the layer between these two distinct operations,

asking about how primes add and subtract, there are endless frustrations.

Even innocuous questions, “what are all their sums?”, or “how often do they differ by two?”,

stump everyone who has ever lived, with progress made only quite recently by just a few.

However, to recruit for and progress math we need to have such questions which can be phrased simply and remain unsolved.

What child does not hear such conjectures and dream, if only for a moment, that they will be the one to see them resolved?

For otherwise the once vigorous curiosity of a child towards math’s patterns, as they grow older, tends to grow tame,

just as the rhyme and rhythm of the primes seems to fade as numbers grow, though in both the underlying patterns remain the same.

## All Numbers are Interesting

Is any number that we count banal,

and lacking in a feature one might note?

Suppose some are, and gather up them all.

The smallest one has quite the cause to gloat.

It is precisely how far one must count

before the numbers get uninteresting.

But this would be a curious amount,

which contradicts how we defined the thing!

So every number has something to show,

including ones whom we will never know.

Let’s see if this joke proof applies as well

to real numbers; do they all stand out?

Suppose some don’t, and find one who rebels

by being meaningful beyond a doubt.

Before it was the smallest who amused,

but real sets might lack a minimum.

Will there be a special one to choose

from subsets of the whole continuum?

It isn’t clear where such a choice comes from,

yet some treat “choice” like it’s an axiom.

## Invention vs Discovery

A lurking question, old as Greece, does ask:

Is math invention or discovery?

The answer’s both, but here the harder task

is knowing how it switches. So you see,

most truths are found with constructs, which in turn

are built from truths like chickens and their eggs.

One needs to know, should this fact raise concern,

that constructs can be daft; just logic’s dregs.

The truths discovered tell how to define

the structures that make math and world align.

Pythagoras’s theorem about lengths,

is one such truth that he (and others) found.

Observed, discovered, and through mental strength,

it was then proved with pictures that astound.

Much later mathematicians, minds alit,

would formalize, as sets, both “length” and “space”.

These constructs were defined so that by writ

Pythagoras’s truth remains the case.

That is, this “theorem” now seems just defined.

As such, one might then lose their peace of mind.

So in this world where "space" is formalized,

do all those pretty proofs now lose their charm?

Of course not! We all ought to realize

how “length” could change its meaning without harm

to mathematical consistency

in all the theory giving facts of space.

However, then these “facts” would hardly be

related to the nature we embrace.

And hence, a truth has told how to define

a structure that makes math and world align.

## 2π

Fixed poorly in notation with that two,

you shine so loud that you deserve a name.

Late though we are, to make a change it's true,

We can extol you ‘til you have pi's fame.

One might object, "Conventions matter not!

Great formulae cast truths transcending names."

I've noticed, though, how language molds my thoughts;

the natural terms make heart and head the same.

So lose the two inside your autograph,

then guide our thoughts without you "better" half.

Wonders math imparts become so neat

when phrased with you, and pi remains off-screen.

Sine and exp both cycle to your beat.

Jive with Fourier, and forms are clean.

“Wait! Area of circles”, pi would say,

“sticks oddly to one half when tau’s preferred.”

More to you then! For write it in this way,

then links to triangles can be inferred.

Nix pi, then all within geometry

shines clean and clear, as if by poetry.

## 1-1+1-1+...

When one takes one from one

plus one from one plus one

and on and on but ends

anon then starts again,

then some sums sum to one,

to zero other ones.

One wonders who'd have won

had stopping not been done;

had he summed every bit

until the infinite.

Lest you should think that such

less well-known sums are much

ado about nonsense

I do give these two cents:

The universe has got

an answer which is not

what most would first surmise,

it is a compromise,

and though it seems a laugh

the universe gives “half”.

## Defining Math

In math, we strive and stickle with a pride,

to wash away all ambiguity.

And yet, definers cannot all decide

what “math” itself means. What an irony!

Perhaps a science, solving mysteries,

but happy to pursue what seems absurd.

Perhaps a brother of philosophies,

but with a rigid rigour in each word.

Computer science might be suitable,

but most of math is not computable.

Perhaps it is a language of its own,

which, as to english, has the most false friends.

Perhaps religion, where the truth alone

is worshiped, giving means as well as ends.

Perhaps a sister of creative arts,

but one arousing reason, not a sense.

Indeed it shares a number of its parts

with almost every study in some sense.

But it’s an orphan, floating in abstract,

and it alone encloses what’s exact

## Euler's Formula

Famously

start with e,

raise to π

with an i.

we've been taught

by a lot

that you've got

minus one.

Can we glean

what it means?

For such words

are absurd.

How to treat

the repeat

of a feat

πi times?

This is bound

to confound

'til your mind

redefines

these amounts

one can't count

which surmount

our friend e.

Numbers act

as abstract

functions which

slide the rich

2d space

in its place

with a grace

when they sum.

Multiplied,

they don’t slide,

acting a

second way.

They rotate,

and dilate,

but keep straight

that same plane.

Now what we

write as e

to the x

won’t perplex

when you know

it’s for show

that “x" goes

up and right.

It does not,

as you thought,

repeat e

product e.

It functions

with gumption

on functions

of the plane.

It turns slides

side to side

into growths

and shrinks both.

Up and downs

come around

as turns round,

which is key!

This is why

π times i,

which slides north

is brought forth

and returned,

we have learned,

as a turn

halfway round.

Minus one,

matched by none,

turns this way,

hence we’re done.

## Ode To Infinity

Philosophers have claimed you are not "real",

but you are no less true than 3, in fact.

For what is "three"? Some thinking will reveal,

a term that points to triplets in abstract.

And so are you, a pointer in this light,

but aimed instead at families without size.

From here it took great Cantor's mental sight

to see these sets disjoin before his eyes.

For that's the tricky thing about you, friend,

what you are is something without end!

Aside from all the masks you wear as sets,

you permeate all math like pi and e.

Without you series, sequences and nets,

would vanish, as would all geometry.

To cook the real numbers all it takes,

is you and all the fractions to react.

When added as a simple point you make

both arguments and spaces more compact.

When patterns, lists and odes drag on and on,

just say "infinity", and woes are gone.

## Groups

"What is a group?"

“A symmetry of things.”

“Of things from where?”

“Oh, those from any place.”

“But where in math?”

“In math? A vector space.”

“And what is that?”

“It’s what a field brings.”

“And what are fields?”

“They’re Symmetries of groups.”

“A group’s own group?”

“Why yes, when both are one.”

“So now we’re back?”

“Indeed, where we’d begun.”

“So where to start?”

“Where you start any loop.”

“And where is that?”

“From anywhere within.”

“And if you're out?”

“Then why would you begin?”

## Abstraction

The crux of thought,

computer science,

language, and how math arose,

abstraction brought

a key alliance

syncing facts who seem opposed.

The first is how

our minds are tuned to

focus on at most one thought.

Though well endowed,

they’re not immune to

puzzlement when overwrought.

But secondly

the facts of nature

interweave dependently,

so how do we

conceive this nature

in its multiplicity?

We first extract

a common trait

of things too complex to be known,

then to “abstract”,

reformulate

this trait as *something in its own*.

As such it’s pulled

from all distractions,

single, hence conceivable.

But when minds hold

this dense abstraction,

They enclose a system whole.

For “things” and their “traits”,

though separately named,

do more than relate:

They’re one and the same.