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

  • B∈ℝd×d symmetric matrix

  • A1,…,Am∈ℝd×d positive semi definite

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