Past exam of the short options course of the University of Oxford / 2015 / 6 / b / Solution

For the specified functional,Since $y>0$, the Beltrami identity gives $y\sqrt{1+y^{\prime 2}}=R$ for some $R>0$. This suggests a circular arc, but it is worth deriving its equation without dividing by $y^{\prime }$: such division would lose the point where the arc is horizontal.

Substitute the displayed partial derivative and $F_y=-\sqrt{1+y^{\prime 2}}/y^2$ in the full Euler-Lagrange equation. Combining terms over the common denominator givesThus $(y{y}^{\prime }{)}^{\prime }=-1$, so $y{y}^{\prime }=h-x$ and a second integration givesThis establishes the semicircular extremals of the hyperbolic length functional and excludes constant $y$, which would satisfy the first-order Beltrami identity for a suitable $R$ but not the full Euler-Lagrange equation.

The two prescribed endpoints giveSubtracting yields $4h=4(d^2-c^2)$. ThereforeIn particular the centre is $\boxed{(d^2-c^2,0)}$. Admissibility requires $c,d>0$, as the prescribed heights must lie in $y>0$. Under that condition the radicand is positive throughout $[-1,1]$: it is a concave quadratic polynomial whose two endpoint values are $4c^2$ and $4d^2$. The positive root consequently gives one smooth admissible arc, uniquely determined by the endpoints.