Mathomatic version 14.0.4 (www.mathomatic.org)
Copyright (C) 1987-2008 George Gesslein II.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

100 equation spaces available, 960 kilobytes per equation space.
HTML color mode enabled.
1—> ; Combine 3 quadratic polynomials with 3 unknown coefficients (a, b, c).
1—> ; Solve for a, b, and c.
1—> 
1—> clear all
1—> y1=a+b*x1+c*x1^2

#1: y1 = a + (b·x1) + (c·(x1^2))

1—> y2=a+b*x2+c*x2^2

#2: y2 = a + (b·x2) + (c·(x2^2))

2—> y3=a+b*x3+c*x3^2

#3: y3 = a + (b·x3) + (c·(x3^2))

3—> 2 ; select equation number 2

#2: y2 = a + (b·x2) + (c·(x2^2))

2—> eliminate a ; eliminate variable (a) from the current equation
Solving equation #1 for (a) and substituting into the current equation...

#2: y2 = (b·x2) − (x1·(b + (c·x1))) + y1 + (c·(x2^2))

2—> 3 ; select equation number 3

#3: y3 = a + (b·x3) + (c·(x3^2))

3—> eliminate a b ; eliminate variables (a) and (b)
Solving equation #1 for (a) and substituting into the current equation...
Solving equation #2 for (b) and substituting into the current equation...

         (y1 − y2 + (c·((x2^2) − (x1^2))))·x3        (y1 − y2 + (c·((x2^2) − (x1^2))))
#3: y3 = ———————————————————————————————————— − (x1·(————————————————————————————————— + (c·x1))) + y1 + (c·(x3^2))
                      (x1 − x2)                                  (x1 − x2)

3—> solve verify c ; solve for c, verifying the result

               ((y2·(x1 − x3)) + (y1·(x3 − x2)) − (y3·(x1 − x2)))
#3: c = —————————————————————————————————————————————————————————————————
        ((x1·((x2^2) + (x1·(x3 − x2)))) − (x3·((x2^2) + (x3·(x1 − x2)))))

Division simplified with polynomial GCD.
Division simplified with polynomial GCD.
Division simplified with polynomial GCD.
Solution verified.
3—> 2 ; select equation number 2 again

        (y1 − y2 + (c·((x2^2) − (x1^2))))
#2: b = —————————————————————————————————
                    (x1 − x2)

2—> eliminate c using 3 ; eliminate (c) using equation number 3
Solving equation #3 for (c) and substituting into the current equation...

                   ((y2·(x1 − x3)) + (y1·(x3 − x2)) − (y3·(x1 − x2)))·((x2^2) − (x1^2))
        (y1 − y2 + ————————————————————————————————————————————————————————————————————)
                    ((x1·((x2^2) + (x1·(x3 − x2)))) − (x3·((x2^2) + (x3·(x1 − x2)))))
#2: b = ————————————————————————————————————————————————————————————————————————————————
                                           (x1 − x2)

2—> 1 ; select equation number 1

#1: a = -1·((x1·(b + (c·x1))) − y1)

1—> eliminate b c ; the final elimination
Solving equation #2 for (b) and substituting into the current equation...
Solving equation #3 for (c) and substituting into the current equation...

                 ((((x1·((x2^2) + (x1·(x3 − x2)))) − (x3·((x2^2) + (x3·(x1 − x2)))))·(y1 − y2)) + (((y2·(x1 − x3)) + (y1·(x3 − x2)) − (y3·(x1 − x2)))·((x2^2) − (x1^2))))         ((y2·(x1 − x3)) + (y1·(x3 − x2)) − (y3·(x1 − x2)))·x1
#1: a = -1·((x1·(———————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————— + —————————————————————————————————————————————————————————————————)) − y1)
                                                      (((x1·((x2^2) + (x1·(x3 − x2)))) − (x3·((x2^2) + (x3·(x1 − x2)))))·(x1 − x2))                                         ((x1·((x2^2) + (x1·(x3 − x2)))) − (x3·((x2^2) + (x3·(x1 − x2)))))

1—> simplify all ; list all solutions
Division simplified with polynomial GCD.

                      ((x3·(((x1^2)·y2) − (y1·(x2^2)))) + ((x3^2)·((y1·x2) − (x1·y2))))
        ((x1·x2·y3) + —————————————————————————————————————————————————————————————————)
                                                  (x2 − x1)
#1: a = ————————————————————————————————————————————————————————————————————————————————
                                     ((x2 − x3)·(x1 − x3))


        (((x1^2)·(y2 − y3)) + ((x3^2)·(y1 − y2)) + ((x2^2)·(y3 − y1)))
#2: b = ——————————————————————————————————————————————————————————————
                       ((x2 − x1)·(x3 − x1)·(x2 − x3))


         (y1 − y2)   (y3 − y2)
        (————————— − —————————)
         (x2 − x1)   (x2 − x3)
#3: c = ———————————————————————
               (x3 − x1)

1—> fraction all ; convert to simple fractions

        ((x1·x2·y3·(x2 − x1)) + (x3·(((x1^2)·y2) − (y1·(x2^2)))) + ((x3^2)·((y1·x2) − (x1·y2))))
#1: a = ————————————————————————————————————————————————————————————————————————————————————————
                                    ((x2 − x1)·(x2 − x3)·(x1 − x3))


        (((x1^2)·(y2 − y3)) + ((x3^2)·(y1 − y2)) + ((x2^2)·(y3 − y1)))
#2: b = ——————————————————————————————————————————————————————————————
                       ((x2 − x1)·(x3 − x1)·(x2 − x3))


        (((y1 − y2)·(x2 − x3)) − ((y3 − y2)·(x2 − x1)))
#3: c = ———————————————————————————————————————————————
                ((x2 − x1)·(x2 − x3)·(x3 − x1))

Finished reading file "poly.in".
1—> 
End of input.