Metoda Lagrange’a
Metoda Lagrange‘a wykorzystuje uogólnienie wzoru skróconego mnożenia na kwadrat sumy elementów, a mianowicie:
(6j 4- 62 + ... + b„ )2 = b* + b?2 + ... + ^ + 2 ^ bfij
«=i j=ij<j
Metodę tą omówimy na przykładzie. Niech
g(xi,X2.x3) = 2x5 — x\ + 3x2 + 21112 — lxix3 — 3x2x3
wtedy możemy zebrać elementy, które zawierają x\ i otrzymujemy: g(xi,X2,xs) = 2(x? + 0:13:2 - 23:10:3) - x\ + 3xl - 3x2x3 następnie "wyciągamy kwadrat" zgodnie z powyższym wzorem:
g{xi, x2, x3) = 2(xi + ^x2 - x3)2 - -x% - 2x2 + 2x2x3 - x\ + 3x* - 3x2x3 stąd
1 3
p(x,,x2,x3) = 2(x, + -x2 - x3)2 - -zx\ + Ą - x2x3
dalej postępujemy podobnie jak powyżej z "kawałkiem” zawierającym tylko zmienne x3, x3, a więc:
0(xi,x2,x3) = 2(x, + \x2 - x3)2 - §(x| + §x2x3) + xl =
2(xj + ±x2 - x3)2 - |(x2 + |x3)2 + |x§ + x\ =
2(xi + \x2 - x3)2 - |(x2 + 3X3)2 + |x2
Jeśli przyjmiemy teraz xj\ = Xi + \x2 - x3, y2 = x2 + 5X3, y3 = x3 to otrzymamy:
3 7
0(l/l, ifeijfo) = 2«/i - -02 + g»/3
otrzymane przedstawienie jest więc postacią kanoniczną naszej formy.
Metoda Jacobiego
Metoda Jacobiego polega na wykorzystaniu algorytmu podobnego do algorytmu ortogonalizacji Grama — Schmidta. Omówimy tą metodę na tym samym przykładzie co poprzednio:
0(xi,x2,x3) = 2x5 - A + 3x2 + 2xix2 - 4xix3 - 3x2x3
2