Satz von Jung
Der geometrische Satz von Jung (benannt nach Heinrich Jung) macht eine mathematische Aussage darüber, wie groß eine Kugel in einem <math>n</math>-dimensionalen Raum sein muss, die eine vorgegebene Menge von Punkten einschließt.
Formulierung
Es seien endlich viele Punkte <math>a_1, a_2, \dots, a_k \in \mathbb{R}^n</math> gegeben, und es sei <math>d := \max\nolimits_{i,j = 1, \dots, k} \| a_i - a_j \|_2</math> der maximale Euklidische Abstand zweier Punkte.
Der Satz von Jung besagt, dass es eine <math>n</math>-dimensionale Kugel mit einem Radius <math>r \leq d \sqrt{\tfrac{n}{2(n+1)}}</math> gibt, so dass alle Punkte <math>a_1, a_2, \dots, a_k</math> innerhalb der Kugel (den Rand eingeschlossen) liegen.
Weiterhin ist der Mittelpunkt der Kugel mit kleinstmöglichem Radius eindeutig bestimmt.
Spezialfall einer Ebene
Am bekanntesten ist der Fall von Punkten in der Ebene, d. h. <math>n = 2</math>. In diesem Fall besagt der Satz von Jung, dass der Radius <math>r \leq d/\sqrt{3}</math> ist.
Für die drei Eckpunkte eines gleichseitigen Dreiecks benötigt man genau diesen Radius.
Literatur
- Heinrich Jung: <templatestyles src="Webarchiv/styles.css" />{{#if:20070310185722
| {{#ifeq: 20070310185722 | *
| {{#if: Über den kleinsten Kreis, der eine ebene Figur einschließt | {{#invoke:WLink|getEscapedTitle|Über den kleinsten Kreis, der eine ebene Figur einschließt}} | {{#invoke:Webarchiv|getdomain|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20070310185722}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Über den kleinsten Kreis, der eine ebene Figur einschließt | {{#invoke:WLink|getEscapedTitle|Über den kleinsten Kreis, der eine ebene Figur einschließt}} | {{#invoke:Webarchiv|getdomain|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20070310185722}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Über den kleinsten Kreis, der eine ebene Figur einschließt | {{#invoke:WLink|getEscapedTitle|Über den kleinsten Kreis, der eine ebene Figur einschließt}} | {{#invoke:Webarchiv|getdomain|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Über den kleinsten Kreis, der eine ebene Figur einschließt | {{#invoke:WLink|getEscapedTitle|Über den kleinsten Kreis, der eine ebene Figur einschließt}} | {{#invoke:Webarchiv|getdomain|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Über den kleinsten Kreis, der eine ebene Figur einschließt | {{#invoke:WLink|getEscapedTitle|Über den kleinsten Kreis, der eine ebene Figur einschließt}} | {{#invoke:Webarchiv|getdomain|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Über den kleinsten Kreis, der eine ebene Figur einschließt | {{#invoke:WLink|getEscapedTitle|Über den kleinsten Kreis, der eine ebene Figur einschließt}} | {{#invoke:Webarchiv|getdomain|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20070310185722|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364}}
|| {{#if: || }}
}}{{#if: Über den kleinsten Kreis, der eine ebene Figur einschließt
| {{#if: {{#invoke:WLink|isBracketedLink|Über den kleinsten Kreis, der eine ebene Figur einschließt}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D261364 }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}}, J. Reine Angew. Math. 137 (1910), S. 310–313
- Hans Rademacher und Otto Toeplitz: Von Zahlen und Figuren (Proben mathematischen Denkens für Liebhaber der Mathematik), Springer-Verlag 2000 (Nachdruck der 2. Auflage von 1933), ISBN 3-540-63303-0, 14. Kapitel