Κανόνας προσήμων του Ντεκάρτ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση

Στα μαθηματικά, ο κανόνας προσήμων του Ντεκάρτ, ο οποίος περιγράφηκε για πρώτη φορά από τον Ρενέ Ντεκάρτ (René Descartes) στο έργο του La Géométrie (Η Γεωμετρία), είναι μια τεχνική για τον καθορισμό του αριθμού των θετικών ή αρνητικών πραγματικών ριζών ενός πολυωνύμου.

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

Κανόνας προσήμων του Ντεκάρτ[Επεξεργασία | επεξεργασία κώδικα]

Θετικές ρίζες[Επεξεργασία | επεξεργασία κώδικα]

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

Αρνητικές ρίζες[Επεξεργασία | επεξεργασία κώδικα]

Ως πόρισμα του κανόνα, ο αριθμός των αρνητικών ριζών είναι είτε ίσος με τον αριθμό των εναλλαγών προσήμου στην ακολουθία των συντελεστών του πολυωνύμου, αφού πολλαπλασιαστούν με τον αριθμό −1 οι συντελεστές των όρων με περιττό εκθέτη, είτε μικρότερος κατά έναν άρτιο αριθμό. Η διαδικασία αυτή είναι ισοδύναμη με την αντικατάσταση του συμπληρώματος των μεταβλητών με τις ίδιες τις μεταβλητές. Για παράδειγμα, για να βρούμε τον αριθμό των αρνητικών ριζών του , μπορούμε ισοδύναμα να ρωτήσουμε πόσες θετικές ρίζες υπάρχουν για το στο Χρησιμοποιώντας τον κανόνα προσήμων του Ντεκάρτ στο λαμβάνουμε τον αριθμό των θετικών ριζών του g, και αφού λαμβάνουμε τον αριθμό των θετικών ριζών του f, ο οποίος είναι ίδιος με τον αριθμό των αρνητικών ριζών του f.

Παράδειγμα[Επεξεργασία | επεξεργασία κώδικα]

Το πολυώνυμο

έχει μία εναλλαγή προσήμου μεταξύ του δεύτερου και τρίτου όρου (η ακολουθία των ζευγαριών των διαδοχικών προσήμων είναι ++, +−, −−). Οπότε έχει ακριβώς μία ρίζα. Παρατηρείστε ότι το αρχικό πρόσημο λαμβάνεται υπ' όψιν παρ' ότι στο συγκεκριμένο παράδειγμα δεν επηρεάζει την απάντηση. Για να βρεθεί ο αριθμός των αρνητικών ριζών, άλλαξε τα πρόσημα των συντελεστών των όρων με περιττό εκθέτη και έπειτα εφάρμοσε τον κανόνα προσήμων του Ντεκάρτ στο πολυώνυμο , ώστε να λάβεις το δεύτερο πολυώνυμο

Αυτό το πολυώνυμο έχει δύο εναλλαγές προσήμου (η ακολουθία των ζευγαριών των διαδοχικών προσήμων είναι −+, ++, +−), που σημαίνει ότι το δεύτερο αυτό πολυώνυμο έχει δύο ή μηδέν θετικές ρίζες. Οπότε, το αρχικό πολυώνυμο έχει δύο ή μηδέν αρνητικές ρίζες.

Όντως, με παραγοντοποίηση το πρώτο πολυώνυμο γράφεται ως

οπότε οι ρίζες είναι −1 (διπλή ρίζα) και 1.

Με παραγοντοποίηση το δεύτερο πολυώνυμο γράφεται ως

Οπότε σε αυτή την περίπτωση, οι ρίζες είναι ένα 1 (διπλή ρίζα) και −1, δηλαδή οι συμπληρωματικές ρίζες του αρχικού πολυωνύμου.

Σύνθετες ρίζες[Επεξεργασία | επεξεργασία κώδικα]

Οποιοδήποτε nοστού βαθμού πολυώνυμο έχει ακριβώς n ρίζες. Οπότε αν f(x) είναι ένα πολυώνυμο το οποίο δεν έχει ρίζα στο 0 (το οποίο μπορεί να επαληθευθεί με τον έλεγχο αυτής της περίπτωσης), τότε ο ελάχιστος αριθμός των σύνθετων ριζών του είναι ίσος με

όπου το p δηλώνει το μέγιστο αριθμό των θετικών ριζών, το q δηλώνει το μέγιστο αριθμό των αρνητικών ριζών (και οι δύο αριθμοί μπορούν να βρεθούν χρησιμοποιώντας τον κανόνα προσήμων του Ντεκάρτ) και το n δηλώνει το βαθμό της εξίσωσης. Ένα απλό παράδειγμα είναι το πολυώνυμο

το οποίο έχει μία εναλλαγή προσήμου, οπότε ο μέγιστος αριθμός των θετικών ριζών του είναι 1. Από το

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

Αφού οι σύνθετες ρίζες ενός πολυωνύμου με πραγματικούς συντελεστές πρέπει να εμφανίζονται σε συζευγμένα ζεύγη, μπορούμε να δούμε ότι το x3 - 1 έχει ακριβώς 2 σύνθετες ρίζες και 1 πραγματική (θετική) ρίζα.

Ειδική περίπτωση[Επεξεργασία | επεξεργασία κώδικα]

Η αφαίρεση μόνο πολλαπλάσιων του 2 από το μέγιστο αριθμό των θετικών ριζών συμβαίνει διότι το πολυώνυμο ίσως έχει σύνθετες ρίζες, οι οποίες πηγαίνουν πάντοτε σε ζεύγη, αφού ο κανόνας εφαρμόζεται σε πολυώνυμα των οποίων οι συντελεστές είναι πραγματικοί αριθμοί. Οπότε αν είναι γνωστό ότι το πολυώνυμο έχει μόνο πραγματικές ρίζες, ο κανόνας αυτός επιτρέπει σε κάποιον να βρει τον ακριβή αριθμό των θετικών και αρνητικών ριζών. Εφόσον είναι εύκολο να καθοριστεί η πολλαπλότητα του μηδέν ως ρίζα, στην περίπτωση αυτή μπορεί να υπολογιστεί το πρόσημο όλων των ριζών.

Γενίκευση[Επεξεργασία | επεξεργασία κώδικα]

Αν το πραγματικό πολυώνυμο P έχει k πραγματικές θετικές ρίζες, λαμβάνοντας υπ' όψιν και τις πολλαπλότητες, τότε για κάθε a > 0 υπάρχουν τουλάχιστον k εναλλαγές πρσήμου στην ακολουθία των συντελεστών της σειράς Τέιλορ (Taylor) της συνάρτησης eaxP(x).[1]

Τη δεκαετία του 1970 ο Askold Georgevich Khovanskiǐ ανέπτυξε τη θεωρία των λιγοωνύμων (fewnomials) που γενικεύει τον κανόνα του Ντεκάρτ.[2] Ο κανόνας των προσήμων μπορεί να θεωρηθεί το ίδιο με τη δήλωση ότι ο αριθμός των πραγματικών ριζών ενός πολυωνύμου εξαρτάται από την πολυπλοκότητα του πολυωνύμου και ότι αυτή η πολυπλοκότητα είναι ανάλογη με τον αριθμό των μονώνυμων που έχει, όχι του βαθμού του. Ο Khovanskiǐ απέδειξε ότι αυτό ισχύει όχι μόνο για τα πολυώνυμα αλλά και για τους αλγεβρικούς συνδυασμούς πολλών υπερβατικών (transcendental) συναρτήσεων, των λεγόμενων Pfaffian συναρτήσεων.

Δείτε επίσης[Επεξεργασία | επεξεργασία κώδικα]

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

  1. Vladimir P. Kostov, A mapping defined by the Schur-Szegő composition, Comptes Rendus Acad. Bulg. Sci. tome 63, No. 7, 2010, 943 - 952.
  2. Khovanskiǐ, A.G. (1991). Fewnomials. Translations of Mathematical Monographs. Translated from the Russian by Smilka Zdravkovska. Providence, RI: American Mathematical Society, σελ. 88. ISBN 0-8218-4547-0. Zbl 0728.12002. 

Εξωτερικοί Σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]

Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Descartes'_rule_of_signs της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 3.0. (ιστορικό/συντάκτες).