>>117
>ともに実数でない可能性もあるのでは？

「方程式[1]が実数解を持つとき」の題意からα,βは実数確定
実数は四則すべてに対して閉じていることからα + β = -k、つまりkは実数確定