Salve, sto studiando fondamenti di sistemi dinamici, ad un certo punto viene utilizzata la formula di Lagrange, con una dimostrazione a posteriori che sfrutta questa uguaglianza
$ d/dt(int_(a(t))^(b(t)) f( t, tau ) d tau ) = f( t, b(t) )(db(t))/dt - f( t, a(t) )(da(t))/dt + (int_(a(t))^(b(t))d/dt f( t, tau ) d tau ) $
beh non riesco a dimostrarla: utilizzando il teorema fondamentale del calcolo integrale riesco a dimostrare solo i primi due termini del 2 membro, il terzo non riesco a capire da dove provenga. grazie