Τετραγωνικός τύπος

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

Η γενική εξίσωση είναι:

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

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

As well as being a formula that yields the zeros of any parabola, the quadratic formula can also be used to identify the axis of symmetry of the parabola, and the number of real zeros the quadratic equation contains.

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

 Με συμπλήρωση τετραγώνου 

Διαιρούμε την δευτεροβάθμια εξίσωση με , το οποίο είναι επιτρεπτό, καθώς το  δεν είναι μηδέν,
.
Αφαιρούμε το  και από τα δύο μέλη της εξίσωσης:
.

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

Κατά συνέπεια, μετά από αναδιάταξη των όρων στη δεξιά πλευρά ώστε να έχουν έναν κοινό παρονομαστή, παίρνουμε το ακόλουθο αποτέλεσμα:
.

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

Λύνοντας ως προς , παίρνουμε τον ακόλουθο τύπο:
.

Το Σύμβολο συν-πλην "±" υποδεικνύει ότι και η
 αλλά και η    

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

Ορισμένες πηγές, κυρίως παλιές, χρησιμοποιούν εναλλακτικές παραμετροποιήσεις της δευτεροβάθμιας εξίσωσης όπως Kahan, Willian (November 20, 2004), On the Cost of Floating-Point Computation Without Extra-Precise Arithmetic (PDF), retrieved 2012-12-25 ή  "Quadratic Equation", Proof Wiki, retrieved 2012-12-25, όπου το  είναι κατά μέγεθος το ήμισυ από το πιο κοινό. Αυτά οδηγούν σε ελαφρώς διαφορετικές μορφές της λύσης, αλλά παρόλα αυτά είναι ισοδύναμες.

 Εναλλακτική μέθοδος για την συμπλήρωση τετραγώνου 
Η μεγάλη πλειοψηφία των αλγεβρικών κειμένων που δημοσιεύονται τις τελευταίες δεκαετίες διδάσκουν την συμπλήρωση τετραγώνου χρησιμοποιώντας την ακολουθία που παρουσιάστηκε νωρίτερα: (1) διαιρούμε κάθε μέλος με  έτσι ώστε το πολυώνυμο να γίνει μονικό , (2) αναδιατάσσουμε τους όρους, (3) και στη συνέχεια προσθέτουμε το  και στα δυο μέλη τις εξίσωσης για να γίνει η συμπλήρωση τετραγώνου.

Όπως επισήμανε ο Larry Hoehn το 1975,η συμπλήρωση τετραγώνου μπορεί να επιτευχθεί με μια διαφορετική ακολουθία που οδηγεί σε απλούστερη ακολουθία των ενδιάμεσων ορών: (1) πολλαπλασιάζουμε κάθε μέλος με το , (2) αναδιατάσσουμε τους όρους, (3) στη συνέχεια, προσθέτουμε το .

Αυτό στην πραγματικότητα αντιπροσωπεύει μια αρχαία προέλευση του τετραγωνικού τύπου, και ήταν γνωστό στους Ινδουιστές τουλάχιστον από το 1025.Smith, David E. (1958). History of Mathematics, Vol. II. Dover Publications. p. 446.ISBN 0486204308. Σε σύγκριση με την προέλευση στην τυπική χρήση, αυτή η εναλλακτική προέλευση είναι συντομότερη, περιλαμβάνει λιγότερους υπολογισμούς με πραγματικούς συντελεστές, αποφεύγει κλάσματα μέχρι το τελευταίο βήμα, έχει απλούστερες εκφράσεις, και χρησιμοποιεί απλούστερα μαθηματικά. Όπως αναφέρει Hoehn, "είναι πιο εύκολο να προσθέσεις το τετράγωνο του " από οτι " να προσθέσεις το τετράγωνο του μισού συντελεστή του όρου x".

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

Κάνοντας τις πράξεις και στη συνέχεια συγκεντρώνοντας τις δυνάμεις του , προκύπτει:
.

Δεν έχουμε ακόμη ορίσει μια δεύτερη προϋπόθεση για τα  και , οπότε τώρα μπορούμε να επιλέξουμε το m έτσι ώστε ο μεσαίος όρος να εξαφανιστεί. Δηλαδή,   ή  . Αφαιρούμε το σταθερό όρο και απο τα δύο μέλη της εξίσωσης (για να μετακινηθεί προς το δεξί μέλος) , και στη συνέχεια διαιρούμε με α και προκύπτει:
.

Αντικαθιστούμε το  και έχουμε:
.

Ως εκ τούτου,
.
αντικαθιστώντας το    προκύπτει ο τετραγωνικός τύπος.

 Χρησιμοποιώντας αλγεβρικές ταυτότητες 
Η ακόλουθη μέθοδος χρησιμοποιήθηκε από πολλούς ιστορικούς των μαθηματικών:

Έστω  και  οι ρίζες της τυπικής δευτεροβάθμιας εξίσωσης. Σε αυτό το σημείο, υπενθυμίζουμε την ταυτότητα:
.

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

Δεδομένου ότι  ≠ 0, μπορούμε να διαιρέσουμε την τυπική εξίσωση με το   για να αποκτήσουμε ένα τετραγωνικό πολυώνυμο που έχει τις ίδιες ρίζες. Δηλαδή,

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

Από το r2 = −r1 − , αν λάβουμε

στη συνέχεια, θα αποκτήσουμε
,
και αν αντί για αυτό πάρουμε

στη συνέχεια υπολογίζουμε ότι
.

Συνδυάζοντας αυτά τα αποτελέσματα με τη χρήση της στενογραφίας ±, έχουμε ότι οι λύσεις της εξίσωσης δίνονται από τον τύπο:
.

 Με τις επιλύουσες Λαγκράνζ 
Ένας εναλλακτικός τρόπος για την εξαγωγή του τετραγωνικού τύπου είναι μέσω της μεθόδου των επιλυουσών Λαγκράνζ, το οποίο είναι ένα πρώιμο κομμάτι της θεωρίας Γκαλουά. Αυτή η μέθοδος μπορεί να γενικευθεί για να δώσει τις ρίζες των κυβικών πολυωνύμων και των πολυωνύμων τετάρτου βαθμού, και οδηγεί στη θεωρία Γκαλουά, η οποία επιτρέπει σε κάποιον να καταλάβει τη λύση των αλγεβρικών εξισώσεων οποιουδήποτε βαθμού λαμβάνοντας υπόψη την ομάδα συμμετρίας των ριζών τους, την ομάδα Γκαλουά.

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

Λόγω της αντιμεταθετικής ιδιότητας της πρόσθεσης και του πολλαπλασιασμού, μπορεί κανείς να αλλάξει τα  και  και οι τιμές των  και  δεν θα αλλάξουν: κάποιος μπορεί να πει ότι  και  είναι συμμετρικά πολυώνυμα στα  και . Στην πραγματικότητα, είναι τα στοιχειώδη συμμετρικά πολυώνυμα – κάθε συμμετρικό πολυώνυμο στα  και  μπορεί να εκφραστεί με τους όρους  και . Η προσέγγιση της θεωρίας Γκαλουά για την ανάλυση και την επίλυση πολυωνύμων είναι: δοθέντων των συντελεστών ενός πολυωνύμου, οι οποίοι είναι συμμετρικές συναρτήσεις στις ρίζες, μπορεί κανείς να "σπάσει τη συμμετρία" και να ανακτήσει τις ρίζες; Έτσι η επίλυση ένα πολυώνυμου βαθμού  σχετίζεται με τους τρόπους αναδιάταξης ("μετάθεση")  όρων, που ονομάζεται συμμετρική ομάδα σε  γράμματα, και συμβολίζεται με Sn. Για το πολυώνυμο δευτέρου βαθμού, ο μόνος τρόπος να αναδιατάξετε τους δύο όρους είναι να τους αλλάξετε (να τους "μεταθέσετε"), και, έτσι, η επίλυση ενός πολυώνυμου δευτέρου βαθμού είναι απλή.

Για να βρείτε τις ρίζες  και , να εξετάσετε το άθροισμα και τη διαφορά τους:

Αυτά ονομάζονται επιλύουσες lagrange του πολυώνυμου: παρατηρήστε ότι ένα από αυτά εξαρτάται από τη σειρά των ριζών, που είναι το σημείο κλειδί. Μπορεί κανείς να ανακτήσει τις ρίζες από τις επιλύουσες αντιστρέφοντας τις παραπάνω εξισώσεις:

Έτσι, επιλύοντας ως προς τις επιλύουσες δίνει τις αρχικές ρίζες.

Τώρα το  r1 = α + β   είναι μια συμμετρική συνάρτηση των  και , οπότε μπορεί να εκφραστεί με τους όρους  και , και στην πραγματικότητα,  r1 = −p , όπως αναφέρεται παραπάνω. Αλλά το r2= α − β  δεν είναι συμμετρικό, αφού αλλάζοντας τα  και  παράγεται το −r2 = β − α (τυπικά, αυτό ονομάζεται ομάδα δράσης της συμμετρικής ομάδας των ριζών). Αφού το r2 δεν είναι συμμετρικό, δεν μπορεί να εκφραστεί με τους συντελεστές   και , καθώς αυτοί είναι συμμετρικοί στις ρίζες και, συνεπώς, το ίδιο είναι κάθε πολυωνυμική έκφραση που τους περιλαμβάνει. Αλλάζοντας την σειρά των ριζών το μόνο που αλλάζει είναι το r2, κατά παράγοντα -1, και έτσι το τετράγωνο r22 = (α − β)  είναι συμμετρικό ως προς τις ρίζες, και έτσι μπορεί να εκφραστεί με τους όρους  και . Χρησιμοποιώντας την εξίσωση
,
παράγεται
,
και έτσι

Αν λάβει κανείς τη θετική ρίζα, σπάζοντας τη συμμετρία, αποκτά:

και έτσι

Έτσι οι ρίζες είναι
,
που είναι o τετραγωνικός τύπος. Αντικαθιστώντας

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

Μια παρόμοια αλλά πιο περίπλοκη μέθοδος λειτουργεί για κυβικές εξισώσεις, όπου υπάρχουν τρεις επιλύουσες και μια δευτεροβάθμια εξίσωση (η "επίλυση πολυώνυμων") που αφορά τα  r2 και  r3, την οποία μπορεί κανείς να λύσει από την δευτεροβάθμια εξίσωση, και ομοίως για μία εξίσωση τετάρτου βαθμού, του οποίου η επίλυση πολυωνύμου είναι κυβική, η οποία μπορεί με τη σειρά της να λυθεί. Η ίδια μέθοδος για μια εξίσωση πέμπτου βαθμού παράγει ένα πολυώνυμο βαθμού 24, το οποίο δεν απλοποιεί το πρόβλημα, και στην πραγματικότητα οι λύσεις εξισώσεων πέμπτου βαθμού σε γενικές γραμμές δεν μπορεί να εκφραστεί χρησιμοποιώντας μόνο ρίζες.

 Γεωμετρική σημασία 
Χωρίς να εμβαθύνουμε στις παραβολές όπως γεωμετρικά αντικείμενα σε ένα κώνο (βλ Κωνική τομή), μια παραβολή είναι οποιαδήποτε καμπύλη που περιγράφεται από ένα δεύτερης τάξης πολυώνυμο, δηλαδή κάθε εξίσωση της μορφής:

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

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

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

 Ιστορική εξέλιξη 
μικρογραφία|Ο Ευκλείδης στο σχολείο της Αθήνας του Ραφαήλ.
Οι παλαιότερες μέθοδοι για την επίλυση δευτεροβάθμιων εξισώσεων ήταν γεωμετρικές. Βαβυλωνιακές σφηνοειδής πλάκες περιέχουν προβλήματα που ανάγονται στην επίλυση δευτεροβάθμιων εξισώσεων. Ο Αιγυπτιακός Πάπυρος του Βερολίνου, που χρονολογείται από το Μέσο Βασίλειο (2050 π.Χ. έως το 1650 π.Χ.), περιέχει τη λύση μιας δευτεροβάθμιας εξίσωσης με δύο όρους.

Ο Έλληνας μαθηματικός Ευκλείδης (περίπου 300 π.Χ.) χρησιμοποίησε γεωμετρικές μεθόδους για να λύσει δευτεροβάθμιες εξισώσεις στο δεύτερο βιβλίο του Στοιχεία, μια σημαντική μαθηματική διατριβή. Κανόνες για δευτεροβάθμιες εξισώσεις φαίνονται στο Κινεζικό Τα Εννέα Κεφάλαια σχετικά με την Μαθηματική Τέχνη περίπου στο 200 π.Χ. Ο Έλληνας μαθηματικός Διόφαντος με το έργο του Αριθμητικά (περίπου στο 250 π.Χ.) έλυσε δευτεροβάθμιες εξισώσεις με μια πιο αλγεβρικά αναγνωρίσιμη μέθοδο από τη γεωμετρική άλγεβρα του Ευκλείδη. Η λύση δίνει μόνο μία ρίζα, ακόμα και όταν και οι δύο ρίζες είναι θετικές.

Ο Ινδός μαθηματικός Βραχμαγκούπτα (597-668 μ.Χ.) περιγράφει το τετραγωνικό τύπο στην διατριβή του Brāhmasphuṭasiddhānta που δημοσιεύθηκε το 628 μ.Χ., αλλά ήταν γραμμένο με λέξεις αντί για σύμβολα. Η λύση της εξίσωσης  ήταν ως εξής: "ο απόλυτος αριθμός πολλαπλασιάζεται τέσσερις φορές με το [συντελεστή] του x εις το τετράγωνο και προσθέτουμε το τετράγωνο του [συντελεστή] του δεύτερου όρου. Από την τετραγωνική ρίζα του παραπάνω όρου, αφαιρούμε το [συντελεστή] του x, και το διαιρούμε με δύο φορές το [συντελεστή] του πρώτου όρου". Αυτό είναι ισοδύναμο με:
.

Τον 9ο αιώνα, o Πέρσης μαθηματικός Αλ-Χουαρίζμι, επηρεάστηκε από παλαιότερους Έλληνες και Ινδούς μαθηματικούς, για να λύσει δευτεροβάθμιες εξισώσεις αλγεβρικά. Ο τετραγωνικός τύπος που καλύπτει όλες τις περιπτώσεις βρέθηκε πρώτα απο τον Simon Stevin το 1594. Το 1637 ο Ρενέ Ντεκάρτ δημοσίευσε το La Géométrie που περιέχει τον τετραγωνικό τύπο, με τη μορφή που γνωρίζουμε σήμερα. Η πρώτη εμφάνιση της γενικής λύσης στη σύγχρονη μαθηματική λογοτεχνία εμφανίστηκε σε ένα 1896 έγγραφο από τον Henry Heaton.

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

 Δείτε επίσης 
 Διακρίνουσα
 Τριώνυμο
 Δευτεροβάθμια εξίσωση
 Παραβολή (γεωμετρία)
 Θεμελιώδες θεώρημα της άλγεβρας

Παραπομπές

 Εξωτερικοί σύνδεσμοι 
 Διερεύνηση τριωνύμου
 Εναλλακτικός τύπος(Wolfram)

Κατηγορία:Στοιχειώδης άλγεβρα
Κατηγορία:Εξισώσεις