上式が最小となるxでは
 4(x-a/2)^3 + {4(t')^2 + (aa-1)(aa+4b)}(x-a/2) - 2a(aa+4b)t'(x-a/2) = 0,
この3次方程式の根xが求めるもの...