Hypergeometric2F1[1 - a, a, c, z] == (-1 + Sqrt[1 - z^(-1)])^(1 - a)* (1 + Sqrt[1 - z^(-1)])^(1 + a - 2*c)*(1 - z^(-1))^(-1 + c)* Hypergeometric2F1[-1/2 + c, -a + c, -1 + 2*c, (4*Sqrt[1 - z^(-1)])/ (1 + Sqrt[1 - z^(-1)])^2] it = % /. {a -> 3/5, c -> 1/3}; Table[{z, Equal @@ (Chop@N[List @@ it] )}, {z, -1/2, 1/2, 1/24}] gives all 'True' except an indeterminate for z = 0 Wouter. -----Original Message----- From: Bill Gosper Sent: Wednesday, August 05, 2015 3:31 AM To: math-fun@mailman.xmission.com Subject: [math-fun] Can anyone fix DLMF 15.8.23 ? http://dlmf.nist.gov/15.8 It seems to need another term on the right. --rwg _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun