>>418
t^2-Xt+Y=0 が 0<t<1 に異なる2つの実数解を持つ。