- #1
Luca
- 7
- 0
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):
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.
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.
Attachments
Last edited: