A computer proof of the hypothesis about of centroids

This article provides a proof of the “hypothesis about of centroids”, which is given in the “Experimental validation of hypotheses in GeoGebra” and published in the current issue of the “Сhebyshevskiy sbornik”. This hypothesis is formulated as follows: “Let are a non-degenerate triangle from each vertex held the median. Then the original triangle is split into six triangles without common interior points so that their centroids lie on the same ellipse”. The proof of the hypothesis is based on symbolic computation, implemented in five packages of computer mathematics GeoGebra, Mathcad Prime, Maxima, Maple and Mathematica [2–8]. The use of different systems of symbolic computation for solving a problem allows to obtain visual material for comparative assessment of these systems. In the final part of the article offers to consider another statement — “the hypothesis about of circumcenters”. It is formulated so: “Let the three cevian intersect inside acute-angled triangle in the circumcenter. Then the original triangle is split into six triangles without common interior points so that their circumcenters lie on the same ellipse”. This hypothesis was proposed and confirmed experimentally, using a dynamic model constructed in GeoGebra.
This work is devoted to the seventieth Doctor of Physical and Mathematical Sciences, Professor Vasily Ivanovich Bernik. In her curriculum vitae, a brief analysis of his scientific work and educational and organizational activities. The work included a list of 80 major scientific works of V. I. Bernik.
Bibliography: 12 titles.