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.