формула ўринли. Бунда Исботи. натурал сонини олиб (1.4)-формулани қўллаймиз. У ҳолда эканликларини эътиборга олиб қуйидагига эга бўламиз:
Бундан ва да қуйидаги келиб чиқади:
Бу охирги интеграл ярим текисликдаги аналитик функцияни аниқлайди. Аналитик давом эттириш принципига кўра бу ердан лемманинг тасдиғи келиб чиқади.
Натижа. функция 0 ярим текисликдаги нуқтадан бошқа нуқталарда аналитик функция бўлиб да бу функция чегирмаси 1 га тенг бўлган оддий қутбга эга.
сони бўлганда ва лар бир хил ишорали қилиб танланади.
(1.4)- формулани қўллаб (1.1) ва (1.2) лардан леммадаги тасдиқга эга бўламиз.
Натижа. бўлса,
тенгсизлик ўринли.
Исботи. (1.3) да деб олиш керак.
Энди биз Ш.Валле-Пуссеннинг қуйидаги теоремасини исботлашимиз мумкин.
1.1-теорема.Шундай ўзгармас сони мавжудки комплекс текисликнинг
cоҳасида дзета функция нолларга эга эмас.
Исботи. Маълумки, (II-бобнинг 1-параграфига қаранг) функция нуқтада қутбга эга. Шунинг учун ҳам бирор мусбат сони учун соҳада бу функция нолларга эга эмас. Фараз этайлик қаралаётган функциянинг шартни қаноатлантирувчи ноли бўлсин. У ҳолда бўлганда
бўлгани учун (2.1.3- теореманиниг исботига қаранг) қуйидагиларга эга бўламиз:
бундан
Ихтиёрий ҳақиқий сони учунтенгсизлик ўринли. Бундан
ни ҳосил қиламиз. Энди (1.6) даги ҳар бир қўшилувчини юқоридан баҳолаймиз. 1.1-леммадан бўлганда
нинг ўринли эканлиги келиб чиқади. 1.1.3-теоремадан
(2.7)
бунда ва
.
Агар бу ерда ва бўлгани учун
(2,8)
ва
эканликларини эътиборга олсак