Σταύρο και λοιποί φίλοι καλησπέρα
Τα

,

,

παράγουν ένα υπόχωρο

του

το πολύ διάστασης

ο οποίος είναι (γραμμικά) ισομετρικός (ανάλογα με την διάσταση του) με τον

, τον

ή και τον

.
Αρχικά θα αποκλείσουμε το ενδεχόμενο τα

,

,

να είναι ανεξάρτητα. Αν είναι τότε ο

είναι ισομετρικός με τον

και μπορούμε να συμβολίσουμετις εικόνες τους στον

με

,

,

που απεικονίζονται στο επόμενο σχήμα:

- linear.png (24.14 KiB) Προβλήθηκε 2131 φορές
Από τις υποθέσεις έχουμε ότι

.
περιστρέφοντας ημιεπίπεδο των

,

γύρω από την ευθεία του

μέχρις ότου να συμπέσει με το αντικείμενο ημιεπίπεδο των

,

καταλήγουμε στο επίπεδο σχήμα:

- linear1.png (16.36 KiB) Προβλήθηκε 2131 φορές
όπου ισχύει πάλι η

. Όμως (αποτελεί σχολική άσκηση στην τριγωνική ανισότητα) η τεθλασμένη

έχει οπωσδήποτε μήκος μικρότερο τουλάχιστον ενός εκ των μηκών των τεθλασμένων

,

ανάλογα σε ποιο από τα τρίγωνα

,

ανήκει το

. Επομένως αποκλείεται

.
με ανάλογο συλλογισμό αποκλείεται και η περίπτωση της διάστασης

. Άρα τα τρία διανύσματα είναι συγγραμμικά και

,

. Αντικαθιστώντας στην υπόθεση έχουμε την

Το συμπέρσμα έπεται από την επεξεργασία που υπάρχει εδώ:
https://www.mathematica.gr/forum/viewto ... 27&t=64839