περιττός φυσικός αριθμός. Δείξτε ότι ο αριθμός
δεν είναι τέλειο τετράγωνο.Σχόλιο: Η άσκηση μου εστάλη πριν από λίγες ώρες από Ρουμανία, ζητώντας λύση. Η διατύπωση που μου έστειλαν περιόριζε το
να είναι πρώτος αριθμός αλλά εδώ γενικεύω γιατί δεν μου χρειάστηκε αυτή η υπόθεση στην λύση μου. Δεν είναι ιδιαίτερα απαιτητική άσκηση αλλά, κατά δήλωση αυτής που μου την έστειλε, απευθύνεται σε μαθητές Β' Γυμνασίου. Αυτό μου φαίνεται εξωπραγματικό, τουλάχιστον για τον μέσο μαθητή.


φυσικό επαγωγικά αποδεικνύεται ότι
, με βασική περίπτωση την
που ισχύει. Είναι:
(αφού
και
, δηλαδή
, για τις οποίες δεν έχουμε τέλειο τετράγωνο.
είναι περιττός και αν ήταν τετράγωνος, θα ήταν η βάση επίσης περιττός. Έστω λοιπόν ότι υπάρχει περιττός
ώστε να είναι
. Τότε
.
και
.
.
, τότε θα είχαμε
άρτιος, άτοπο. Άρα θα είναι
ή
(ή και τα δύο μαζί)
. Τότε θα είχαμε
. Άρα
, που είναι άτοπο αφού έχουμε περιττός ίσον με άρτιο
)
.Τότε
και
. Άρα
. Για
,´ή
, ο δοσμένος αριθμός
, τότε εύκολα με την τέλεια επαγωγή δείχνουμε ότι
, οπότε και πάλι 
(στον οποίο αναφέρεται η δεύτερη γραμμή) αλλά
.
. Παρατηρούμε ότι
περιττός.
, οπότε για κάποια
έχουμε
και
.
έχουμε
, άρα
. Αλλά
και άρα
, δηλαδή
.
, ισοδύναμα
. Αυτό οδηγεί σε άτοπο. Υπάρχουν πολλοί τρόποι να το δούμε. Π.χ. παρατηρούμε ότι για
έχουμε
(Απόδειξη επαγωγικά ή με το ανάπτυγμα διωνύμου:
).