>>148
2y^2=1-x^2≧0から定義域を出す
超定石