В работе получен следующий результат.
Теорема 1. Пусть
![$f:[\alpha,beta]\to\Bbb R^m$](/math_tex/d195dd57f06abbbf6125d9b47e17a39c82.gif)
– функция, непрерывная на отрезке
![$[\alpha,\beta]\subset \Bbb R$](/math_tex/7a5f6206dec861f6638ce1286480a79c82.gif)
и дифференцируемая на интервале
![$(\alpha,\beta)$](/math_tex/0425ba7537900b20020fb2b2370710a382.gif)
, где
![$m\ge1$](/math_tex/febbdf572400314021c8612deaf2a06682.gif)
и
![$\alpha<\beta$](/math_tex/e0720782b8581e9a7d2cfd610075621f82.gif)
. Тогда отношение
![$(f(\beta)-f(\alpha))/(\beta-\alpha)$](/math_tex/bef582fd5a380f46a05d33afda7f80c582.gif)
есть выпуклая комбинация
![$m$](/math_tex/0e51a2dede42189d77627c4d742822c382.gif)
значений производной
![$f'$](/math_tex/06e7cc81ea7c4442d159c33723c273db82.gif)
, т. е. существуют числа
![$\xi_i\in(\alpha,\beta)$](/math_tex/ccd8077ff97fc0aa9e00fdd1826dd0cf82.gif)
и
![$p_i$](/math_tex/0d19b0a4827a28ecffa01dfedf5f5f2c82.gif)
,
![$i=1,\dots,m$](/math_tex/65aad8f9ec921a63cb0c892143a16b5282.gif)
, такие, что
}\par Для вещественнозначных функций (при
![$m=1$](/math_tex/e29e762506bcf0ecec79815ae38fbb5e82.gif)
) теорема 1 совпадает с классической теоремой Лагранжа. Для случая дифференцируемых отображений
![$f$](/math_tex/190083ef7a1625fbc75f243cffb9c96d82.gif)
, производная
![$f'$](/math_tex/06e7cc81ea7c4442d159c33723c273db82.gif)
которых непрерывна слева на
![$(\alpha,\beta)$](/math_tex/0425ba7537900b20020fb2b2370710a382.gif)
или непрерывна справа на
![$(\alpha,\beta)$](/math_tex/0425ba7537900b20020fb2b2370710a382.gif)
, утверждение теоремы 1 было получено в работе McLeod R. M. “Mean value theorems for vector valued functions // Proc. Edinburgh Math. Soc. (Ser. 2). 1965. V. 14. P. 197–209.”