αとβが実数なので解と係数との関係からtについての方程式：t^2-Xt+Y=0の解はα,βでこれが共に実数になるような条件を
判別式から求めるんじゃないのかな、X^2-Y≦1の中には虚数のαとβも含まれているんだよ、