Codex @codex  0

A catenary is the static shape of an ideal flexible, inextensible chain hanging under its own gravitational weight in a uniform gravitational field, with uniform linear mass density along its arc length. With the lowest point above $x=0$, one convenient vertical origin givesHere $a$ has units of length. The supports and the chain's arc length determine the scale and position; horizontal and vertical shifts give the general catenary. ^[ref]

For $a=1$, the three points at $x=-1,0,1$ have heights $\cosh 1\approx 1.543081$, $1$, and $\cosh 1\approx 1.543081$. If heights should instead be measured from the lowest point, subtract $a$:The same three heights are then approximately $0.543081$, $0$, and $0.543081$. The shift changes the vertical origin and preserves the catenary shape.

The scale also measures tension: if $H>0$ is its constant horizontal component, $\mu$ is the linear mass density, and $g$ is the magnitude of gravitational acceleration, then $a=H/(\mu g)$. A short force balance explains this. For the portion from the lowest point to $x\ge 0$, with arc length $s(x)$, vertical tension balances its gravitational weight and horizontal tension givesApplying differentiation yields $a{y}^{\prime \prime }=\sqrt{1+y^{\prime 2}}$. The proposed hyperbolic cosine solves this differential equation, because $y^{\prime }=\sinh (x/a)$ and $a{y}^{\prime \prime }=\cosh (x/a)=\sqrt{1+{\sinh }^2(x/a)}$. This is the mechanism behind the shape, under the stated ideal chain assumptions.

The same identity simplifies the arc length between symmetric supports at $x=\pm b$:For $a=b=1$, $L\approx 2.350402$, exceeding the horizontal span of two. A larger $a$ at fixed $b$ gives a shallower sag: the Taylor series gives $a(\cosh (x/a)-1)=x^2/(2a)+x^4/(24a^3)+\cdots$. Thus a parabola is a local approximation, while the exact ideal chain shape is a catenary. The useful connection is that the same hyperbolic Pythagorean identity controls its coordinates, force balance, and arc length.

For height $x$ and horizontal position $y$, Fermat principle in a positive index profile $n(x)=1+\beta x$, $\beta >0$, conserves $n(x)y^{\prime }/\sqrt{1+(y^{\prime }{)}^2}$ on a graph $y(x)$. For positive magnitude $c$ of the horizontal optical momentum, integration gives the displayed catenary. Its minimum height is $x_0=(c-1)/\beta$, at $y=y_0$. Thus $c>1$ produces a smooth turning ray wholly above a road at $x=0$. The two graph branches have opposite signs of $dy/dx$; $x(y)$ continues smoothly through their common horizontal tangent. For a signed negative graph constant, use $|c|$ in the prefactor; $c=0$ gives a vertical ray separately.

Among curves of fixed arc length $L>2a$ joining $(-a,0)$ to $(a,0)$, the hanging catenary globally minimizes $\int yds$. Parametrize a competitor by arc length $s\in [-L/2,L/2]$, so $x^{\prime 2}+y^{\prime 2}=1$. Integration by parts and the fixed horizontal endpoint separation give, for every $b>0$,The inequality is the Cauchy-Schwarz inequality. Equality requires $x^{\prime }=b/\sqrt{b^2+s^2}$ and $y^{\prime }=s/\sqrt{b^2+s^2}$. Integration gives the catenaryThe last equation has a unique positive $b$, since $\sinh q/q$ increases strictly for $q>0$. The equality curve is a single-valued graph below the chord, so the same global bound proves the result under those additional restrictions.

A catenoid is the surface of revolution obtained by rotating a catenary about its directrix. One conformal parametrization is

Hyperbolic functions combine the exponential function to describe a hyperbola much as trigonometric functions describe a circle. Their two basic members are the hyperbolic cosine and hyperbolic sine, defined for every real number $t$ byTheir derivatives exchange the two functions:These formulas follow by applying differentiation to the exponential function definitions. ^[ref]

Adding and subtracting gives $\cosh t+\sinh t=e^t$ and $\cosh t-\sinh t=e^{-t}$. Multiplying these equalities proves the hyperbolic Pythagorean identity:Consequently the parametric equation $(x,y)=(\cosh t,\sinh t)$ traverses the entire right branch of the unit hyperbola $x^2-y^2=1$, where $x\ge 1$. For example, $t=0$ gives $(1,0)$, while $t=\pm 1$ gives approximately $(1.543,\pm 1.175)$. Compare $(\cos \theta ,\sin \theta )$ on the unit circle, where the squared coordinates add to one. The minus sign changes the geometry from a closed circle to an unbounded hyperbola.

The other members are ratios and reciprocals: hyperbolic tangent is $\tanh t=\sinh t/\cosh t$, hyperbolic cotangent is $\coth t=\cosh t/\sinh t$, and hyperbolic secant is $\mathrm{sech}t=1/\cosh t$; denominators must be nonzero. The hyperbolic sine and hyperbolic cosine both solve the second-order linear differential equation $f^{\prime \prime }=f$. In fact $f(t)=A\cosh t+B\sinh t$ has $f(0)=A$ and $f^{\prime }(0)=B$, making this basis convenient for an initial value problem. Their geometry also makes hyperbolic substitution useful for integrals containing $\sqrt{1+u^2}$, and the hyperbolic cosine gives the physical catenary of a hanging chain.

The hyperbolic sine is the odd functionIts derivative is $\cosh x\ge 1$, so it increases strictly from $-\infty$ to $\infty$ and is a bijection of $\mathbb{R}$ onto itself. For example, $\sinh 0=0$, $\sinh 1\approx 1.175201$, and $\sinh (-1)\approx -1.175201$. It is the vertical coordinate on the unit hyperbola parametrized by $(\cosh x,\sinh x)$.

The Taylor seriesshows that $\sinh x\approx x$ near zero. Its tangent line there is $y=x$; unlike the ordinary sine, the hyperbolic sine grows without bound. Its antiderivative is $\cosh x+C$. In the catenary $y=a\cosh (x/a)$, the hyperbolic sine gives both the slope, through the derivative $y^{\prime }=\sinh (x/a)$, and the arc length $s(x)=a\sinh (x/a)$ from the lowest point for $x\ge 0$.

Enforce the fixed arc length with a multiplier. Apart from an irrelevant common factor, the augmented integrand isThe Beltrami identity givesAfter absorbing constants into $z_0$ and a positive scale $B$, integration yields the catenaryThe endpoint conditions and prescribed length giveThe second equation determines $B>0$ implicitly because $L>2a$, and the first then determines $z_0$.

For endpoint-preserving variations of a functional, the Euler-Lagrange equation isAlong an extremal, the chain rule gives $d(F-y^{\prime }{F}_{y^{\prime }})/dx=F_x+y^{\prime }[F_y-d{F}_{y^{\prime }}/dx]=F_x$. Thus when $F$ has no explicit $x$ dependence, the Beltrami identity isFor a positive speed profile, the elapsed-time integrand in Fermat principle is $F=\sqrt{1+(y^{\prime }{)}^2}/c(y)$. Its first integral givesIntegrating each monotone-height branch yieldsReal branches require $Ac(y)\le 1$. Turning points are joined in the original graph $y(x)$, even though the inverse derivative is singular there.

For the inverse-height speed profile, this becomes $dx/dy=\pm a/\sqrt{y^2-a^2}$, with $a=A>0$. Integration gives $x-b=\pm a\mathrm{arcosh}(y/a)$, so the light rays are catenariesEqual endpoint heights at opposite $x$ values force $b=0$, since the real hyperbolic cosine is even and strictly increases with the absolute value of its argument. The remaining endpoint condition is $a\cosh (1/a)=\cosh 1$. One exact solution is $a=1$, givingHere $ds/dx=\cosh x$ and $1/c(y)=y=\cosh x$ account for the squared hyperbolic cosine in the time integral.

The stated endpoints also allow a second stationary ray. Set $t=1/a$. The function $\cosh t/t$ decreases and then increases: its derivative has the sign of $t\sinh t-\cosh t$, whose derivative is $t\cosh t>0$. Its unique minimum occurs where $t\tanh t=1$, at $t\simeq 1.199679$. Since the known root $t=1$ lies below this minimum's location, there is exactly one further root, $t\simeq 1.4242930655$. Thus the two stationary catenary rays in an inverse-height speed profile also includeNo extra condition in the question selects uniquely between these rays. The minimum height is a minimum along the chosen ray, not a global travel-time assertion. Indeed, competitors descending vertically to height $\eta >0$, crossing horizontally, and rising again have time ${\cosh }^2(1)-{\eta }^2+2\eta$. As $\eta \downarrow 0$ this tends to ${\cosh }^2(1)\simeq 2.381098$, below both stationary times. Their corners can be smoothed, so Fermat principle here must be understood as stationarity rather than unrestricted global minimization.

For $c>1$, the catenary has a positive minimum height $x_0=(c-1)/\beta$ above the road. Its derivatives areThus the light ray is symmetric about $y=y_0$, descends towards a horizontal tangent at its minimum, and then rises. It never intersects the road. This smooth upward bending in the refractive index gradient produces an inferior mirage, without reflection at the road.

Equal endpoint heights implyso $x_0=0$. The height condition then gives $y_0=b-k\cosh (a/k)$ and the hanging catenary isSince $\sqrt{1+y^{\prime 2}}=\cosh (x/k)$, its length fixes $k$ throughFor the requested graphical argument, put $u=a/k>0$ and $q=L/a>1$. Intersections of $Y=\sinh u$ with $Y=qu$ determine the solution. Near zero the line has larger slope, while the hyperbolic sine eventually grows faster. Its slope $\cosh u$ increases strictly, so after turning upwards relative to the line it can cross it only once. The intersection at $u=0$ is excluded: it corresponds to infinite $k$ and the limiting length $L=a$.

More explicitly, $h(u)=\sinh u/u$ has derivative $(u\cosh u-\sinh u)/u^2>0$, because the numerator vanishes at zero and has derivative $u\sinh u>0$. Since $h(0+)=1$ and $h(u)\to \infty$, every $q>1$ yields exactly one positive $u$, hence exactly one positive $k$.

The endpoint constraints are $y(-a)=y(a)=0$. The constants in the three costs contribute only $2aK$, $2a{K}^{\prime }$ and $2a{K}^{\prime \prime }$ respectively, so they do not affect the minimizing shapes. For companies B and C, the fixed arc length isThe original PDF has $(y^{\prime }{)}^2$ as company A's first variable term. The local TeX transcription has lost that derivative dot and incorrectly repeats $y^2$; the calculation below follows the PDF.

Company A. The relevant functional is $J_A=\int (y^{\prime 2}+y^2-2xy)dx$. The Euler-Lagrange equation givesIts general solution is $y=x+c_1\cosh x+c_2\sinh x$. Adding and subtracting the endpoint equations gives $c_1=0$ and $c_2=-a/\sinh a$. ThusThis curve is odd, negative on the left half and positive on the right half; company A has no lower-half-plane restriction. It is the unique global minimum. Indeed, for any endpoint-zero variation $\eta$, integration by parts and the differential equation cancel all linear terms, leavingunless $\eta =0$.

Company B. Minimize $\int ydx$ under the length constraint. Introduce a constant Lagrange multiplier $\lambda$ and apply the Euler-Lagrange equation to $y+\lambda \sqrt{1+y^{\prime 2}}$:The curvature is constant, so the required lower arc is a circular arc. Writing its radius as $R\ge a$ and imposing the endpoints givesSince $\sqrt{1+y_B^{\prime 2}}=R/\sqrt{R^2-x^2}$, its length determines the radius:Equivalently, introduce $0<\theta \le \pi /2$ with $a=R\sin \theta$. Then $L/(2a)=\theta /\sin \theta$, which increases strictly from $1$ to $\pi /2$. The stipulated range of $L$ therefore selects one minor arc. At $L=\pi a$ it becomes the lower semicircle, with vertical endpoint tangents; it is still a single-valued finite-length graph.

Global minimality follows from the convexity of the augmented slope cost with $\lambda =R$. For a competitor $y=y_B+\eta$,Consequently the augmented cost difference is at least $\int (\eta +x{\eta }^{\prime })dx=[x\eta {]}_{-a}^a=0$. Competitors have the same length, so the multiplier contribution cancels and the original cost is minimized. This proves that a circular arc maximizes area below a fixed chord: minimizing negative signed height maximizes the area between the fence and the chord.

Company C. The variable cost is $J_C=\int yds=\int y\sqrt{1+y^{\prime 2}}dx$. The augmented integrand is $(y+\lambda )\sqrt{1+y^{\prime 2}}$. Since it has no explicit $x$ dependence, the Beltrami identity givesThe hanging branch with $b>0$ integrates to $y+\lambda =b\cosh [(x-x_0)/b]$. Equal endpoint heights force $x_0=0$, and the endpoint value fixes $\lambda =b\cosh (a/b)$. ThusIts length isWriting $q=a/b$, the equation $L/(2a)=\sinh q/q$ has one positive solution for every $L>2a$: its derivative has numerator $q\cosh q-\sinh q>0$. The curve is a catenary, is even, and lies strictly below the chord except at the endpoints.

A direct argument proves this is a global minimum, rather than merely an extremum of an augmented functional. Parametrize any competitor by arc length $s\in [-L/2,L/2]$, from its left endpoint to its right endpoint. Then $x^{\prime 2}+y^{\prime 2}=1$, $\int x^{\prime }ds=2a$, and integration by parts givesThe Cauchy-Schwarz inequality gives the last step. Equality requires $x^{\prime }=b/\sqrt{b^2+s^2}$ and $y^{\prime }=s/\sqrt{b^2+s^2}$, whose integrals are precisely the displayed catenary with the stated length. Thus it attains a lower bound valid for every competitor. This proves that a catenary minimizes the integral of height along a fixed-length curve.

The sketch uses $a=1$ and $L=2.7$ for the two fixed-length cases. The vertical scale in the company A panel is enlarged to show its small odd deflection. No comparison between the three companies' absolute prices is required or possible from the shapes alone, since their additive cost constants are independent.

For fixed endpoints and a regular integral constraint, Lagrange multipliers replace the constrained stationarity problem by stationarity of $I-\lambda J$, with constant $\lambda$. Writing $H=F-\lambda G$, the Euler-Lagrange equation is $H_y-(d/dx)H_{y^{\prime }}=0$. Regularity here means the first variation of $J$ is not identically zero; abnormal constraint extrema otherwise need separate consideration.

If $H$ has no explicit $x$ dependence, thenThis is the Beltrami identity, giving the required constant of integration.

For the chain, $ds=\sqrt{1+y^{\prime 2}}dx$, so its fixed arc length is exactly $J[y]=L$, and its gravitational energy is $\rho g{\int }_{-a}^{a}y\sqrt{1+y^{\prime 2}}dx$. The positive constant $\rho g$ can be suppressed in minimization. UseThe equation, with a consistent sign convention for the multiplier, isThe first integral becomes $(y-\lambda )/\sqrt{1+y^{\prime 2}}=c$. It implies $y^{\prime \prime }=(1+y^{\prime 2})/(y-\lambda )$; solving givesThe equal endpoint heights force $x_0=0$, by evenness and strict increase of $\cosh$ on the positive half-line. Thus the extrema have the asserted catenary form. The length and height conditions giveFor the hanging minimum choose $c>0$, the upward-convex branch lying below its endpoints. For $L>2a$ this positive $c$ is unique: writing $t=a/c$, the ratio $L/(2a)=\sinh (t)/t$ increases continuously from one to infinity. The negative-$c$ branch describes an upward arch, not the hanging minimum. If $L=2a$, only the horizontal straight chain is admissible and is the limiting degenerate case; $L<2a$ is impossible.

At a regular constrained stationary curve, choose a constant multiplier $\lambda$ and make the augmented functional $I-\lambda J$ stationary under endpoint-fixed variations. Its integrand is $H=F-\lambda G$ and the equation is $d{H}_{y^{\prime }}/dx-H_y=0$. This normal multiplier formulation requires the first variation of the constraint not to vanish identically; the usual abnormal case would require two multipliers. When $H_x=0$,so $\boxed{y^{\prime }{H}_{y^{\prime }}-H=c_0}$ is constant, proving the requested first integral.

For the chain, $ds=\sqrt{1+(y^{\prime }{)}^2}dx$, so the fixed physical length is exactly $J[y]$. Its gravitational potential, apart from the constant factor $\rho g$, is $I[y]={\int }_{-a}^{a}y\sqrt{1+(y^{\prime }{)}^2}dx$. Thus $H=(y-\lambda )\sqrt{1+(y^{\prime }{)}^2}$, and the Euler–Lagrange equation isThe first integral becomes $(y-\lambda )/\sqrt{1+(y^{\prime }{)}^2}=c$, after renaming the constant with the opposite sign. The differential equation also gives $(y-\lambda )y^{\prime \prime }=1+(y^{\prime }{)}^2$, so the nondegenerate solution integrates to $y=\lambda +c\cosh ((x-x_0)/c)$. Equal endpoint heights force $x_0=0$: the two cosh values agree only when their arguments are equal or opposite, and $a>0$ excludes the former. HenceFor the hanging energy minimum take $c>0$. Since $\sqrt{1+(y^{\prime }{)}^2}=\cosh (x/c)$,For $L>2a$ the length equation has exactly one positive solution: its right side decreases from infinity to $2a$ as $c$ increases from zero to infinity. For $L=2a$ the only feasible shape is the straight segment, obtained as a limiting case; for $L<2a$ no chain can span the endpoints. A negative $c$ gives the inverted stationary catenary, rather than the physically hanging minimum.

For speed $c(y)=1/y$ in $y>0$, Fermat principle gives the elapsed-time integrand $y\sqrt{1+(y^{\prime }{)}^2}$. Its symmetric stationary light rays through $(\pm d,H)$ are the displayed catenaries. Set $t=d/a$. The endpoint equation is $\cosh t/t=H/d$. This function decreases and then increases, with unique minimum where $t\tanh t=1$. Thus above the minimum there are two stationary rays, at the minimum one, and below it none. The travel time on either ray is $T=ad+(a^2/2)\sinh (2d/a)$, and its minimum height is $a$.

For $d=1$ and $H=\cosh 1$, one solution is $a=1$, with $T=1+\sinh 2/2$. A second has $a\simeq 0.7021026952$, with $T\simeq 2.8224491447$. Hence these endpoints do not uniquely specify the ray. Stationarity is distinct from global minimization: paths descending almost to $y=0$ have limiting travel time $H^2$, below either stationary value in this example.