socrates έγραψε:
Πρόβλημα 4
Κάθε σημείο του επιπέδου χρωματίζεται είτε κόκκινο, είτε πράσινο, είτε μπλε.
Να δείξετε ότι υπάρχει ισοσκελές τρίγωνο με κορυφές του ίδιου χρώματος .
Χωρίς βλάβη της γενικότητας το

είναι μπλε. Κοιτάζω τους κύκλους με κέντρο το

και ακτίνες

και

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

με το

να είναι άρρητο πολλαπλάσιο του

. (Περιστρέφω το σχήμα αν χρειαστεί.)
Κοιτάω τα σημεία με πολικές συντεταγμένες

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

είναι πράσινα.
Τότε τα σημεία με (Καρτεσιανές) συντεταγμένες

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

και γωνία ρητό πολλαπλάσιο του

.)
Άρα τα σημεία

είναι πράσινα αφού ανήκουν πάνω στην μεσοκάθετη του τμήματος που συνδέει τα

και

σημεία. (Δεν μπορούν να είναι μπλε για παρόμοιο λόγο όπως πιο πάνω.)
Η ευθεία

είναι η μεσοκάθετη του τμήματος που συνδέει τα

. Οπότε κάθε σημείο της εκτός του

είναι μπλε ή πράσινο. Ομοίως κάθε σημείο της

εκτός του

είναι μπλε ή κόκκινο. Άρα το

είναι μπλε, άτοπο αφού έχει πολικές συντεταγμένες

.