El uso de bases de Grobner en maxima da:
grobner_basis([2*a+b+c-1,(a+b)x+(a+c)/4-a,(a+c)(1-x)-a,a*(1-x)+c*(x-1/4)-b,b*(1-x)+a*(x-1/4)-c]);
(A - 44) x + (- 144)^2 + 213 + (- 36),
(- 11) c + (a - 48) a^2 + 60 a + (- 12),
(- 11) b + 48 a^2 + (- 82) a + 23,
(- 144)^3 + 381 a^2 + (- 312) + 64
La última ecuación es una cúbicos en "una" sola.
La segunda y última soluciona para b dado.
La tercera resuelve para c en una.
La parte superior de la ecuación se resuelve para x en una.
Grobner Base y el algoritmo de Buchberger explicar cómo funciona esto.
saludos arturo
x minúscula
grobner_basis([2*a+B+C-1,(a+B)x+(A+C)/4-A,(a+C)(1-x)-A,A*(1-x)+C*(x-1/4)-B,B*(1-x)+A*(x-1/4)-C]);
(- 3) C + 4 x^2 ,
(- 3) B + 4 x^2 + (- 8) x + 3,
(- 3) + (- 4) x^2 + 4 x,
(- 8) x^3 + 13 x^2 + (- 12) x + 3