a,bは無理数で、a<bとする。
またX=(a+b)/2、Y=√abとする。
X,Yがともに有理数となることはあるか。