Some examples of the use of distances as coordinates for euclidean geometry (Q1176392)

At first this paper contains a brief summary of the mathematical results of the use of distance as coordinates for Euclidean geometry. In principle, all of the theorems of Euclidean geometry can be derived in this way (Dress and the author, 1987). In the main part the author considers several examples which show the distance geometry approach to proving theorems in Euclidean geometry: Isosceles bisectors, the congruence of opposite sides of a parallelogram, Simson's theorem. In particular, he shows how the distance geometry can be used to derive the topological structure of the equilateral pentagon linkage. In all of these examples, he uses a computer algebra program to perform the computations. From point of theoretical view, the return from the resultants to classical methods is in part inconsistent.