國立臺灣大學
查了一下,(x^t)(A)x 是實數 imply hermitian 好像要 for all x in "C^n"才會對, 只有for all x in R^n的話暫時沒查到(不過查到的A都是complex matrix, 這題是real不知道會不會因此剛好對了) 不過"A 是 real+symmetric+positive semidefinite"的話,就只要for all x in R^n 就可以分解成B*B^t形式了。