a·x2 + b·x + c = 0
Die Diskriminante bei der abc-Lösungsformel lautet "b^2 - 4ac" und diese muss größer Null sein, damit es zwei Lösungen gibt.
b^2 - 4ac > 0
b^2 ist sicher immer positiv. -4ac ist positiv wenn c negativ ist und a positiv.
Wenn also a = -1, b = 1 und c = -1 ist dann ist
b^2 - 4ac = 1^2 - 4(-1)(-1) = 1 - 4 = -3
Damit ist die Diskriminante negativ und es gibt keine Lösung. Damit kannst du es also nicht beweisen.
Nimm lieber
b^2 - 4ac > 0
b^2 > 4ac
Wenn b^2 größer ist als 4ac, dann haben wir genau zwei Lösungen.