Como las matrices invertibles son densas en el espacio matricial, podemos suponer que $A$ es invertible. A la izquierda y a la derecha se multiplican ambos lados por $\det(A^{-1})$ la desigualdad en cuestión se convierte en $$\det(I + BA^{-1} + A^{-1}B\,BA^{-1}) \ge \det(BA^{-1} - A^{-1}B).\tag{1}$$ Por lo tanto, basta con demostrar que $$\det(I + X + YX) \ge \det(X-Y)\tag{2}$$ para cualquier invertible $X,Y$ que son similares entre sí. Sea $X=kI+X_0$ y $Y=kI+Y_0$ , donde $X_0$ y $Y_0$ son dos matrices nilpotentes. Entonces $(2)$ se puede reescribir como $$\det\left((1+k+k^2)I + (k+1)X_0 + kY_0 + Y_0X_0\right) \ge \det(X_0-Y_0).\tag{3}$$ Si $X_0=Y_0=0$ la desigualdad es trivial. Supongamos que $X_0, Y_0$ son distintos de cero. Así, por un cambio de base, podemos suponer que $$ Y_0=\pmatrix{0&1\\ 0&0},\ X_0=\pmatrix{p&-q\\ r&-p}$$ con $qr=p^2$ . Si se calculan ambos lados de $(3)$ directamente utilizando las entradas de $X_0$ y $Y_0$ se encontrará que el LHS es igual a $(1+k+k^2)^2 + r$ y el lado derecho es $r$ . Ahora la desigualdad se deduce inmediatamente.