ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: ↑Τετ Οκτ 08, 2025 9:55 pm
Εστω

διαφορετικοί ανα δύο ακέραιοι.
Να δειχθεί ότι το πολυώνυμο

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

;
.
Πολλή ωραία άσκηση. Την κρατώ εντός ύλης Λυκείου αλλά προσθέτω ότι με ύλη ακεραίων πολυωνύμων γλιτώνουμε κάπως κόπο.
α) Για

, το

υπάρχει περίπτωση να είναι γινόμενο ως άνω. Π.χ. είναι
β) Για

, το

υπάρχει περίπτωση να είναι γινόμενο ως άνω. Π.χ. είναι
γ) Για

και για

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

περιττό και

άρτιο.
γ1)

περιττό.
Έστω, πηγαίνοντας για αντίφαση, ότι

όπου

μη σταθερά πολυώνυμα με ακέραιους συντελεστές. Έστω ακόμη ότι οι βαθμοί τους είναι

με

(περιττός).
Θέτοντας

παίρνουμε

, και επειδή

ακέραιοι, έπεται

. Με άλλα λόγια το

έχει τουλάχιστον

διαφορετικές ρίζες (τις

). Άρα ως προς τον βαθμό του έχουμε

. Αλλά

περιττός οπότε (εδώ είναι το κλειδί),

.
Όμοια

, οπότε

που αντιβαίνει στην

.
Το άτοπο αυτό ολοκληρώνει τον συλλογισμό.
γ2)

άρτιο.
Έστω όπως πριν ότι

.
Θα είναι, όπως πριν,

και άρα

. Ακριβέστερα, επειδή το γινόμενό τους είναι

θα ισχύει, για κάθε

χωριστά, ότι
είτε

είτε

.
Και στις δύο περιπτώσεις είναι

, που σημαίνει ότι το

έχει τουλάχιστον

διαφορετικές ρίζες.
Δεδομένου όμως ότι

, έπεται ότι το

είναι το μηδενικό πολυώνυμο, δηλαδή

. Άρα

, και άρα το

έχει βαθμό

.
H (*) γράφεται ισοδύναμα

όπου πήρα
Επειδή κάθε ρίζα του

είναι ρίζα κάποιου (αλλά ενός μόνο) από τα

έπεται λόγω βαθμού, οι μισές ρίζες του

είναι ρίζες του

και οι άλλες μισές του

.
Από εδώ και πέρα και για τυπογραφική ευκολία να πάρω

(δεν αλλάζει τίποτα στον συλλογισμό) οπότε γράφω π.χ.

.
Έπεται από την

ότι χωρίς βλάβη

και

.
ισοδύναμα

(εννοείται ότι γενικά οι παράγοντες είναι

το πλήθος).
Θα δούμε ότι αυτό είναι αδύνατο, χρησιμοποιώντας το γεγονός ότι το

γράφεται μόνο με έναν τρόπο ως γινόμενο τριών ή περισσότερων διαφορετικών ακεραίων, τον

.
Το προηγούμενο για

δίνει

.
Από αυτό έχουμε το ζητούμενο άτοπο γιατί δίνουν πάνω από έναν τρόπο για γινόμενο

(άμεσο από το γεγονός ότι τα

είναι διαφορετικά ανά δύο οπότε χωρίς βλάβη στις παραστάσεις των

μπορούμε να υποθέσουμε ότι

και αντίστοιχα

).
Τελειώσαμε.