函数y=[1-(x-1)^2]^1/2在0到1上的定积分是多少?