x=1, -1, 2以外で成り立つってのはx=1, -1, 2で成り立たないってことじゃないぞ、x=1, -1, 2に関しては(その時点では)まだ分からないってことだ
でも②は恒等式にならざるを得ない(2次式だから、1, -1, 2以外の何か3つの値で成り立つと式として等しい)
するとx=1, -1, 2についても成り立つことが初めて分かるって論理