Fermat point

theorem

The point inside a triangle that minimizes the sum of distances to its three vertices; when every interior angle is below 120°, the Fermat point sees all three vertices at 120° apart, and the minimum is computed via the 60° rotation construction.

Fermat point — the point inside a triangle that minimizes the sum of distances to the three vertices.

Universal form

minP(PA+PB+PC)\min_P\,\big(\, PA + PB + PC \,\big)

Classical model

  • Moving point PP: anywhere in the plane (interior and boundary of ABC\triangle ABC included)
  • Fixed points A,B,CA, B, C: the three vertices of ABC\triangle ABC
  • Key constraint: all three weights are 11 (use Weighted Fermat Point (rotation + scaling lemma) if weighted); when some interior angle is 120°\geq 120°, the optimal point degenerates to that vertex

Moving point P inside △ABC, minimizing PA + PB + PC (the original problem)

Conclusion

Condition Optimal PP Angles at PP
All interior angles <120°< 120° Fermat point (strictly inside the triangle) APB=BPC=CPA=120°\angle APB = \angle BPC = \angle CPA = 120°
Some angle 120°\geq 120° The obtuse vertex

Some interior angle ≥ 120° degenerate: optimal P = that obtuse vertex

The 60° rotation construction (the standard recipe)

On any side of ABC\triangle ABC (say BCBC), build an equilateral BCA\triangle BCA' outside ABC\triangle ABC. Then:

min(PA+PB+PC)=AA\min(PA + PB + PC) = |AA'|

Proof sketch: rotate BPC\triangle BPC about BB clockwise by 60°60°: PPP \to P', CAC \to A'. Then:

  • BPP\triangle BPP' is equilateral (BP=BPBP = BP' with included angle 60°60°) ⇒ PP=PBPP' = PB
  • Rotation preserves length ⇒ PA=PCP'A' = PC
  • Hence PA+PB+PC=PA+PP+PAPA + PB + PC = PA + PP' + P'A'

△BPC rotated 60° CW about B: P → P', C → A', △BPP' is equilateral

The right-hand side is the length of the polyline from AA to AA'. By [[triangle-inequality]]:

PA+PP+PAAAPA + PP' + P'A' \geq |AA'|

with equality when A,P,P,AA, P, P', A' are collinear — at which point PP is the Fermat point.

Equality position: A, P, P', A' collinear + the three 120° viewing angles

Fermat point via 60° rotation: build external equilateral △BCA', min = |AA'|

Applications

  • [[0002-fermat-point]] — the standard isosceles-acute-triangle problem