The Riemann Hypothesis for High School Students


by Luca
Tags: dirichlet eta, riemann hypothesis, riemann zeta
Luca
Luca is offline
#1
Jun13-09, 06:15 PM
P: 11
Hi All,
I would like to present what I believe to be a simple way to convey the essence of the Riemann Hypothesis to High School students.

I hope you like it, and reply with suggestions for further improvements.

Note for teachers: the rationale behind the graphs lays with the geometric meaning of complex numbers, and with the equivalence of the zeros of the Riemann Zeta function with the zeros of the Dirichlet Eta function (more details at the bottom).

The required level of math literacy is the following:
- you are familiar with natural logarithms [tex]\ln[/tex]
- you are familiar with angles measured in radians ([tex]\pi \Leftrightarrow 180[/tex])
- you are familiar with the meaning of fractional powers, such as [tex]\sqrt{n}=n^{\frac{1}{2}} \;\;\; \sqrt[3]{n}=n^{\frac{1}{3}} \;\;\; \sqrt[5]{n^3}=n^{\frac{3}{5}} \;\;\; ,[/tex] etc.

The explanation goes as follows (refer to Figure_1.pdf):
  • choose whatever positive value you wish for a proportionality factor, which we will call [tex]t[/tex] (t=38 in the example of Figure_1)
  • imagine to find yourself in an open field, and draw two reference lines at 90 to each other, such as the X and Y axes of cartesian coordinates, for example with the X axis pointing parallel to the northern direction as identified by an ideally accurate compass you have with you
  • walk 1 km along the X axis, and stop
  • identify a direction at an angle [tex]\theta_2=-t\ln2+\pi [/tex] wrt the direction pointed to by the compass, walk a distance [tex]1/\sqrt{2} \;\;\; km , [/tex] and stop
  • identify a direction at an angle [tex]\theta_3=-t\ln3[/tex] wrt the direction pointed to by the compass, walk a distance [tex]1/\sqrt{3} \;\;\; km , [/tex] and stop
  • identify a direction at an angle [tex]\theta_4=-t\ln4+\pi [/tex] wrt the direction pointed to by the compass, walk a distance [tex]1/\sqrt{4} \;\;\; km , [/tex] and stop
  • and so on ... for segment [tex]n[/tex], walking a distance [tex]1/\sqrt{n} \;\;\; km , [/tex] along the direction at an angle [tex]\theta_n=-t\ln n[/tex] (adding [tex] \pi [/tex] when [tex] n [/tex] is even)
  • eventually, you will find yourself getting closer and closer to the "point of convergence", identified with a cross in the graph at the bottom of Figure_1
  • it is interesting to remark that you will find yourself approaching said "point of convergence" by following a very simply structured crisscrossing path (for simplicity, only segments from n=293 to n=313 are shown). This is actually the result of having to add [tex] \pi [/tex] every other segment. In fact, when [tex]n[/tex] becomes sufficiently large, [tex]\theta_{n+1}[/tex] will be just a little bit larger than [tex]\theta_n [/tex] (because of the logarithm), and because one of the two will need to be turned around by 180 (the segment corresponding to even [tex]n[/tex]), the angle between two consecutive segments will eventually become an acute angle, shrinking down more and more as [tex]n[/tex] grows larger and larger. Can you see why said acute angle is now easy to calculate as
    [tex]\delta_{n+1}=t \ln \frac{n+1}{n} \;\;\; ? [/tex]

What are the zeros of the Riemann Zeta Function ?
said zeros are those particular values of [tex]t[/tex] that will bring you back where you started from, that is: the point X=0, Y=0 (see examples in Fig. 2 and 3).

What does the Riemann Hypothesis state ?
that you may have chances for finding values of [tex]t[/tex] bringing you back where you started from, if and only if the operation you carry out at the denominator for calculating the length of segment n is exactly the square root, no other root will ever work (examples: [tex]\sqrt[3]{n}[/tex] or [tex]\sqrt[4]{n}[/tex] or [tex]\sqrt[9]{n}[/tex] or etc. etc. will not work, and will never, ever allow you to go back where you started from).

In other words: if we write the length of segment n as
[tex] \frac{1}{n^{\sigma}} \;\;\; with \;\;\; 0 < \sigma < 1 [/tex]

the only hope we will ever have to find values of t eventually bringing us back where we started from is that
[tex]\sigma = \frac{1}{2}[/tex]

Note for teachers:
each of the segments making up the paths depicted in the attached figures actually corresponds to one of the terms of the following alternating sign infinite sum (the Dirichlet Eta function)
[tex] \eta(s) = \sum_{n=1}^\infty\frac{(-1)^{n-1}}{n^s} = 1-\frac{1}{2^s}+\frac{1}{3^s}-\frac{1}{4^s}+-\ldots [/tex]
where [tex] s = \sigma + i t[/tex]
each term is therefore a complex number, which can be represented by a vector, whose polar representation is
[tex](-1)^{n-1}\frac{1}{n^{\sigma}} \;\; e^{-it \ln n}[/tex]
If we wish to be strictly rigorous, the equivalent definition given above for the zeros of the Riemann Zeta function is in reality referring to zeros of the Dirichlet Eta function. But of course, in the interior of the critical strip the nontrivial zeros of the Riemann Zeta function coincide with the zeros of the Dirichlet Eta function, so that said equivalent definition is indeed a rigorous and correct definition.
Attached Files
File Type: pdf FIGURE 1.pdf (21.2 KB, 118 views)
File Type: pdf FIGURE 2.pdf (8.4 KB, 54 views)
File Type: pdf FIGURE 3.pdf (8.5 KB, 43 views)
Phys.Org News Partner Science news on Phys.org
SensaBubble: It's a bubble, but not as we know it (w/ video)
The hemihelix: Scientists discover a new shape using rubber bands (w/ video)
Microbes provide insights into evolution of human language
camilus
camilus is offline
#2
Jun14-09, 06:20 PM
P: 150
[tex]\zeta (a+bi) = \sum_{n=1}^{\infty}{1 \over n^{(a+bi)}} = \sum_{n=1}^{\infty}{\cos (b \ln n) - i \sin(b \ln n) \over n^a}[/tex]

and like luca said, this sum only seems to converge to zero when a = 1/2, and the Riemann Hypothesis (RH) says ALL the zeros have real part 1/2 or a = 1/2.
ramsey2879
ramsey2879 is offline
#3
Jun15-09, 07:58 AM
P: 891
Luca, thanks for the nice description. Now maybe a high school student (and my math background is about on par with that of a high school student) might ask what does this have to do with the natural numbers, in particular the primes?

Santa1
Santa1 is offline
#4
Jun15-09, 02:09 PM
P: 104

The Riemann Hypothesis for High School Students


Quote Quote by camilus View Post
[tex]\zeta (a+bi) = \sum_{n=1}^{\infty}{1 \over n^{(a+bi)}} = \sum_{n=1}^{\infty}{\cos (b \ln n) - i \sin(b \ln n) \over n^a}[/tex]

and like luca said, this sum only seems to converge to zero when a = 1/2, and the Riemann Hypothesis (RH) says ALL the zeros have real part 1/2 or a = 1/2.
@camilus:

That sum is not the continuation of the zeta function in 0<a<1, that sum actually diverges.

As the OP states one must use the equivalence relation with the Dirichlet eta function here.

@ramsey2879:

The "first" indication that the zeta function had 'something to do with primes' was noted by Euler and was that the zeta function could be 'factored' into a product of primes (in Re s>1)

[tex]\zeta(s)=\sum_{n=1}^\infty \frac{1}{n^s} = \prod_p \frac{1}{1-p^{-s}}[/tex]

Where p runs over the primes.

This I believe was Riemanns inspiration and starting point for his work with the zeta function.

He later used it to show a really nice explicit formula which said something about the growth of the prime counting function "[tex]\pi(x)=\sum_{p\leq x} 1[/tex]".

In a nutshell, RH (if true) shows us that [tex]\pi(x)[/tex] is 'quite nicely' approximated by an integral we call [tex]\text{li}(x)=\int_2^x \frac{dx}{\log(x)}[/tex]
camilus
camilus is offline
#5
Jun17-09, 12:19 AM
P: 150
Luca, in pdf figure 1, you wrote this equation, but I cant to seem the get answer or am converting wrong..

you wrote, for t=38, that [tex]\theta_2 = -38 \ln 2 + \pi = 1.935 rad = 110.9^o[/tex]

but I seem to get [tex]\theta_2 = -38 \ln 2 + \pi = -23.198[/tex] ???

can you tell me what Im doing wrong or how you're converting the -23 to 110.9 degrees?
Hurkyl
Hurkyl is offline
#6
Jun17-09, 12:26 AM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,101
Quote Quote by camilus View Post
1.935 rad ... -23.198 rad
Aren't those the same angle?
Luca
Luca is offline
#7
Jun17-09, 03:09 AM
P: 11
Quote Quote by Hurkyl View Post
Aren't those the same angle?
Indeed, I am realisisng that perhaps I should have added a couple of sentences to refresh some basic concepts on how to process angles:

- take for example 740, that is 2 x 360 + 20, which is the same angular position as 20 (as any added 360 turn brings you back to the same angular position)

- of course, the same is true for radians, with [tex] 2 \pi [/tex] corresponding to a complete turn

therefore

[tex] -38 \ln 2 + \pi = -26.3396 + \pi = -(4\ * \ 2\pi + 1.2069) + \pi = -1.2069 + \pi = 1.935 rad = 180 \ * \ 1.935/\pi = 110.9deg[/tex]

Hope this helps

Luca


Register to reply

Related Discussions
Can high school students know calculus better than Newton? General Discussion 62
can high school students submit paper? Academic Guidance 19
Science Bowls/Competitions for US High School and Middle (Jr High) School Students Academic Guidance 0
High school students General Discussion 38
Experiments for High School Students Biology 4