Today, I will show how it can be used to prove that an equation is not algebraically soluble.
The content in today's blog is taken directly from David Antin's translation of Heinrich Dorrie's 100 Great Problems of Elementary Mathematics.
Example: x5 - ax - b = 0
Let's assume the following:
(1) a,b are positive integers divisible by a prime p
(2) b is not divisible by p2
(3) 44a5 is greater than 55b4
Here's the analysis:
(1) Using Eisenstein's Criteria, the equation is irreducible over the set of rational numbers. [see Theorem 1, here].
(2) From Sturm's Theorem [see Theorem, here], it is clear that it possesses three real roots and two complex roots since:
(a) We build the following Sturm Chain (see here for details on Sturm Chains):
P0 = x5 - ax - b [The equation itself]
P1 = 5x4 - a [The first derivative, see here for review if needed]
P2 = 4ax + 5b [The remainder from P0 and P1, see here for view if needed]
P3 = 44a5 - 55b4 [The remainder from P1 and P2]
(b) We know that there are 5 roots from the Fundamental Theorem of Algebra [see here for proof]
(c) From an analysis, I did earlier (see Example 2, here), we know that there are three real roots.
(3) Assume that the equation is algebraically soluble.
(4) Then, from Kronecker's Theorem [see Theorem 4, here], it either has only one real root or all real roots.
(5) But this is not the case from Sturm's Theorem so we have a contradiction.
(6) Thereofore, we reject our assumption in step #3 and conclude that the equation is not algebraically soluble.
- Heinrich Dorrie (Translated by David Antin), 100 Great Problems of Elementary Mathematics (Dover, 1965)