Optimal Running Path Around a Triangular House

⚡ Key Takeaways

One-line statement: Given a triangular house and a runner who starts at a point, must touch each of the three walls (sides), and return to start, the optimal (shortest) running path is found using reflection of the starting point across the walls. Key result: When the runner must touch all three sides in order and return, the minimal closed path is a straight line in the unfolded (reflected) plane; for the special case of touching each side once the inscribed path is governed by reflection and, for the triangle-inscribed-triangle problem, by the orthic triangle. Where it applies: Optimization, geometric reflection ("billiard") problems, the calculus of shortest paths, recreational and competition mathematics. Who/when: Rooted in Heron of Alexandria (c. 60 AD) on reflection; Fagnano's inscribed-triangle problem (1775); modern billiard dynamics.

💡 The Core Insight

A path that bounces off a wall obeys the law of reflection (angle in = angle out) precisely when it is shortest. Equivalently, reflecting the start point across a wall turns "go to the wall then continue" into "go straight to the mirror image." Chain these reflections and the optimal multi-touch path becomes a single straight segment in an unfolded copy of the plane.

Formal Statement

DefinitionThe Triangular House Running Problem

Let triangle △ABC\triangle ABC represent the house, with side lengths a=BCa = BC, b=CAb = CA, c=ABc = AB. A runner located at point PP must touch a sequence of walls and return to PP. We measure the total path length LL and seek its minimum. Two canonical versions exist:

  • (V1) Fixed start, return to start, touch one wall: Touch line ℓ\ell once and come back; minimize L=∣PX∣+∣XP′∣L = |PX| + |XP'|-type sums.
  • (V2) Inscribed triangle / full lap: Choose one point on each side, X∈BCX \in BC, Y∈CAY \in CA, Z∈ABZ \in AB, and run the closed loop X→Y→Z→XX \to Y \to Z \to X. Minimize the perimeter
1
L(X,Y,Z)=∣XY∣+∣YZ∣+∣ZX∣.\quad L(X,Y,Z) = |XY| + |YZ| + |ZX|.

Derivation hint: This is just the perimeter of inscribed triangle △XYZ\triangle XYZ; the optimization is over the three free points constrained to the sides.

DefinitionReflection of a Point Across a Line

Given a point PP and a line ℓ\ell, the reflection P′P' satisfies: ℓ\ell is the perpendicular bisector of segment PP′PP'. The key distance-preserving property is, for any point XX on ℓ\ell,

2
∣PX∣=∣P′X∣.\quad |PX| = |P'X|.

Derivation hint: XX lies on the perpendicular bisector ℓ\ell of PP′PP', and any point on a perpendicular bisector is equidistant from the two endpoints.

TheoremReflection Principle for Shortest Touch-Path

For version (V1), the runner starting at PP, touching line ℓ\ell at point XX, and continuing to a target QQ, minimizes total distance ∣PX∣+∣XQ∣|PX| + |XQ| when

3
∣PX∣+∣XQ∣=∣P′Q∣,\quad |PX| + |XQ| = |P'Q|,

achieved exactly when XX lies on the straight segment P′QP'Q, where P′P' is the reflection of PP across ℓ\ell. The optimal XX obeys the law of reflection: the incoming and outgoing rays make equal angles with ℓ\ell. Derivation hint: Replace ∣PX∣|PX| with ∣P′X∣|P'X| using equation [2]; then ∣P′X∣+∣XQ∣≥∣P′Q∣|P'X| + |XQ| \ge |P'Q| by the triangle inequality, with equality iff XX on segment P′QP'Q.

TheoremFagnano–Fejér: Minimal Inscribed Triangle

For an acute triangle △ABC\triangle ABC, version (V2)'s minimum-perimeter inscribed triangle is the orthic triangle △X0Y0Z0\triangle X_0Y_0Z_0, whose vertices are the feet of the three altitudes. Its perimeter is

4
Lmin⁡=2A△⋅??  =  acos⁡A+bcos⁡B+ccos⁡C,\quad L_{\min} = 2A_{\triangle} \cdot \frac{?}{?} \;=\; a\cos A + b\cos B + c\cos C,

equivalently expressible as Lmin⁡=(acos⁡A+bcos⁡B+ccos⁡C)L_{\min} = (a\cos A + b\cos B + c\cos C), and the orthic triangle's sides satisfy a reflection (equal-angle) condition at each touch point. Derivation hint: Each side of the orthic triangle reflects off the host triangle's wall at equal angles — the same "billiard" condition forced by [3]; Fejér's double-reflection unfolding shows this is the global minimum.

Why It Holds / Derivation

ProofReflection gives the shortest single-wall touch (V1)

Setup. Runner at PP, target QQ, both on the same side of wall line ℓ\ell. We must pick the touch point X∈ℓX \in \ell minimizing f(X)=∣PX∣+∣XQ∣f(X) = |PX| + |XQ|.

Step 1. Reflect PP across ℓ\ell to get P′P'. By equation [2], for every candidate XX on ℓ\ell,

∣PX∣=∣P′X∣.|PX| = |P'X|.

Step 2. Substitute:

f(X)=∣P′X∣+∣XQ∣.f(X) = |P'X| + |XQ|.

Step 3. P′P' and QQ lie on opposite sides of ℓ\ell (reflection flips the side). The triangle inequality gives

∣P′X∣+∣XQ∣≥∣P′Q∣,|P'X| + |XQ| \ge |P'Q|,

with equality iff XX lies on the straight segment P′QP'Q.

Step 4. Since segment P′QP'Q crosses ℓ\ell exactly once, there is a unique optimal touch point X0=P′Q∩ℓX_0 = P'Q \cap \ell, and the minimum length is ∣P′Q∣|P'Q|, matching equation [3].

Step 5 (equal-angle condition). Because ∠(P′X0,ℓ)\angle(P'X_0, \ell) equals ∠(PX0,ℓ)\angle(P X_0, \ell) (reflection preserves angles) and P′,X0,QP', X_0, Q are collinear, the angle of incidence equals the angle of reflection. ■\blacksquare

∎
ProofFejér's reflection argument for the orthic minimum (V2, acute case)

Step 1 — fix one vertex. Temporarily fix XX on side BCBC. We optimize the broken path X→(side CA)→(side AB)→XX \to (\text{side } CA) \to (\text{side } AB) \to X.

Step 2 — double reflection. Reflect XX across line CACA to get X1X_1, and across line ABAB to get X2X_2. By equation [2], the path length equals ∣X1Y∣+∣YZ∣+∣ZX2∣|X_1 Y| + |YZ| + |ZX_2|, which for fixed Y,ZY,Z-freedom straightens to ∣X1X2∣|X_1 X_2| — a straight segment.

Step 3 — the key length identity. Both reflections fix distance to vertex AA, so ∣AX1∣=∣AX2∣=∣AX∣|AX_1| = |AX_2| = |AX|, and the angle ∠X1AX2=2A\angle X_1 A X_2 = 2A (twice the angle at AA, independent of XX). Hence

5
∣X1X2∣=2∣AX∣sin⁡A.\quad |X_1 X_2| = 2|AX|\sin A.

Derivation hint: △X1AX2\triangle X_1 A X_2 is isosceles with apex angle 2A2A and equal legs ∣AX∣|AX|; drop the apex bisector to get the base =2∣AX∣sin⁡A= 2|AX|\sin A.

Step 4 — minimize over XX. Since sin⁡A\sin A is constant, ∣X1X2∣|X_1 X_2| is smallest when ∣AX∣|AX| is smallest, i.e. when AX⊥BCAX \perp BC. So XX is the foot of the altitude from AA.

Step 5 — symmetry closes the loop. Repeating for BB and CC forces Y,ZY, Z to be the other two altitude feet. The simultaneous minimizer is exactly the orthic triangle, and at each side the equal-angle (reflection) law from [3] holds. ■\blacksquare

∎
⚠️ Common mistake

The orthic-triangle result holds only for acute triangles. If △ABC\triangle ABC is right or obtuse, the minimum "inscribed triangle" degenerates: the infimum perimeter approaches 2h2h (twice the shortest altitude) but is not attained by a genuine triangle. Always check the triangle is acute before invoking equation [4].

Figure
Reflection unfolding: the bounce path straightens into a line
wall ℓ P Q P′ (mirror) X straight P′Q = min length

Caption: The actual bounce P→X→QP \to X \to Q (gold) has the same length as the straight dashed segment P′QP'Q, where P′P' is PP reflected across the wall. Equal incidence/reflection angles emerge automatically.

HO
Heron of Alexandria
c. 10–70 AD

Heron first proved that light reflecting off a mirror takes the shortest path, establishing the equal-angle law via a geometric (reflection) argument — the exact tool that solves the running-around-the-house problem. His insight predated the modern variational principle by over 1500 years and reframed an optics fact as a pure minimization, the conceptual seed of every "billiard path" result here.

Building Intuition

🧠 Intuition

Imagine standing at PP inside a mirrored room; you throw a ball that must bounce off one wall and reach a friend at QQ. The ball "wants" the straightest route. Through the mirror, the friend's image QQ (or your image P′P') appears behind the wall, and the straight line of sight to that image marks where the ball must strike. Running around a triangular house is the same trick chained three times: each wall is a mirror, and "unfolding" the triangle by repeated reflection turns the zigzag lap into one straight ruler-line. The optimal touch points are simply where that ruler-line crosses each wall.

Worked Examples

ExampleSingle-wall touch with numbers

Given: Runner at P=(1,3)P = (1, 3), water tap (target) at Q=(7,5)Q = (7, 5), both above the wall along the xx-axis (ℓ:y=0\ell: y=0). Find the optimal touch point XX and minimal distance.

Step 1 — Reflect PP: P′=(1,−3)P' = (1, -3).

Step 2 — Minimal length:

Lmin⁡=∣P′Q∣=(7−1)2+(5−(−3))2=36+64=100=10.L_{\min} = |P'Q| = \sqrt{(7-1)^2 + (5-(-3))^2} = \sqrt{36 + 64} = \sqrt{100} = 10.

Step 3 — Touch point (where segment P′QP'Q meets y=0y=0). Parametrize: x=1+6tx = 1 + 6t, y=−3+8ty = -3 + 8t. Set y=0⇒t=3/8y=0 \Rightarrow t = 3/8. Then x=1+6(3/8)=1+2.25=3.25x = 1 + 6(3/8) = 1 + 2.25 = 3.25.

X=(3.25, 0),Lmin⁡=10 units\boxed{X = (3.25,\ 0), \qquad L_{\min} = 10 \text{ units}}
ExampleOrthic-triangle lap of an acute house

Given: An acute triangular house with angles A=80∘A = 80^\circ, B=60∘B = 60^\circ, C=40∘C = 40^\circ and sides a=10 ma = 10\text{ m}, b=8.79 mb = 8.79\text{ m}, c=6.53 mc = 6.53\text{ m} (consistent with the Law of Sines). Find the minimal lap length (orthic-triangle perimeter) using equation [4].

Step 1 — Compute each term si=(side)cos⁡(opposite angle)s_i = (\text{side})\cos(\text{opposite angle}):

acos⁡A=10cos⁡80∘=10(0.17365)=1.7365,a\cos A = 10\cos 80^\circ = 10(0.17365) = 1.7365,
bcos⁡B=8.79cos⁡60∘=8.79(0.5)=4.395,b\cos B = 8.79\cos 60^\circ = 8.79(0.5) = 4.395,
ccos⁡C=6.53cos⁡40∘=6.53(0.76604)=5.0023.c\cos C = 6.53\cos 40^\circ = 6.53(0.76604) = 5.0023.

Step 2 — Sum:

Lmin⁡=1.7365+4.395+5.0023=11.134 m.L_{\min} = 1.7365 + 4.395 + 5.0023 = 11.134 \text{ m}.
Lmin⁡≈11.13 m (orthic-triangle minimal lap)\boxed{L_{\min} \approx 11.13 \text{ m (orthic-triangle minimal lap)}}

Sanity check: Each wall is touched at the foot of an altitude, and at each touch the incoming/outgoing run angles are equal — the billiard condition.

Common Misconceptions

⚠️ Common mistake

"The shortest lap touches the midpoints of the sides (the medial triangle)." False. The medial triangle has perimeter equal to half the house's perimeter and does not satisfy the equal-angle reflection law; it is generally longer than the orthic triangle. The minimizer is the orthic triangle (altitude feet), not the medial triangle (side midpoints).

CounterexampleObtuse house breaks the formula

Take △ABC\triangle ABC with A=120∘A = 120^\circ, B=40∘B = 40^\circ, C=20∘C = 20^\circ. Here cos⁡A=cos⁡120∘=−0.5<0\cos A = \cos 120^\circ = -0.5 < 0, so equation [4] would yield a negative contribution from the acos⁡Aa\cos A term — a sign that no genuine minimal inscribed triangle exists. Geometrically, the altitude foot from the obtuse vertex lands outside the triangle, so the orthic "triangle" is not inscribed. The infimum perimeter slides toward 2hmin⁡2h_{\min} (twice the shortest altitude) but is never realized; the optimal "path" degenerates to a back-and-forth along that altitude.

Connections

connection

This problem is the elementary face of Billiard Dynamics: a frictionless ball in a triangular table follows exactly the equal-angle reflections derived here, and the orthic triangle is the unique closed billiard orbit of period 3 in an acute triangle. It rests on the Triangle Inequality (the engine of every shortest-path argument) and on Reflections and Isometries. The minimization-by-unfolding is the discrete cousin of Fermat's Principle of Least Time in optics and a baby version of the Calculus of Variations. The altitude feet tie it to The Orthocenter and Altitudes.

Real-World Applications

🔬 Where this appears

Historical Development

⏳ History
- c. 60 AD — Heron of Alexandria proves the equal-angle reflection law as a minimization, founding the shortest-bounce idea.
- 1657 — Pierre de Fermat formulates the principle of least time, generalizing Heron to refraction and giving variational legitimacy to reflection paths.
- 1775 — Giovanni Fagnano poses and solves (via calculus) the inscribed-triangle minimal-perimeter problem, identifying the orthic triangle for acute triangles.
- 1900s — Lipót Fejér supplies the celebrated elementary double-reflection proof (reproduced above), removing the calculus and revealing the geometry.
- 1924 — George Birkhoff develops the theory of dynamical billiards, placing triangular reflection orbits in a rigorous dynamical-systems frame.
- 1940s — Richard Courant & Herbert Robbins popularize the reflection/orthic argument in What Is Mathematics?, making it a standard expository gem.
- 1960s–70s — Billiard research (Sinai and others) connects period-3 orbits and the orthic triangle to ergodic theory.
- Present — The triangular-billiard problem remains a live test case for periodic-orbit existence in non-acute and irrational-angle triangles.

Subtleties & Limits

open-problem

The acute case is fully solved, but the general triangular billiard problem is famously hard: it is unknown whether every obtuse (and in particular every irrational-angle) triangle admits a closed billiard orbit at all. While right and obtuse triangles defeat the orthic-triangle minimizer, the existence of any periodic running path that touches the walls and returns is open for large classes of obtuse triangles — a striking gap given how elementary the acute case appears. The "shortest lap" thus transitions from a clean high-school exercise to an unresolved frontier of dynamical systems the moment the largest angle exceeds 90∘90^\circ.

See Also

Billiard Dynamics · The Orthocenter and Altitudes · Reflections and Isometries · Fermat's Principle of Least Time · Triangle Inequality · Calculus of Variations · Geometric Optimization