求解 y' = sqrt(1 - y^2) 。讨论定义域和奇异解。