There is a very nice short proof of John's ellipsoid theorem by Gruber and Schuster:<p><a href="https://www.dmg.tuwien.ac.at/gruber/gruber_arbeiten/johnellipsoid.pdf" rel="nofollow">https://www.dmg.tuwien.ac.at/gruber/gruber_arbeiten/johnelli...</a><p>— one elegant trick I remember from there was that the value of a quadratic form with matrix A on vectors u and v (^T for transpose):<p>u^T A v<p>is interpreted as the dot product between the matrix A and the tensor product u v^T,<p>A • (u v^T)<p>— and dot product • on matrices is just from them being n×n vectors.<p>With that a lot of things are really nice now, e.g. interiors of ellipsoids correspond to intersections of halfspaces of matrices with the positive semidefinite cone. And halfspaces are simple to reason about and intersect!<p>This trick is also implicitly in the parent post, of course.