Every dog has its day


On a school day in the late 1700s, a teacher, for unknown reason, ordered her pupils to add up all the numbers from 1 up to 100.

The children immediately started adding except for the future prince of mathematics.

It took him a few seconds before he proudly announced the result.

Screen Shot 2018-04-05 at 4.22.42 PM.png

What a glorious day for the little Carl Friedrich Gauss!

Fast forward to a hot summer day in the late 1970s.  I was then a high school student. On that day, factoring was taught first, then an assignment was given:

“Factor all expressions on page 18, only 88 of them”

Screen Shot 2018-04-05 at 4.02.47 PM.png

The students went to work immediately except for me who got a funny idea of doing something else.

While pretending to be working, I was peeking though the illustrated book “Ring of Nibelungs” by Arthur Rackham. I brought it to school and hid it under the dull textbooks.

What a sixteen-year-old would rather do? Slaying dragon or factoring algebraic expressions?

Screen Shot 2018-04-05 at 10.35.29 PM.png

Just as I was enthralled by the adventures of Siegfried, my hero, a voice boomed from behind:

“What are you doing rascal ?!”

It was the teacher.

The punishment – Factoring x^n-1, for n=2, 3, 4, ... , 20 is the additional homework!

I managed to complete this before staggering into the bed:

Screen Shot 2018-04-05 at 4.31.32 PM.png

As I was factoring, I made an observation:

The non-vanishing coefficients in any factor are either -1 or 1.

I wondered: Could this be true for all values of n?

As soon as I finished factoring x^{20}-1, I wrote down a conjecture named after Siegfried:

The absolute value of all coefficients appear in the polynomial factor of x^n-1 is always 1.   

That night I had a lucid dream, where I proved “Siegfried conjecture.”

Reviewing the proof in the morning, however, to my dismay, it was a pile of junk.

Still, for several weeks I continued my effort fervently, but I could neither prove nor refute “Siegfried conjecture”.

All to no avail.  I had to give up.


Fast forward again to a mid summer day a few years later.

I visited Joe, a high school classmate who was studying at MIT to become an aeronautical engineer.

While walking on campus, I teased my friend: “How many basketball championships does MIT have? Do you even have any sports team here?”

Joe shrugged: “Haha, but we have created MACSYMA, the world’s first program that does symbolic algebra! Come, let me show you its power.”

That evening, I sat quietly in front of a VT100 tube, getting acquainted with MACSYMA.

It was fantastic. I felt as though I was brought out of the hold of a ship where I had lived all my life,  onto the deck, into the fresh air.

I saw the good –

Screen Shot 2018-04-07 at 11.56.42 AM.png

Then the better –

Screen Shot 2018-04-07 at 12.00.04 PM.png

Finally the best –

Screen Shot 2018-04-07 at 12.01.48 PM.png

 I grabbed the keyboard and commanded MACSYMA:

Screen Shot 2018-04-06 at 10.24.54 AM.png

It responded:

Screen Shot 2018-04-06 at 10.11.10 AM.png

At n = 105, -2 is the coefficient of term x^{41}.

In a blink of an eye, MACSYMA disproved “Siegfried conjecture”.

And I, while fully clothed, jumped up and shouted

Screen Shot 2018-04-05 at 4.18.34 PM.png

Thanks to MACSYMA,  the day was finally mine!

Fast forward once more to the summer of 2005, the spark MACSYMA lit in me twenty years ago gave life to Omega CAS Explorer:


Hooray! Every dog has its day!

Recently, as I was preparing for my talk at ACA 2017 (See “Little Bird and a Recursive Generator“), I looked at the formula

1^2 + 2^2 +...+ n^2 = {{n(n+1)(2n+1)} \over 6}\quad\quad\quad(1)

and wondered:

For what value(s) of n>1, (1) produces a perfect square ?

A search shows when n=24, (1) yields 4900 = 70^2, a perfect square:

Screen Shot 2018-04-04 at 1.31.34 PM.png

But are there any other such n‘s?

Further search yields no result:

Screen Shot 2018-04-04 at 2.03.11 PM.png

It leads me to think:

For n, k >1, \{n = 24, k=70\} is the only solution to Diophantine equation

{n(n+1)(2n+1) \over 6} = k^2

Can you prove or refute my new conjecture?