[일반] 저기 리만가설 의 영점에 관한 질문이 있는데

[Megabig(imyu89)]

(출처: 위키피디아)


저 사진속에 동그라미 친 공식이 보통 크사이 함수라 부르잖아
제타함수의 정의된 식으론 0보다크고 1보다 작은
실수 구간에서 non-trivial zeros들을 찾기 어렵기 때문에
저 크사이 함수를 통해  non-trivial zeros 들을 찾는데 수월한거지 ??
그리고 내용을 보니까 저 크사이 함수 대신에
리만-지겔 공식을 이용해 제타함수로 non-trivial zeros 들의 값을 찾을수
있어 보이는데 그렇게 생각해도 맞는건지 궁금함