משפט הטנגנסים

[שמאל|ממוזער|200px| [צלע (גאומטריה)|צלעות, זוויות וקודקודים במשולש]]
בטריגונומטריה, **משפט הטנגנסים** הוא משפט מתמטי המציג יחס בין אורך צלעות המשולש לבין טנגנס הזוויות שבו. עבור משולש ששתיים מצלעותיו הן \ a, b והזוויות שמולן הן \ \alpha, \betaבהתאמה, משפט הטנגנסים קובע כי מתקיים היחס הבא:
: \frac{a-b}{a+b} = \frac{\tan[\frac{1}{2}(\alpha-\beta)]}{\tan[\frac{1}{2}(\alpha+\beta)]} .

## היסטוריה
משפט הטנגנסים הובא לראשונה בניסוח מתמטי פורמלי בספרו של המתמטיקאי הצרפתי פרנסואה וייט "Variorum de rebus Mathematicis" בשנת 1593, שם גם נוסח משפט הקוסינוסים בצורתו המודרנית. עם זאת, ניסוח מסובך יותר של המשפט ומספר שימושים שלו הופיעו גם בשנת 1583 בספרו של המתמטיקאי הדני תומאס פינק "Geometria Rotundi", שם גם נעשה לראשונה שימוש במונח "טנגנס" במשמעותו הנוכחית. שימושים נוספים למשפט הובאו בשנת 1609 אצל יוהאנס קפלר בספרו "Astronomia Nova" ("האסטרונומיה החדשה").

משפט מקביל בטריגונומטריה הספירית נתגלה והוכח כבר לפני כן במאה ה-13 בידי המתמטיקאי ואיש האשכולות הפרסי נסיר אל-דין אל-טוסי.

## הוכחות
### שימוש במשפט הסינוסים
#לפי משפט הסינוסים מתקיים השוויון הבא (כאשר R הוא רדיוס המעגל החוסם של המשולש):
#:  \frac{a}{\sin\alpha} = \frac{b}{\sin\beta} = 2{R}
# בהעברת אגפים נקבל שתי משוואות:
#: \begin{cases}
a = 2R \sin \alpha \\ b = 2R \sin \beta
\end{cases}
# כעת נוכל לפתח את הנוסחה הבאה:
#:  \frac{a-b}{a+b} = \frac{2R \sin \alpha - 2R \sin \beta}{2R \sin \alpha + 2R \sin \beta} =\frac{\sin \alpha - \sin \beta}{\sin \alpha + \sin \beta}
# נעזר בזהויות הטריגונומטריות של המרת סכום והפרש של שני סינוסים:
#:  \sin(\alpha) \pm \sin(\beta) = 2 \sin\left( \frac{\alpha \pm \beta}{2} \right) \cos\left( \frac{\alpha \mp \beta}{2} \right) \;
# נציב את הזהויות בתוצאה (3) ונקבל:
#: \frac{a-b}{a+b} =  \frac{
  2 \sin\left( \frac{\alpha-\beta}{2} \right) \cos\left( \frac{\alpha+\beta}{2}\right) }{
              2 \sin\left( \frac{\alpha +\beta}{2} \right) \cos\left( \frac{\alpha-\beta}{2}\right)} = \frac{\tan[\frac{1}{2}(\alpha-\beta)]}{\tan[\frac{1}{2}(\alpha+\beta)]} 

### בנייה גאומטרית
#### משפט תאלס
להלן בנייה המוכיחה את המשפט על סמך משפט תאלס המבוססת על הוכחה שהוצגה במגזין "Mathematics Magazine" של איגוד המתמטיקאים האמריקאי:
#שמאל||250pxעבור \ \triangle ABC בו מתקיים \ \alpha > \beta, נבנה מעגל בו C היא נקודת המרכז ו-CB הוא הרדיוס, ונסמן את D כהמשך הצלע AC משמאל, את E כהמשך אותה צלע מימין, כך שמתקיים: \ a = CB = CD = CE .
#בבנייה שביצענו, רואים את התוצאות הבאות:
## \ AE = CE-CA = a-b.
##\ DA = DC+CA = a+b .
##\ DE הוא קוטר במעגל שבנינו. לכן, הזווית הנשענת עליו, היא זווית ישרה, כלומר: \ \angle DBE = 90^\circ.
#נוריד גובה מקודקוד A במשולש ABE ונסמן את נקודת המפגש עם צלע BE ב-F. כלומר: \ \angle AFE = 90^\circ. מכאן כי \ AF \| DB.
# על פי משפט תאלס מתקיים: \ AE/DA = FE/BF = (a-b)/(a+b).
#ב-\ \triangle ABC מתקיים: \ \angle ACB = 180^\circ - (\alpha + \beta). זווית זו היא גם זווית הראש במשולש שווה השוקיים BCE. לכן מתקיים:
##\ \angle CEB = \angle AEF = \frac{180^\circ - \angle ACB}{2} = \frac{1}{2}(\alpha+\beta) .
##באופן דומה, \angle CBE = \frac{1}{2}(\alpha+\beta) ומכאן נקבל כי: \angle ABF = \angle CBE - \beta = \frac{1}{2}(\alpha-\beta).
#על פי תכונות הטנגנס במשולש ישר-זווית מתקיימות המשוואות הבאות:
##במשולש ABF: \ tan(\angle ABF) = tan(\frac{\alpha-\beta}{2}) = {AF}/{BF}.
##במשולש AEF: \ tan(\angle AEF) = tan(\frac{\alpha+\beta}{2}) = {AF}/{FE}.
##מחלוקת משוואות זו בזו נקבל את התוצאה הבאה: \   \frac{FE}{BF} = \frac{ tan(\frac{1}{2}(\alpha-\beta))}{tan(\frac{1}{2}(\alpha+\beta))}.
#על סמך תוצאה (4) נקבל: \ \frac{a-b}{a+b} = \frac{ tan(\frac{1}{2}(\alpha-\beta))}{tan(\frac{1}{2}(\alpha+\beta))} .

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

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

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

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

## ראו גם
*משפט הסינוסים
*משפט הקוסינוסים

## קישורים חיצוניים
* 

## הערות שוליים

קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:משולש
טנגנסים