ΚΕΦΑΛΑΙΟ 4 ΔΙΑΝΥΣΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ

Transcript

1 ΚΕΦΑΛΑΙΟ 4 ΔΙΑΝΥΣΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Στη Φυσική εμφανίζονται πολλά μεγέθη, όπως μετατοπίσεις, ταχύτητες, ροπές, δυνάμεις, τα οποία για να προσδιοριστούν πλήρως δεν αρκεί μόνο να είναι γνωστό το μέτρο τους, αλλά πρέπει να είναι γνωστή και η κατεύθυνσή τους, δηλαδή η διεύθυνση και η φορά τους. Τέτοιου είδους μεγέθη χαρακτηρίζονται ως διανυσματικά. Όμως και χωρίς γνώσεις Φυσικής είναι εύκολο να αντιληφθούμε ότι ένας τυχαίος περίπατος πάνω σε ευθεία γραμμή (διεύθυνση) μεταξύ δύο σημείων Α και Β αυτής μπορεί να περιγραφεί με το μήκος του ευθυγράμμου τμήματος ΑΒ (μέτρο) και από τα σημεία εκκίνησης και άφιξης (φορά διαγραφής). Έτσι από μαθηματικής πλευράς τίθεται το πρόβλημα της εισαγωγής ενός συστήματος μαθηματικών αντικειμένων, που θα είναι τα κατάλληλα μοντέλα για τα διανυσματικά μεγέθη που εμφανίζονται στη Φυσική. Το πρόβλημα αυτό οδηγεί κατ αρχήν στη θεώρηση των γεωμετρικών διανυσμάτων και στη συνέχεια στη θεώρηση των αλγεβρικών διανυσμάτων, όπως οι διατεταγμένες τριάδες πραγματικών αριθμών. Όπως ξέρουμε από τη Φυσική, σε κάθε δύο δυνάμεις που εξασκούνται σε ένα σώμα, αντιστοιχίζεται μία δύναμη, η συνισταμένη τους, που επιφέρει τα ίδια αποτελέσματα με τις δύο προηγούμενες δυνάμεις. Το γεγονός αυτό μας οδηγεί στην εισαγωγή αλγεβρικής δομής στο σύνολο των γεωμετρικών διανυσμάτων, το οποίο γίνεται έτσι διανυσματικός χώρος. Επιπλέον, υπάρχουν πολλά μαθηματικά προβλήματα που έχουν την ιδιότητα για κάθε δύο λύσεις τους, έστω f και g, η συνάρτηση λ f + μg, λ, μ είναι επίσης λύση. Τέτοια προβλήματα λέγονται γραμμικά και λύνονται συνήθως πολύ πιο εύκολα από τα προβλήματα που δεν έχουν την εν λόγω ιδιότητα. Αξιοσημείωτο είναι ακόμη το ότι πολλά προβλήματα που προκύπτουν από τις διάφορες εφαρμογές είναι γραμμικά, όπως προβλήματα θεωρίας δυναμικού, θερμότητας και ταλαντώσεων μηχανικών συστημάτων μικρού πλάτους, ενώ άλλα προβλήματα θεωρούνται κατά προσέγγιση γραμμικά για να επιλύονται ευκολότερα, όπως στην περίπτωση των ταλαντώσεων του απλού εκκρεμούς. Στα επόμενα θα ασχοληθούμε διεξοδικά με τις παραπάνω έννοιες.

2 76 Κεφάλαιο 4. Διανυσματικός λογισμός 4.1 Ο διανυσματικός χώρος Στα επόμενα θεωρούμε γνωστές τις πρωταρχικές έννοιες της Ευκλείδειας Γεωμετρίας, όπως την έννοια της ευθείας, του επιπέδου, της παραλληλίας, του μήκους ευθυγράμμου τμήματος κ.λ.π. Στο σύνολο E των ευθειών του χώρου θεωρούμε τη σχέση σ : ε σε ε ε ή ε ε. Δ Είναι φανερό ότι η σ είναι σχέση ισοδυναμίας στο σύνολο E και ότι κάθε κλάση ισοδυναμίας του E ως προς τη σχέση σ περιέχει ευθείες που είναι παράλληλες μεταξύ τους. Επιπλέον, όταν δοθεί μία ευθεία ε στο χώρο, τότε η κλάση ισοδυναμίας που περιέχει την ε αποτελείται από την ε και όλες τις ευθείες που είναι παράλληλες προς αυτήν. Κάθε στοιχείο του συνόλου E / σ των κλάσεων ισοδυναμίας λέγεται διεύθυνση ή λέμε ότι ορίζει μία διεύθυνση. Θεωρούμε στη συνέχεια τυχούσα ευθεία x x μιας διεύθυνσης και ένα σταθερό σημείο Ο πάνω σε αυτή. Τότε ορίζονται δύο ημιευθείες Ο x και Ο x που η ένωσή τους είναι η x x. Ορίζουμε τη μία από τις δύο ημιευθείες, έστω την Ο x, ως θετική ή ως ημιευθεία θετικής φοράς, οπότε πλέον η Ο x ορίζεται ως αρνητική ή ως ημιευθεία αρνητικής φοράς. Τότε η ευθεία x x είναι προσανατολισμένη. Αν τώρα θεωρήσουμε σε μία άλλη ευθεία yy της διεύθυνσης που ορίζεται από την ευθεία x x, ένα σταθερό σημείο Ο, τότε οι ημιευθείες που βρίσκονται στο ίδιο ημιεπίπεδο ακμής ΟΟ έχουν την ίδια φορά, δηλαδή στο σχήμα 4.1 η ημιευθεία Ο y έχει την ίδια φορά με την ημιευθεία Ο x και αντίθετη φορά με την ημιευθεία Ο x. Έτσι μία διεύθυνση εφοδιάζεται με την έννοια της φοράς που μπορεί να είναι θετική ή αρνητική. x Ο x B y Ο y A Σχήμα 4.1 Σχήμα 4. Όπως ξέρουμε, για να προσδιορίσουμε την ευθύγραμμη τροχιά ενός υλικού σημείου μεταξύ δύο σημείων Α και Β, θα πρέπει να πούμε από ποιο σημείο ξεκίνησε το υλικό σημείο την κίνησή του και που σταμάτησε, δηλαδή πρέπει να προσδιορίσουμε την αρχή και το τέλος της τροχιάς του. Αυτή ακριβώς η ανάγκη μας υποκινεί στα μαθηματικά να θεωρήσουμε

3 4.1 Ο διανυσματικός χώρος Δ 77 προσανατολισμένα ευθύγραμμα τμήματα, δηλαδή ευθύγραμμα τμήματα στα οποία έχουμε ορίσει την αρχή και το τέλος τους. Κάθε προσανατολισμένο ευθύγραμμο τμήμα λέγεται διάνυσμα. Ένα διάνυσμα με αρχή Α και τέλος (πέρας) Β, συμβολίζεται με ( Α, Β ) ή ΑΒ και γεωμετρικά παριστάνεται με το ευθύγραμμο τμήμα ΑΒ με ένα βέλος στο τέλος του Β. Στα επόμενα θα χρησιμοποιούμε το συμβολισμό ΑΒ. Η ευθεία που ορίζεται από τα άκρα του διανύσματος ΑΒ ονομάζεται φορέας ή στήριγμα του διανύσματος αυτού, ενώ η διεύθυνση που ορίζεται από το φορέα του ΑΒ λέγεται και διεύθυνση του ΑΒ. Το μήκος του ευθύγραμμου τμήματος ΑΒ, ως προς κάποια μονάδα μετρησης, λέγεται μέτρο του διανύσματος ΑΒ και συμβολίζεται με ΑΒ ή ΑΒ και είναι μη αρνητικός πραγματικός αριθμός. Επιπλέον σε κάθε διάνυσμα ΑΒ αντιστοιχίζεται η φορά του που είναι μία από τις δύο που ορίζονται στη διεύθυνσή του. Συγκεκριμένα, αν προσανατολίσουμε το φορέα του ΑΒ θεωρώντας Ο Α (δες σχήμα 4.) και Β Ο x, όπου Ο x είναι η ημιευθεία θετικής φοράς, τότε το διάνυσμα ΑΒ έχει τη θετική φορά, ενώ, αν Β Ο x, τότε το ΑΒ έχει την αρνητική φορά. x O=A B x Σχήμα 4. Το διάνυσμα ΑΑ με κοιν ή αρχή και τέλος, λέγεται μηδενικό διάνυσμα, και συμβολίζεται με το 0. Επειδή από το σημείο Α δεν ορίζεται μοναδική ευθεία, αλλά διέρχονται άπειρες ευθείες, μπορούμε συμβατικά να θεωρήσουμε ότι το μηδενικό διάνυσμα έχει οποιαδήποτε διεύθυνση, ενώ αυστηρά από μαθηματικής πλευράς το μηδενικό διάνυ σμα στερείται διεύ- θυνσης. Επιπλέον το 0 έχει μέτρο 0. Από τα προηγούμενα, είναι φανερό ότι σε κάθε διάνυσμα ΑΒ 0 αντιστοιχίζουμε το μέτρο, τη διεύθυνση και τη φορά του, τα οποία λέμε στοιχεία του. Αντίστροφα, μία διεύθυνσ η, μία φορά πάνω σε αυτήν, ένας μη αρνητικό ς αριθμός και ένα σημείο Α του χώρου, ορίζουν ένα ακριβώς διάνυσμα ΑΒ με τα παραπάνω στοιχεία. Είναι ακόμα φανερό ότι υπάρχουν διανύσματα με το ίδιο μέτρο, την ίδια διεύθυνση και φορά, αλλά με διαφορετική αρχή (σημείο εφαρμογής). Τέτοια διανύσματα, όταν εκπροσωπούν δυνάμεις στη Φυσική, σε πολλές περιπτώσεις επιφέρουν το ίδιο αποτέλεσμα ανεξάρτητα από το σημείο εφαρμογής τους. Είναι λοιπόν λογικό να θεωρήσουμε τέτοια διανύσματα ως ισοδύναμα και να τα αποδεσμεύσουμε από το σημείο εφαρμογής τους. Έτσι ορίζουμε στο σύνολο των διανυσμάτων του χώρου μία σχέση ισότητας ως εξής:

4 78 Κεφάλαιο 4. Διανυσματικός λογισμός Ορισμός Δύο διανύσματα ΑΒ και ΓΔ είναι ίσα, αν, και μόνον αν, έχουν την ίδια διεύθυνση και φορά και ίσα μέτρα. Η σχέση της ισότητας στο σύνολο των διανυσμάτων του χώρου είναι σχέση ισοδυναμίας. Επομένως το σύνολο των διανυσμάτων του χώρου ως προς τη σχέση της ισότητας χωρίζεται σε κλάσεις ισοδυναμίας που αποτελούνται από ίσα διανύσματα. Κάθε κλάση ισοδυναμίας λέγεται ελεύθερο διάνυσμα και εκπροσωπείται από οποιοδήποτε από τα ίσα διανύσματα που περι- Το σύνολο των ελεύθερων διανυσμάτων του χώρου συμβολίζεται με το έχει. Δ. Στο σύνολο Δ είναι δυνατόν να ορίσουμε πράξεις έτσι ώστε αυτό να αποκτήσει μία αλγεβρική δομή. Έτσι ορίζουμε μία εσωτερική πράξη, την πρόσθεση, ως εξής: +: Δ Δ Δ,( α, β) α+ β, (1) ό που α+ β = ΑΓ, αν είναι α = ΑΒ και β = ΒΓ. Με όσα ξέρουμε από την Ευκλείδεια Γεωμετρία, μπορούμε εύκολα να αποδείξουμε ότι το αποτέλεσμα της πρόσθεσης είναι ανεξάρτητο από την εκλογή των αντι- προσώπων των ελεύθερων διανυσμάτων α και β, οπότε η πράξη της πρόσθεσης στο σύνολο Δ είναι καλά ορισμένη. Α α α+β Β β Γ Οι βασικές ιδιότητες που ικανοποιεί η πράξη της πρόσθεσης απορρέουν εύκολα από τον ορισμό και είναι οι εξής: Σχήμα 4.4 (i) α+ β = β+ α, για κάθε αβ, Δ, ( αντιμεταθετική ιδιότητα), (ii) (α + β)+γ = α +(β + γ), για κάθε α,β, γ Δ, (προσεταιριστική ιδιότητα), (iii) α +0=α, για κ άθε α Δ, (ύπαρξη ουδέτερου στοιχεί ου), (iv) για κάθε α Δ υπάρχει x Δ, που συμβολίζεται με α, τέτοιο ώστε : α +x=0, ( ύπαρξη αντίθετου στοιχείου του α ). Τα διανύσματα α και -α έχουν ίσα μέτρα και ίδια διεύθυνση, αλλά αντίθετη φο ρά. Αν ένας αντιπρόσωπος του α είναι ΑΒ, τότε ένας αντιπρό- το διάνυσμα ΒΑ, αφού ΑΒ + ΒΑ = ΑΑ =0. σωπος του -α είναι Το σύνολο Δ εφοδιασμένο με την πράξη της πρόσθεσης γίνεται αβελιανή ομάδα.

5 4.1 Ο διανυσματικός χώρος Δ 79 Το σύνολο Δ εφοδιάζεται και με μία εξωτερική πράξη με σύνολο συντελεστών το, η οποία ονομάζεται βαθμωτός πολλαπλασιασμός, ως εξής: : Δ Δ, ( λ, α) λ α ή λα, () όπου το ελεύθερο διάνυσμα λ α ή απλά λα ορίζεται από τα στοιχεία : 1. έχει τη διεύθυνση του α,. έχει ίδια (αντίστ. αντίθετη) φορά με το α, αν λ > 0, (αντίστ. λ < 0 ),. έχει μέτρο λ α = λ α. α λα, λ<0 λα, λ>0 Σχήμα 4.5 Με βάση τους ορισμούς των πράξεων (1) και () και αυτά που ξέρουμε από την Ευκλείδεια Γεωμετρία, αποδεικνύονται οι ακόλουθες ιδιότητες: (v) (vi) (vii) ( λ + μ) α = λα+ μα, για κάθε λ, μ και α Δ, επιμεριστική ιδιότητα ως προς τη βαθ μωτή πρόσθεση, λ( α+ β) = λα+ λβ, για κάθε λ και αβ, Δ, επιμεριστική ιδιότητα ως προς τη διανυσματική πρόσθεση, ( λμ) α = λ( μα), για κάθε λ, μ και α Δ, (viii) 1 α = α, για κάθε α Δ. Έτσι μέχρι τώρα έχουμε εφοδιάσει το σύνολο Δ με την εσωτερική πράξη της πρόσθεσης και την εξωτερική του βαθμωτού πολλαπλασιασμού που ικανοποιούν τις ιδιότητες (i)-(viii). Λέμε ότι το σύνολο Δ είναι εφοδιασμέ- νο με τη δομή διανυσματικο ύ χώρου ή ότι ο Δ είναι ένας διανυσματι- κός χώρος πάνω στο σώμα των πραγματικών αριθμών. Στα επόμενα θα δούμε ότι είναι δυνατόν να εφοδιάσουμε με τη δομή διανυσματικού χώρου και άλλα σύνολα, όπως το σύνολο των διατεταγμένων τριάδων = {( x, y, z): x, y, z }, κατά φυσικό τρόπο μέσω μι ας αμφιμονοσήμαντης απεικόνισης που θα ορί- σουμε μεταξύ των συνόλων Δ και. Διανύσματα που έχουν την ίδια διεύθυνση λέγονται συγγραμμικά.

6 80 Κεφάλαιο 4. Διανυσματικός λογισμός Αν αβ, είναι δύο συγγραμμικά διανύσματα με β 0, τότε υπάρχει λ τέτοιος ώστε να ισχύει α = λβ. Αντίστροφα, από τον ορισμό του βαθμωτού πολλαπλασιασμού και την ισότητα α = λβ, β 0, έπεται, ότι τα διανύσματα α και β έχουν την ίδια διεύθυνση, δηλαδή είναι συγγραμμικά. Δύο διανύσματα α,β που είναι συγγραμμικά και έχουν: την ίδια φορά λέγονται ομόρροπα και γράφουμε α β, αντίθετη φορά λέγονται αντίρροπα και γράφουμε α β. Επιπλέον, σύμφωνα με τον ορισμό του βαθμωτού πολλαπλασιασμού, ισχύουν και τα εξής: λ α = 0 και λ 0 α = 0 λ α = 0 και α 0 λ = 0. Η γωνία δύο διανυσμάτων Ορισμός 4.1. Θεωρούμε τα μη μηδενικά διανύσματα α, β του Δ. Με αρχή τυχόν σημείο Ο του χώρου γράφουμε ημιευθείες Ο x και Ο y, έτσι ώστε Οx α και Οy β. Ορίζουμε ως γωνία κυρτή γωνία των ημιευθειών Ο x και ( αβ, ) των διανυσμάτων α, β, την Ο y, δηλαδή έχουμε: ( αβ, ): = x Οy Σύμφωνα με τον ορισμό έχουμε: ( α,β ) = ( β,α) 0 ( α,β ) π ( α,β )= 0 α β ( α,β ) = π α β. β Ο α y Σχήμα 4.6 x Παρατηρήσεις (α) Στον ορισμό της γωνίας δύο διανυσμάτων δεν υπάρχει η έννοια της φοράς διαγραφής, η οποία υπάρχει στον ορισμό της γωνίας στο επίπεδο και συγκεκριμένα στον τριγωνομετρικό κύκλο, όπου έχει οριστεί ένας φυσικός προσανατολισμός (θετική και αρνητική φορά διαγραφής). Εκεί γίνεται σιωπηρά η υπόθεση ότι έχουμε επιλέξει να παρατηρούμε τη φορά διαγραφής μιας γωνίας πάντοτε ευρισκόμε- α Ο Σχήμα 4.7 β

7 4. Συντεταγμένες σημείου και διανύσματος 81 νοι σε ένα συγκεκριμένο ημίχωρο από τους δύο που ορίζει ένα επίπεδο στο χώρο. (β) Στη περίπτωση που έχουμε ένα επίπεδο στο χώρο (σχήμα 4.7) ο προσανατολισμός της γωνίας α,β εξαρτάται από τον ημίχωρο στον οποίο βρίσκεται ( ) αυτός που παρατηρεί την περιστροφή του διανύσματος α γύρω από το Ο, για να συμπέσει με το β, διαγράφοντας τη γωνία τους. Έτσι ο ορισμός της γωνίας δύο διανυσμάτων στο χώρο θα έπρεπε να συνοδεύεται με προσδιορισμό του ημίχωρου που βρίσκεται αυτός που παρατηρεί τη φορά διαγραφής της γωνίας. Δεξιόστροφο και αριστερόστροφο σύστημα Ορισμός 4.1. Θεωρούμε διανύσματα ijk,, με κοινή αρχή Ο. (α) Η διατεταγμένη τριάδα ( i, j,k ) ορίζει δεξιόστροφο σύστημα, αν η φορά του διανύσματος k συμπίπτει με τη φορά κίνησης ενός δεξιόστροφου κοχλία (βίδας), όταν αυτός στρέφεται κατά τη φορά που πρέπει να στραφεί το διάνυσμα i για να συμπέσει με το διάνυσμα j, διαγράφοντας την γωνία τους ( i, j ). (β) Αν η διατεταγμένη τριάδα ( i, j,k ) δεν ορίζει δεξιόστροφο σύστημα, τότε λέμε ότι ορίζει αριστερόστροφο σύστημα. Η έννοια του δεξιόστροφου συστήματος μπορεί να γενικευθεί ως εξής: Το σύστημα ( i, j,k ) είναι δεξιόστροφο (αντίστοιχα, αριστερόστροφο), αν η γωνία ( i, j ) είναι θετική (αντίστοιχα, αρνητική) ως προς παρατηρητή που βρίσκεται στον ημίχωρο που βρίσκεται το διάνυσμα k, αν αυτό έχει αρχή Ο. Παρατήρηση. Αν το σύστημα ( i, j,k ) είναι δεξιόστροφο, τότε και τα συστήματα ( j,k,i ) και ( k, i, j ) είναι δεξιόστροφα, ενώ τα συστήματα( i,k, j)(, k, j,i ) και ( j,i,k ) είναι αριστερόστροφα. 4. Συντεταγμένες σημείου και διανύσματος (α) Η έννοια του άξονα Ορισμός 4..1 Μία προσανατολισμένη ευθεία x Ox, με αρχή Ο, στην οποία έχουμε ορίσει ένα σημείο Ι της θετικής ημιευθείας Ο x, έτσι ώστε το μέτρο του διανύσματος ΟΙ =i να ισούται με τη μονάδα μετρήσεως μηκών, λέγεται άξονας. Το διάνυσμα ΟΙ είναι η διανυσματική μονάδα ή το μοναδιαίο διάνυσμα της διεύθυνσης που ορίζει ο άξονας x Ox.

8 8 Κεφάλαιο 4. Διανυσματικός λογισμός O Ι x x Σχήμα 4. 8 Σε κάθε σημείο Α του άξονα x Ox αντιστοιχίζουμε έναν πραγματικό αριθμό x Α, που λέγεται τετμημένη του σημείου Α, ως εξής: Επειδή τα διανύσματα ΟΑ και ΟΙ =i είναι συγγραμμικά, θα υπάρχει μοναδικός πραγματικός αριθμός x Α τέτοιος ώστε ΟΑ = x Α i. Τον πραγματικό αριθμό x Α ονομάζουμε τετμημένη του σημείου Α. Είναι φανερό ότι τα σημεία του θετικού ημιάξονα Ο x έχουν μη αρνητική τετμημένη, ενώ τα σημεία του αρνητικού ημιάξονα έχουν μη θετική τετμημένη. Η τετμημένη της αρχής Ο είναι ο αριθμός 0. Επίσης δεχόμαστε αξιωματικά ότι για κάθε πραγματικό αριθμό x Α υπάρχει σημείο του άξονα x Ox, του οποίου η τετμημένη είναι x Α. Έτσι η απεικόνιση φ1: x Οx, Α φ1( Α ): = xα, όπου x Α η τετμημένη του σημείου Α, είναι αμφιμονοσήμαντη και επί του. Σε κάθε διάνυσμα ΑΒ με φορέα τον άξονα x Ox αντιστοιχίζουμε ακριβώς έναν πραγματικό αριθμό, που συμβολίζεται με ΑΒ και λέγεται αλγεβρική τιμή του διανύσματος ΑΒ, μέσω της ισότητας ΑΒ = ΑΒ i. Σχετικά με την αλγεβρική τιμή διανύσματος πάνω σε άξονα, ισχύει το θεώρημα που ακολουθεί. Θεώρημα 4..1 (i) Για κάθε σημείο του άξονα x Ox, η αλγεβρική τιμή του διανύσματος ΟΑ ισούται με την τετμημένη x Α του σημείου Α, δηλαδή ΟΑ = (ii) Για κάθε διάνυσμα ΑΒ με φορέα τον άξονα x Α x Ox η αλγεβρική τιμή του ισούται με τη διαφορά της τετμημένης x Β του τέλους του Β μείον την τετμημένη x Α της αρχής του Α, είναι δηλαδή ΑΒ = x x. Απόδειξη (i) Σύμφωνα με τον ορισμό της τετμημένης του σημείου Α θα Β Α

9 4. Συντεταγμένες σημείου και διανύσματος 8 έχουμε ΟΑ = xα i =ΟΑ i, οπότε ( x Α ) ΟΑ i=0 ΟΑ = x Α. ΑΒ ΟΒ ΟΑ i i = i, οπότε ΑΒ = x -x. (ii) Έχουμε = = x x ( x x ) Β Α Β Α (β) Συντεταγμένες σημείου και διανύσματος στο επίπεδο Σε κάθε σημείο ενός επιπέδου Π αντιστοιχίζουμε ένα διατεταγμένο ζεύγος πραγματικών αριθμών (, ) = ( xy, ): xy,, ως εξής: x y, όπου { } Ορισμός 4.. Ένα ορθοκανονικό ή καρτεσιανό σύστημα συντεταγμένων xy Ο,, ij στο επίπεδο Π, είναι δύο άξονες x x και yy τέτοιοι Ο ή ( ) ώστε: έχουν κοινή αρχή Ο, είναι μεταξύ τους κάθετοι και έχουν αντίστοιχα μοναδιαία διανύσματα i και j ισομήκη. Β Α Έστω Ρ τυχόν σημείο του επιπέδου Π. Προβάλλουμε το σημείο Ρ στους άξονες x x και yy. Έστω ΑΒ, οι προβολές του Ρ πάνω στον άξονα x x και yy, αντίστοιχα. Αν είναι ΟΑ = xi και ΟΒ = y j, τότε τους αριθμούς x = ΟΑ και y =ΟΒ τους ονομάζουμε συντεταγμένες του σημείου Ρ. Ο αριθμός x είναι η τετμημένη του σημείου Ρ, ενώ ο αριθμός y είναι η τεταγμένη του Ρ. Γράφουμε Ρ ( x, y). Επιπλέον, η απεικόνιση x y Β j i Σχήμα 4.9 Ρ Α x φ ( x y) φ : Π, Ρ ( Ρ ): =,, (1) όπου x και y είναι οι συντεταγμένες του σημείου Ρ ως προς το ορθοκανονικό σύστημα αναφοράς ( Ο,, ij ) είναι αμφιμονοσήμαντη και επί του. Στο τυχόν σημείο Ρ του επιπέδου αντιστοιχίζουμε το διάνυσμα θέσης του ΟΡ. Σύμφωνα με τα παραπάνω, θα έχουμε ΟΡ = ΟΑ + ΟΒ = xi+ yj. ()

10 84 Κεφάλαιο 4. Διανυσματικός λογισμός Τους αριθμούς x και y τους ονομάζουμε συντεταγμένες του διανύσματος ΟΡ. Ο αριθμός x είναι η τετμημένη, ενώ ο αριθμός y είναι η τεταγμένη του ΟΡ. Γράφουμε ΟΡ = ( x, y), δηλαδή οι συντεταγμένες του διανύσματος θέσης ΟΡ του σημείου Ρ ταυτίζονται με τις συντεταγμένες του Ο,, ij. σημείου Ρ ως προς το ορθοκανονικό σύστημα συντεταγμένων ( ) Η σχέση () εκφράζει κατά μοναδικό τρόπο το διάνυσμα ΟΡ ως γραμμικό συνδυασμό των διανυσμάτων i και j. Πράγματι, αν υποθέσουμε ότι ισχύει και η ισότητα ΟΡ = x i+ y j (), τότε από την ισότητα xi+ yj= x i+ y j λαμβάνουμε με ( x, y ) ( x, y) y y x x i = j, αν x x ή j=, αν y y x x y i, y δηλαδή τα διανύσματα i και j είναι συγγραμμικά, (άτοπο). Ονομάζουμε Δ το σύνολο των ελεύθερων διανυσμάτων του επιπέδου Π x, y Β x, y. Τότε Έστω ΑΒ τυχόν διάνυσμα του επιπέδου με Α ( Α Α ) και ( Β Β ) = x + y ( x + y ) = ( x x ) + ( y y ) ΑΒ = ΟΒ - ΟΑ Βi Βj Αi Αj Β Α i Β Α j, οπότε στο διάνυσμα ΑΒ αντιστοιχίζουμε τις συντεταγμένες x x, y y και γράφουμε ΑΒ = x x, y y. ( ) Β Α Β Α Με τα παραπάνω έχουμε αποδείξει το θεώρημα που ακολουθεί: Β Α Β Α Θεώρημα 4.. Έστω επίπεδο Π και ορθοκανονικό σύστημα συντεταγμέ- Ο,, ij του επιπέδου Π. Τότε ισχύουν: νων ( ) (α) Σε κάθε σημείο Ρ του επιπέδου Π αντιστοιχίζεται μοναδικό ζεύγος πραγματικών αριθμών x (τετμημένη) και y (τεταγμένη), ώστε να ισχύει: ΟΡ = xi+ yj. (β) Το διάνυσμα ΑΒ του επιπέδου Π με Α ( x, y ) και Β( x, y ) ως γραμμικός συνδυασμός των μοναδιαίων διανυσμάτων i και j ως οπότε έχει συντεταγμένες x δηλαδή είναι ( x x ) + ( y y ) ΑΒ = i j, Β Α Α Β Α Β Α Β Β γράφεται x (τετμημένη) και y y (τεταγμένη), Α ( x x, y y ) ΑΒ =. Β Α Β Α Β Α

11 4. Συντεταγμένες σημείου και διανύσματος 85 Ερχόμαστε τώρα στις πράξεις που έχουμε ορίσει στο σύνολο των ελεύθερων διανυσμάτων του χώρου περιοριζόμενοι μόνο σε διανύσματα του επιπέδου Π, δηλαδή σε ελεύθερα διανύσματα του συνόλου Δ. Αν θεωρήσουμε τα διανύσματα α = ( x1, y1), β = ( x, y) και λ, τότε είναι εύκολο να διαπιστώσουμε γεωμετρικά και αλγεβρικά ότι το διάνυσμα x + x, y + y, ενώ το διάνυσμα λα έχει συντε- α + β έχει συντεταγμένες ( 1 1 ) ταγμένες ( λx1, λ y1). Πράγματι, έχουμε + = ( x1 + y1 ) + ( x + y ) = ( x1+ x) + ( y1+ y) λα = λ( x i+ y j) = λxi+ λy j, α β i j i j i j οπότε είναι φυσικό να ορίσουμε αντίστοιχες πράξεις στο σύνολο των ισοτήτων: ( x1, y1) ( x, y) : ( x1 x, y1 y) λ ( x, y ): = ( λx, λy ). + = + +, μέσω Αποδεικνύεται ότι και το σύνολο εφοδιασμένο με τις δύο αυτές πράξεις είναι διανυσματικός χώρος πάνω στο. (γ) Συντεταγμένες σημείου και διανύσματος στο χώρο. Στη συνέχεια θα δούμε πως σε κάθε σημείο του χώρου αλλά και σε κάθε διάνυσμα του χώρου αντιστοιχίζουμε την διατεταγμένη τριάδα των συντεταγμένων του. Για το σκοπό αυτό θεωρούμε πρώτα ένα κατάλληλο σύστημα αναφοράς. Ορισμός 4.. Καρτεσιανό ή ορθοκανονικό σύστημα συντεταγμένων (αναφοράς) xyz Ο, i, j,k στο χώρο είναι τρεις άξονες x xyy, και zz Ο ή ( ) τέτοιοι ώστε: έχουν κοινή αρχή Ο, ανά δύο είναι μεταξύ τους κάθετοι, έχουν αντίστοιχα μοναδιαία διανύσματα i, j και k ισομήκη και η τριάδα ( i, j,k) των μοναδιαίων διανυσμάτων ορίζει δεξιόστροφο σύστημα. Έστω Ρ τυχόν σημείο του χώρου, τον οποίο θεωρούμε εφοδιασμένο με ένα ορθοκανονικό σύστημα αναφοράς ( Ο, i, j,k ). Έστω Q η ορθή προβολή του σημείου Ρ στο επίπεδο xο y και Α, Β, Γ οι ορθές προβολές του Q πάνω στους άξονες x x, yy, zz, αντίστοιχα. Αν είναι ΟΑ = xi, ΟΒ = yj και ΟΓ = zk, τότε

12 86 Κεφάλαιο 4. Διανυσματικός λογισμός ΟΡ = ΟΑ + ΟΒ + ΟΓ = xi+ yj+ zk. Στο σημείο Ρ αντιστοιχίζουμε τη διατεταγμένη τριάδα ( x, yz, ) των συντεταγμένων του, οι οποίες κατά σει- Γ Ρ ρά ονομάζονται τετμημένη, τεταγμένη και κατηγμένη. Γράφουμε το k σημείο Ρ ως Ρ ( x, yz, ). Β O j Επίσης, αντιστοιχίζουμε στο διάνυσμα θέσης του σημείου Ρ την ίδια y i τριάδα συντεταγμένων και γράφουμε ΟΡ = ( x, yz, ). A Q Στη συνέχεια, για το τυχόν διάνυσμα α Δ, θεωρούμε ένα διάνυσμα Σχήμα x ίσο του με αρχή Ο, έστω το ΟΡ = α. Αν είναι ΟΡ = ( x, yz, ), τότε αντιστοιχίζουμε στο α τις συντεταγμένες του διανύσματος ΟΡ και έχουμε α = ΟΡ = xi+ yj+ zk x, y, z. ( ) Επιπλέον, χρησιμοποιώντας το Πυθαγόρειο θεώρημα, λαμβάνουμε α = ΟΡ = ΟQ + QP = x + y + z. Επίσης, για το διάνυσμα ΑΒ με άκρα Α ( x, y, z ) και ( x, y, z ) έχουμε οπότε θα είναι Α Α Α ( x x ) ( y y ) ( z z ) Β Α Β Α Β Α Β, Β Β Β ΑΒ = ΟΒ - ΟΑ = i+ j+ k, ( x x ) ( y y ) ( z z ) AB = + +. Β Α Β Α Β Α Επομένως, όπως και στην περίπτωση του θεώρημα που ακολουθεί:, τότε το διά- Θεώρημα 4.. Αν είναι Α ( xα, yα, zα) και Β ( xβ, yβ, zβ) νυσμα ΑΒ έχει συντεταγμένες ( xβ xα, yβ yα, zβ zα) ΑΒ = ( x x, y y, z z ). Επιπλέον ισχύει: Δ, έχουμε αποδείξει το, δηλαδή είναι Β Α Β Α Β Α ( x x ) ( y y ) ( z z ) AB = + +. Β Α Β Α Β Α z

13 4. Το εσωτερικό γινόμενο διανυσμάτων 87 Εργαζόμενοι όπως και στη περίπτωση του θεώρημα που ακολουθεί: Θεώρημα 4..4 Αν α = ( x, y, z ), = ( x, y, z ) είναι: Δ, εύκολα αποδεικνύουμε το β και λ, τότε θα ( x1 x, y1 y, z1 z) α = ( x, y, z ). α + β = + + +, λ λ λ λ (δ) Διαίρεση ευθυγράμμου τμήματος σε λόγο λ Θεωρούμε ευθύγραμμο τμήμα 1 και ( x, y, z ) Ρ Ρ με διαφορετικά άκρα Ρ ( x, y, z ) Ρ και σημείο Ρ τέτοιο ώστε ΡΡ= λρρ. Τότε λέμε ότι το 1 σημείο Ρ διαιρεί το τμήμα ΡΡ 1 σε λόγο λ. Κατ αρχήν παρατηρούμε ότι πρέπει να είναι λ 1, αφού, αν ήταν λ = 1, θα είχαμε ΡΡ 1 = ΡΡ 1 + ΡΡ = 0, (άτοπο). r = x, yz, το διάνυσμα θέσης του σημείου Ρ και = x, y, z, Έστω ( ) r = (,, ) r ( ) x y z τα διανύσματα θέσης των σημείων Ρ και 1 Ρ, αντίστοιχα. Τότε έχουμε r1 + λr ΡΡ 1 = λρρ r r1 = λ ( r r) r =, 1+ λ αφού είναι λ Το εσωτερικό γινόμενο διανυσμάτων Ορισμός 4..1 Στο σύνολο Δ ορίζουμε μία απεικόνιση που ονομάζεται εσωτερικό γινόμενο και είναι της μορφής : Δ Δ,(,b) b, όπου ο πραγματικός αριθμός b ορίζεται από τη σχέση bcos ( b, ), αν b, 0 b =. 0, αν = 0 ή b = 0 Άμεση συνέπεια του ορισμού του εσωτερικού γινομένου είναι οι ακόλουθες ιδιότητες: (i) b = b, για κάθε b, Δ, (ii) ( λ) b = ( λb) = λ( b), για κάθε λ,, b Δ,

14 88 Κεφάλαιο 4. Διανυσματικός λογισμός ( ) (iii) b = 0 = 0 ή b = 0 ή π b, = (δηλαδή είναι (iv) := =. (v) Αν (vi),b 0, τότε cos(,b) = b b. i = j = k = 1, i j= 0, j k = 0, k i = 0. (vii) Αν θεωρήσουμε τα μη μηδενικά διανύσματα = ( α1 α α) = ( β, β, β ) 1 b),,,, b ως προς το ορθοκανονικό σύστημα αναφοράς Ο xyz και γράψουμε τους αντιπροσώπους τους ΟΑ = και ΟΒ = b, τότε εφαρμόζοντας το νόμο των συνημιτόνων στο τρίγωνο ΟΑΒ λαμβάνουμε: ΑΒ = ΟΑ + ΟΒ ΟΑ ΟΒ cos( b, ) ( β1 α1) ( β α) ( β α) ( b) + + = α + α + α + β + β + β 1 1 b = α β + α β + α β. 1 1 Έτσι έχουμε καταλήξει σε μία αλγεβρική έκφραση του εσωτερικού γινομένου δύο διανυσμάτων, δηλαδή στον προσδιορισμό του μέσω των συντεταγμένων των δύο διανυσμάτων ως εξής: b = α β + α β + α β. 1 1 Χρησιμοποιώντας την αλγεβρική έκφραση του εσωτερικού γινομένου, εύκολα αποδεικνύουμε, για κάθε,b,c Δ, ότι: (viii) ( b+c) = b+ c, (επιμεριστική ιδιότητα). (ix) Θεωρούμε δύο μη μηδενικά διανύσματα,b Δ και αντιπροσώπους αυτών ΟΑ = και ΟΒ = b. Αναλύουμε το διάνυσμα b σε δύο συνιστώσες ΟΚ και ΟΛ, δηλαδή έχουμε b = ΟΚ + ΟΛ. (1) Ονομάζουμε προβολή του διανύσματος b πάνω στο διάνυσμα, το διάνυσμα ΟΚ και γράφουμε pr b : = ΟΚ. Από τη σχέση (1) λαμβάνουμε b = ΟΚ + ΟΛ b = pr b, αφού είναι ΟΛ. b Λ Ο Κ Σχήμα 4.11

15 4. Το εσωτερικό γινόμενο διανυσμάτων 89 Άρα έχουμε αποδείξει την ιδιότητα b = pr b. () Μπορούμε ακόμη να εκφράσουμε το διάνυσμα pr b : = ΟΚ σε συνάρτηση των διανυσμάτων και b. Επειδή είναι pr b : = ΟΚ = λ, λ, μέσω της () λαμβάνουμε b = λ b = λ λ = b, οπότε έχουμε: Εφαρμογές pr = b b b και ΟΛ = b. 1. Σε κάθε τρίγωνο ΑΒΓ με ΒΓ = α, ΓΑ = β, ΑΒ = γ, να αποδείξετε ότι: α = β + γ βγ cosα (Νόμος των συνημιτόνων). Απόδειξη. Θεωρούμε τρίγωνο ΑΒΓ και ορίζουμε τα διανύσματα ΒΓ =, ΑΓ = b, ΑΒ = c. Τότε έχουμε ΒΓ = = α, ΑΓ = b = β και ΑΒ = c = γ. Επιπλέον ισχύει ότι: +c=b =b-c, οπότε έχουμε = ( b-c) = b + c b c ( ) = b + c b c cos( b, c ) α = β + γ βγ cosα. Στην περίπτωση που το τρίγωνο ΑΒΓ είναι ορθογώνιο με Α= ˆ 90, τότε καταλήγουμε στη σχέση: α = β + γ (Πυθαγόρειο θεώρημα).. Σε κάθε τρίγωνο ΑΒΓ με ΒΓ = α, ΓΑ = β, ΑΒ = γ, να αποδείξετε ότι (i) (ii) α β + γ = μα +, ( πρώτο θεώρημα διαμέσων), Σχήμα 4.1 β γ = α ΜΔ, (δεύτερο θεώρημα διαμέσων), όπου μ α είναι η διάμεσος ΑΜ του τριγώνου ΑΒΓ και ΜΔ είναι η προβολή της πάνω στην ΒΓ. Β c Α b Γ

16 90 Κεφάλαιο 4. Διανυσματικός λογισμός Απόδειξη. Θεωρούμε τρίγωνο ΑΒΓ και ορίζουμε τα διανύσματα ΒΓ =, ΑΓ = b, ΑΒ = c και ΑΜ = μ α. Τότε είναι ΒΓ = = α, ΑΓ = b = β, ΑΒ = c =γ και ΑΜ = μ α = μα. Επίσης, ισχύουν οι ισότητες =b-c, 1 1 b = μα + και c = μα, οπότε θα έχουμε: Α 1 1 (i) b + c = μα + + μα 1 b + c = μα + Β Γ Δ Μ 1 β + γ = μα + α. Σχήμα (ii) b c = μα + μα b c = ( μα ) ( pr ) β γ = μ = ± ΔΜ β γ = ΔΜ, όπου Δ είναι η προβολή της κορυφής Α πάνω στην ΒΓ. 4.4 Εξωτερικό γινόμενο διανυσμάτων Ορισμός Στο σύνολο Δ θεωρούμε μία εσωτερική πράξη που ονομάζεται εξωτερικό γινόμενο και είναι της μορφής : Δ Δ Δ, (,b) b, όπου το διάνυσμα bέχει: bsin( b, ), αν b, 0, μέτρο b = 0, αν =0ή b= 0, διεύθυνση κάθετη στο επίπεδο των και b,,b,c να φορά τέτοια ώστε το σύστημα των διανυσμάτων{ } είναι δεξιόστροφο. Το διάνυσμα b ονομάζεται εξωτερικό γινόμενο των διανυσμάτων και b. Από τον ορισμό του εξωτερικού γινομένου δύο διανυσμάτων, εύκολα προκύπτει η γεωμετρική του σημασία, αφού έχουμε (σχήμα 4.15 ) Ε ( b, ): = ( ΟΑΔΒ ) = ( ΑΔ)( ΟΖ ) = bsin( b, ) = b, δηλαδή έχουμε αποδείξει ότι :

17 4.4 Το εξωτερικό γινόμενο διανυσμάτων 91 b b Α O Ζ Δ b B Σχήμα Σχήμα Το μέτρο του εξωτερικού γινομένου δύο μη μηδενικών διανυσμάτων,b ισούται με το εμβαδόν Ε( b, ) του παραλληλογράμμου που ορίζεται από τα διανύσματα αυτά, δηλαδή Ε ( b, ) = b Από τον ορισμό του εξωτερικού γινομένου δύο διανυσμάτων, εύκολα προκύπτουν οι ακόλουθες ιδιότητες: (i) b = ( b ), για κάθε,b Δ, (ii) ( λ) b = ( λb) = λ( b), για κάθε,b Δ, λ, (iii) b = 0 = 0 ή b =0 ή b, (iv) i j= k, j k = i, k i = j, (v) ( b+ c) = b+ c, για κάθε,b,c Δ (επιμεριστική ιδιότητα). Η αλγεβρική έκφραση του εξωτερικού γινομένου ( ) και ( ) 1 Η αλγεβρική έκφραση του εξωτερικού γινομένου των διανυσμάτων = α, α, α b = β, β, β δίνεται μέσω μιας συμβολικής ορίζουσας ως εξής: 1 i j k b = α α α. 1 β β β 1 Πράγματι, έχουμε

18 9 Κεφάλαιο 4. Διανυσματικός λογισμός ( α1 α α ) ( β1 β β ) ( αβ αβ) ( αβ αβ) ( αβ αβ) b = i+ j+ k i+ j+ k = i+ 1 1 j+ 1 1 k i j k b = α1 α α. β β β 1 Παράδειγμα 1. Να αποδείξετε την ταυτότητα: Απόδειξη. ( ) = ( ) b b b. ( ) ( ) = b sin,b = b b cos (,b) = b ( b) b. Παράδειγμα. Σε κάθε τρίγωνο ΑΒΓ με α = ΒΓ, β = ΓΑ, γ = ΑΒ, να αποδείξετε ότι α β γ = =, (νόμος των ημιτόνων). sin Α sin Β sin Γ Απόδειξη. Θεωρούμε τρίγωνο ΑΒΓ και θέτουμε ΒΓ =, ΓΑ = b, ΑΒ = c, οπότε θα έχουμε ( b,c), ( c,), (,b ) Α= π Β= π Γ= π και + b+ c = 0. Επομένως μπορούμε να έχουμε ( ) ( ) + b+ c = 0 b = b c = c b + b+ c = 0 ( ) ( ) ( ) bsin b, = bcsin b,c = csin c, αβsin Γ = βγ sin Α = γαsin Β Β c Α Σχήμα 4.16 α β γ = = sin Α sin Β sin Γ. b Γ Παράδειγμα. Αν,b 0 και υπάρχει λ τέτοιο ώστε + λb = e, όπου e μοναδιαίο διάνυσμα, να αποδείξετε ότι το εμβαδόν του παραλληλογράμμου που ορίζεται από τα,b, είναι μικρότερο ή ίσο με b.

19 4.5 Τα τριπλά γινόμενα διανυσμάτων 9 Απόδειξη (1 ος τρόπος). Αρκεί να αποδείξουμε ότι: b b. Πράγματι, έχουμε ( λ ) λ( ) sin ( ) e και sin ( e,b ) 1. b = e b b = e b b b = e b = e b e,b b, αφού είναι = 1 ( ος τρόπος). Από την ισότητα + λb = e προκύπτει ότι: ( ) = ( ) ( ) + λb e b λ + b λ + 1 = 0, για κάποιο λ. Επομένως θα είναι Δ= 4 ( ) ( 1) b b 0 b cos (,b) b + b 0 ( ) ( ) b sin,b b b sin,b b b b. 4.5 Τα τριπλά γινόμενα διανυσμάτων Υπάρχουν δύο τριπλά γινόμενα διανυσμάτων. Το πρώτο είναι το βαθμωτό τριπλό ή μικτό γινόμενο και το δεύτερο είναι το διανυσματικό τριπλό ή δις εξωτερικό γινόμενο. (α) Το μικτό γινόμενο τριών διανυσμάτων Ορισμός Αν,b,c Δ, τότε ο πραγματικός αριθμός ( ) b c ονομάζεται μικτό γινόμενο ή βαθμωτό τριπλό γινόμενο των διανυσμάτων,b, c και συμβολίζεται με ( ) bc. Έχουμε δηλαδή,b,c ή ( ) (,b,c):= ( b) c. Σχετικά με τη γεωμετρική σημασία του μικτού γινομένου, θα αποδείξουμε στη συνέχεια ότι η απόλυτη τιμή του μικτού γινομένου τριών μη συνεπίπεδων διανυσμάτων ισούται με τον όγκο του παραλληλεπιπέδου που ορίζεται από τα τρία διανύσματα. Θεώρημα (α) Αν,b,c είναι μη συνεπίπεδα διανύσματα του Δ, τότε η απόλυτη τιμή του μικτού γινομένου των,b,c ισούται με τον όγκο του παραλληλεπιπέδου που έχει τρεις ακμές με κοινή αρχή τα διανύσματα,b και c. Έχουμε δηλαδή (β) Επιπλέον ισχύει: V(,b,c) = (,b,c ).,b,c συνεπίπεδα (,b,c ) = 0.

20 94 Κεφάλαιο 4. Διανυσματικός λογισμός Απόδειξη (α) Έχουμε V,b,c = Εμβαδόν.βάσης ύψος = bυ ( ) ( ) ( ) = b c b c = (,b,c) Στη συνέχεια διακρίνουμε τις περιπτώσεις: cos(, ). Αν το σύστημα {,b,c } είναι δεξιόστροφο, τότε ( ) π b, c 0,, αφού το c βρίσκεται στον ίδιο ημίχωρο με το b, και ισχύει: V,b,c =,b,c. ( ) ( ) Αν το σύστημα {,b,c } είναι αριστερόστροφο, τότε τα διανύσματα c και b βρίσκονται σε διαφορετικούς ημίχωρους, οπότε π ( b, c ), π και ισχύει: (β) V(,b,c) = (,b,c ).,b,c συνεπίπεδα b,c κάθετα (,b,c ) = 0. Αλγεβρική έκφραση του μικτού γινομένου Αν είναι = ( α1, α, α), b = ( β1, β, β) και c = ( γ1, γ, γ), τότε b = ( αβ αβ ) i+ ( αβ 1 αβ 1 ) j+ ( αβ 1 αβ 1) k, (,b,c )= ( ) ( ) ( ) οπότε θα έχουμε: α β α β γ + α β α β γ + α β α β γ, Ο b c b Σχήμα (,b,c) = α α α 1 β β β 1 γ γ γ 1 Από την αλγεβρική μορφή του μικτού γινομένου, εύκολα προκύπτουν οι ακόλουθες ιδιότητες: (i) ( ) = (, ) = (, ),b,c b,c c,b, αφού η μετάβαση από το ένα μικτό γινόμενο στο άλλο γίνεται με δύο εναλλαγές θέσης μεταξύ των διανυσμάτων,b και c.

21 4.5 Τα τριπλά γινόμενα διανυσμάτων 95 (ii) ( ) = ( ) = (, ) = (,, ),b,c b,,c,c b c b, αφού τα τρία τελευταία μικτά γινόμενα προκύπτουν από το πρώτο με μία μόνο εναλλαγή θέσης. b c = b c. (iii) ( ) ( ) Πράγματι, έχουμε b c = b c = b,c, =, b,c. ( ) ( ) ( ) ( ) (β) Τα δις εξωτερικά γινόμενα διανυσμάτων Ορισμός 4.5. Αν,b,c Δ, τότε καθένα από τα γινόμενα ( b) c, ( b c ) ονομάζεται δις εξωτερικό ή διανυσματικό τριπλό γινόμενο των διανυσμάτων,b και c. Το θεώρημα που ακολουθεί μας δίνει μία έκφραση των παραπάνω δις εξωτερικών γινομένων ως γραμμικών συνδυασμών δύο εκ των τριών διανυσμάτων,b, c και επιπλέον απαντά στο εύλογο ερώτημα σχετικά με το αν, τα δύο παραπάνω δις εξωτερικά γινόμενα, είναι ίσα. Θεώρημα Αν,b και c είναι διανύσματα του (i) ( b) c = ( c) b ( b c), (ii) ( b c) = ( c) b ( b) c. Δ, τότε: Απόδειξη. (i) Πρώτα σημειώνουμε, ότι το διάνυσμα ( b) c είναι κάθετο προς τα διανύσματα b και c, οπότε θα είναι συνεπίπεδο προς τα, b και συνεπώς μπορεί να εκφραστεί ως γραμμικός συνδυασμός των και b. Επομένως υπάρχουν λ, μ τέτοια, ώστε ( b) c = λ+ μb. Αν = ( α1, α, α) και b = ( β1, β, β), τότε με απευθείας υπολογισμό βρίσκουμε ότι: λ = ( b c ) και μ = ( c ). Πράγματι, έχουμε i j k ( b) c = αβ αβ αβ1 α β 1 α1β αβ1 γ1 γ γ ή μετά από αρκετές πράξεις b c = αγ + αγ + αγ b βγ + βγ + βγ = c b b c ( ) ( ) ( ) ( ) ( ) ή ισοδύναμα

22 96 Κεφάλαιο 4. Διανυσματικός λογισμός ( b) c = ( c ) b ( c b). (ii) ( ) = ( ) = ( ) ( ) = ( ) ( ) b c b c b c c b c b b c. b c c ( b) c b b c Σχήμα 4.18 Σχήμα 4.19 b ( b c) Παρατήρηση (Μνημονικός κανόνας) + ( b) c = ( cb ) ( ) - cb Μνημονικά, μπορεί κανείς να θυμάται τον προσδιορισμό του δις εξωτερικού γινομένου ως εξής: Θεωρούμε πρώτα το εσωτερικό γινόμενο του διανύσματος c που είναι εκτός παρενθέσεως, με το διάνυσμα που βρίσκεται πιο μακριά του μέσα στην παρένθεση με πρόσημο +. Αυτός είναι ο συντελεστής του τρίτου διανύσματος, εδώ του b. Θεωρούμε στη συνέχεια το εσωτερικό γινόμενο του διανύσματος c που είναι εκτός παρενθέσεως, με το διάνυσμα που βρίσκεται πιο κοντά του μέσα στην παρένθεση με πρόσημο -. Αυτός είναι ο συντελεστής του τρίτου διανύσματος, εδώ του. Μία αξιοσημείωτη σχέση που ικανοποιεί το δις εξωτερικό γινόμενο είναι η λεγόμενη ταυτότητα του Jcobi.

23 4.5 Τα τριπλά γινόμενα διανυσμάτων 97 ( b) c+ ( b c) + ( c ) b = 0, που παίζει πρωτεύοντα ρόλο στον ορισμό της άλγεβρας του Lie. Παράδειγμα 1. Να αποδείξετε την ταυτότητα: ( b) ( c d) ( c)( b d) ( d)( b c) = = c d b c b d. Απόδειξη. Αν θέσουμε w = c d, τότε έχουμε: b c d = b w = b w ( ) ( ) ( ) ( ) = ( ) = ( ) ( ) = ( c)( b d) ( d)( b c). b c d b d c b c d Παράδειγμα. Δίνονται τα διανύσματα,b Δ, 0. Να προσδιορίσετε τα διανύσματα w που ικανοποιούν την εξίσωση w = b. Λύση. Διακρίνουμε τις περιπτώσεις: Αν b = 0, τότε w = 0 w = λ, λ. Αν b 0, τότε θα είναι b, οπότε b = 0. Επιπλέον τα w, και b είναι συνεπίπεδα και αφού τα διανύσματα και b είναι μη συγγραμμικά, το w μπορεί να γραφεί ως γραμμικός συνδυασμός των διανυσμάτων αυτών, δηλαδή ισχύει: b w = λ+ μ( b), λ, μ. w Όμως το w πρέπει να ικανοποιεί την εξίσωση w = b, οπότε b w = b + b = b λ μ( ) ( b ) b μ ( b ) ( ) b b ( μ 1 ) μ = = 1 μ =, αφού είναι b 0.Άρα έχουμε Σχήμα b = w = ( b) + λ = λ+ ( b ), λ.

24 98 Κεφάλαιο 4. Διανυσματικός λογισμός ΑΣΚΗΣΕΙΣ 1. Δίνονται τα διανύσματα = i+ j+ k, b = j k και c= i-j+ k. Να υπολογίσετε τα γινόμενα: (i) b (ii) b iii b c ( ) ( ) ( ) ( ) ( ) (iv) c b (v) b c (vi) b c. Αν,b,c Δ, να αποδείξετε ότι: (i) +b+c= 0 b= b c= c (ii) b = c, b = c και 0 b =c (iii) ( +b,b+c,c+) = (,b,c ).. Αν,b,c Δ, να αποδείξετε ότι: (i) ( b) ( c) = (,b,c) b, b c, c =,b,c (ii) ( ) ( ) (iii) Τα διανύσματα,b,c Δ είναι συνεπίπεδα, αν, και μόνον αν, τα διανύσματα b, b c, c είναι συνεπίπεδα. 4. Τα σημεία Α, Β, Γ και Δ έχουν διανύσματα θέσης ως προς το καρτεσιανό σύστημα αναφοράς Ο xyz,,b,c και d, αντίστοιχα. Να αποδείξετε ότι:,,,,b,c b,cd, + cd,, db,, = 0. ΑΒΓΔ συνεπίπεδα ( ) ( ) ( ) ( ) 5. Τα σημεία Α, Β και Γ έχουν διανύσματα θέσης ως προς το καρτεσιανό σύστημα αναφοράς Ο xyz,,b, και c, αντίστοιχα. Να αποδείξετε ότι το εμβαδόν του τριγώνου ΑΒΓ είναι: 1 Ε( ΑΒΓ ) = ( b) + ( b c) + ( c ). 6. Αν,b είναι μη συγγραμμικά μοναδιαία διανύσματα και (, ) να βρεθεί το διάνυσμα u που είναι λύση της εξίσωσης u b+ = u. ( ) 4 π b =, 7. Να αποδείξετε ότι η διανυσματική εξίσωση x+ x = b, όπου,b είναι γνωστά διανύσματα, έχει μοναδική λύση. Στη συνέχεια να προσδιορίσετε τη λύση της εξίσωσης.

25 Ασκήσεις Αν το διάνυσμα w ικανοποιεί την εξίσωση w + w = b, ( ) όπου,b είναι γνωστά διανύσματα, τότε: 1 (i) να αποδείξετε ότι = 1+ (ii) να προσδιορίσετε τη λύση της εξίσωσης. w b και w = ( b ) 9. Έστω,b,r Δ,,b 0 και t. Να προσδιορίσετε την τιμή του t για την οποία έχει λύση ως προς r η εξίσωση r = +tb και στη συνέχεια να προσδιορίσετε τη λύση της εξίσωσης. 10. Αν,b,c και d είναι διανύσματα του Δ, να αποδείξετε ότι: ( b) ( c d) = (,c,d) b ( b,c,d) = (,b,d) c (,b,c) d 11. Αν,b και c είναι μη συνεπίπεδα διανύσματα του, Δ, τότε για κάθε άλλο διάνυσμα d Δ, να αποδείξετε ότι υπάρχουν μοναδικοί συντελεστές λ, μν, τέτοιοι, ώστε d = λ+ μb+ νc, όπου ( d,b,c) ( d,c,) ( d,,b) λ =, μ =, ν =,b,c b,c, c,,b. ( ) 1. Αν ο πίνακας Α Μ ( ) να είναι κάθετα, για κάθε T Α ( ) ( ) είναι τέτοιος ώστε τα διανύσματα Αu και u u, να αποδείξετε ότι: (i) = Α, (ii) υπάρχει υ τέτοιο, ώστε Α u = υ u, για κάθε u.

26 100 Κεφάλαιο 4. Διανυσματικός λογισμός