איך מוכיחים שישר מאונך לישר מסוים?

בגאומטריה אם נוצרת בינהם זוית ישרה
באלגברה אם השיפוע שלהם הוא הופכי-נגדי