Εφαπτόμενα επίπεδα επιφάνειας
Συντονιστής: matha
- grigkost
- Διαχειριστής
- Δημοσιεύσεις: 3049
- Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
- Τοποθεσία: Ιωάννινα
- Επικοινωνία:
Εφαπτόμενα επίπεδα επιφάνειας
Έστω μια κανονική επιφάνεια του . Να αποδειχθεί ότι αν όλα τα εφαπτόμενα επίπεδα της διέρχονται από την αρχή των αξόνων, τότε η καμπυλότητα Gauss της είναι παντού μηδενική.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Εφαπτόμενα επίπεδα επιφάνειας
Θα δείξω κάτι ισχυρότερο.
Η επιφάνεια είναι τμήμα επιπέδου.
Υποθέτοντας ότι η επιφάνεια είναι συνεκτική αρκεί να δείξουμε ότι τοπικά είναι τμήμα επιπέδου.
Τοπικά η επιφάνεια είναι γράφημα συνάρτησης.
Εστω η τοπική παράσταση της.
Το εφαπτόμενο επίπεδο έχει εξίσωση
όπου το κάθετο διάνυσμα και
Αφου περνάει από το πέρνουμαι
Η τελευταία σχέση μας δίνει ότι το είναι γραμμικός συνδιασμός των
Αρα
Από την τελευταία παίρνουμε
Η τελευταία είναι γραμμική διαφορική εξίσωση με μερικές παραγώγους πρώτης τάξης.
Λύνοντας έχουμε
Αρα που δίνει το ζητούμενο.
Συμπλήρωση.Υπάρχει ΛΑΘΟΣ.Το λάθος βρίσκεται στο ότι η διαφορική εξίσωση έχει και άλλες λύσεις.
Η επιφάνεια είναι τμήμα επιπέδου.
Υποθέτοντας ότι η επιφάνεια είναι συνεκτική αρκεί να δείξουμε ότι τοπικά είναι τμήμα επιπέδου.
Τοπικά η επιφάνεια είναι γράφημα συνάρτησης.
Εστω η τοπική παράσταση της.
Το εφαπτόμενο επίπεδο έχει εξίσωση
όπου το κάθετο διάνυσμα και
Αφου περνάει από το πέρνουμαι
Η τελευταία σχέση μας δίνει ότι το είναι γραμμικός συνδιασμός των
Αρα
Από την τελευταία παίρνουμε
Η τελευταία είναι γραμμική διαφορική εξίσωση με μερικές παραγώγους πρώτης τάξης.
Λύνοντας έχουμε
Αρα που δίνει το ζητούμενο.
Συμπλήρωση.Υπάρχει ΛΑΘΟΣ.Το λάθος βρίσκεται στο ότι η διαφορική εξίσωση έχει και άλλες λύσεις.
τελευταία επεξεργασία από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ σε Πέμ Σεπ 15, 2016 7:16 pm, έχει επεξεργασθεί 1 φορά συνολικά.
- grigkost
- Διαχειριστής
- Δημοσιεύσεις: 3049
- Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
- Τοποθεσία: Ιωάννινα
- Επικοινωνία:
Re: Εφαπτόμενα επίπεδα επιφάνειας
Σταύρο, ωραία λύση. Ακόμα μια:
Έστω σημείο που δεν είναι η αρχή των αξόνων με . Έστω σύστημα συντεταγμένων γύρω από το . Επειδή το εφαπτόμενο επίπεδο διέρχεται από την αρχή των αξόνων, έπεται ότι , δηλαδή .
Επίσης
Θεωρώντας σαν βάση του το σύνολο , προκύπτουν
και, επομένως, τα , είναι γραμμικώς ανεξάρτητα. Αλλά τότε, από την καθετότητα του με τα , , προκύπτει ότι . Άτοπο. Κι αυτό γιατί θεωρήσαμε . Άρα σε κάθε σημείο ισχύει .
Υ.Γ. Το ότι η επιφάνεια τοπικά ισομετρική με τμήμα επιπέδου μπορεί να προκύψει κι από το Έξοχο Θεώρημα του Gauss.
Έστω σημείο που δεν είναι η αρχή των αξόνων με . Έστω σύστημα συντεταγμένων γύρω από το . Επειδή το εφαπτόμενο επίπεδο διέρχεται από την αρχή των αξόνων, έπεται ότι , δηλαδή .
Επίσης
Θεωρώντας σαν βάση του το σύνολο , προκύπτουν
και, επομένως, τα , είναι γραμμικώς ανεξάρτητα. Αλλά τότε, από την καθετότητα του με τα , , προκύπτει ότι . Άτοπο. Κι αυτό γιατί θεωρήσαμε . Άρα σε κάθε σημείο ισχύει .
Υ.Γ. Το ότι η επιφάνεια τοπικά ισομετρική με τμήμα επιπέδου μπορεί να προκύψει κι από το Έξοχο Θεώρημα του Gauss.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Εφαπτόμενα επίπεδα επιφάνειας
Γεια σου Γρηγόρη.
Και εγώ στην αρχή ξεκίνησα να κάνω λύση στην μορφή της δική σου.
Μετά όμως βλέποντας την γεωμετρία του προβλήματος κατέληξα ότι είναι επίπεδο.
Πάντως είναι ωραία γιατί είναι χαρακτηρισμός του επίπεδου.
Δεν την έχω ξαναδεί(η την έχω ξεχάσει)
Συμπλήρωση.
ΔΕΝ ΕΙΝΑΙ ΣΩΣΤΟ ότι είναι χαρακτηρισμός επιπέδου.Οπως αναφέρει και ο Γιώργος παρακάτω και τμήμα κώνου έχει
αυτή την ιδιότητα.Αρα την ΠΑΤΗΣΑ,
Και εγώ στην αρχή ξεκίνησα να κάνω λύση στην μορφή της δική σου.
Μετά όμως βλέποντας την γεωμετρία του προβλήματος κατέληξα ότι είναι επίπεδο.
Πάντως είναι ωραία γιατί είναι χαρακτηρισμός του επίπεδου.
Δεν την έχω ξαναδεί(η την έχω ξεχάσει)
Συμπλήρωση.
ΔΕΝ ΕΙΝΑΙ ΣΩΣΤΟ ότι είναι χαρακτηρισμός επιπέδου.Οπως αναφέρει και ο Γιώργος παρακάτω και τμήμα κώνου έχει
αυτή την ιδιότητα.Αρα την ΠΑΤΗΣΑ,
τελευταία επεξεργασία από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ σε Πέμ Σεπ 15, 2016 7:22 pm, έχει επεξεργασθεί 1 φορά συνολικά.
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3331
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Εφαπτόμενα επίπεδα επιφάνειας
Εποπτικά -- και ίσως όχι πολύ αυστηρά -- το βλέπω ως εξής: εργαζόμενοι πρώτα στο επίπεδο, παρατηρούμε -- λήμμα -- ότι μία καμπύλη της οποίας η εφαπτόμενη σε κάθε σημείο περνά από την αρχή των αξόνων οφείλει να είναι ευθεία (διαφορική εξίσωση , κλπ*)^ τέμνοντας τώρα την δοθείσα επιφάνεια με κάθε επίπεδο κάθετο στο επίπεδο που περιέχει τον άξονα των λαμβάνουμε, σε κάθε ένα από τα κάθετα επίπεδα, καμπύλη με την ιδιότητα του λήμματος, άρα ευθεία γραμμή.
Καταλήξαμε λοιπόν σε μία επιφάνεια αποτελούμενη από ευθείες γραμμές που συγκλίνουν στην αρχή των αξόνων. Παράδειγμα τέτοιας επιφάνειας αποτελεί το κάθε ζεύγος κατά κορυφήν κώνων, χωρίς όμως εφαπτόμενο επίπεδο (διαφορισιμότητα) στην αρχή των αξόνων. Παρατηρούμε εδώ ότι διαφορισιμότητα σε τυχόν σημείο μιας καμπύλης σημαίνει ότι ... για κάθε δύο εφαπτόμενες ευθείες στο συγκεκριμένο σημείο όλες οι άλλες εφαπτόμενες κείνται στο επίπεδο που αυτές ορίζουν -- αλλιώς δεν θα υπήρχε εφαπτόμενο επίπεδο στο συγκεκριμένο σημείο. Αυτή η συνθήκη διαφορισιμότητας και το γεγονός ότι η επιφάνεια μας αποτελείται από συγκλίνουσες ευθείες εξασφαλίζουν, μαζί με την διαφορισιμότητα στο σημείο σύγκλισης (αρχή των αξόνων), ότι η επιφάνεια μας είναι επίπεδο (διερχόμενο από την αρχή των αξόνων).
*ας το δούμε αυτό (το δισδιάστατο λήμμα) και πιο εποπτικά (αλλά όχι αυστηρά): αν η κλίση της καμπύλης αλλάζει γύρω από το σημείο επαφής (στο οποίο η εφαπτόμενη διέρχεται από την αρχή των αξόνων) ... τότε αν είναι τοπικά κυρτή (και πάνω από την εφαπτόμενη στο ) οι εφαπτόμενες σε σημεία αριστερά του τέμνουν τον άξονα των πάνω από το και οι εφαπτόμενες σε σημεία δεξιά του τέμνουν τον άξονα των κάτω από το , ενώ αν είναι τοπικά κοίλη (και κάτω από την εφαπτόμενη στο ) τότε συμβαίνουν ακριβώς τα αντίθετα. (Τώρα αν η κυρτότητα/κοιλότητα μεταβάλλεται συνεχώς γύρω από το ... δεν βλέπω τρόπο διαφυγής...)
Καταλήξαμε λοιπόν σε μία επιφάνεια αποτελούμενη από ευθείες γραμμές που συγκλίνουν στην αρχή των αξόνων. Παράδειγμα τέτοιας επιφάνειας αποτελεί το κάθε ζεύγος κατά κορυφήν κώνων, χωρίς όμως εφαπτόμενο επίπεδο (διαφορισιμότητα) στην αρχή των αξόνων. Παρατηρούμε εδώ ότι διαφορισιμότητα σε τυχόν σημείο μιας καμπύλης σημαίνει ότι ... για κάθε δύο εφαπτόμενες ευθείες στο συγκεκριμένο σημείο όλες οι άλλες εφαπτόμενες κείνται στο επίπεδο που αυτές ορίζουν -- αλλιώς δεν θα υπήρχε εφαπτόμενο επίπεδο στο συγκεκριμένο σημείο. Αυτή η συνθήκη διαφορισιμότητας και το γεγονός ότι η επιφάνεια μας αποτελείται από συγκλίνουσες ευθείες εξασφαλίζουν, μαζί με την διαφορισιμότητα στο σημείο σύγκλισης (αρχή των αξόνων), ότι η επιφάνεια μας είναι επίπεδο (διερχόμενο από την αρχή των αξόνων).
*ας το δούμε αυτό (το δισδιάστατο λήμμα) και πιο εποπτικά (αλλά όχι αυστηρά): αν η κλίση της καμπύλης αλλάζει γύρω από το σημείο επαφής (στο οποίο η εφαπτόμενη διέρχεται από την αρχή των αξόνων) ... τότε αν είναι τοπικά κυρτή (και πάνω από την εφαπτόμενη στο ) οι εφαπτόμενες σε σημεία αριστερά του τέμνουν τον άξονα των πάνω από το και οι εφαπτόμενες σε σημεία δεξιά του τέμνουν τον άξονα των κάτω από το , ενώ αν είναι τοπικά κοίλη (και κάτω από την εφαπτόμενη στο ) τότε συμβαίνουν ακριβώς τα αντίθετα. (Τώρα αν η κυρτότητα/κοιλότητα μεταβάλλεται συνεχώς γύρω από το ... δεν βλέπω τρόπο διαφυγής...)
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3331
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Εφαπτόμενα επίπεδα επιφάνειας
Μπορεί να γίνει κάτι καλύτερο (πέρα από επίλυση της απλής διαφορικής εξίσωσης , που ήδη ανέφερα);gbaloglou έγραψε: *ας το δούμε αυτό (το δισδιάστατο λήμμα) και πιο εποπτικά (αλλά όχι αυστηρά): αν η κλίση της καμπύλης αλλάζει γύρω από το σημείο επαφής (στο οποίο η εφαπτόμενη διέρχεται από την αρχή των αξόνων) ... τότε αν είναι τοπικά κυρτή (και πάνω από την εφαπτόμενη στο ) οι εφαπτόμενες σε σημεία αριστερά του τέμνουν τον άξονα των πάνω από το και οι εφαπτόμενες σε σημεία δεξιά του τέμνουν τον άξονα των κάτω από το , ενώ αν είναι τοπικά κοίλη (και κάτω από την εφαπτόμενη στο ) τότε συμβαίνουν ακριβώς τα αντίθετα. (Τώρα αν η κυρτότητα/κοιλότητα μεταβάλλεται συνεχώς γύρω από το ... δεν βλέπω τρόπο διαφυγής...)
[Θυμίζω ότι το θέμα μας εδώ είναι η δισδιάστατη παραλλαγή -- και κατ' εμέ αναγωγή -- του αρχικού θέματος, δηλαδή: αν όλες οι εφαπτόμενες μιας παραγωγίσιμης συνάρτησης διέρχονται από την αρχή των αξόνων, τότε αυτή είναι ευθεία γραμμή.]
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Εφαπτόμενα επίπεδα επιφάνειας
Επανέρχομαι γιατί στα προηγούμενα post μου έκανα παιδαριώδη ΛΑΘΗ.
Η διαφορική εξίσωση
έχει και άλλες λύσεις εκτός από αυτές που περιέγραψα πιο πάνω.
Θέτοντας
είναι ισοδύναμη με το
Από την
παίρνουμε ότι δηλαδή
Από την
παίρνουμε δηλαδή
Η γενική λύση της διαφορικής εξίσωσης είναι
όπου αυθαίρετη ομαλή συνάρτηση.
Τελικά έχουμε ότι =0
Η τελευταία μας δίνει (με κάποιους περιορισμούς) την γενική λύση της Δ.Ε
Θα επανέλθω σύντομα να συνεχίσω.
Η διαφορική εξίσωση
έχει και άλλες λύσεις εκτός από αυτές που περιέγραψα πιο πάνω.
Θέτοντας
είναι ισοδύναμη με το
Από την
παίρνουμε ότι δηλαδή
Από την
παίρνουμε δηλαδή
Η γενική λύση της διαφορικής εξίσωσης είναι
όπου αυθαίρετη ομαλή συνάρτηση.
Τελικά έχουμε ότι =0
Η τελευταία μας δίνει (με κάποιους περιορισμούς) την γενική λύση της Δ.Ε
Θα επανέλθω σύντομα να συνεχίσω.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Εφαπτόμενα επίπεδα επιφάνειας
Εχουμε υποθέτοντας οτι
Εφαρμόζωντας το θεώρημα πεπλεγμένων συναρτήσεων έχουμε ότι
οπου συνάρτηση
Αρα
Εχουμε ότι αν τότε η καμπυλότητα Gauss είναι 0 αν και μόνο αν
Η μορφή της ικανοποιεί την τελευταία .
Αρα η καμπυλότητα Gauss είναι 0.
Εφαρμόζωντας το θεώρημα πεπλεγμένων συναρτήσεων έχουμε ότι
οπου συνάρτηση
Αρα
Εχουμε ότι αν τότε η καμπυλότητα Gauss είναι 0 αν και μόνο αν
Η μορφή της ικανοποιεί την τελευταία .
Αρα η καμπυλότητα Gauss είναι 0.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Εφαπτόμενα επίπεδα επιφάνειας
Ας δούμε μια άλλη λύση.
Εστω κανονική παραμέτριση της επιφάνειας τοπικά.
Αν τα θεμελειώδη μεγέθη της πρώτης και δεύτερης μορφής
τότε η καμπυλότητα Gauss είναι
Αλλά
όπου και για τα διανύσματα έχουμε μικτό γινόμενο.
Λόγω της υπόθεσης
παραγωγίζοντας ως προς παίρνουμε οτι
πολλαπλασιάζοντας με ώστε να έχουμε μικτό γινόμενο
παίρνουμε
παραγωγίζοντας ως προς την άλλη μεταβλητή και κάνοντας τα ίδια
έχουμε
Αν θεωρήσουμε τις (1),(2) σαν γραμμικό σύστημα με αγνώστους τις συναρτήσεις
και υποθέτοντας ότι έχει μη μηδενικές λύσεις
προκύπτει ότι .Αρα
Αν αυτό θα συμβαίνει το πολύ σε ένα σημείο.
Από συνέχεια της καμπυλότητας και εκεί θα έχουμε .
Εστω κανονική παραμέτριση της επιφάνειας τοπικά.
Αν τα θεμελειώδη μεγέθη της πρώτης και δεύτερης μορφής
τότε η καμπυλότητα Gauss είναι
Αλλά
όπου και για τα διανύσματα έχουμε μικτό γινόμενο.
Λόγω της υπόθεσης
παραγωγίζοντας ως προς παίρνουμε οτι
πολλαπλασιάζοντας με ώστε να έχουμε μικτό γινόμενο
παίρνουμε
παραγωγίζοντας ως προς την άλλη μεταβλητή και κάνοντας τα ίδια
έχουμε
Αν θεωρήσουμε τις (1),(2) σαν γραμμικό σύστημα με αγνώστους τις συναρτήσεις
και υποθέτοντας ότι έχει μη μηδενικές λύσεις
προκύπτει ότι .Αρα
Αν αυτό θα συμβαίνει το πολύ σε ένα σημείο.
Από συνέχεια της καμπυλότητας και εκεί θα έχουμε .
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Εφαπτόμενα επίπεδα επιφάνειας
Να την λύσουμε χρησιμοποιώντας την διαφορική εξίσωση χωρίς όμως να χρησιμοποιήσουμε τις λύσεις της.
Εχουμε
όπου
παραγωγίζοντας ως προς παίρνουμε
και ως
παίρνουμε
το γραμμικό σύστημα
με αγνώστους τα έχει μη μηδενικές λύσεις εκτός αν
Αρα που δίνει καμπυλότητα Gauss 0.
Στο σημείο που πιθανόν μένει χρησιμοποιούμε την συνέχεια της καμπυλότητας.
Εχουμε
όπου
παραγωγίζοντας ως προς παίρνουμε
και ως
παίρνουμε
το γραμμικό σύστημα
με αγνώστους τα έχει μη μηδενικές λύσεις εκτός αν
Αρα που δίνει καμπυλότητα Gauss 0.
Στο σημείο που πιθανόν μένει χρησιμοποιούμε την συνέχεια της καμπυλότητας.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 3 επισκέπτες