超幾何関数に関するもので、(a-1/2>0)
∫[0,1]{t^(a-1/2)(1-t)^(a-1/2)}/(1-zt)^a dx
=2^(2a)[1+(1-z)^(1/2)]^(-2a)
となるらしいけれど、具体的にはどうやって証明するのでしょうか？
　公式集に書いてあったので、証明がなくて不思議に思っています。