Mathematicians have long relied on a theorem that appears undeniably true, yet every attempt to formally prove it collapses.

If the discriminant (b² - 4ac) is negative, the roots are complex numbers. Complex roots always come in conjugate pairs (a + ...