Hola:
En efecto, si se buscan extremales del funcional \( {\cal F}(y)=\displaystyle\int_0^3\sqrt{1+[y'(x)]^2}\,dx \) con dominio \( D({\cal F})=\{y\in {\cal C}^1[0,3]\,|\,y(0)=0,y(3)=4,y(x)\geq 0,\,\forall\,x\in [0,3]\} \) con la condición de ligadura \( \displaystyle\int_0^3y(x)\,dx=3 \) o equivalentemente \( {\cal G}(y)=0 \) siendo \( {\cal G}(y)=\displaystyle\int_0^3y(x)-1\,dx \), tras aplicar el método de los multiplicadores de Lagrange, y si no me he equivocado, me parece que se llega a la ecuación
\( \left(x+\dfrac{C_1}{\lambda}\right)^2+(y-C_2)^2=\dfrac{1}{\lambda^2} \), que es una circunferencia centrada en \( \left(\dfrac{-C_1}{\lambda},C_2\right) \) y radio \( \dfrac{1}{|\lambda|} \) siendo \( C_1,C_2,\lambda \) parámetros a determinar usando la condición de ligadura y que \( y(0)=0, y(3)=4 \). No sé cómo serán los cálculos...

Saludos