Proposition 4.33 (Mother of all stable polynomials). Assuming that:

  • Bd×d symmetric matrix

  • A1,,Amd×d positive semi definite

Then det(B+z1A1++znAn) is real stable.