20080221, 16:20  #1 
May 2005
Argentina
2×3×31 Posts 
Why is RH so difficult to prove?
I know that it is related to the primes numbers distribution, and everything related to primes numbers is hard to prove.
But there is a 1.000.000$ prize for demonstrating it, so I think a lot of people must be interested on finding a proof. And, after all, it only says that the nontrivial zeroes of the zeta function lies on the Re=1/2 line. If you consider the fuction SymetricZeta(z) = Zeta(z)*Zeta(1z) you get a function with the sames nontrivial zeroes, and completly simetrical about the Re=1/2 line. Also the real part is zero in the Im=0 and the Re=1/2 lines, working as some kind of "coordinate lines" where the trivial and non trivial zeroes can stand. You can look at my avatar for a plot of the SymetricZeta function to look what I mean. It seems almost obvious to me that the hipothesys has to be true. Other way it would break this simetry. 
20080221, 16:43  #2 
Nov 2003
2^{2}·5·373 Posts 
The question itself is ridiculous. The same question may be asked of
any conjecture that has remain unproved for any moderate amount of time. Noone knows why a theorem is hard until it is proved. Take, for example, the Bieberbach conjecture. For a half century it was thought to be outofreach until DeBrange proved it. Now it is understandable by undergrads. 
20080221, 17:34  #3  
∂^{2}ω=0
Sep 2002
República de California
3·7·19·29 Posts 
Quote:
Quote:
As Bob notes, it may turn out to indeed be "obvious" once someone has a crucial insight or the right mathematical tools are developed ... but we won't know until it is proven, one way or the other. Actually, even if it is proven, we may not know ... the initial proof might be very nonobvious, but that would not rule out that a muchsimpler proof exists. 

20080221, 17:38  #4 
May 2005
Argentina
2×3×31 Posts 
Thanks for your reply.
I know what you mean, and I'm not asking for a proof of RH. But I think each person can have it's own opinion as to why RH hasn't been proved. For example, I think the reason may be related to the fact that it isn't easy to calculate the exact value of the Zeta function at any point. For example, wich is the value of Zeta(1+1i) ? Not an aproximation but an exact value. Surely it is an irrational or even trascendental number. But we know for example that Zeta(2) = Pi^2/6 (Euler proof of the Basel problem), and for negative integers (the bernoulli numbers) but what about numbers that are not on the real line? Not knowing the exact values of Zeta mean we can only aproximate them. And I think it is difficult to get a proof of something that can only be approximated. 
20080221, 19:51  #5 
May 2003
3013_{8} Posts 
Damian,
The symmetry about the line with real part =1/2 with regards to zeta(z)*zeta(1z) comes from the symmetrization of the function, and not any special properties of zeta. For example, let f(z)=x^2+1. The function f(z)f(1z) is symmetric around the line with real part =1/2, but the zeros of f(z) are not related to 1/2 in any meaningful way. Second, the proof is difficult because nobody has found a successful way to bound the zeros of the function. Qualitatively, you might express the problem by looking at the Mobius function, and trying to explain how much \sum_{x<n}\mu(x) varies as n increases. Nobody has found a good way to smooth out the randomness of this sum. Edited to add: A better function to look at than zeta(z)*zeta(1z) is the function obtained by taking one side of the functional equation and then putting the line with real part=1/2 on the real line. The resulting function is symmetric, hypothetically all zeros are real and simple, and the function is real on the real line. The Taylor series for the resulting function is pretty nice. Last fiddled with by ZetaFlux on 20080221 at 19:54 
20080222, 06:48  #6 
May 2004
2^{2}·79 Posts 
Why is RH so difficult to prove?
Just out of curiosity I am interested in knowing
a) Who is giving the prize? b) Which committee scrutinises the proof? c) Procedure & related matters A.K.Devaraj 
20080222, 08:09  #7 
Dec 2003
Hopefully Near M48
2·3·293 Posts 

20080222, 11:51  #8  
"Lucan"
Dec 2006
England
1100101001010_{2} Posts 
Quote:


20080222, 12:26  #9 
Oct 2005
Fribourg, Switzerlan
2^{2}·3^{2}·7 Posts 
"If I were to awaken after having slept for a thousand years, my first question would be: Has the Riemann hypothesis been proven?"  Hilbert

20080222, 16:48  #10 
May 2005
Argentina
2×3×31 Posts 
Thanks all for your replys.
This may be a bit of topic but I was thinking which is the simplest known proof that is irrational. Based on the assumption that is irrational, wouldn't it imply that is also irrational? But I don't know if the demonstration that is irrational uses the fact that is irrational, in that case it wouldn't help. 
20080222, 16:57  #11 
Nov 2003
2^{2}·5·373 Posts 
[QUOTE=Damian;126372]Thanks for your reply.
I know what you mean, and I'm not asking for a proof of RH. But I think each person can have it's own opinion as to why RH hasn't been proved. QUOTE] No. Every person is NOT entitled to such an opinion. In particular, you are not so entitled. Every *informed* person is entitled to an opinion. Your knowledge of mathematics has not even reached the point where you have mastered high school level math. 
Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
mprime seems difficult/buggy  dchmelik  Software  3  20171025 06:33 
A rather difficult lottery  Oddball  Lounge  2  20100506 02:18 
Calculating a difficult sum  CRGreathouse  Math  3  20090825 14:11 
Difficult Differential  Unregistered  Homework Help  9  20081001 21:24 
Geometry puzzle(difficult)  hyh1048576  Puzzles  6  20030727 06:46 