  In 1958 Lax conjectured that hyperbolic polynomials in three variables are
determinants of linear combinations of three symmetric matrices. This
conjecture is equivalent to a recent observation of Helton and Vinnikov.
