On the simultaneous diagonalization of two semi-definite matrices