>>352
公式どおり、t=√{(x-y)/(1-x)}　と置換すると、
dt=dx･{(1-y)√(1-x)}/{2(1-x)^2･√(x-y)}
∫[y→1] dx/√{(1-x)(x-y)}=2(1+y)∫[0→∞]dt/(1+t^2)=(1+y)arctan(t)_[0→∞]