>>760
青チャの模範解答は、必要条件で押しているのであやしい（不十分）と思う。
α＜βは実数解が前提
α＜３＜β⇔(α-3)(β-3)＜０も α、βが実数解であることが前提
例えばα＝i+3,β=2i+3→(α-3)(β-3)＜０だがα＜３＜βではない。