Auf einem Stammtisch treffen n Personen zusammen.
Jede Person hat mindestens ↑n+12↑ Freunde unter den n Personen.
Zu zeigen ist, dass man die Personen so an einen runden Tisch platzieren kann,
dass jeder zwischen zwei Freunden sitzt.
Und zwar bei beliebigem n !
Wenn wir ein n-Eck haben und jede Verbindung zu jeder anderen Ecke ziehen, so haben wir maximal n−1Verbindungen an jeder Ecke. Jede Verbindung bedeutet Freund sein miteinander. Oder anders gesagt, jede Person kann maximal n−1Freunde haben.
Wir müssen nun zeigen das n−1 immer größer oder gleich der Mindestanzahl der Freunde ist, die jede Person haben darf für ein beliebiges n>2. Dann haben wir eine allgemeine Lösung für n≥3.
Wir können formulieren:
n−1 ≥ ↑n+12↑
wobei ↑⋯↑ aufrunden bedeutet.
Für n=3 gilt direkt
n−1 ≥ ↑n+12↑3−1 ≥ ↑3+12↑2 ≥ 2
Das ist richtig. Die Ungleichung gilt also für n=3.
Allgemein kann man zeigen:
n−1 ≥ ↑n+12↑ < n+12+12⏟=n+22 (aufgerundet)
Wenn wir n−1 ≥ n+22 zeigen, so ist auch n−1 ≥ ↑n+12↑,
da ↑n+12↑ < n+12+12
Beweis:
n−1≥n+22|⋅22n−2≥n+22n−n≥2+2n≥4
Die Ungleichung gilt für n≥4. Für n=3 haben wir sie direkt bewiesen. Somit gilt:
Die maximale Anzahl der Verbindungen(Freunde) an jeder Person im n-Eck beträgt n−1und n−1 ≥ ↑n+12↑n≥3
Für n=4, n=5 und n=6 zeigen die Bilder die Verbindungen(Freunde)
Für n=4 ergeben sich je Person 3 Freunde.
Für n=5 ergeben sich je Person 4 Freunde.
Für n=6 ergebn sich je Person 5 Freunde.
Der Polygonring definiert, das die Personen jeweils zwischen zwei Freunden sitzen.

Es gibt minimalere Lösungen, was die jeweilige Anzahl der Freunde betrifft, doch das ist hier nicht gefordert.
