5.1 Sprowadzanie formy kwadratowej do postaci kanonicznej
Niech f(x, y) = Ax2 + Bxy + Cy2 oznacza formę kwadratową. Załóżmy, że choć jedna z liczb A, B, C nie jest zerem. Niech A = B2 — 4AC.
Lemat 5.1 Istnieje liniowa zamiana zmiennych u = ax + (3y v = a'x + 0'y
tak, że w nowych współrzędnych forma przyjmuje postać:
• u2 — v2 lub u ■ v gdy A > 0 (typ hiperboliczny)
• u2 gdy A = 0 (typ paraboliczny)
• ±(u2 + v2) gdy A < 0 (typ eliptyczny)
Przykład 5.2 Określić typy i sprowadzić do postaci kanonicznej formy:
• f{x, y) = x2 - 4xy - 2y*
• 9(xi y) = 9x2 - 6xj/ + 4y2
• h(x, y) = -x2 + 4xy - 5y2