روابط مجموع دو زاویه: سینوس و کسینوس حاصلجمع
تعریف و پیشنیازها: دایره مثلثاتی و زاویه مرجع
پیش از پرداختن به روابط مجموع، باید با مفهوم دایره مثلثاتی1 آشنا باشیم. روی دایره به مرکز مبدأ با شعاع واحد، هر زاویه با نقطهای روی محیط مشخص میشود که طول آن برابر کسینوس زاویه و ارتفاع آن برابر سینوس زاویه است. برای زاویه $ \alpha $ و $ \beta $، حاصلجمع $ \alpha + \beta $ زاویهای است که با چرخش به اندازه $ \beta $ از انتهای $ \alpha $ به دست میآید. روابط زیر این تغییرات را به صورت جبری توصیف میکنند:
$ \cos(\alpha + \beta) = \cos \alpha \cos \beta - \sin \alpha \sin \beta $
این دو تساوی، هویتهای اصلی جمع هستند. با جایگزینی $ -\beta $ به جای $ \beta $، روابط تفاضل نیز به دست میآید. برای نمونه، $ \sin(\alpha - \beta) = \sin\alpha\cos\beta - \cos\alpha\sin\beta $.
بازآرایی هندسی: اثبات با استفاده از فاصله نقاط روی دایره
یکی از اثباتهای استاندارد برای این روابط، استفاده از قانون فاصله بین دو نقطه روی دایره مثلثاتی است. دو نقطه $ P_1=(\cos\alpha,\sin\alpha) $ و $ P_2=(\cos\beta,\sin\beta) $ را در نظر بگیرید. فاصله مربع میان آنها برابر با $ 2 - 2(\cos\alpha\cos\beta + \sin\alpha\sin\beta) $ است. از طرفی اگر نقاط را با زاویه $ \alpha-\beta $ جابهجا کنیم، فاصله به $ 2-2\cos(\alpha-\beta) $ میرسد. مقایسه دو عبارت فرمول کسینوس تفاضل را میدهد و با تغییر علامت به رابطه کسینوس مجموع میرسیم.
مثال عملی: اگر $ \alpha=30^\circ $ و $ \beta=45^\circ $ باشد، مقدار دقیق $ \sin75^\circ $ را میخواهیم. طبق رابطه: $ \sin30^\circ\cos45^\circ + \cos30^\circ\sin45^\circ = \frac12 \times \frac{\sqrt2}{2} + \frac{\sqrt3}{2} \times \frac{\sqrt2}{2} = \frac{\sqrt2 + \sqrt6}{4} $. این مقدار معروف است و با ماشینحساب نیز قابل تأیید است.
جدول مقایسه: فرمولهای جمع در برابر سایر هویتها
| نام رابطه | فرمول به زبان ریاضی | کاربرد معمول |
|---|---|---|
| سینوس جمع | $ \sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta $ | تبدیل جمع به ضرب، امواج تداخلی |
| کسینوس جمع | $ \cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta $ | محصول داخلی بردارها، قانون کسینوسها |
| سینوس تفاضل | $ \sin(\alpha-\beta)=\sin\alpha\cos\beta-\cos\alpha\sin\beta $ | سادهسازی عبارتهای مثلثاتی |
| کسینوس تفاضل | $ \cos(\alpha-\beta)=\cos\alpha\cos\beta+\sin\alpha\sin\beta $ | محاسبه زاویه بین دو بردار |
کاربرد عملی: محاسبه دقیق زوایای غیر استاندارد
در بسیاری از مسائل فیزیک و مهندسی، زاویه مورد نظر مضرب صحیحی از زوایای $ 30^\circ, 45^\circ, 60^\circ $ نیست. برای نمونه، $ 75^\circ $ را به صورت $ 45^\circ+30^\circ $ میشکنیم. همچنین زاویه $ 105^\circ $ برابر $ 60^\circ+45^\circ $ است. با کمک روابط جمع، بدون نیاز به ماشینحساب میتوان مقدار دقیق را بر حسب رادیکالها نوشت. به همین ترتیب، در موجهای متداخل (مانند تداخل دو نور) دامنه موج حاصل از جمع دو تابع سینوسی با فازهای متفاوت، مستقیماً از رابطه سینوس مجموع پیروی میکند.
چالشهای مفهومی
۱) چرا فرمول سینوس جمع با جمع جملات، اما کسینوس جمع با تفاضل جملات نوشته میشود؟
دلیل آن به تقارن دایره مثلثاتی بازمیگردد. سینوس تابعی فرد است و کسینوس تابعی زوج. در اثبات هندسی، مختصات نقطه نهایی برابر با $ (\cos(\alpha+\beta),\sin(\alpha+\beta)) $ از ضرب ماتریس چرخش به دست میآید که جزء اول آن حاوی تفاضل و جزء دوم حاوی جمع حاصلضربهاست.
۲) آیا این روابط برای هر زاویه حقیقی (بزرگتر از $ 90^\circ $) نیز معتبرند؟
بله. اثبات با استفاده از دایره مثلثاتی برای همه اعداد حقیقی برقرار است، زیرا اندازه زاویه میتواند بیشتر از $ 360^\circ $ یا منفی باشد. تنها کافی است سینوس و کسینوس را به صورت توابع تناوبی با دوره $ 2\pi $ تعریف کنیم.
۳) چگونه میتوان این روابط را بدون حفظ کردن، به خاطر سپرد؟
با استفاده از یک جمله کمکی: «سینوس جمعْ سینوس کسینوس بهعلاوه کسینوس سینوس» (علامت همان علامت جمع است) و برای کسینوس: «کسینوس جمعْ کسینوس کسینوس منها سینوس سینوس». همچنین میتوان با تست زاویههای کوچک مثل $ \alpha=0 $ یا $ \beta=0 $ درستی رابطه را بررسی کرد.
گسترش به توابع دیگر: تانژانت مجموع
از تقسیم رابطه سینوس بر کسینوس مجموع میتوان به فرمول تانژانت مجموع رسید:
این رابطه زمانی معتبر است که $ \cos\alpha\cos\beta \neq 0 $ و $ \cos(\alpha+\beta) \neq 0 $. در دبیرستان اغلب از این رابطه برای حل معادلات مثلثاتی و اثبات هویتهای دیگر استفاده میشود. برای مثال، اگر $ \tan\alpha=1 $ و $ \tan\beta=\sqrt3 $، آنگاه $ \tan(\alpha+\beta)=\frac{1+\sqrt3}{1-\sqrt3} $ که پس از گویا کردن به عدد منفی سادهای تبدیل میشود.
پاورقی
1 دایره مثلثاتی (Unit Circle): دایرهای به شعاع واحد در دستگاه مختصات که مرکز آن در مبدأ قرار دارد و زاویه از محور افقی مثبت اندازهگیری میشود.
2 تابع فرد (Odd Function): تابعی که $ f(-x)=-f(x) $ برای آن برقرار است، مانند سینوس.
3 تابع زوج (Even Function): تابعی که $ f(-x)=f(x) $ برای آن برقرار است، مانند کسینوس.