We hebben de differentiaalvergelijking:
\( ( y(x) - \mbox{d} ) . \, y'' \, - \, y'^{\,2} \, - \, 1\, = \, 0 \,\,\,\, ( \varepsilon ) \)
Daarvoor zoeken we een oplossing die start in de oorsprong O en eindigt op y = -d.
In het opgaande traject OT (van bakje A naar de top) neemt x dan gedurig toe van 0 tot x
top ; neemt y gedurig toe van 0 tot y
top ; en neemt y' gedurig af van y'
0 tot 0.
In het neergaande traject NT (van de top naar bakje B) neemt x dan gedurig verder toe van x
top tot x
eind ; neemt y gedurig af van y
top tot -d ; en neemt y' gedurig verder af van 0 tot y'
eind .
Op het traject OT laten x, y en y' zich derhalve al naar het uitkomt als onafhankelijke of afhankelijke variabele beschouwen. En ook op het traject NT laten x, y en y' zich al naar het uitkomt als onafhankelijke of afhankelijke variabele beschouwen.
Zowel voor het traject OT als voor het traject NT kunnen we dan uit (ε) afleiden dat:
\( ( y - \mbox{d} ) . \, \frac{\mbox{d} y'}{\mbox{d} x} \, - \, y'^{\,2} \, - \, 1\, = \, 0 \)
\( ( y - \mbox{d} ) . \, \frac{\mbox{d} y'}{\mbox{d} y} . \frac{\mbox{d} y}{\mbox{d} x} \, - \, y'^{\,2} \, - \, 1\, = \, 0 \)
\( ( y - \mbox{d} ) . \, \frac{\mbox{d} y'}{\mbox{d} y} . y' \, - \, y'^{\,2} \, - \, 1 \, = \, 0 \)
\( ( y - \mbox{d} ) . \, \frac{\mbox{d} y'}{\mbox{d} y} . y' \, = \, y'^{\,2} \, + \, 1 \)
\( y' . \, \frac{\mbox{d} y'}{\mbox{d} y} \, = \, \frac{y'^{\,2} \, + \, 1}{ y - \mbox{d} } \)
\( \frac{y'}{ y'^{\,2} \, + \, 1 } . \, \frac{\mbox{d} y'}{\mbox{d} y} \, = \, \frac{1}{ y - \mbox{d}} \)
\( \frac{y'}{ y'^{\,2} \, + \, 1 } . \mbox{d} y' \, = \, - \frac{1}{ \mbox{d} - y } . \mbox{d} y \)
\( \int \frac{y'}{ y'^{\,2} \, + \, 1 } \,\, \mbox{d} y' \, = \, \int - \frac{1}{ \mbox{d} - y } \,\, \mbox{d} y \)
\( \ln ( \sqrt{y'^{\,2} \, + \, 1} ) + \mbox{C}_1 = \ln(\mbox{d} - y) + \mbox{C}_2 \)
\( \ln ( \sqrt{y'^{\,2} \, + \, 1} ) - \ln(\mbox{d} - y) \, = \, \mbox{C}_3 \)
\( \ln \left ( \frac{\sqrt{y'^{\,2} \, + \, 1} }{\mbox{d} - y} \right ) \, = \, \mbox{C}_3 \)
\( \frac{ \sqrt{y'^{\,2} \, + \, 1} }{\mbox{d} - y} \, = \, \mbox{C}_4 \)
.
Derhalve hebben we voor OT gevonden dat:
\( \frac{ \sqrt{y'^{\,2} \, + \, 1} }{\mbox{d} - y} \, = \, \mbox{C}_{OT} \)
.
En voor NT dat:
\( \frac{ \sqrt{y'^{\,2} \, + \, 1} }{\mbox{d} - y} \, = \, \mbox{C}_{NT} \)
.
Voor y' = 0 zitten we aan de top (x
top,y
top) van het traject waar OT in NT overgaat. Daar vinden we:
\( \frac{1}{\mbox{d} - y_{top}} \, = \, \mbox{C_{OT}} \)
,
\( \frac{1}{\mbox{d} - y_{top}} \, = \, \mbox{C}_{NT} \)
.
Dus zijn de twee constanten C
OT en C
NT gelijk, en geldt voor het hele traject van bakje A naar bakje B dat:
\( \frac{\sqrt{y'^{\,2} \, + \, 1}}{\mbox{d} - y} \, = \, \mbox{C} \)
.
Voor het startpunt (x,y) = (0,0) hebben we y' = y'
0 . Zodat:
\( \frac{\sqrt{y'_0^{\,2} \, + \, 1}}{\mbox{d} - 0} \, = \, \mbox{C} \)
\( \frac{\sqrt{y'_0^{\,2} \, + \, 1}}{\mbox{d}} \, = \, \mbox{C} \)
.
Voor het hele traject geldt derhalve:
\( \frac{\sqrt{y'^{\,2} \, + \, 1}}{\mbox{d} - y} \, = \, \frac{\sqrt{y'_0^{\,2} \, + \, 1}}{\mbox{d}} \,\,\,\, (\eta)\)
.