Se considera la ecuación xy´´ − 2yy´  0, con la condición de que y1  − 12 ,

y´1  18 .

Obsérvese que 0  xy´´ − 2yy´  xy´´ − y´ − y 2 ´  xy´ − y − y 2 ´.

Por tanto, en cualquier intervalo abierto donde la función y esté definida y sea dos
veces derivable, debe ser xy´ − y − y 2  a, siendo a una constante.

Nos dicen que, para x  1, debe ser y1  − 12 , y´1  1

8
.
Por tanto, sustituyendo, obtenemos que a  1
8
 1
2
− 1
4
 14−2
8
 3
8
.
Se tiene que xy´  y  y 2  38 . Nótese que, para cualquier valor de y,
y  y 2  38  y  12  2  18  0.
y´
Así pues, yy 2  38
 1
x , para todo x ≠ 0. N
Por consiguiente,
 1x dx  log|x|  K   y´
yy 2  38
dx  
y´
y 12  2  18
dx  8 
y´
8y 12  2 1
dx  8 
y´
2 2 y 2  2 1
dx 
2 2
2 2 y´
dx  2 2 arctg2 2 y  2 .
2 2 y 2  2 1
Así pues,
arctg2 2 y  2   1
log|x|  K.
8

Luego 2 2 y  2  tg 1
log|x|  K
8
Recordando de nuevo que y1  − 12 , obtenemos que − 2  2  0  tgK;
luego K  0  k  k, con k ∈ ℤ.
Se tiene que y  1
tg 1
log|x|  k − 1
2
, función definida para x ≠ 0. Es
2 2 8
inmediato comprobar que, en efecto, y1  − 12 .
Además, y´  8x1 1  tg 2 log|x|  k, función definida para x ≠ 0. Es inmediato
comprobar que, en efecto, y´1  18 .
Un cálculo permitirá comprobar que, en efecto, la función obtenida satisface la
ecuación que nos dan.