اتحادهای مثلثاتی: روابط استاندارد بین توابع مثلثاتی برای سادهسازی حدها
۱. اتحادهای فیثاغورثی و نقش آنها در بازنویسی حدها
اتحادهای فیثاغورثی1 از مهمترین روابط بین توابع مثلثاتی هستند. این اتحادها به شما اجازه میدهند تا توان دوم یک تابع مثلثاتی را با تابع دیگر جایگزین کنید که در سادهسازی حدها بسیار کارآمد است. شکل اصلی این اتحادها به صورت زیر است:
برای نمونه، حد $\lim_{x \to 0} \frac{1 - \cos x}{x^2}$ را در نظر بگیرید. با استفاده از اتحاد فیثاغورثی میتوان نوشت $1 - \cos^2 x = \sin^2 x$ اما در صورت کسر $1-\cos x$ ظاهر شده است. بهتر است از اتحاد $1 - \cos x = 2\sin^2\frac{x}{2}$ استفاده کنیم که در بخش بعدی به آن میپردازیم. با این حال، اتحادهای فیثاغورثی در بازنویسی حدهایی که شامل $\tan^2 x$ یا $\sec^2 x$ هستند، مستقیم عمل میکنند.
۲. اتحادهای زاویه مضاعف و نیمزاویه: ابزار سادهسازی قدرتمند
اتحادهای زاویه مضاعف2 و نیمزاویه به ما امکان میدهند توابع مثلثاتی با زاویه $2x$ یا $\frac{x}{2}$ را برحسب توابعی از $x$ بنویسیم. مهمترین این اتحادها عبارتند از:
| نام اتحاد | فرمول |
|---|---|
| سینوس زاویه مضاعف | $\sin(2x) = 2\sin x \cos x$ |
| کسینوس زاویه مضاعف | $\cos(2x) = \cos^2 x - \sin^2 x = 2\cos^2 x - 1 = 1 - 2\sin^2 x$ |
| توان دوم سینوس | $\sin^2 x = \frac{1 - \cos(2x)}{2}$ |
| توان دوم کسینوس | $\cos^2 x = \frac{1 + \cos(2x)}{2}$ |
اکنون حد $\lim_{x \to 0} \frac{1 - \cos x}{x^2}$ را محاسبه میکنیم. با استفاده از اتحاد $1 - \cos x = 2\sin^2\frac{x}{2}$ داریم:
در این محاسبه، تغییر متغیر $u = \frac{x}{2}$ و حد استاندارد $\lim_{u \to 0} \frac{\sin u}{u} = 1$ به کار رفته است.
۳. اتحادهای جمع به ضرب و ضرب به جمع: تغییر ساختار عبارت
گاهی در حدهای مثلثاتی با تفاضل یا مجموع دو تابع مثلثاتی مواجه میشویم که به صورت جداگانه حد ندارند. اتحادهای تبدیل جمع به ضرب3 و بالعکس، این توابع را به صورت حاصلضرب بازنویسی میکنند و امکان سادهسازی با استفاده از حدهای شناختهشده را فراهم میآورند. فرمولهای اصلی به این صورت هستند:
- $\sin A + \sin B = 2 \sin\frac{A+B}{2} \cos\frac{A-B}{2}$
- $\sin A - \sin B = 2 \cos\frac{A+B}{2} \sin\frac{A-B}{2}$
- $\cos A + \cos B = 2 \cos\frac{A+B}{2} \cos\frac{A-B}{2}$
- $\cos A - \cos B = -2 \sin\frac{A+B}{2} \sin\frac{A-B}{2}$
به عنوان مثال، حد $\lim_{x \to 0} \frac{\sin 5x - \sin 3x}{x}$ را بررسی کنید. با استفاده از اتحاد تفاضل سینوسها:
بنابراین حد به صورت زیر ساده میشود:
۴. حد استاندارد $\lim_{x \to 0} \frac{\sin x}{x} = 1$ و کاربردهای گسترده
حد $\lim_{x \to 0} \frac{\sin x}{x} = 1$ یکی از پایههای اساسی در محاسبه حدهای مثلثاتی است. اثبات این حد معمولاً با استفاده از نابرابری هندسی و قضیه ساندویچ4 انجام میشود. در دبیرستان، این حد به عنوان یک رابطه استاندارد پذیرفته میشود. کاربرد مستقیم آن در حدهای زیر دیده میشود:
- $\lim_{x \to 0} \frac{\tan x}{x} = 1$ زیرا $\frac{\tan x}{x} = \frac{\sin x}{x} \cdot \frac{1}{\cos x}$
- $\lim_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2}$ (که پیشتر محاسبه شد)
- $\lim_{x \to 0} \frac{\arcsin x}{x} = 1$ با تغییر متغیر $u = \arcsin x$
یک مثال ترکیبی: حد $\lim_{x \to 0} \frac{\sin(3x)}{\tan(5x)}$ را محاسبه کنید:
۵. کاربرد عملی: محاسبه حد توابع مثلثاتی در فیزیک و مهندسی
در مسائل فیزیک، به ویژه در بحث نوسانات و حرکت هماهنگ ساده، حدهای مثلثاتی ظاهر میشوند. فرض کنید جابجایی یک نوسانگر به صورت $x(t) = A \sin(\omega t)$ داده شده است. برای یافتن سرعت لحظهای در لحظه $t=0$ باید حد $\lim_{\Delta t \to 0} \frac{A \sin(\omega \Delta t)}{\Delta t}$ را محاسبه کنیم. با استفاده از حد استاندارد:
این نتیجه با مشتقگیری مستقیم $x'(t) = A\omega \cos(\omega t)$ در $t=0$ همخوانی دارد. بنابراین تسلط بر اتحادهای مثلثاتی، پایهای برای درک مفاهیم عمیقتر در حساب دیفرانسیل و انتگرال است.
چالشهای مفهومی
هنگامی که $x$ به صفر نزدیک میشود، مقدار $\sin x$ نیز به صفر نزدیک میشود، اما سرعت نزدیک شدن این دو به صفر با هم برابر است. از دید هندسی، در دایره واحد، نسبت $\frac{\sin x}{x}$ به طول کمان در مقابل کمان کوچک، تقریباً $1$ است. اثبات دقیق با قضیه ساندویچ نشان میدهد که این حد قطعاً برابر یک است.
بله، قاعده هوپیتال (مشتق گرفتن از صورت و مخرج) در بسیاری از حدهای مبهم $\frac{0}{0}$ کار میکند. اما نکته اینجاست که برای اثبات خود قاعده هوپیتال یا برای مشتقگیری از $\sin x$ و $\cos x$، نیاز به دانستن حد $\lim_{x \to 0} \frac{\sin x}{x}$ داریم. بنابراین استفاده از هوپیتال برای این حد خاص، دایرهوار (circular) است. برای سایر حدها، هوپیتال گزینه مناسبی است اما اتحادهای مثلثاتی درک عمیقتری ارائه میدهند.
این حد با استفاده از قضیه ساندویچ و بدون اتحاد مثلثاتی محاسبه میشود: چون $|\sin x| \le 1$، داریم $-\frac{1}{x} \le \frac{\sin x}{x} \le \frac{1}{x}$، و با حد گرفتن از دو طرف، $\lim_{x \to \infty} \frac{\sin x}{x} = 0$. این مثال نشان میدهد که همه حدهای مثلثاتی به اتحاد نیاز ندارند، اما اتحادها برای حدهای مبهم در نقاط متناهی (مانند صفر) ضروری هستند.
پاورقی
1 اتحاد فیثاغورثی (Pythagorean Identity): رابطی که از قضیه فیثاغورث در دایره مثلثاتی به دست میآید و توانهای دوم سینوس و کسینوس را به عدد $1$ مرتبط میکند.
2 اتحاد زاویه مضاعف (Double-Angle Identity): رابطهای که تابع مثلثاتی زاویه $2\theta$ را برحسب توابع زاویه $\theta$ بیان میکند.
3 اتحاد جمع به ضرب (Sum-to-Product Identity): رابطهای که جمع یا تفاضل دو تابع مثلثاتی را به حاصلضرب توابع مثلثاتی تبدیل میکند.
4 قضیه ساندویچ (Squeeze Theorem): اگر $f(x) \le g(x) \le h(x)$ در همسایگی یک نقطه برقرار باشد و حد $f$ و $h$ در آن نقطه برابر عدد $L$ باشد، آنگاه حد $g$ نیز $L$ خواهد بود.
5 قاعده هوپیتال (L'Hôpital's Rule): برای محاسبه حد کسرهایی که به صورت $\frac{0}{0}$ یا $\frac{\infty}{\infty}$ مبهم هستند، میتوان از مشتق صورت و مخرج استفاده کرد، به شرط آنکه حد حاصل وجود داشته باشد.