Επανέρχομαι με την απαραίτητη διόρθωση.

- squaredsquares.png (10.45 KiB) Προβλήθηκε 3711 φορές
Όπως φαίνεται στο συνημμένο υπάρχει κατασκευή για

. Αν έχουμε μια κατασκευή με

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

τετραγωνάκια. Επειδή υπάρχει και η προφανής κατασκευή για

, έχουμε επίσης κατασκευές για

και επαγωγικά χρησιμοποιώντας τις κατασκευές για

έχουμε κατασκευή για κάθε

.
Επομένως έχουμε κατασκευές για κάθε

εκτός ίσως από

. Τα

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

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

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

, την κάτω δεξιά

και την κάτω αριστερά

. Ονομάζω αυτά τα τετραγωνάκια

αντίστοιχα. Χωρίς βλάβη της γενικότητας

. Πρέπει

. Αν

και

τότε το πέμπτο τετραγωνάκι πρέπει να περιέχει την πάνω αριστερά και την κάτω δεξιά κορυφή του

, άτοπο. Χωρίς βλάβη λοιπόν έχουμε

. Τότε

και άρα

. Τότε το πέμπτο τετραγωνάκι πρέπει να περιέχει την κάτω δεξιά γωνία του

και την κάτω δεξιά γωνία του

το οποίο πάλι είναι άτοπο.