Fagnano's problem

File:Fagnano problem.svg

orthic triangle: $\mathrm{△}DEF$
inscribed triangles: $\mathrm{△}DEF,\mathrm{△}GHI$
$|DE|+|EF|+|FD|\le |GH|+|HI|+|IG|$

In geometry, Fagnano's problem is an optimization problem that was first stated by Giovanni Fagnano in 1775: Template:Quote The solution is the orthic triangle, with vertices at the base points of the altitudes of the given triangle.

Solution

The orthic triangle, with vertices at the base points of the altitudes of the given triangle, has the smallest perimeter of all triangles inscribed into an acute triangle, hence it is the solution of Fagnano's problem. Fagnano's original proof used calculus methods and an intermediate result given by his father Giulio Carlo de' Toschi di Fagnano. Later however several geometric proofs were discovered as well, amongst others by Hermann Schwarz and Lipót Fejér. These proofs use the geometrical properties of reflections to determine some minimal path representing the perimeter.

Physical principles

A solution from physics is found by imagining putting a rubber band that follows Hooke's law around the three sides of a triangular frame $ABC$, such that it could slide around smoothly. Then the rubber band would end up in a position that minimizes its elastic energy, and therefore minimize its total length. This position gives the minimal perimeter triangle. The tension inside the rubber band is the same everywhere in the rubber band, so in its resting position, we have, by Lami's theorem, $\mathrm{\angle }bcA=\mathrm{\angle }acB,\mathrm{\angle }caB=\mathrm{\angle }baC,\mathrm{\angle }abC=\mathrm{\angle }cbA$

File:Altitudes and orthic triangle SVG.svg

Triangle abc is the orthic triangle of triangle ABC

Therefore, this minimal triangle is the orthic triangle.

Fagnano's problem also provides a path along which light can reflect within a mirrored triangle, returning to its original position and orientation after finitely many reflections. Thus, it solves for acute triangles the problem of finding a periodic path in triangular billiards. The existence of such a path remains open for arbitrary triangles.

Proofs in absolute geometries

The minimality of the perimeter of the orthic triangle can be proven in a more general setting, that of absolute geometry and even weaker settings.

See also

• Set TSP problem, a more general task of visiting each of a family of sets by the shortest tour

References

• Dörrie, Heinrich (1965), "Fagnano's altitude base point problem", 100 Great Problems of Elementary Mathematics, translated by Antin, David, Dover, pp. 359–361, ISBN 978-0-486-61348-2
• Paul J. Nahin: When Least is Best: How Mathematicians Discovered Many Clever Ways to Make Things as Small (or as Large) as Possible. Princeton University Press 2004, Template:ISBN, p. 67
• Coxeter, H. S. M.; Greitzer, S. L.:Geometry Revisited. Washington, DC: Math. Assoc. Amer. 1967, pp. 88–89.
• H.A. Schwarz: Gesammelte Mathematische Abhandlungen, vol. 2. Berlin 1890, pp. 344–345. (online at the Internet Archive, German)
• Pambuccian, Victor; Struve, Horst; Struve, Rolf (2025), "A comprehensive analysis of the axiomatic frameworks in which Fagnano's theorem holds", Journal of Geometry, 116: 1–28, doi:10.1215/00294527-2017-0019

External links

• Fagnano's problem at cut-the-knot
• Fagnano's problem in the Encyclopaedia of Mathematics
• Fagnano's problem at a website for triangle geometry
• An investigative approach with guided proof to Fagnano's problem