Σημείωση: Ο προσθετέος στο παραπάνω άθροισμα που αντιστοιχεί στο κενό σύνολο του είναι ο 1. Αυτό είναι φυσιολογικό γιατί το γινόμενο μηδενικού πλήθους παραγόντων είναι 1, το ουδέτερο στοιχείο του πολλαπλασιασμού, ακριβώς όπως η τιμή ενός αθροίσματος χωρίς όρους είναι 0, το ουδέτερο στοιχείο της πρόσθεσης.
Οι κύκλοι βρίσκονται σε γενική θέση: κάθε δύο από αυτούς είτε τέμνονται είτε είναι ξένοι (δεν μπορούν να εφάπτονται) και δεν υπάρχουν τριπλά σημεία τομής.
Δύο παίκτες παίζουν το ακόλουθο παιχνίδι. Όταν έρθει η σειρά κάποιου παίκτη αυτός κόβει ένα κομμάτι σοκολάτα και το τρώει. Η σοκολάτα μπορεί να κοπεί είτε οριζόντια είτε κάθετα αλλά πλήρως, δηλ. αν η σοκολάτα κοπεί οριζόντια τότε αυτή χωρίζεται σε δύο ορθογώνιες σοκολάτες, μια και μια , και ο παίκτης διαλέγει και τρώει ένα από τα δύο ορθογώνια κομμάτια. Ομοίως, αν η σοκολάτα κοπεί κάθετα τότε χωρίζεται σε δυο κομμάτια, ένα και ένα . (Δείτε Σχήμα 1.13.)
Χάνει ο παίκτης που αναγκάζεται να φάει το τετραγωνάκι με το σαπούνι. Θα θέλατε να παίζατε πρώτος ή δεύτερος; Η απάντηση εξαρτάται από τα και . Βρείτε (π.χ. μαντέψτε) την απάντηση και αποδείξτε ότι έχετε δίκιο με επαγωγή ως προς το μέγεθος της σοκολάτας ().
Δείξτε οτι υπάρχει κάποιος από τους σταθμούς ανεφοδιασμού, τέτοιος ώστε αν το αυτοκίνητο ξεκινήσει από αυτόν θα μπορεί να επιστρέψει σε αυτόν (κινούμενο πάντα προς την ίδια κατεύθυνση).
κάθε λευκό μέλος του υπουργικού συμβουλίου θα πρέπει να έχει τουλάχιστον τόσους έγχρωμους συνεργάτες όσους και λευκούς και, ομοίως, κάθε έγχρωμο μέλος θα πρέπει να έχει τουλάχιστον τόσους λευκούς συνεργάτες όσους και έγχρωμους.Οι θέσεις του υπουργικού συμβουλίου είναι δεδομένες όπως και το ποιος συνεργάζεται με ποιον (π.χ. ο υπουργός Οικονομικών συνεργάζεται με όλους, ο υπουργός Άμυνας δε συνεργάζεται με τον υπουργό Γεωργίας, κλπ).
Ο ίδιος ο πρόεδρος είναι κι αυτός μέλος του υπουργικού συμβουλίου και είναι έγχρωμος.
Δείξτε ότι μπορεί πάντα να επιλέξει υπουργούς του κατάλληλου χρώματος ώστε να πετύχει το σκοπό του αυτό.
Υπόδειξη: Πάρτε ένα υπουργικό συμβούλιο που να μεγιστοποιεί τις συνεργασίες μεταξύ λευκών και μαύρων. Τι παρατηρείτε;
Τότε και η τομή όλων των είναι μη κενή.
Υπόδειξη: Υποθέστε ότι η τομή είναι κενή και καταλήξτε σε άτοπο. Αν είναι τότε θα υπάρχει κάποιο σύνολο από τα που δεν περιέχει το , κάποιο που δεν περιέχει το , κλπ.
Δείξτε ότι κάθε οικογένεια μεγέθους διασπά τουλάχιστον διαφορετικά υποσύνολα του .
Mihalis Kolountzakis 2015-11-28