Bridge-building

technique

For a polyline AEFBA\to E\to F\to B whose middle piece EFEF is a "bridge" of fixed length and direction, minimize AE+FBAE + FB by translating AA along EF\vec{EF} to AA'; the minimum AB|A'B| is achieved when A,F,BA', F, B are collinear.

Bridge-building — polyline minimum where the middle segment is a "bridge" of fixed length and fixed direction. Use translation to splice the two variable side-pieces of the polyline into a single segment.

Universal form

min(AE+EF+FB),EF=d (fixed),  EF (fixed direction)\min\big(\, AE + EF + FB \,\big), \quad |EF| = d \text{ (fixed)},\; \vec{EF} \text{ (fixed direction)}

Since EFEF has constant length dd, this is equivalent to

min(AE+FB).\min\big(\, AE + FB \,\big).

Classical model

  • Moving point EE: on a line 1\ell_1
  • Moving point FF: on a line 2\ell_2 (12\ell_1 \parallel \ell_2)
  • Fixed points A,BA, B: separated by the two riverbanks
  • Key constraint: EFEF perpendicular to both banks (more generally: EF\vec{EF} has a given direction and EF|EF| a given length)

Intuition: a river (with parallel banks 1,2\ell_1, \ell_2) separates AA from BB. Build a bridge EFEF perpendicular to the banks; where do you put the bridge so that the total path from AA to BB is shortest?

Two parallel banks \ell_1, \ell_2 + fixed points A, B on opposite sides + fixed-length fixed-direction bridge EF (moving endpoints E, F slide along the banks in lockstep); minimize AE + EF + FB

Conclusion

Translate AA by the vector EF\vec{EF} (length dd, fixed direction) to get AA'. Then

min(AE+FB)  =  AB,min(AE+EF+FB)  =  AB+d,\min\big(\, AE + FB \,\big) \;=\; |A'B|, \qquad \min\big(\, AE + EF + FB \,\big) \;=\; |A'B| + d,

with equality when A,F,BA', F, B are collinear. At equality, EE is recovered by translating back: FE=EF\vec{FE} = -\vec{EF}.

The answer does not depend on where the banks are (1,2\ell_1, \ell_2's positions). It depends only on A,BA, B and the bridge's fixed direction and length.

Bridge-building finale: translate A by \vec{EF} to get A'; AEFA' is a parallelogram ⇒ AE = A'F; the sum is minimal when A', F, B are collinear

Proof

Step 1 · Translate. Translate AA by the vector EF\vec{EF} (length dd) to get AA'. The quadrilateral AEFAAEFA' satisfies

AA=EF,\vec{AA'} = \vec{EF},

so AAEFAA' \parallel EF and AA=EF|AA'| = |EF| ⇒ it is a parallelogram (parallelogram tests). By parallelogram properties:

AE  =  AF.AE \;=\; A'F.

Step 2 · Triangle inequality. The polyline AFBA'\to F\to B has length

AF+FB    AB,A'F + FB \;\geq\; |A'B|,

directly by [[triangle-inequality]], with equality when A,F,BA', F, B are collinear (FF on segment ABA'B).

Step 3 · Chain them together.

AE+FB  =  AF+FB    AB.AE + FB \;=\; A'F + FB \;\geq\; |A'B|.

Add the constant EF=dEF = d to get AE+EF+FBAB+dAE + EF + FB \geq |A'B| + d. \qquad\blacksquare

When to use / mnemonic

  • A polyline minimization where the middle segment is fixed in length and direction (not "pick two points on some line and minimize the middle segment") → bridge-building
  • The problem mentions "build a bridge perpendicular to the river bank" or a similar narrative trope → bridge-building
  • Signature: the variables are the two side-piece endpoints (E,FE, F), but EF\vec{EF} is a fixed vector

Versus "General drinks his horse"

Model Middle Tool
General Drinks His Horse A point (the same moving point PP appears in both side-pieces) Reflection (axial symmetry)
Bridge-building A fixed-length fixed-direction bridge EFEF Translation

Both use "rigid transformation + triangle inequality", but the transformation differs: reflection alters "polyline direction"; translation alters "endpoint positions".

Pitfalls

  • The bridge direction must be fixed: if the bridge can tilt (direction changes with EE), this model does not apply — the problem degenerates into a harder optimization needing calculus or variational methods.
  • Translation direction: translate AA by EF\vec{EF} (from EE to FF), not the reverse; flipping the direction gives the symmetric solution (usually not between the banks).
  • Result is independent of bank distance: often disguised — the problem may give "river width = 5" as the source of the constant dd, but after the move the bank positions drop out.
  • E,FE, F must be on different banks: if E,FE, F both slide on the same line (not on two parallel banks), the problem degenerates into "General drinks his horse" or a plain two-point distance.

Applications

To be added.

Related