I wasnt sure where to post this but im having trouble understanding a part of this proof, the integration part, could anyone explain to me where the intervals infinite and sqrt(1-x^2), and beta, pi - alpha come from in the integrals on the proof on page 3 of: http://www.maths.manchester.ac.uk/~cwalkden/hyperbolic-geometry/lecture07.pdf