формула немного съехала, и пару штрихов пропустил.
K>Вывод этой формулы:

x — n'*t'
--------------- =
(n'+1)*t' — n'*t'

y — A(n')
=---------------
A(n'+1) — A(n')



Подставляя x = Tres,получаем
Ares = y = A(n')+

Tres — n'*t'
------------- * ( A(n'+1) — A(n') )
t'