>>916
すみません理解が追い付かない...
僕の頭の中では、

与式が0以上ってことは重解または虚数解なんだな。じゃあ判別式は0以下だ。

という処理をしてるのですが、これを証明で具体的に書けばいいんですか？

あとa^2 + b^2 +1 > 0 も忘れてましたねすみません