>>85
「tは実数 かつ(t^2)-xt＋1=0」 ⇒「(x^2)-4≧0」が分かるなら、
「(x^2)-4≧0」⇒「tは実数 かつ(t^2)-xt＋1=0」というのは言い換えれば、
「tに関する2次方程式(t^2)-xt＋1=0に関する判別式D = (x^2)-4≧0である時、
2次方程式(t^2)-xt＋1=0の解が実数になる」ということになることは
分かってるんだと思うんだけど、どこで悩んでいるんですか？