View source for (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]].

==Proof==

==References==
* {{BookReference|Higher Transcendental Functions Volume I|1953|Arthur Erdélyi|author2=Wilhelm Magnus|author3=Fritz Oberhettinger|author4=Francesco G. Tricomi|prev=(c-2a-(b-a)z)2F1+a(1-z)2F1(a+1)-(c-a)2F1(a-1)=0|next=(c-a-b)2F1+a(1-z)2F1(a+1)-(c-b)2F1(b-1)=0}}: $\S 2.8 (32)$

[[Category:Theorem]]
[[Category:Unproven]]