πραγματικοί αριθμοί. Ονομάζουμε
το σύνολο των σημείων
του Ευκλείδειου χώρου για τα οποία
. Έστω επίσης πραγματικοί αριθμοί
τέτοιοι ώστε
για κάθε
.Να αποδειχθεί ότι υπάρχει πραγματικός αριθμός
τέτοιος ώστε
και
.
πραγματικοί αριθμοί. Ονομάζουμε
το σύνολο των σημείων
του Ευκλείδειου χώρου για τα οποία
. Έστω επίσης πραγματικοί αριθμοί
τέτοιοι ώστε
για κάθε
.
τέτοιος ώστε
και
.
είναι το εσωτερικό του 'αντίσκηνου' που ορίζουν τα επίπεδα
και
... καθώς ισχύουν οι ανισότητες
και
, ενώ το τρίτο επίπεδο,
, είναι το 'σκέπαστρο' ... καθώς ισχύει η
για όλα τα σημεία
του
.
και
), κάτι που δεν προκύπτει από την λεγόμενη 'κοινή λογική' αλλά από την ψυχρή λογική των (αν)ισοτήτων:
και
είναι η
,
. Θέτοντας
,
(με
,
προσδιοριζόμενους από τους
,
,
και τους
,
,
, αντίστοιχα), αλλά και
,
, στην
(που οφείλει να ισχύει για κάθε σημείο του
, άρα και για την τομή των δύο επιπέδων), καταλήγουμε στην ανισότητα
αν και μόνον αν
(όπου
κάποιος πραγματικός): προκύπτει εύκολα τώρα ότι οι
,
ικανοποιούν την
, όπου πλέον
,
.
. Αυτό προκύπτει εύκολα από γεωμετρική θεώρηση (του αντίσκηνου και του σκέπαστρου): ένα επίπεδο ('σκέπαστρο' με εξίσωση
) διερχόμενο από την τομή δύο άλλων επιπέδων (
,
) βρίσκεται 'πάνω' από την τομή των δύο επιπέδων ('καλύπτει δηλαδή το 'εσωτερικό' των δύο επιπέδων 'αντίσκηνο'
, καθώς
για
) ... αν και μόνον αν το κάθετο του επίπεδο
είναι 'εσωτερικό' των καθέτων διανυσμάτων
,
των δύο επιπέδων, δηλαδή αν και μόνον αν
με
, κάτι που όντως ισχύει, για
, λόγω των
,
. Άρα
. (Γίνεται και χωρίς χρήση διανυσμάτων...)
: αν
τότε
(τομή),
και
, αν
,
, τότε
(τομή),
,
και
.]
.
καθώς και
. Άρα
και ομοίως
. Μπορούμε να διαλέξουμε οποιοδήποτε
.
.
.
και το
(όπου
παράμετρος). Ισχύει
, οπότε
για κάθε
. Έτσι,
.
γραμμικώς ανεξάρτητα, πρέπει να ισχύει
. Aπό την συντεταγμένη
παίρνουμε
.
(ομοίως σε άλλη περίπτωση). Ισχύει
καθώς και
. Έτσι,
.

(1)


η (1) γίνεται 

η (1) δίνει 
παίρνουμε 

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης