לדלג לתוכן

משתמש:גיאומטריה/טיוטה

מתוך המכלול, האנציקלופדיה היהודית

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

הוכחת הזהות

בניית העזר להוכחה

תחילה נניח שמשולש ABC ו-ACD הם ישרי זווית ומתקיים cos(a)=ABAC ו-cos(b)=ACAD לכן cosacosb=ABAD

בנוסף מתקיים מהמשולש AED cos(a+b)=AEAD.

כעת נציב ישר FC המקביל ל-EB ושווה לו. נראה שהזווית FCA שווה לזווית a כמו כן זווית CDF שווה לזווית a כי היא משלימה את זווית FCD לזווית ישרה.

כעת sinb=CDDA וsina=FCCD לכן sinasinb=FCAD=EBAD

מכאן ש cos(a+b)=AEAD=ABEBAD=cosacosbsinasinb.

זהויות טריגונומטריות נוספות

הזהות sin(a+b)=cosasinb+sinacosb נובעת מזהות זו על ידי זהות ההזזה sina=cos(π2a) כאשר נציב בנוסחה sin(a+b)=cos(π2(a+b)) נוכל לחשב כמו cos((π2a)b)) וכשנציב b במקום b נקבל את הפתרון לפי הזהות הקודמת, אלא שיש להפוך את cos(π2a) ל-sina

זהות זווית כפולה נובעת מזהות זו על ידי הצבת a במקום b, וזהות חצי זווית על ידי הצבה של חצי זווית בזהות זווית כפולה והעברת אגפים.

שיטה לא גיאומטרית להוכחה

על פי נוסחת אוילר, eθi=cos(θ)+isin(θ) ולכן ניתן להגדיר את הסינוס כחלק המדומה של eθi ואת הקוסינוס כחלק הממשי. מאחר שבפונקציית האקספוננט מתקיים ea+b=eaeb ממילא כאשר a ו-b הם מספרים מדומים מתקיים sin(a+b)i+cos(a+b)=(sin(a)i+cos(a))(sin(b)i+cos(b)) כאשר פותחים את הסוגריים מתקבל sin(a)isin(b)i+sin(a)icos(b)+cos(a)sin(b)i+cos(a)cos(b)=[cos(a)cos(b)sin(a)sin(b)]+[cos(a)sin(b)+sin(a)cos(b)]i כעת החלק הממשי הוא הזהות לקוסינוס והחלק המדומה הוא הזהות לסינוס.

ראו גם

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