The Bézout inequality for mixed volumes characterizes simplices

We prove that the Bézout inequality for mixed volumes characterizes simplices among full dimensional convex bodies in every dimension, resolving a conjecture of Soprunov and Zvavitch. We give two separate proofs of the conjecture. Along the way, we also prove characterizations of simplices in terms of longest chords or relative inradii.