2次形式の定義を更新

二次形式の定義に、内積を用いた表現を追加。
参照元は、川久保勝夫『線形代数学』。