A relation at x=1 of Kummer's 24 solutions
1 ~arith1.minus~ x ~arith1.power~ (c ~arith1.minus~ a ~arith1.minus~ b)
~arith1.times~
hypergeo1.hypergeometric2F1(c ~arith1.minus~ a, c ~arith1.minus~ b,
c ~arith1.plus~ 1 ~arith1.minus~ a ~arith1.minus~ b, 1 ~arith1.minus~ x)
~relation1.eq~
( x ~arith1.power~ (b ~arith1.minus~ c) ~arith1.times~
((1 ~arith1.minus~ x) ~arith1.power~
(c ~arith1.minus~ a ~arith1.minus~ b)) ~arith1.times~
hypergeo1.hypergeometric2F1(1 ~arith1.minus~ b, c ~arith1.minus~ b,
c ~arith1.plus~ 1 ~arith1.minus~ a ~arith1.minus~ b,
x ~arith1.minus~ 1 ~arith1.divide~ x));
A relation at x=1 of Kummer's 24 solutions
@@ /. {a->1/2,b->3/5,c->-2/11,x->0.2}