parmenides51 έγραψε:
4. Έστω ένα ευθύγραμμο τμήμα που το αριστερό του άκρο το έχουμε συμβολίσει με

και το δεξί του με

.
Χωρίζουμε με σημεία το τμήμα σε μικρότερα τμήματα και συμβολίζουμε τα σημεία με τυχαίο τρόπο με τους αριθμούς

.
Καθένα από τα μικρά τμήματα που τα άκρα του έχουν αριθμούς

τα ονομάζουμε <<καλά>>, ενώ όσα έχουν αριθμούς

είτε

<<κακά>>.
Να δείξετε οτι όπως και να τοποθετήσουμε τους αριθμούς

στα άκρα των μικρών τμημάτων, το πλήθος των <<καλών>> τμημάτων είναι περιττό.
(Στη μνήμη του μεγάλου γερμανοαμερικάνου μαθηματικού E.Sperner (1905-1980) για την συμπλήρωση 10 χρόνων από τον θάνατό του.)
Προφανές! Ας γράψουμε όμως λίγα παραπάνω λόγια:
Έστω

τα ενδιάμεσα σημεία με αυτήν την σειρά από τα αριστερά στα δεξιά. Έστω επίσης

το αριστερό άκρο που βάλαμε τον αριθμό

και

το δεξί άκρο που βάλαμε τον αριθμό

. Θα δείξουμε ότι για κάθε

ο αριθμός των καλών τμημάτων
![[x_{i-1},x_{i}] [x_{i-1},x_{i}]](/forum/ext/geomar/texintegr/latexrender/pictures/903680025027565172931fb73ffe4132.png)
με

είναι περιττός αν

και άρτιος αν

. (Εφαρμόζοντας τον ισχυρισμό για

παίρνουμε το ζητούμενο.) Θα αποδείξουμε τον ισχυρισμό επαγωγικά. Για

είναι άμεσο. Αν είναι γνωστό για

τότε το αποτέλεσμα είναι άμεσο και για

. (Ελέγχουμε δύο περιπτώσεις: Αν

δεν έχουμε άλλο καλό τμήμα. Οπότε ο αριθμός των καλών τμημάτων εξακολουθεί να είναι περιττός/άρτιος ανάλογα αν ο

είναι

ή

αντίστοιχα. Αν

έχουμε ακριβώς ένα επιπλέον καλό τμήμα. Οπότε ο αριθμός των καλών τμημάτων γίνεται από άρτιος περιττός αν

και από περιττός άρτιος αν

.)
Ας αναφέρουμε όμως και το θεώρημα του Sperner:
Το μονοδιάστατο είναι αυτό που αναφέρθηκε.
Στις δύο διαστάσεις ξεκινάμε με ένα τρίγωνο στο οποίο βάζουμε στις κορυφές τους αριθμούς

και

. Μετά το χωρίζουμε σε άλλα μικρά τρίγωνα με οποιονδήποτε τρόπο και βάζουμε στις κορυφές των τριγώνων τους αριθμούς

και

με οποιονδήποτε τρόπο αρκεί να ικανοποιειούνται τα πιο κάτω:
- Στην πλευρά του μεγάλου τριγώνου με κορυφές τα

και

όλα τα άλλα σημεία έχουν αριθμό έιτε

είτε

(αλλά όχι

)
- Στην πλευρά του μεγάλου τριγώνου με κορυφές τα

και

όλα τα άλλα σημεία έχουν αριθμό έιτε

είτε

- Στην πλευρά του μεγάλου τριγώνου με κορυφές τα

και

όλα τα άλλα σημεία έχουν αριθμό έιτε

είτε

Ονομάζουμε ένα μικρό τρίγωνο καλό αν στις τρεις κορυφές του μπορούμε να βρούμε και τα τρία χρώματα. Τότε υπάρχει περιττός αριθμός καλών τριγώνων.
[Διευκρίνηση κοιτάζουμε μόνο τα «μικρά» τρίγωνα όπως ακριβώς και στην μονοδιάστατη περίπτωση κοιτάζαμε μόνο τα «μικρά» τμήματα
![[x_i,x_{i+1}] [x_i,x_{i+1}]](/forum/ext/geomar/texintegr/latexrender/pictures/ed75161bcea8dc1b8e616c48806cc6e7.png)
και όχι τα μεγαλύτερα π.χ. το
![[x_5,x_7] [x_5,x_7]](/forum/ext/geomar/texintegr/latexrender/pictures/df5597a124bc129521528d42511122c8.png)
που έχει ενδιάμεσα την κορυφή

.]
Στις τρεις διαστάσεις ξεκινάμε από πυραμίδα, βάζουμε στις τέσσερις κορυφές τα

, την χωρίζουμε σε μικρές πυραμίδες με οποιονδήποτε τρόπο, βάζουμε στις κορυφές του τα

με οποιονδήποτε τρόπο αρκεί
- Στην πλευρά της πυραμίδας με κορυφές τα

και

όλα τα σημεία έχουν αριθμό είτε

είτε

.
- Στην έδρα της πυραμίδας με κορυφές τα

και

όλα τα σημεία έχουν αριθμό είτε

είτε

είτε

.
Ονομάζουμε μια μικρή πυραμίδα καλή αν στις τέσσερις κορυφές της μπορούμε να βρούμε και τα τέσσερα χρώματα. Τότε υπάρχει περιττός αριθμός καλών πυραμίδων.
Κ.ο.κ. για μεγαλύτερες διαστάσεις.