Можно предположить без потери общности, что
где
так как это всегда можно получить переносом. Тогда
Пусть
и пусть
Пусть
Тогда
и
где
В пункте П. 2.5 (формула
было доказано, что —10 является монотонно убывающей функцией от
Следовательно, максимум
получается при
и
Вычислим теперь
Имеем:
Пусть
и Тогда
Так как эта функция является монотонно убывающей от то получаем
Из
получаем
Формулы
были выведены для случая
Величины и
Для общего случая
и о определяются выражениями
и
где