いや待ってください、全員バカじゃないですか

接する→D=0がダメなのは、実数条件が抜けているから、じゃないじゃないですか

接する→D=0かD＞0で片方のyに対応するxが存在しない

だからじゃないですか

接することとD=0であること、これが同値変形になってない、ただそれだけじゃないですか