Канонический вид квадратичной формы: теоретические аспекты