Presentation10 05 12.ppt - users.auth.grusers.auth.gr/hara/courses/history_of_math/2012/... · και στη συνέχεια αποδεικνύουν ότι είναι μιγαδικοί

Ε ό ξά Εαρινό εξάμηνο 201210.05.12

Χ Χαραλάμ ουςΧ. ΧαραλάμπουςΑΠΘ

Χαρά ΧαραλάμπουςΤμήμα Μαθηματικών

ΑΠΘ

Ιστορία των ΜαθηματικώνΕαρινό Εξάμηνο 2012

1. Έχει κάθε πολυώνυμο ρίζα?

2. Πόσες ρίζες έχει ένα πολυώνυμο βαθμού n?

3 Μπορούμε να καθορίσουμε πότε οι ρίζες είναι ρητές πραγματικές 3. Μπορούμε να καθορίσουμε πότε οι ρίζες είναι ρητές, πραγματικές, θετικές, κλπ?

4. Ποια είναι η σχέση ανάμεσα στις ρίζες του πολυωνύμου και στους συντελεστές του?

5. Πως βρίσκουμε τις ρίζες ενός πολυωνύμου?


ΑΠΘ


1. Έχει κάθε πολυώνυμο ρίζα?

Α ά Θ λ ώδ Θ ώ Άλ βΑπάντηση: Θεμελιώδες Θεώρημα της Άλγεβρας

Κάθ λ ώ ύ ή δ ύ λ έ έΚάθε πολυώνυμο με πραγματικούς ή μιγαδικούς συντελεστές έχει (τουλάχιστον) μία μιγαδική ρίζα.

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

Κάθε πολυώνυμο με πραγματικούς συντελεστές μπορεί να γραφεί ως γινόμενο πολυωνύμων βαθμού 1 ή 2 με πραγματικούς συντελεστές.


ΑΠΘ


Π ύ ά έ ? ( ό ό Πως προκύπτουν οι παραπάνω συνεπαγωγές? (από πότε γνώριζαν οι Μαθηματικοί ότι τα παραπάνω είναι ισοδύναμα?)ισοδύναμα?)

Γιατί το Θεώρημα αυτό λέγεται Θ.Θ. Άλγεβρας? Είναι τόσο ό? Πά ό ί Άλ β ? σημαντικό? Πάνω σε αυτό στηρίχτηκε η Άλγεβρα?

(Σύγκριση με το Θ.Θ. Λογισμού.)


ΑΠΘ


Ο Gi d ( 6 ) β βλί L'i ti Ο Girard (1595‐1632) στο βιβλίο του L'invention en algèbre το 1629 ισχυρίστηκε ότι πολυωνυμικές εξισώσεις βαθμού n έχουν n ρίζες (Όμως δεν είπε εξισώσεις βαθμού n έχουν n ρίζες. (Όμως δεν είπε ξεκάθαρα ότι οι ρίζες αυτές είναι μιγαδικές)


ΑΠΘ


Δύ ξ ά ζ ή Δύο ξεχωριστά ζητήματα:

Έχει κάθε πολυωνυμική εξίσωση με πραγματικούς συντελεστές μία ρίζα?

Είναι οι ρίζες της εξίσωσης (αν υπάρχουν )μιγαδικοί αριθμοί?


ΑΠΘ


Descartes: (1596-1650) το 1637 στο βιβλίο του Discours de la méthode pour bien conduire sa raison et chercher la vérité dans les sciences παρατήρησε ότι : «κάθε εξίσωση μπορεί να έχει τόσεςsciences παρατήρησε ότι : «κάθε εξίσωση μπορεί να έχει τόσες ρίζες όσος είναι ο αριθμός των διαστάσεων της άγνωστης ποσότητας στην εξίσωση.»ποσότητας στην εξίσωση.


ΑΠΘ


Ο Leibniz το 1702 ισχυρίστηκε ότι το το πολυώνυμο δεν μπορεί να αναλυθεί σε γινόμενο γραμμικών ή

δευτεροβάθμιων όρων (άρα το ΘΘΑ δεν ισχύει)δευτεροβάθμιων όρων, (άρα το ΘΘΑ δεν ισχύει).

Αφού γνωρίζουμε ότι το ΘΘΑ ισχύει, προφανώς μπορούμε να γράψουμε το παραπάνω πολυώνυμο ως γινόμενο δευτέρου βαθμού πολυωνύμων με πραγματικούς συντελεστές Γιατί όμως έκανε αυτό το λάθος ο Leibniz?πραγματικούς συντελεστές. Γιατί όμως έκανε αυτό το λάθος ο Leibniz?Ποια είναι αυτά τα πολυώνυμα? ∆οκιμάστε να βρείτε τα πολυώνυμα όταν

a = i


ΑΠΘ


N t bi ίζ ( ) ό bi ίζ ( ) Newton: αν a+bi ρίζα του p(x) τότε a‐bi ρίζα του p(x).


ΑΠΘ


Ο E l ( 8 ) λλ λ φί B lli Ο Euler (1707‐1783) σε αλληλογραφία με τους Bernoulli και Goldbach το 1742 έδειξε ότι το αντιπαράδειγμα του Leibniz ήταν λάθοςLeibniz ήταν λάθος.


ΑΠΘ


D’Alembert (1717‐1783) έκανε το 1746 τη πρώτη DAlembert (1717‐1783) έκανε το 1746 τη πρώτη (σοβαρή) απόπειρα να αποδείξει του ΘΘΑ. Η απόδειξη αυτή είχε κενά—στηρίχτηκε για απόδειξη αυτή είχε κενά—στηρίχτηκε για παράδειγμα σε κάτι που είναι ισοδύναμο με ένα θεώρημα σε σειρές που αποδείχτηκε το 1850 θεώρημα σε σειρές που αποδείχτηκε το 1850 (Puiseux).


ΑΠΘ


Euler επιχείρησε μία άλλη απόδειξη το 1749 (Μπορούσε να Euler επιχείρησε μία άλλη απόδειξη το 1749. (Μπορούσε να αποδείξει ότι κάθε πολυώνυμο με πραγματικούς συντελεστές και βαθμό n μικρότερο ή ίσο του 6 είχε συντελεστές και βαθμό n μικρότερο ή ίσο του 6 είχε ακριβώς n μιγαδικές ρίζες. Η απόδειξη ήταν στη γενική περίπτωση περισσότερο σκίτσο απόδειξης. περίπτωση περισσότερο σκίτσο απόδειξης.

Το 1772 ο Lagrange έδειξε μία ατέλεια της απόδειξης του Το 1772 ο Lagrange έδειξε μία ατέλεια της απόδειξης του Euler: ότι θα μπορούσε να οδηγήσει σε κλάσμα της μορφής 0/0 Διόρθωσε αυτό το σημείο μορφής 0/0. Διόρθωσε αυτό το σημείο.

Το 1795 ο Laplace έδωσε μία διαφορετική απόδειξη Το 1795 ο Laplace έδωσε μία διαφορετική απόδειξη χρησιμοποιώντας τη διακρίνουσα του πολυωνύμου.


ΑΠΘ


Το πραγματικό πρόβλημα των αποδείξεων: ο πραγματικό πρόβλημα των αποδείξεων:

Υποθέτουν ότι το πολυώνυμο έχει ρίζες (κάποιας μορφής) Υποθέτουν ότι το πολυώνυμο έχει ρίζες (κάποιας μορφής) και στη συνέχεια αποδεικνύουν ότι είναι μιγαδικοί αριθμοί. αριθμοί.

Lagrange (1736-1813) Laplace (1749-1827)


ΑΠΘ


Ο πρώτος που παρατήρησε το βασικό πρόβλημα των προηγούμενων αποδείξεων ήταν ο Gauss (1777-1855) στη δ δ ή δ βή 1799 Ε ί ίδιδακτορική του διατριβή το 1799. Εκεί παρουσίασε και τη πρώτη του απόδειξη που χρησιμοποιεί τοπολογικές ιδέες. Έχει και αυτή σοβαρές ελλείψεις.Άλλες δύο αποδείξεις, το 1816και αυτή σοβαρές ελλείψεις.Άλλες δύο αποδείξεις, το 1816(σωστή), 1849 (για τις πολ. εξισώσεις με μιγαδικούς συντελεστές) .


ΑΠΘ


ΟArgand (1768 1822) το 1814 δημοσίευσε μία απόδειξη τουΟ Argand (1768-1822) το 1814 δημοσίευσε μία απόδειξη του ΘΘΑ στην εργασία του Réflexions sur la nouvelle théorie d'analyse. Η απόδειξη του Argand βασιζόταν στην ιδέα του d analyse. Η απόδειξη του Argand βασιζόταν στην ιδέα του d’Alembert.

Το 1820 ο Cauchy αφιερώνει ένα ολόκληρο κεφάλαιο από το Cours d'analyse για την απόδειξη του Argand χωρίς να αναφέρει τον Argand.

Τελικά ο Argand αναγνωρίστηκε όταν τον ανέφερε ο Chrystalστο βιβλίο του Algebra το 1886.


ΑΠΘ


Cauchy (1789-1857)


ΑΠΘ


Παρατηρήσεις:Παρατηρήσεις:Οι μιγαδικοί αριθμοί είναι το απλούστερο σύστημα που περιέχει τους πραγματικούς και μπορεί να περιέχει τους πραγματικούς και μπορεί να κατασκευαστεί από αυτούς με πολύ απλό τρόπο:

C= R+R i όπου i i = 1 C= R+R i όπου i i =‐1 ( δηλαδή το i είναι αλγεβρικό πάνω από το R)

Υπάρχουν άλλα τέτοια συστήματα? ( Ο Gauss φαίνεται ί λ ύ άλλ έ ή να το πίστευε: αποκαλούσε τα άλλα τέτοια συστήματα

“σκιά της σκιάς” ) .


ΑΠΘ


H ώ ή όδ ξ β έ H πρώτη κατασκευαστική απόδειξη βασισμένη στην απόδειξη (ύπαρξης) του Argand δόθηκε το 1940 από τον Kneser (μαθητής του Hilbert)Kneser (μαθητής του Hilbert).


ΑΠΘ


2. Πόσες ρίζες έχει ένα πολυώνυμο βαθμού n?

Ο Descartes έδειξε ότι αν a είναι ρίζα του p(x) τότε p(x)=(x‐a)q(x)

όπου βαθμός q(x) είναι βαθμός p(x) μείον 1. Επαναλαμβάνοντας (και θεωρώντας ότι το ΘΘΑ ισχύει) προκύπτει ότι αν ο βαθμός του p(x) είναι n τότε


ΑΠΘ


3. Μπορούμε να καθορίσουμε πότε οι ρίζες είναι ρητές, πραγματικές θετικές κλπ?πραγματικές, θετικές, κλπ?

κάθε πολυώνυμο περιττού βαθμού με πραγματικούς συντελεστέςκάθε πολυώνυμο περιττού βαθμού με πραγματικούς συντελεστές έχει μία πραγματική ρίζα. Παρόλο αποδεκτό τον 17 και 18 αιώνα αποδείχτηκε τον 19ο αιώνα ως συνέπεια του χ η ςΘεωρήματος Μέσης Τιμής από τον Λογισμό:

(Κάθε συνεχής συνάρτηση που είναι θετική για κάποιες τιμές και αρνητική για κάποιες άλλες πρέπει να διασχίζει τον άξονα των x και να έχει μία ρίζα.)


ΑΠΘ


Descartes: κριτήριο για το ποιοί ρητοί a/b μπορούν να ρ ήρ γ ρη μ ρείναι ρίζες ενός πολυωνύμου.

Descartes: (χωρίς απόδειξη) άνω όριο για τον αριθμό των (χ ρ ς ξη) ρ γ ρ μθετικών ριζών ενός πολυωνύμουμετράμε τον αριθμό των αλλαγών των προσήμων από + σε –και από – σε +

Descartes: (χωρίς απόδειξη) άνω όριο για τον αριθμό των αρνητικών ριζών ενός πολυωνύμουμετράμε τον αριθμό των δύο συνεχόμενων + και δύο

ό συνεχόμενων ‐


ΑΠΘ


Ερώτημα 4: Ποια είναι η σχέση ανάμεσα στις ρίζες του πολυωνύμου και στους συντελεστές του?

σχέση ανάμεσα στις ρίζες ενός δευτεροβάθμιου πολυωνύμου και στους συντελεστές του πολυωνύμου: γνωστή.

αντίστοιχη σχέση για τις ρίζες και τους συντελεστές λ ύ β θ ύ έ ό Vi tπολυωνύμων βαθμού έως και 5 από τον Viete.

Ο N ή έ ώ Ο Newton εισήγαγε την έννοια των συμμετρικών συναρτήσεων που εκφράζουν αυτές τις σχέσεις ανάμεσα στις ρίζες και τους συντελεστές για πολυώνυμα βαθμού n στις ρίζες και τους συντελεστές για πολυώνυμα βαθμού n. (Ρόλος συμμετρικών συναρτήσεων στην επίλυση με ριζικά και Θεωρία Galois).


ΑΠΘ


ρ )

5. Πως βρίσκουμε τις ρίζες ενός πολυωνύμου?

Το επιθυμητό είναι να δοθεί η λύση με ριζικά όπως για Το επιθυμητό είναι να δοθεί η λύση με ριζικά όπως για πολυώνυμα βαθμού 2,3,4.

Προσπάθεια: εύρεση τέτοιας λύσης (ακριβής λύση) για πολυώνυμα βαθμού μεγαλύτερου του 4πολυώνυμα βαθμού μεγαλύτερου του 4.

Παράλληλα: όταν δεν υπάρχει ακριβής λύση γίνεται ανάπτυξη μεθόδων για την εύρεση προσεγγιστικών λύσεων π.χ. Newton (17ος αιώνας), Horner (19οςαιώνας)


ΑΠΘ


Μελέτη των λύσεων οδηγεί στην μελέτη των ιδιοτήτων διάφορων συστημάτων αριθμών (πχ σύστημα των φ ώ θ ώ ώ δ ώ λ )φυσικών αριθμών, των ρητών, των μιγαδικών, κλπ)

Newton: αρνητικοί αριθμοί «ποσότητες μικρότερες του τίποτα»

Leibniz: μιγαδικοί αριθμοί « αμφίβια ανάμεσα στα όντα και μη όντα»

Κανόνες όπως (‐1)(‐1)=1 γνωστοί από την αρχαιότητα. γ η ρχ ηΌμως χωρίς δικαιολόγηση. Από πότε γίνονται δεκτοί για σύμβολα (δηλ. (‐a) (‐a)=a)?


ΑΠΘ


Documents

Presentation10 05 12.ppt - users.auth.grusers.auth.gr/hara/courses/history_of_math/2012/... · και στη συνέχεια αποδεικνύουν ότι είναι μιγαδικοί