Χωρίζουμε το σύνολοsocrates έγραψε:
ΑΣΚΗΣΗ 213
Έστωένα υποσύνολο του συνόλου
με
στοιχεία, τέτοιο ώστε το άθροισμα δύο οποιονδήποτε στοιχείων του να μην ισούται με
ούτε με
Πόσα τέτοια σύνολαυπάρχουν;
σε δύο υποσύνολα
και
όπου το
περιέχει τα στοιχεία
και το
περιέχει τα στοιχεία
. Είναι προφανές ότι το σύνολο
είναι ένα από τα ζητούμενα σύνολα. Θα αποδείξουμε ότι είναι το μοναδικό. Παρατηρούμε ότι αν μετακινήσουμε ένα στοιχείο του
( π.χ. το
)στο σύνολο
τότε θα πρέπει να αφαιρέσουμε ένα άλλο στοιχείο (το
) και έτσι το σύνολο θα έχει πάλι 1004 στοιχεία. Έτσι είναι αδύνατο το σύνολο
να αποκτήσει
στοιχεία. Αν μετακινήσουμε ένα στοιχείο του
στο
(π.χ. το
) τότε θα πρέπει να αφαιρέσουμε δύο άλλα στοιχεία (το
και το
)και έτσι και αυτό το σύνολο είναι αδύνατο να ξανααποκτήσει 1005 στοιχεία.
ένα υποσύνολο του συνόλου
ούτε με 
είναι τέτοιοι ώστε ο αριθμός
να είναι τέλειο τετράγωνο ακεραίου.
γράφεται ως άθροισμα δύο τέλειων τετραγώνων.

είναι ακέραιοι.
άρτιος, τότε επειδή
θα πρέπει και ο
να είναι άρτιος (γνωστό) οπότε και
άρτιος και
άρτιος και άρα οι αριθμοί
το άθροισμα των ψηφίων του φυσικού
να δείξετε ότι ο αριθμός
δεν είναι τέλειο τετράγωνο ακεραίου.
είναι ισότιμος
με το άθροισμα των ψηφίων του,δηλαδή
.Επομένως αρκεί να αποδείξουμε ότι ο αριθμός
δεν είναι τέλειο τετράγωνο.
είναι τα
.
,που δεν είναι τετραγωνικά υπόλοιπα
Αρχικά όλα τα τετράγωνα
έχουν μαύρο χρώμα.
άσπρα τετράγωνα στη σκακιέρα.
άσπρα τετράγωνα;
κάθετες γραμμές(
).Τότε το πλήθος των λευκών τετραγώνων που έχουν προκύψει από τις κινήσεις είναι
μείον το πλήθος των μαύρων τετραγώνων που έχουν προκύψει από τις κινήσεις.Το πλήθος αυτό ισούται με το εμβαδό του ορθογωνίου που δημιουργείται από τις τομές των γραμμών.Αυτό είναι ίσο με
(σε περίπτωση που η γραμμές δεν εφάπτονται αυτό δεν αλλάζει το αποτέλεσμα διότι απλά μεταφέρουμε την γραμμή όσα τετράγωνα χρειάζονται έτσι ώστε οι γραμμές να εφάπτονται).Έτσι το πλήθος των λευκών τετραγώνων που έχουν προκύψει από τις κινήσεις είναι ίσο με
(1).
να έχει θετικές ακέραιες λύσεις μικρότερες ή ίσες του 50.Αυτή είναι αδύνατη αφού
.Συνεπώς δεν γίνεται να έχουμε 2011 λευκά τετραγωνάκια.
να έχει θετικές ακέραιες λύσεις μικρότερες ή ίσες του 50.Η εξίσωση γράφεται
που έχει λύσεις,πχ
.Συνεπώς μπορούμε να έχουμε 2010 λευκά τετραγωνάκια στη σκακιέρα.
μαύρα και
άσπρα τετράγωνα. Τότε τα μαύρα θα γίνουν
(δηλαδή τα
.
. Είναι
. Παρατηρούμε ότι ο αριθμός
είναι πολλαπλάσιο του 4. Συμπέρασμα, σε κάθε βήμα ο αριθμός
αλλάζει κατά πολλαπλάσιο του
. Στην αρχή είναι
πολλαπλάσιο του 4, ενώ αν γίνουν 2011 τα άσπρα (και 489 τα μαύρα), τότε
που δεν είναι πολλαπλάσιο του
του δεκαδικού συστήματος που να είναι τέλειο τετράγωνο όταν επιπλέον ισχύουν οι σχέσεις: 
αν 


. Τότε αρκεί να αποδείξουμε ότι:

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


,
,
που κανένας δεν είναι τέλειο τετράγωνο
απορρίπτονται, γιατί δεν θα υπάρχει αντίστοιχο 



,
, 
,
, 

έχουμε
(1) αφού
(2) όπου
η (2) γίνεται
(3) όπου
.
και προκείπτει το ζητούμενο.
ισούται με τη δοθείσα παράσταση.
τέτοιους ώστε 
είναι τέτοιοι ώστε 

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

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


άρα το τρίγωνο είναι ορθογώνιο με 
άρα
οπότε 

δηλαδή
οπότε 
.
, που ισχύει από ΑΜ-ΓΜ. Το ζητούμενο έπεται.
. Όμως η δοθείσα σχέση δεν επαληθεύεται για
και συνεπώς η ισότητα δεν μπορεί να ισχύει.