>>83
えぇと2行目って言うのは
「tは実数 かつ(t^2)-xt+1=0」 ⇔「(x^2)-4≧0」
のことです。
「tは実数 かつ(t^2)-xt+1=0」 ⇒「(x^2)-4≧0」はわかりますが
「(x^2)-4≧0」⇒「tは実数 かつ(t^2)-xt+1=0」
というのがよくわからないです。。