Since the expression is symmetric and values real, and sum/square match, and discriminant non-negative, \( a, b \) are real. - Groen Casting