Мундарижа. 1-боб. Арифметик прогрессиядаги туб сонлар

тенглик ўринли.

Исбот. , агарда бўлса эканлигидан (1) дан





функцияни ҳам ярим текисликка давом эттириш мумкун. Буни ушбу леммадан бевосита келтириб чиқарамиз.

4-лемма. Агар бўлса, у ҳолда да қуйидаги тенглик ўринли.

Бунда

Исбот. , Бўлсин. Бу леммани исботлаш учун бизга Абелнинг алмаштириш формуласи керак бўлади. Унга кўра: агар даги узлуксиз дифференциалланувчи функсия, лар эса ихтиёрий камплекс сонлар бўлиб,