Ἀνάγωγο πολυώνυμο
Συντονιστές: cretanman, Demetres, polysot, achilleas, socrates, silouan
- Γ.-Σ. Σμυρλής
- Δημοσιεύσεις: 578
- Εγγραφή: Κυρ Οκτ 14, 2012 9:47 am
- Τοποθεσία: Λευκωσία, Κύπρος
Ἀνάγωγο πολυώνυμο
Γενίκευση τοῦ
http://www.mathematica.gr/forum/viewtop ... 11&t=37111
Γιά ποιούς θετικούς ἀκεραίους τό πολυώνυμο δέν εἶναι ἀνάγωγο στό ;
http://www.mathematica.gr/forum/viewtop ... 11&t=37111
Γιά ποιούς θετικούς ἀκεραίους τό πολυώνυμο δέν εἶναι ἀνάγωγο στό ;
Λέξεις Κλειδιά:
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3341
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Ἀνάγωγο πολυώνυμο
Επαναφορά: τα προβλήματα που μας στέλνει ο κ. Σμυρλής είναι συνήθως πολύ έξυπνα ή/και πολύ προχωρημένα, αυτό όμως είναι αρκετά προσιτό, και η λύση του (που δυστυχώς δεν έχω κρατήσει) κατανοητή, αν όχι και εφικτή, ακόμη και από μη διαγωνιζόμενους (νομίζω).
Γιώργος Μπαλόγλου
Γιώργος Μπαλόγλου
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Ἀνάγωγο πολυώνυμο
Μπορούμε να δουλέψουμε όπως εδώ
https://artofproblemsolving.com/communi ... 27p2069755
Δεν βλέπω τρόπο να γλιτώσουμε τις πράξεις.
https://artofproblemsolving.com/communi ... 27p2069755
Δεν βλέπω τρόπο να γλιτώσουμε τις πράξεις.
Σιλουανός Μπραζιτίκος
-
- Επιμελητής
- Δημοσιεύσεις: 15762
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Ἀνάγωγο πολυώνυμο
Δεν ξέρω πόσο εύκολο είναι να περιγράψουμε τα ζητούμενα . Για παράδειγμα η απάντηση περιλαμβάνει τα για οποιονδήποτε φυσικό , όπως φαίνεται από τις παραγοντοποιήσειςΓ.-Σ. Σμυρλής έγραψε: ↑Δευ Μάιος 20, 2013 10:33 pmΓενίκευση τοῦ
http://www.mathematica.gr/forum/viewtop ... 11&t=37111
Γιά ποιούς θετικούς ἀκεραίους τό πολυώνυμο δέν εἶναι ἀνάγωγο στό ;
και
Για μικρά δίνει τα και κανέναν άλλο μικρότερο ή ίσο του ). Έχουμε επίσης το από την
.
Δεν μπορώ ν α αποδείξω ότι δεν υπάρχουν άλλα πέρα από τα και , αλλά μετά από αρκετές πράξεις (που δεν τις γράφω αλλά είναι στην πορεία που ανακάλυψα τα αυτά), έχω την αίσθηση ότι είναι όλα. Το κριτήριο Eisenstein με βοήθησε αλλά δεν έβγαλα το τελικό αποτέλεσμα. Αφήνω τα λοιπά στους άλλους.
Re: Ἀνάγωγο πολυώνυμο
Να πω εδώ ότι απορρίπτεται αμέσως η περίπτωση το πολυώνυμο να γράφεται σαν πρώτου επί εβδόβου, γιατί το πολυώνυμο δεν έχει ακέραια ρίζα. Απορρίπτεται και το τρίτου επί πέμπτου γιατί δεν έχει πραγματική ρίζα.
Σιλουανός Μπραζιτίκος
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3341
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Ἀνάγωγο πολυώνυμο
Πολύ ωραία, υπάρχει και η περίπτωση , που όμως έχει ήδη εντοπίσει ο Μιχάλης, απόρροια των γενικότερων παραγοντοποιήσεων
και
[Αναλόγως έχω ελέγξει πλήρως και την περίπτωση τεταρτοβάθμιου επί τεταρτοβάθμιου, και δεν βρήκα άλλες λύσεις πέραν αυτών του Μιχάλη.]
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Re: Ἀνάγωγο πολυώνυμο
Γιώργο, βέβαια η πρώτη μάς ενδιαφέρει τετριμμένα μόνο για , ενώ η δεύτερη καθόλου, γιατί ζητάμε τους θετικούς ακεραίους .
Νομίζω επίσης ότι η διαδικασία αυτή με την εξίσωση των συντελεστών μας δίνει το αν και μόνο αν.
Νομίζω επίσης ότι η διαδικασία αυτή με την εξίσωση των συντελεστών μας δίνει το αν και μόνο αν.
Σιλουανός Μπραζιτίκος
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Ἀνάγωγο πολυώνυμο
Η παρακάτω λύση έχει κάποια λάθη στις πράξεις.Είναι ξαναγραμένη παρακατω
Θα παραθέσω και εγώ τις σκέψεις μου.
Περιορίζομαι στην περίπτωση
(Για έχει γίνει από τους προηγούμενους).
Πάω και λύνω την εξίσωση.
Οι ρίζες της
είναι οι
Αν θέσω
τοτε επειδή
Δεν είναι σωστό
και όμοια για το άλλο έχουμε
Ο δακτύλιος
είναι μοναδικής παραγοντοποίησης.
(μπορούμε να μην το χρησιμοποιήσουμε παίζοντας με τις ρίζες)
Αυτό σημαίνει ότι αν
δεν είναι ανάγωγο στο
τότε θα γράφεται σαν γινόμενο δύο πολυωνύμων τετάρτου βαθμού.
Θα παραλείψω κάποιες πράξεις.(είναι ουσιαστικές αλλά δεν δύναμαι)
Το
και ένας εύκολος υπολογισμός δείχνει ότι και το άλλο ανήκει στο
το
Αρα το δεν είναι ανάγωγο στο για
αν και μόνο αν ένας από τους ανήκει στους θετικούς ακεραίους.
Υπάρχουν λάθη στις πράξεις
Νομίζω ότι κάνοντας σωστά τις πράξεις θα προκύψει αποτέλεσμα.Σε λίγο η το πρωί.
ευχαριστώ τον Σιλουανό και τον Γιώργο Μπάλογλου για την επισήμανση.
Θα παραθέσω και εγώ τις σκέψεις μου.
Περιορίζομαι στην περίπτωση
(Για έχει γίνει από τους προηγούμενους).
Πάω και λύνω την εξίσωση.
Οι ρίζες της
είναι οι
Αν θέσω
τοτε επειδή
Δεν είναι σωστό
και όμοια για το άλλο έχουμε
Ο δακτύλιος
είναι μοναδικής παραγοντοποίησης.
(μπορούμε να μην το χρησιμοποιήσουμε παίζοντας με τις ρίζες)
Αυτό σημαίνει ότι αν
δεν είναι ανάγωγο στο
τότε θα γράφεται σαν γινόμενο δύο πολυωνύμων τετάρτου βαθμού.
Θα παραλείψω κάποιες πράξεις.(είναι ουσιαστικές αλλά δεν δύναμαι)
Το
και ένας εύκολος υπολογισμός δείχνει ότι και το άλλο ανήκει στο
το
Αρα το δεν είναι ανάγωγο στο για
αν και μόνο αν ένας από τους ανήκει στους θετικούς ακεραίους.
Υπάρχουν λάθη στις πράξεις
Νομίζω ότι κάνοντας σωστά τις πράξεις θα προκύψει αποτέλεσμα.Σε λίγο η το πρωί.
ευχαριστώ τον Σιλουανό και τον Γιώργο Μπάλογλου για την επισήμανση.
τελευταία επεξεργασία από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ σε Δευ Απρ 22, 2019 12:05 am, έχει επεξεργασθεί 2 φορές συνολικά.
Re: Ἀνάγωγο πολυώνυμο
Νομίζω έχω έναν γρήγορο τρόπο να αποφύγουμε την περίπτωση δευτέρου επί έκτου ως εξής.
Λόγω μεγιστοβάθμιου και σταθερού όρου, το δευτεροβάθμιο είναι
ή . Στην πρώτη περίπτωση το συνεπάγεται πραγματική ρίζα, άτοπο.
Στη δεύτερη περίπτωση από τις παίρνουμε .
Για παίρνουμε ενώ για παίρνουμε αρνητικό οπότε απορρίπτεται.
Λόγω μεγιστοβάθμιου και σταθερού όρου, το δευτεροβάθμιο είναι
ή . Στην πρώτη περίπτωση το συνεπάγεται πραγματική ρίζα, άτοπο.
Στη δεύτερη περίπτωση από τις παίρνουμε .
Για παίρνουμε ενώ για παίρνουμε αρνητικό οπότε απορρίπτεται.
Σιλουανός Μπραζιτίκος
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4455
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: Ἀνάγωγο πολυώνυμο
Νομίζω ότι σχετικά ενδιαφέρον παρουσιάζει το θεώρημα 2.3.5 σελ. 63 του βιβλίου Polynomials του Victor Prasolov. Παραπέμπει στο άρθρο του Wilhelm Ljunggren (μη με ρωτήσετε πως προφέρεται το επώνυμο) με τίτλο On the Irreducibility of Certain Trinomials and Quadrinomials ( μπορεί να βρεθεί εδώ https://www.mscand.dk/article/view/10593/8614) όπου υπάρχει αυτούσιο το θεώρημα (θεώρημα 3 σελ. 69).
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Ἀνάγωγο πολυώνυμο
Ξαναγράφω την λύση από την αρχή με περισσότερες εξηγήσεις.
Είναι
Περιορίζομαι στην περίπτωση
(Για έχει γίνει από τους προηγούμενους).
Πάω και λύνω την εξίσωση.
Οι ρίζες της
είναι οι
Αν θέσω
τοτε επειδή
και όμοια για το άλλο έχουμε
Τα πολυώνυμα που εμφανίζονται στην παραγοντοποίηση
είναι ανάγωγα στο
γιατί δεν έχουν πραγματική ρίζα.
Επίσης δεν είναι δύσκολο να δούμε ότι δεν ανήκουν στο
Επειδή κάθε πολυώνυμο γράφεται εκτός σταθερών κατά μοναδικό τρόπο
ως γινόμενο αναγώγων πολυωνύμων,
το αν δεν είναι ανάγωγο στο
θα γράφεται σαν γινόμενο δύο πολυωνύμων τετάρτου βαθμού.
Ετσι θα πρέπει
(1)
η
(2)
Μια σημαντική παρατήρηση εδώ είναι ότι (3)
Η (1) ισχύει αν
Λόγω της (3) η παραπάνω ικανοποιείται αν
θέτοντας παίρνουμε ότι
Συμπεραίνουμε ότι το είναι ζυγό.
Συνθήκη για το προκύπτει αν πάρουμε την (4)
και αναπτύξουμε το πρώτο μέλος.
Από την (4) κάνοντας πράξεις προκύπτει ότι
Ετσι προκύπτει ότι
με άρτιο ακέραιο.
Μπορούμε ισοδύναμα να πούμε ότι το είναι τέτοιο ώστε
ο να είναι άρτιος ακέραιος.
Δουλεύοντας με τον ίδιο τρόπο την (2)
προκύπτει
με άρτιο ακέραιο.
Μπορούμε ισοδύναμα να πούμε ότι το είναι τέτοιο ώστε
ο να είναι άρτιος ακέραιος.
Είναι
Περιορίζομαι στην περίπτωση
(Για έχει γίνει από τους προηγούμενους).
Πάω και λύνω την εξίσωση.
Οι ρίζες της
είναι οι
Αν θέσω
τοτε επειδή
και όμοια για το άλλο έχουμε
Τα πολυώνυμα που εμφανίζονται στην παραγοντοποίηση
είναι ανάγωγα στο
γιατί δεν έχουν πραγματική ρίζα.
Επίσης δεν είναι δύσκολο να δούμε ότι δεν ανήκουν στο
Επειδή κάθε πολυώνυμο γράφεται εκτός σταθερών κατά μοναδικό τρόπο
ως γινόμενο αναγώγων πολυωνύμων,
το αν δεν είναι ανάγωγο στο
θα γράφεται σαν γινόμενο δύο πολυωνύμων τετάρτου βαθμού.
Ετσι θα πρέπει
(1)
η
(2)
Μια σημαντική παρατήρηση εδώ είναι ότι (3)
Η (1) ισχύει αν
Λόγω της (3) η παραπάνω ικανοποιείται αν
θέτοντας παίρνουμε ότι
Συμπεραίνουμε ότι το είναι ζυγό.
Συνθήκη για το προκύπτει αν πάρουμε την (4)
και αναπτύξουμε το πρώτο μέλος.
Από την (4) κάνοντας πράξεις προκύπτει ότι
Ετσι προκύπτει ότι
με άρτιο ακέραιο.
Μπορούμε ισοδύναμα να πούμε ότι το είναι τέτοιο ώστε
ο να είναι άρτιος ακέραιος.
Δουλεύοντας με τον ίδιο τρόπο την (2)
προκύπτει
με άρτιο ακέραιο.
Μπορούμε ισοδύναμα να πούμε ότι το είναι τέτοιο ώστε
ο να είναι άρτιος ακέραιος.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Bing [Bot] και 2 επισκέπτες