abcdは正の数
s(1-a)-tb>0
-sc+t(1-d)>0を満たす正の数stがあるとき
x^2-(a+d)x+(ad-bc)=0は-1<x<1に異なる実数解を持つことの証明お願いします。