Zum Inhalt springen

Bonsesche Ungleichung

aus Wikipedia, der freien Enzyklopädie

Die Bonsesche Ungleichung ist ein Satz über das Wachstum der Primzahlen. Sie besagt, dass das Quadrat einer Primzahl kleiner ist als das Produkt der kleineren Primzahlen. Gefunden und veröffentlicht wurde die Ungleichung von dem Münsteraner Studenten Bonse im Jahr 1907.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Einem breiten Publikum nahegebracht wurde sie durch das populärwissenschaftliche Mathematikbuch Von Zahlen und Figuren<ref>Hans Rademacher, Otto Toeplitz: Von Zahlen und Figuren. Proben mathematischen Denkens für Liebhaber der Mathematik. Springer-Verlag 2000, ISBN 3-540-63303-0</ref> der beiden Mathematiker Hans Rademacher (1892–1969) und Otto Toeplitz (1881–1940).

Formal: Wenn <math>(p_n)_{n=1,\ldots}</math> die Folge der Primzahlen bezeichnet, dann gilt für alle <math>n\geq 5</math>:

<math>{p_n}^2 < p_1\cdot p_2\cdot p_3\cdots p_{n-1}=2\cdot3\cdot5\cdots p_{n-1}</math>.

Für <math>n\leq 4</math> gilt diese Ungleichung nicht. Es ist also

<math>{4 = 2^2 > 1 } </math>
<math>{9 = 3^2 > 2 = 2 } </math>
<math>{25 = 5^2 > 2 \cdot 3 = 6 } </math>
<math>{49 = 7^2 > 2 \cdot 3 \cdot 5 = 30 } </math>
<math>{121 = 11^2 < 2 \cdot 3 \cdot 5 \cdot 7 = 210 } </math>
<math>{169 = 13^2 < 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 = 2310} </math>
<math>{289 = 17^2 < 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 13 = 30030 } </math>
usw.

Mit der Ungleichung lässt sich zeigen, dass <math>30</math> die größte Zahl ist, die die Eigenschaft besitzt, dass alle zu ihr teilerfremden Zahlen <math>\leq 30</math> Primzahlen oder <math>1</math> sind. Diese sind hier im Speziellen: <math>1, 7, 11, 13, 17, 19, 23, 29</math>.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Verschärfungen

Wie Rademacher und Toeplitz bemerken, gibt es bessere Ergebnisse als die Bonsesche Ungleichung; wie etwa eine von Pafnuti Lwowitsch Tschebyschow gefundene Ungleichung, welche besagt, dass eine jede Primzahl kleiner als das Doppelte der jeweiligen Vorgängerprimzahl ist. Doch lassen sich diese besseren Ergebnisse nur mit kraftvollen Mitteln der höheren Mathematik beweisen, während Bonse für den Beweis seiner Ungleichung allein elementare Mittel benötigte.

Eine noch stärkere Einschränkung sagt sogar eine Primzahl zwischen zwei Quadratzahlen voraus. Dies ist als Legendresche Vermutung bekannt, die jedoch bisher nicht bewiesen werden konnte.

Mathematische Anwendungen

Robert J. Betts beschrieb im Jahr 2007, wie man mit Hilfe der Bonseschen Ungleichung Aussagen über die Größe von Primzahllücken bekommen kann, die zwar nicht so stark wie andere bekannte Abschätzungen sind, aber auf einfachere Art und Weise herzuleiten sind.<ref>{{#invoke:Vorlage:Literatur|f}} Abrufbar unter {{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Journal of Integer Sequences – Volume 10, 2007|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Journal of Integer Sequences – Volume 10, 2007}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://cs.uwaterloo.ca/journals/JIS/vol10.html%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Journal of Integer Sequences – Volume 10, 2007}}}}|[{{#invoke:URLutil|getNormalized|1=https://cs.uwaterloo.ca/journals/JIS/vol10.html}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Journal of Integer Sequences – Volume 10, 2007}}}}]}}{{#if:| ({{{format}}}{{#if:{{#if: 2020-03-21 | {{#if:{{#invoke:TemplUtl|faculty|1}}||1}}}} 

          | )
          | {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://cs.uwaterloo.ca/journals/JIS/vol10.html%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://cs.uwaterloo.ca/journals/JIS/vol10.html}}%7C%7C}}}}{{#if:Journal of Integer Sequences – Volume 10, 2007|{{#if:{{#invoke:WLink|isValidLinktext|1=Journal of Integer Sequences – Volume 10, 2007|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: |,|{{#if: 2020-03-21 | {{#if:{{#invoke:TemplUtl|faculty|1}}|;|,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
            |{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2020-03-21 | {{#if:{{#invoke:TemplUtl|faculty|1}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2020-03-21 | {{#if:{{#invoke:TemplUtl|faculty|1}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:643379||(?)}}}}}}{{#if: 2020-03-21|;}}}}{{#if: 2020-03-21| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2020-03-21 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2020-03-21|class=Zitationswartung}} }} {{#invoke:DateTime|format|2020-03-21|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:{{#if: 2020-03-21 | {{#if:{{#invoke:TemplUtl|faculty|1}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:en|en|de}}|de||
          {{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2020-03-21 | {{#if:{{#invoke:TemplUtl|faculty|1}}||1}} }}en|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: https://cs.uwaterloo.ca/journals/JIS/vol10.html
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://cs.uwaterloo.ca/journals/JIS/vol10.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://cs.uwaterloo.ca/journals/JIS/vol10.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://cs.uwaterloo.ca/journals/JIS/vol10.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://cs.uwaterloo.ca/journals/JIS/vol10.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://cs.uwaterloo.ca/journals/JIS/vol10.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://cs.uwaterloo.ca/journals/JIS/vol10.html }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://cs.uwaterloo.ca/journals/JIS/vol10.html
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://cs.uwaterloo.ca/journals/JIS/vol10.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://cs.uwaterloo.ca/journals/JIS/vol10.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://cs.uwaterloo.ca/journals/JIS/vol10.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://cs.uwaterloo.ca/journals/JIS/vol10.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://cs.uwaterloo.ca/journals/JIS/vol10.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://cs.uwaterloo.ca/journals/JIS/vol10.html }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Einzelnachweise

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Bonsesche_Ungleichung&oldid=643379“