משפט חוצה הזווית

בגאומטריה, משפט חוצה הזווית קובע כי חוצה זווית במשולש (פנימית או חיצונית) מחלק את הצלע בה הוא פוגע (או המשכה) ביחס שווה ליחס בין שוקי הזווית.

בתמונה בצד, $ AD $ חוצה זווית $ \sphericalangle A $ וחותך את $ BC $ ב-$ D $ , ולכן $ {\frac {AB}{AC}}={\frac {BD}{CD}} $ .

המשפט מכליל את הטענה שחוצה זווית במשולש שווה-שוקיים הוא תיכון.

המשפט ההפוך נכון גם הוא: אם ישר יוצא מקודקוד משולש לעבר הצלע ממול ומחלק אותה ביחס שווה ליחס בין הצלעות, אז אותו ישר הוא חוצה זווית.

הוכחה

הוכחת המשפט

נסמן את שני חלקי הזווית החצויה:

$ \sphericalangle BAD=\sphericalangle CAD=\alpha $

נסמן נקודה $ E $ על $ AC $ (או על המשכה), כאשר $ BE\|AD $ .

על פי משפט תאלס נקבל $ {\frac {AE}{AC}}={\frac {BD}{CD}} $ .

$ BE\|AD $ , לכן נקבל

1. $ \sphericalangle AEB=\alpha $ (זוויות מתאימות בין מקבילים שוות זו לזו)
2. $ \sphericalangle ABE=\alpha $ (זוויות מתחלפות בין מקבילים שוות זו לזו)

מכאן $ \triangle ABE $ משולש שווה-שוקיים, לכן $ AE=AB $ .

נציב תוצאה זו ונקבל $ {\frac {AB}{AC}}={\frac {BD}{CD}} $ .