Дәлелі. Шынында да, ұйғарымды жұптар бойында онда қайбір санаулы нүктелерді есептемегенде кесіндісінде
(8)
туындысы табылады. Соңғы қатынасты (5) өрнегін ескеріп
(9)
түрінде жазамыз. функциясы t бойынша үзіліссіз, онда (9) тендігін t бойынша интегралдасақ:
Осыдан (6) формуласын еске түсірсек (7) - өрнекті аламыз. Лемма дәлелденді.
Мәселен, жұбы (1) - (4) есебінің шешімі болсын.
Яғни . Айталық . Келесі бағалаудың әділдігін көрсетейік:
(10)
мұндағы
шынында да (7) өрнегі мен , шарттарынан
Байқайтынымыз: (10) өрнегі , , шамаларын жиындарынан гөрі кеңірек жиындарда анықтасақ қана әділ болады. Атап айтқанда
(11)
себебі .
Достарыңызбен бөлісу: |
