Verify matrix identity $A^tD-C^tB=I$ on certain hypotheses
Solution 1:
I have found out that this $2n\times 2n$ matrix, indeed, has a name: symplectic matrix.
http://en.wikipedia.org/wiki/Symplectic_matrix
It seems like this property is a special property of a broader kind of matrix.