Cтраница 2
Согласно теореме 3 ( формула ( 9)) операция интегрирования непрерывной функции с переменным верхним пределом является обратной к операции дифференцирования. Утверждение о том, что производная интеграла с переменным верхним пределом от непрерывной функции равна значению подынтегральной функции при значении аргумента, равном верхнему пределу интеграла, является важнейшим фактом курса математического анализа. [16]
Так как одновременно всюду известна производная интеграла F ( x) - f ( х) р ( х), то можно воспользоваться эрмитовой интерполяцией, обеспечивающей высокую точность. [17]