微分方程式が解けない。C^2級の関数f(t)が f*f'' - (f')^2 -8(f)^2 = 0 の解であり、条件はf(0)=f(1)=1で、f(1/2)を求めるのが問題。 この形のままだと解けなさそうなので df/dt = v(f) と置くと、 f'' = dv/df * df/dt = v' * v であるから、 f*v*v' - v^2 …