A central configuration ofn masses under gravitational potential is a configuration such that all accelerations are oriented toward the center of masses and are proportional to the distance to this center. It follows that the plane central configurations are those that remain homothetic to themselves, with convenient initial velocities. For three masses these configurations are well known as those of Lagrange.
A well known conjecture is that the number of central configurations of n bodies is always finite when the masses are fixed.
In this talk, we describe the number of central configurations of four masses in the plane, which have an axis of symmetry. In this case symmetric masses are equal. In the case where none of the masses are on the axis (trapezoidal configuration), it is rather easy to show that for any value of the two masses, there is exactly one central configuration.
In the case of two masses on the axis and two symmetric masses
normalized to 1 (this is the only other case if the bodies are not
aligned), some reductions allow to model the problem by the system of
The number of central configurations is 1, 3 or 5 depending on the values of the masses m and n. This number is determined by the position of the point (m,n) relatively to a plane curve in the space of the masses. The implicit equation of this curve has degree 424, more than 50,000 monomials and integer coefficients of more 200 decimal digits.
For proving this result, we have designed a general algorithm for discussing zero-dimensional problems depending on few parameters. In this particular case, it needs algorithms for Gröbner basis computation, for elimination, for drawing plane curves, for the certification of a drawing (proving that no branch is omitted) and for fast real solving zero-dimensional systems of equations.
The size of the curve which is a part of the solution shows that this problem is near the limit of the present technology, and we guess that the only software which is presently able to do such a computation is the latest version of FGb/RealSolving, which our team has developed.