If are symmetric real matrices we write if-f the matrix is non negative definite. Examine if
for each pair real symmetric matrices such that .
Since commute it follows from the properties of the exponential function
Setting we must prove that . Since commute so are . Hence is symmetric. Thus,
and that’s all!