非負値の実対称行列だから固有値は全て非負、行列式も非負。
a,b,cに何を入れても非負だから基本対称式の二乗の項しか含まない。