Κάθετες ευθείες

Στην γεωμετρία, δύο ευθείες που τέμνονται λέγονται κάθετες αν στο σημείο τομής σχηματίζουν τέσσερις ορθές γωνίες.
Πιο συγκεκριμένα, οι ευθείες και με σημείο τομής είναι κάθετες αν . Η λέγεται κάθετος της στο και συμβολίζεται ως .[1][2] Πρότυπο:Clear
Ιδιότητες
- Από ένα σημείο υπάρχει μοναδική κάθετος σε μία ευθεία .
- Αν , τότε (συμμετρική ιδιότητα).
- Αν και , τότε .
- Αν και , τότε .
- Δύο γωνίες που έχουν τις πλευρές κάθετες είναι είτε ίσες είτε παραπληρωματικές.[Σημείωση 1]
Κάθετος από σημείο προς ευθεία
Έστω μία ευθεία και ένα σημείο εξωτερικό αυτής. Το σημείο τομής της καθέτου από το στο λέγεται ίχνος της καθέτου ή ορθή προβολή (ή απλώς προβολή) του στην .
Κατασκευή

- Θεωρούμε έναν κύκλο με κέντρο το και αρκετά μεγάλη ακτίνα ώστε να τέμνει την ευθεία σε δύο σημεία, έστω .
- Με την ίδια ακτίνα σχεδιάζουμε δύο κύκλους με κέντρα τα και .
- Αυτοί τέμνονται στο και σε ένα άλλο σημείο .
- Η ευθεία που διέρχεται από το και το είναι η (μοναδική) κάθετος από το στο . Το σημείο τομής της με την είναι η προβολή του στην .
Αναλυτική γεωμετρία
Κλίσεις κάθετων ευθειών
Δύο ευθείες με εξισώσεις
- ,
και
- ,
είναι κάθετες ανν .
Εξίσωση κάθετης διερχόμενης από σημείο
Έστω ένα σημείο και μία ευθεία
- .
Η κάθετη από το στην είναι
- .
Ειδικές περιπτώσεις
Προβολή σημείου

Η προβολή ενός σημείου σε μία ευθεία είναι το σημείο τομής της κάθετης από το στην και της . Πρότυπο:Clear
Μεσοκάθετος

Η μεοσκάθετος ενός ευθυγράμμου τμήματος είναι η κάθετη ευθεία που διέρχεται από το μέσο του . Έχει την ιδιότητα ότι όλα τα σημεία της ισαπέχουν από τα και . Πρότυπο:Clear
Σε ένα τρίγωνο

- Σε ένα τρίγωνο, το τμήμα της κάθετης από μία κορυφή του τριγώνου προς την απέναντι πλευρά, ονομάζεται ύψος του τριγώνου.

- Το θεώρημα Καρνό δίνει μία αναγκαία και ικανή συνθήκη για να συντρέχουν τρεις ευθείες κάθετες στις πλευρές ενός τριγώνου.
Γενικεύσεις
Το εσωτερικό γινόμενο γενικεύει την έννοια της καθετότητας. Για τον Ευκλείδειο χώρο, ισχύει ότι για ,
- ,
όπου η γωνία μεταξύ των και . Επομένως, δύο διανύσματα είναι κάθετα ανν (καθώς ).
Πιο γενικά, σε έναν διανυσματικό χώρο με εσωτερικό γινόμενο , δύο διανύσματα είναι κάθετα αν .