(b-a)2F1+a2F1(a+1)-b2F1(b+1)=0

Theorem

The following formula holds: $$(b-a){}_2F_1(a,b;c;z)+a{}_2F_1(a+1,b;c;z)-b{}_2F_1(a,b+1;c;z)=0,$$ where ${}_2F_1$ denotes hypergeometric 2F1.

References

• 1953: Arthur Erdélyi, Wilhelm Magnus, Fritz Oberhettinger and Francesco G. Tricomi: Higher Transcendental Functions Volume I ... (previous) ... (next): $\S 2.8 (32)$