Explain what is meant by the Papperitz symbol
P⎩⎪⎨⎪⎧z1αα′z2ββ′z3γγ′z⎭⎪⎬⎪⎫
The hypergeometric function F(a,b;c;z) is defined as the solution of the equation determined by the Papperitz symbol
P⎩⎪⎨⎪⎧001−c∞ab10c−a−b⎭⎪⎬⎪⎫
that is analytic at z=0 and satisfies F(a,b;c;0)=1.
Show, explaining each step, that
F(a,b;c;z)=(1−z)c−a−bF(c−a,c−b;c;z)