Μεγάλη Πέμπτη σήμερα και ως γνωστό είναι η μέρα, που κατά παράδοση, βάφουμε τα αυγά (και φτιάχνουμε τα τσουρέκια). Αρπάζω λοιπόν την ευκαιρία να μεταφέρω την επίσημη λύση στο πρόβλημα και το σχόλιο που την συνοδεύει, μιας και σχετίζεται με την λύση του Δημήτρη παραπάνω.
Λύση. Έστω

το κέντρο της βαμμένης σφαίρας

και έστω

τα ημισφαίρια, βαμμένα με το

στο χρώμα,

. Έστω

το μέσο (πόλος) του ημισφαίριου

:

και το επίπεδο, που διέρχεται από το κύκλο της βάσης του ημισφαίριου

, είναι κάθετο στο διάνυσμα

.
Το κυρτό περίβλημα των σημείων

είναι το κυρτό πολύεδρο

με κορυφές τα

. Θα δείξουμε, ότι αυτό το πολύεδρο περιέχει το σημείο

. Πράγματι, αν

, τότε θα βρεθεί ένα τέτοιο επίπεδο

, που διέρχεται από το

, ώστε το

να βρίσκεται αυστηρά στο εσωτερικό ενός εκ των ημιχώρων, στα οποία το

διαιρεί τον χώρο. Τότε για ένα σημείο

, που βρίσκεται στο άλλο ημιχώρο και τέτοιο, ώστε

, όλα τα εσωτερικά γινόμενα

είναι αρνητικά, από όπου συμπεραίνουμε ότι το σημείο

δεν ανήκει σε κανένα ημισφαίριο

και άρα, δεν είναι βαμμένο.
Το γεγονός

με την σειρά του σημαίνει, ότι το

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

(ΤΟ

είναι η ένωση τέτοιων τετράεδρων). Έστω, χωρίς βλάβη της γενικότητας, το σημείο

ανήκει στο τετράεδρο με κορυφές τα

. Αυτό σημαίνει, ότι η σφαίρα

είναι βαμμένη με τα πρώτα τέσσερα χρώματα: αν

και

για

, τότε

για όλα τα

, δηλαδή όλο το τετράεδρο

βρίσκεται αυστηρά στο ίδιο ημιχώρο σε σχέση με το επίπεδο, που διέρχεται από το

κάθετα στο διάνυσμα

και δεν μπορεί να περιέχει το σημείο

.
Σχόλιο συντάκτη. Η απόδειξη, ότι το σημείο

εσωτερικό του πολύεδρου

πράγματι βρίσκεται σε ένα από τα υποδειχθείσα τετράεδρα, μπορεί να γίνει με τον ακόλουθο τρόπο. Έστω ημιευθεία, με αρχή το σημείο

που διέρχεται από το σημείο

, τέμνει την επιφάνεια του τετράεδρου στο σημείο

. Εφόσον το σημείο

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

Επομένως, το σημείο

ανήκει στο τετράεδρο

. (Ο ισχυρισμός αυτός είναι ειδική περίπτωση του θεωρήματος Καραθεωδωρή για το κυρτό περίβλημα: οποιοδήποτε σημείο του

διάστατου χώρου, που ανήκει στο κυρτό περίβλημα μερικών σημείων, θα ανήκει στο κυρτό περίβλημα το πολύ

εξ αυτών των σημείων.)
Πηγή