Geometrical Solution to the Fermat Problem with Arbitrary Weights

The prime motivation for the present study is a famous problem, allegedly first formulated in 1643 by Fermat, and the so-called Complementary Problem (CP), proposed but incorrectly solved in 1941 by Courant and Robbins. For a given triangle, Fermat asks for a fourth point such that the sum of its Euclidean distances, each weighted by +1, to the three given points is minimized. CP differs from Fermat in that the weight associated with one of these points is −1 instead of +1. The geometrical approach suggested in 1998 by Krarup for solving CP is here extended to cover any combination of positive and negative weights associated with the vertices of a given triangle. Among the by-products are surprisingly simple correctness proofs of the geometrical constructions of Torricelli (around 1645), Cavalieri (1647), Viviani (1659), Simpson (1750), and Martelli (1998). Furthermore, alternative proofs of Ptolemy's theorem (around A.D. 150) and an observation by Heinen (1834) are provided.