Κριτήριο Παραλληλίας Ευθειών
Συντονιστής: matha
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4455
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Κριτήριο Παραλληλίας Ευθειών
'Εστω ένας Ευκλείδειος χώρος και , δύο διάφορες ευθείες του.
'Εστω το σύνολο των αποστάσεων των σημείων της από την .
Να αποδειχθεί ότι οι , είναι παράλληλες αν και μόνο αν το είναι φραγμένο.
'Εστω το σύνολο των αποστάσεων των σημείων της από την .
Να αποδειχθεί ότι οι , είναι παράλληλες αν και μόνο αν το είναι φραγμένο.
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
Λέξεις Κλειδιά:
- S.E.Louridas
- Δημοσιεύσεις: 5956
- Εγγραφή: Σάβ Μαρ 21, 2009 10:53 am
- Τοποθεσία: Aegaleo.
- Επικοινωνία:
Re: Κριτήριο Παραλληλίας Ευθειών
Καλημέρα Νίκο με μία Ευκλείδεια προσπάθεια, αφού ας πούμε ότι λόγω της Ευκλείδειας διαδικασίας που επέλεξα, μου άρεσε να μπω στην διαδικασία μιας διερευνητικής Μαθηματικής μεθόδου σκέψης βασιζόμενος στην όμορφη αυτή πρόταση που μας πρότεινες με τις πολύ καλές θεωρητικές της, αλλά και κατασκευαστικές της προεκτάσεις. Με χαρά λοιπόν που ο Νίκος με έβαλε στο περιβάλλον αυτό. Μερικές φορές αυτού του είδους τα θέματα τα χρειαζόμαστε για την δική μας προπόνηση, εμείς που υπάρχει κίνδυνος να παρασυρθούμε από την διαδικασία στο να προσπαθούμε μόνο να διδάσκουμε να μοιάσουμε τελικά .... στο τέρας, όπως ακριβώς έλεγε ο Μάνος Χατζηδάκης.nsmavrogiannis έγραψε: ↑Παρ Αύγ 07, 2020 10:00 pm'Εστω ένας Ευκλείδειος χώρος και , δύο διάφορες ευθείες του.
'Εστω το σύνολο των αποστάσεων των σημείων της από την .
Να αποδειχθεί ότι οι , είναι παράλληλες αν και μόνο αν το είναι φραγμένο.
Θα θεωρήσουμε ότι
Καταρχάς αν οι ευθείες είναι παράλληλες, τότε, το σύνολο είναι μονοσύνολο, άρα φραγμένο.
Έστω τώρα ότι το σύνολο είναι φραγμένο και οι δεν είναι παράλληλες, δηλαδή είναι ασύμβατες ή τέμνονται. Τότε, θα υπάρχει ευθύγραμμο τμήμα μήκους τέτοιο που Αν θεωρήσουμε σημείο της που απέχει από την απόσταση , θα έχουμε αν Από το σημείο θεωρούμε διερχόμενη ευθεία παράλληλη στην και έτσι ορίζουμε επίπεδο που διέρχεται από την παράλληλο στην ευθεία Αν τώρα από σημείο θεωρήσουμε , τότε Έτσι μπορούμε να πιστοποιήσουμε ότι υπάρχει με ή πράγμα άτοπο από την
Απλά να πληροφορήσω ότι τα σχήματα στον χώρο που ακολουθούν, είναι ... "χειροκίνητα". Εδώ στηριχτήκαμε σε δύο προτάσεις:
1η πρόταση:
Έστω δύο ασύμβατες ευθείες Τότε υπάρχει σημείο της που απέχει από την δοθείσα απόσταση Πράγματι αν θεωρήσουμε την απόσταση της κοινής καθέτου τους , τότε, θεωρούμε την παράλληλη στην που ορίζει με την παράλληλο επίπεδο προς την Θεωρούμε τώρα σημείο τέτοιο πού αν Προφανώς ισχύει Αν τώρα από το υψώσουμε κάθετη στο θα έχουμε το ζητούμενο σημείο 2η πρόταση:
Έστω δύο ασύμβατες ευθείες και σημεία τέτοια που και Τότε θα υπάρχουν σημεία τέτοια που Πράγματι αν θεωρήσουμε επίπεδο τέτοιο ώστε , τότε στο επίπεδο αυτό θεωρούμε ευθεία Το επίπεδο είναι κάθετο στην ευθεία Επί της ημιευθείας θεωρούμε το σημείο Αν ευθεία παράλληλη στην , τότε, Με μία λοιπόν παράλληλη μετατόπιση του , προς τον εαυτό του, με «οδηγό» την ευθεία έως την θέση παίρνουμε Επανέρχομαι για να αναφερθώ στη περίπτωση που οι ευθείες είναι τεμνόμενες και μη ταυτιζόμενες (μου το επεσήμανε και ο φίλος και άριστος Μαθηματικός Σταύρος Παπαδόπουλος που τον ευχαριστώ δημοσίως για αυτό), καθότι είναι γνωστό ότι η άρνηση της : «Δύο Ευθείες στο χώρο είναι παράλληλες» είναι η «Δύο ευθείες στον χώρο (είναι ασύμβατες) ή (τεμνόμενες και μη ταυτιζόμενες)». Στην περίπτωση αυτή, όπου οι είναι τεμνόμενες σε σημείο και μη ταυτιζόμενες, η απόδειξη είναι πολύ απλή. Δηλαδή σαφώς και δεν υπάρχει ευθύγραμμο τμήμα μέτρου με που να είναι φράγμα, αφού η κλάση των υποτεινουσών των όμοιων ορθογώνιων τριγώνων προς το τρίγωνο , όπως ορίζονται εδώ είναι προφανώς σύνολο μη φραγμένο.
(*) Ο λόγος βέβαια που δεν το συμπεριέλαβα είναι επειδή πληκτρολογούσα ταυτόχρονα με τις σκέψεις μου και με συνεπήρε η όμορφη πλοκή της όλης σύλληψης του Νίκου και … αφαιρέθηκα. Ζητώ συγγνώμη.
(**) Μετά την πρώτη αυτή από μέρους μου διαπραγμάτευση θα ασχοληθώ με την περίπτωση άλλου τύπου επίλυσης μέσω Διανυσματικής Ανάλυσης. … Ίδωμεν.
τελευταία επεξεργασία από S.E.Louridas σε Σάβ Αύγ 08, 2020 7:18 pm, έχει επεξεργασθεί 1 φορά συνολικά.
S.E.Louridas
1.Μιλώ, μόνο όταν έχω να πώ κάτι καλύτερο από την σιωπή (Πυθαγόρας).
2.Οι αξίες αντανακλώνται, Δεν επιβάλλονται.
3.Είναι Κορυφαία η κάθε στιγμή επίλυσης ενός Μαθηματικού προβλήματος.
1.Μιλώ, μόνο όταν έχω να πώ κάτι καλύτερο από την σιωπή (Πυθαγόρας).
2.Οι αξίες αντανακλώνται, Δεν επιβάλλονται.
3.Είναι Κορυφαία η κάθε στιγμή επίλυσης ενός Μαθηματικού προβλήματος.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Κριτήριο Παραλληλίας Ευθειών
Να αναφέρω ότι ενώ ο φίλος Σωτήρης έκανε την απόδειξη στον
αυτή η απόδειξη περνάει και στην γενική περίπτωση.
Είναι εύκολο να το δούμε ως εξής:
Κάνοντας μια μεταφορά μπορούμε να υποθέσουμε ότι η μία ευθεία περνάει από το του χώρου.
Αν πάρουμε τον μικρότερο υπόχωρο του χώρου που περιέχει τις δύο ευθείες τότε
αυτός έχει διάσταση το πολύ .
Τότε όμως είναι ισόμορφος με ένα υπόχωρο του
οπότε αρκεί να το αποδείξουμε στον
αυτή η απόδειξη περνάει και στην γενική περίπτωση.
Είναι εύκολο να το δούμε ως εξής:
Κάνοντας μια μεταφορά μπορούμε να υποθέσουμε ότι η μία ευθεία περνάει από το του χώρου.
Αν πάρουμε τον μικρότερο υπόχωρο του χώρου που περιέχει τις δύο ευθείες τότε
αυτός έχει διάσταση το πολύ .
Τότε όμως είναι ισόμορφος με ένα υπόχωρο του
οπότε αρκεί να το αποδείξουμε στον
- S.E.Louridas
- Δημοσιεύσεις: 5956
- Εγγραφή: Σάβ Μαρ 21, 2009 10:53 am
- Τοποθεσία: Aegaleo.
- Επικοινωνία:
Re: Κριτήριο Παραλληλίας Ευθειών
Απολύτως ΝΑΙ.ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: ↑Σάβ Αύγ 08, 2020 7:17 pmΝα αναφέρω ότι ενώ ο φίλος Σωτήρης έκανε την απόδειξη στον
αυτή η απόδειξη περνάει και στην γενική περίπτωση.
Είναι εύκολο να το δούμε ως εξής:
Κάνοντας μια μεταφορά μπορούμε να υποθέσουμε ότι η μία ευθεία περνάει από το του χώρου.
Αν πάρουμε τον μικρότερο υπόχωρο του χώρου που περιέχει τις δύο ευθείες τότε
αυτός έχει διάσταση το πολύ .
Τότε όμως είναι ισόμορφος με ένα υπόχωρο του
οπότε αρκεί να το αποδείξουμε στον
S.E.Louridas
1.Μιλώ, μόνο όταν έχω να πώ κάτι καλύτερο από την σιωπή (Πυθαγόρας).
2.Οι αξίες αντανακλώνται, Δεν επιβάλλονται.
3.Είναι Κορυφαία η κάθε στιγμή επίλυσης ενός Μαθηματικού προβλήματος.
1.Μιλώ, μόνο όταν έχω να πώ κάτι καλύτερο από την σιωπή (Πυθαγόρας).
2.Οι αξίες αντανακλώνται, Δεν επιβάλλονται.
3.Είναι Κορυφαία η κάθε στιγμή επίλυσης ενός Μαθηματικού προβλήματος.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Κριτήριο Παραλληλίας Ευθειών
Για να δούμε την λύση του Σωτήρη με άλλη διατύπωση.
Θα δείξουμε ότι αν οι ευθείες δεν είναι παράλληλες τότε η απόσταση σημείου της
από την μπορεί να γίνει όσο μεγάλη θέλουμε.
Αν οι ευθείες τέμνονται τότε αυτό είναι εύκολο να δειχθεί.
Εστω ότι είναι ασύμβατες.
Εστω στην , στην ώστε η να είναι η κοινή κάθετος.
Στο επίπεδο που είναι κάθετο στην και περιέχει την φέρουμε ευθεία που περνάει από το
και είναι παράλληλη στην .
Εστω σημείο της και της ώστε η να είναι κάθετη στην
Αν από το φέρουμε την κάθετη στο επίπεδο που είναι κάθετο στην και περιέχει την
τότε αυτή τέμνει την στο
Από θεώρημα τριών καθέτων η είναι κάθετη στην
Από το ορθογώνιο τρίγωνο είναι
Όταν το κινείται στην το κινείται στην και διατρέχει όλα τα σημεία της.
Επειδή η απόσταση σημείων της από την δεν είναι φραγμένη, λόγω της
και η απόσταση των σημείων της από την δεν είναι φραγμένη .
Θα δείξουμε ότι αν οι ευθείες δεν είναι παράλληλες τότε η απόσταση σημείου της
από την μπορεί να γίνει όσο μεγάλη θέλουμε.
Αν οι ευθείες τέμνονται τότε αυτό είναι εύκολο να δειχθεί.
Εστω ότι είναι ασύμβατες.
Εστω στην , στην ώστε η να είναι η κοινή κάθετος.
Στο επίπεδο που είναι κάθετο στην και περιέχει την φέρουμε ευθεία που περνάει από το
και είναι παράλληλη στην .
Εστω σημείο της και της ώστε η να είναι κάθετη στην
Αν από το φέρουμε την κάθετη στο επίπεδο που είναι κάθετο στην και περιέχει την
τότε αυτή τέμνει την στο
Από θεώρημα τριών καθέτων η είναι κάθετη στην
Από το ορθογώνιο τρίγωνο είναι
Όταν το κινείται στην το κινείται στην και διατρέχει όλα τα σημεία της.
Επειδή η απόσταση σημείων της από την δεν είναι φραγμένη, λόγω της
και η απόσταση των σημείων της από την δεν είναι φραγμένη .
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Κριτήριο Παραλληλίας Ευθειών
Η ιδιότητα δεν χαρακτηρίζει τους Ευκλείδειους χώρους.nsmavrogiannis έγραψε: ↑Παρ Αύγ 07, 2020 10:00 pm'Εστω ένας Ευκλείδειος χώρος και , δύο διάφορες ευθείες του.
'Εστω το σύνολο των αποστάσεων των σημείων της από την .
Να αποδειχθεί ότι οι , είναι παράλληλες αν και μόνο αν το είναι φραγμένο.
Ισχύει σε οποιανδήποτε χώρο με νόρμα.
Συγκεκριμένα
'Εστω ένας χώρος με νόρμα και , δύο διάφορες ευθείες του.
'Εστω το σύνολο των αποστάσεων των σημείων της από την .
Να αποδειχθεί ότι οι , είναι παράλληλες αν και μόνο αν το είναι φραγμένο.
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4455
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: Κριτήριο Παραλληλίας Ευθειών
Γεια σας. Σωτήρη, Σταύρο σας ευχαριστώ για τις απαντήσεις σας.
Γράφω την απάντηση που είχα υπ' όψιν για το αρχικό ερώτημα.
Ας υποθέσουμε ότι οι δύο ευθείες είναι οι , όπου .
Η προβολή του τυχόντος σημείου του στην ευθεία είναι και επομένως η απόσταση του τυχόντος σημείου της από την είναι
Αν υποτεθεί ότι το σύνολο των αποστάσεων είναι φραγμένο δηλαδή ότι για όλα τα τότε για :
και επομένως για είναι που σημαίνει ότι . Τότε και τα , είναι συγγραμμικά άρα οι ευθείες είναι παράλληλες.
Το αντίστροφο αποδεικνύεται εύκολα.
Φυσικά όπως επεσήμανε ο Σταύρος το πρόβλημα κατ΄ουσίαν είναι τριδιάστατο οπότε η λύση του Σωτήρη εφαρμόζεται άμεσα.
Υποθέτουμε λοιπόν ότι δουλεύουμε σε χώρο με νόρμα. Η απόσταση του τυχόντος σημείου της από την είναι το infimum των αποστάσεων του από τα σημεία της . Επειδή η είναι γραμμική πολλαπλότητα πεπερασμένης διάστασης (αντικατέστησα την αρχική διατύπωση "κλειστό σύνολο": Ευχαριστώ τον Σταύρο Παπαδόπουλο για τη επισήμανση) η απόσταση αυτή υλοποιείται δηλαδή υπάρχει ένα τουλάχιστον σημείο της ώστε η απόσταση των και να είναι η απόσταση του από την . H συνάρτηση μπορεί να οριστεί με το αξίωμα της επιλογής. Ας υποθέσουμε όπως πριν ότι το σύνολο των αποστάσεων
είναι φραγμένο από το . Τ'οτε βρίσκουμε ότι για είναι και ότι για ισχύει .
Αλλά το ανήκει στην ευθεία που είναι κλειστό σύνολο άρα συγκλίνει σε κάποιο . Επομένως και οι ευθείες , είναι παράλληλες.
Το αντίστροφο νομίζω ότι και πάλι είναι απλό.
Edit 11/8/20 12:12 Διόρθωση
Γράφω την απάντηση που είχα υπ' όψιν για το αρχικό ερώτημα.
Ας υποθέσουμε ότι οι δύο ευθείες είναι οι , όπου .
Η προβολή του τυχόντος σημείου του στην ευθεία είναι και επομένως η απόσταση του τυχόντος σημείου της από την είναι
Αν υποτεθεί ότι το σύνολο των αποστάσεων είναι φραγμένο δηλαδή ότι για όλα τα τότε για :
και επομένως για είναι που σημαίνει ότι . Τότε και τα , είναι συγγραμμικά άρα οι ευθείες είναι παράλληλες.
Το αντίστροφο αποδεικνύεται εύκολα.
Φυσικά όπως επεσήμανε ο Σταύρος το πρόβλημα κατ΄ουσίαν είναι τριδιάστατο οπότε η λύση του Σωτήρη εφαρμόζεται άμεσα.
Πράγματι αυτό ισχύει μόνο που θα χρειαστεί να παραιτηθούμε των ευκολιών της καθετότητας και των προβολών και να δουλέψουμε με αποστάσεις.ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: ↑Κυρ Αύγ 09, 2020 10:14 am...
Η ιδιότητα δεν χαρακτηρίζει τους Ευκλείδειους χώρους.
Ισχύει σε οποιανδήποτε χώρο με νόρμα.
Συγκεκριμένα
'Εστω ένας χώρος με νόρμα και , δύο διάφορες ευθείες του.
'Εστω το σύνολο των αποστάσεων των σημείων της από την .
Να αποδειχθεί ότι οι , είναι παράλληλες αν και μόνο αν το είναι φραγμένο.
Υποθέτουμε λοιπόν ότι δουλεύουμε σε χώρο με νόρμα. Η απόσταση του τυχόντος σημείου της από την είναι το infimum των αποστάσεων του από τα σημεία της . Επειδή η είναι γραμμική πολλαπλότητα πεπερασμένης διάστασης (αντικατέστησα την αρχική διατύπωση "κλειστό σύνολο": Ευχαριστώ τον Σταύρο Παπαδόπουλο για τη επισήμανση) η απόσταση αυτή υλοποιείται δηλαδή υπάρχει ένα τουλάχιστον σημείο της ώστε η απόσταση των και να είναι η απόσταση του από την . H συνάρτηση μπορεί να οριστεί με το αξίωμα της επιλογής. Ας υποθέσουμε όπως πριν ότι το σύνολο των αποστάσεων
είναι φραγμένο από το . Τ'οτε βρίσκουμε ότι για είναι και ότι για ισχύει .
Αλλά το ανήκει στην ευθεία που είναι κλειστό σύνολο άρα συγκλίνει σε κάποιο . Επομένως και οι ευθείες , είναι παράλληλες.
Το αντίστροφο νομίζω ότι και πάλι είναι απλό.
Edit 11/8/20 12:12 Διόρθωση
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες