4 άλυτες-πρώτη
Συντονιστής: Demetres
4 άλυτες-πρώτη
Έστω πολυώνυμο με βαθμό και το σύνολο
Να δειχθεί ότι για κάθε
Gazeta Matematica C878
Να δειχθεί ότι για κάθε
Gazeta Matematica C878
Σπύρος Καπελλίδης
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4456
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: 4 άλυτες-πρώτη
Γράφω μια προσέγγιση. Ελπίζω να μην μου έχει ξεφύγει κάτι.
Ας δούμε ποια ακριβώς είναι τα στοιχεία του . Πρόκειται για εκείνους τους άρρητους που απεικονίζονται σε ρητούς. Δηλαδή για εκείνα τα για τα οποία με . Ισοδύναμα για εκείνους τους πραγματικούς αλγεβρικούς που είναι ρίζες πολυωνύμων της μορφής με .
Το αποδεικτέο ισοδυναμεί με το ότι το είναι πυκνό στο .
Για την απόδειξη αρκεί να θεωρήσουμε πραγματικούς και να αποδείξουμε ότι μεταξύ τους βρίσκεται στοιχείο του . Μπορούμε χωρίς βλάβη της γενικότητας να υποθέσουμε ότι τα διότι σε ενάντια περίπτωση μπορούμε πάντα να θεωρήσουμε τέτοιους ώστε ,
και να εργασθούμε με αυτούς.
To έχει ρητούς συντελεστές και επομένως μπορεί να γραφεί
όπου ακέραιος και το έχει ακέραιους συντελεστές. Ας πούμε ότι
Θεωρούμε τις τεμνόμενες ευθείες
Το αρνητικό μέρος της και το θετικό μέρος της τέμνονται κατά το εσωτερικό μιας γωνίας του επιπέδου η οποία περιέχει άπειρα συνδεσμικά σημεία δηλαδή σημεία με συντεταγμένες ακεραίους. Είναι πάντα δυνατόν να επιλέξουμε ένα από αυτά ώστε:
όπου πρώτος που δεν διαιρεί κανένα από τους συντελεστές του
που δεν διαιρείται από τον .
Τότε για το πολυώνυμο με ακέραιους συντελεστές:
έχουμε ότι:
Επομένως από το κριτήριο του Eisenstein το είναι ανάγωγο. Άρα κάθε ρίζα του είναι μιγαδικός αριθμός που δεν είναι ρητός.
Από την επιλογή των έχουμε ότι
άρα από το θεώρημα του Bolzano το πολυώνυμο έχει μία τουλάχιστον πραγματική ρίζα μεταξύ των και . Επειδή αφού ο δεν διαιρείται από τον ο δεν είναι . Επομένως μπορούμε να θεωρήσουμε ότι . Τότε από την σχέση
έχουμε:
και επομένως
Άρα επομένως ο πραγματικός είναι άρρητος. Άρα το αυτό θα ισχύει για τον αντίστροφο του .
Από την έχουμε συνάγουμε οτι ο άρρητος είναι ρίζα του άρα είναι στοιχείο του που ολοκληρώνει την απόδειξη.
Edit 8/3/2023 15.35 Διόρθωση ονόματος πολυωνύμου από σε .
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 4 επισκέπτες