Let , , and . Their traces are real by part c, and . Thus . Expanding the product and using gives
Therefore
In particular the trace expression is real and symmetric on . Under the coordinates , , it is . Thus the trace form on scalar-plus-skew-Hermitian two-by-two matrices has rank , inertia , or numerical signature , agreeing with under the real isomorphism.