Proving theorems in mathematics is frequently a tedious endeavour, because you’re usually just taking well-known techniques and applying them in a slightly different setting resulting in results that are ever more specialized. Often times you ‘know’ exactly what the answer should be and how the proof will go, expecting at most minor technical difficulties along the way.
However, once in a while your intuitions and expectations are shattered, or you encounter something that is mind-blowing. This is one such circumstance.
Recently I started working with the following family of polynomials
Being a sextic, there is no general procedure to find the roots of this thing, and there is no “algebraic” reason why it should factor at all. I did not expect to be able to factor it at all, much less find an explicit procedure to solve the corresponding sextic equation using radicals. To understand these polynomials, I plotted them for several values of and discovered the following facts, all unexpected, but not equally bizarre:
(1) The roots of are always all real or all complex, there is never any mixed roots. This is not surprising at all if you know where the family comes from, but without that knowledge, could be quite shocking.
(2) If the roots are all complex, then there is always a conjugate pair such that the real part of is . This, to me at least, was totally unexpected.
(3) If and are the two other pairs of complex roots, labelled so that have positive imaginary part, then in fact the imaginary parts of are equal. Moreover, the real parts of always sum to one! This is truly a wtf moment.
Using this data, one can in fact (after a lot of work and computer algebra) show that in fact always factors as follows:
where is a root of the cubic equation .
Since cubic equations are always solvable in radicals and quadratic equations are always solvable by radicals, it follows that is always solvable by radicals. Moreover, the procedure above is extremely explicit and simple to implement!
I have no explanation for why this happened. If you do, please let me know, I am very curious!