El problema y la respuesta al Problema de Fermat tal como lo plantean

Courant y Robbins son como sigue:

Problema: Se dan tres puntos A, B, C en un plano, y un cuarto punto, P, en el

plano es buscado para que la suma AP + BP + CP sea mínima, donde AP, BP
y CP denotan los tres distancias de P a A, B, C respectivamente.

Respuesta: Si en el Triángulo ABC todos los ángulos miden menos de 120◦,

entonces P es el punto desde el cual cada uno de los tres lados, AB, BC, CA,
subtiende un ángulo de 120◦. Sin embargo, si un ángulo del triángulo ABC
(por ejemplo, el ángulo en C) es igual o mayor que 120◦, entonces el punto P
coincide con el vértice de ese ángulo (C).

Caso 1: P coincide con uno de los vértices A, B o C. En este caso, claramente

P debe ser el vértice del ángulo mayor del triángulo ABC porque el lado
opuesto al ángulo mayor debe tener la mayor longitud de todos los lados del
triángulo. Por lo tanto, el árbol de expansión mínimo produce el camino más
corto.

Caso 2: P difiere de A, B, C. Para este caso, debemos probar que P es el punto

para el que cada uno de los tres lados, AB, BC, CA, subtiende un ángulo de
120◦.

Sea K la circunferencia alrededor de uno de los vértices, digamos C, de radio

de longitud c. Queremos construir el punto P en K tal que AP + PB sean
mínimos.

Para encontrar la ubicación del punto P en K usaremos el Teorema de Heron.

El problema de Heron establece: “Dada una línea l y dos puntos, A y B, en la
mismo lado de l, ¿para qué punto, P, en l es AP + PB el camino más corto de
A a l a B?
Básicamente, el objetivo es averiguar dónde colocar una línea tangente en K
para que el punto de tangencia sea P con las propiedades buscadas. Primero,
refleja A sobre l para obtener punto A´(ver Figura 4). Está claro que la
distancia más corta desde A´ a l y de l a B es la recta recta A´B = A´P + PB.
El punto de intersección de A´B con l es P ya que reflejamos A a través de l,
haciendo A´P = AP y dado que A´B da la distancia más corta desde A´a l y de
l a B entonces tenemos

A´P + PB = AP + PB
Además, tengamos en cuenta que m∠1=m∠3 ya que reflejamos A a través de
l. Como A´B es una línea recta, esto significa que ∠2 y ∠3 son ángulos
verticales y por lo tanto tienen la misma medida. Entonces por transitividad,
m∠1=m∠2. Para probar la unicidad de P, sea P´ sea cualquier punto sobre l
tal que P  P´, entonces tenemos que:

AP =AP´
Y
AP´=A´P´
entonces
AP + PB = A´P + PB = A´B
y
AP´ + P´B = A´P´+P´B
Sin embargo,

A´P´+P´B > A´B ya que la suma de las longitudes de dos lados de un triángulo
es mayor que la longitud del tercer lado. Es decir,

A´P´+P´B> AP + B

Por lo tanto, P es único.

Así que hemos probado que P debe ser un punto en el círculo K tal que la
línea tangente, l, a K a través de P tendrá la propiedad de que la medida del
ángulo formado por el segmento AP y
La recta l será igual a la medida del ángulo formado por el segmento BP y l.
El resultado es que la distancia AP + BP es mínima.

Ahora tenga en cuenta que dijimos anteriormente que el radio de K esalguna

constante c. Se podría hacer la misma construcción que en la figura 3 para
encontrar puntos con las mismas propiedades que P para círculos alrededor de
cualquiera de los otros dos vértices, A o B. Dado que el radio es una constante
arbitraria para cada círculo, entonces realmente hemos encontrado la línea en
la que P existirá. Es decir, el radio CP se puede extender como la línea que es
perpendicular a l (ya que l es tangente a K) y P será algún punto de esta línea.
El punto P será la intersección de las líneas que se extienden desde cada uno
de los radios que se pueden construir para un círculo alrededor de A o B en el
que se ha encontrado este punto P usando el Teorema de Heron.
Para usar el Teorema de Heron, tuvimos que suponer que tanto A como B
estaban en el mismo lado de l, en nuestro caso no dentro de K. Supongamos
ahora que uno de los puntos A o B no está fuera de K pero en cambio está
sobre o dentro de K. Sin pérdida de generalidad, sea este punto A. Entonces,
dado que
P  A y P  B tenemos que PA + PB > AB ya que la suma de las longitudes de
dos lados de un triángulo es mayor que la longitud del tercer lado. Pero PC ≥
AC ya que A se encuentra sobre o dentro de K. Entonces PA + PB + PC > AB
+ AC, lo que implica que el camino más corto sería encontrado si P = A lo
cual es una contradicción. Lo mismo se puede demostrar para B y por lo tanto
ambos A y B están fuera de K.