Выдержка из книги
Титчмарш Е.К.
Теория дзета-функции Римана
То, что все комплексные нули функции С ( s) лежат точно ( а не только приближенно) на прямой о 1 / 2, можно подтвердить посредством вычислений. В качестве простого примера мы найдем приближенно первый комплексный нуль С ( s) в верхней полуплоскости и покажем, что он лежит на этой прямой.