parmenides51 έγραψε:
3. Θεωρούμε την παράσταση

, όπου οι αριθμοί

μπορούν να πάρουν τις τιμές

ή

.
Έστω

το πλήθος των

-άδων

για τις οποίες ο αριθμός

είναι άρτιος και

το πλήθος των

-άδων αυτών, για τις οποίες ο αριθμός

είναι περιττός.
Να δειχτεί ότι

.
Τροποποιώ λίγο το συμβολισμό και γράφω

αντί για σκέτο

. Θα αποδείξουμε το ζητούμενο επαγωγικά. Για

έχω

. Υπάρχουν τέσσερις διατεταγμένες τετράδες, οι

, από τις οποίες μόνο η τελευταία δίνει

περιττό, συγκεκριμένα με

. Άρα είναι

Συνεπώς το ζητούμενο ισχύει για

.
Έστω ότι το ζητούμενο ισχύει για τυχαίο

. Τότε θα είναι

.
Αρκεί να δείξουμε πως ένας ανάλογος τύπος ισχύει και για

, δηλαδή ότι

. Αν

η τιμή της παράστασης

για μία ορισμένη

άδα αριθμών, είναι

. Αν η

έχει άρτια τιμή, τότε υπάρχουν τρεις περιπτώσεις που και

θα είναι άρτια, όταν δηλαδή είναι

, ενώ για

η τιμή της είναι περιττή. Αφού λοιπόν το πλήθος των

άδων για τις οποίες η

έχει άρτια τιμή είναι

, αντιλαμβανόμαστε πως μπορούμε να κατασκευάσουμε

άδες ώστε η

να είναι άρτιος αριθμός και

άδες ώστε η

να είναι περιττός. Αντιστοίχως αν η

άδα είναι τέτοια ώστε η

να έχει περιττή τιμή, μπορούμε να κατασκευάσουμε

και

άδες ώστε να η

να είναι άρτια και περιττή, αντίστοιχα. Άρα θα είναι συνολικά

και

. Επομένως πρέπει

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

.