Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-341/section-a/5/a/solution

Near , take to be the continuous local matrix logarithm with . The symmetry identity gives , and uniqueness of this logarithm yields
Thus is an odd function. The local-logarithm qualification is necessary because the matrix exponential is not globally injective; the statement is naturally understood either near or as an identity of formal power series.

New to topics? Read the docs here!