Degree drop in a specialized resultant

ID: degree-drop-in-a-specialized-resultant

The actual-degree condition in the resultant theorem matters when coefficients depend on a parameter. Take
The nominal degree-one Sylvester matrix is , whose determinant is . Its specialization at therefore vanishes. But the specialized polynomials are the nonzero constants and , which have no common root at all.
For , the roots of a polynomial are and ; neither has a finite limit as . Both leading coefficients vanish at the exceptional parameter. The fixed-size determinant has retained the original degree format even though the specialized polynomial degrees have dropped. Recompute using the actual specialized polynomials and check the original equations before accepting a zero of a parameter-dependent resultant as a solution.

New to topics? Read the docs here!