دربارهٔ ماشینحساب اتحادهای مثلثاتی
اثبات اتحادهای مثلثاتی از ترسناکترین مبحثهای پیشحسابان است. دهها فرمول برای به خاطر سپردن هست، هیچ گام اول بدیهیای وجود ندارد و اثبات ممکن است نیم صفحه پیش برود و بعد کامل شود یا از هم بپاشد. دانشآموزان اغلب اتحادها را خوب میدانند و باز هم گیر میکنند، چون نمیبینند کدام را باید بعد از همه به کار ببرند.
این ماشینحساب با پیروی هر بار از یک راهبرد قابل اعتماد، حدس زدن را حذف میکند. هر دو طرف را فقط با و مینویسد، زاویههای چندبرابر مانند و را باز میکند، همه چیز را با مخرج مشترک به یک طرف میبرد و سپس به جای هر عبارت را میگذارد. اگر صورت صفر شود، اتحاد اثبات شده است؛ اگر نشود، معادله اتحاد نیست و ماشینحساب زاویهٔ مشخصی را نشان میدهد که دو طرف در آن با هم فرق دارند.
میتوانید عبارتی بدون علامت مساوی هم وارد کنید. آنگاه ماشینحساب آن را با همان سازوکار ساده میکند و نتیجههای استاندارد را تشخیص میدهد، مثلاً را به تبدیل میکند. روش مکانیکی است و هدف دقیقاً همین است: وقتی ببینید چطور کار میکند، میتوانید آن را با دست روی هر اتحادی در تمرینهای کتاب درسی اجرا کنید.
اتحاد مثلثاتی چیست؟
اتحاد مثلثاتی معادلهای شامل تابعهای مثلثاتی است که به ازای هر مقدار متغیر که هر دو طرف در آن تعریف شده باشند درست است. یک اتحاد است؛ اما معادلهای است که فقط در زاویههای خاصی درست است، پس اتحاد نیست.
عبارت «جایی که هر دو طرف تعریف شده باشند» مهم است. اتحاد است، هرچند هیچکدام از دو طرف در وجود ندارد، چون معادله در هر زاویهای که دو عبارت معنا دارند برقرار است. پس اثبات نشان میدهد که دو طرف هر جا تعریف شده باشند برابرند، نه اینکه به ازای هر عدد حقیقی برابرند.
اتحادها ابزارند، نه هدف. از آنها برای ساده کردن عبارتها پیش از انتگرالگیری، حل معادلههای مثلثاتی، بازنویسی موجها در فیزیک و مهندسی و تبدیل حاصلضرب سینوسها و کسینوسها به مجموع استفاده میشود. تشخیص اینکه دو عبارت با ظاهر متفاوت در واقع برابرند مهارتی است که در سراسر حسابان به کار میآید.
چگونه از ماشینحساب اتحادهای مثلثاتی استفاده کنیم
- برای اثبات اتحاد، معادلهای با یک علامت مساوی بنویسید، مانند 1 + tan(x)^2 = sec(x)^2.
- برای سادهسازی، عبارتی بدون علامت مساوی بنویسید، مانند tan(x) + cot(x).
- از یک متغیر استفاده کنید که معمولاً است. توانها را میتوان به شکل sin(x)^2 یا sin^2(x) نوشت.
- زاویههای چندبرابر مانند 2x و 3x و انتقالها به اندازهٔ مضربهای pi/2 مانند x + pi/2 پشتیبانی میشوند.
- دکمهٔ «ساده کن / ثابت کن» را بزنید و گامها را بخوانید؛ اگر اتحاد نادرست باشد، به زاویهٔ مثال نقض توجه کنید.
فرمولها
اتحاد فیثاغورسی
اتحادهای خارجقسمتی
اتحادهای معکوس
زاویهٔ دوبرابر
انتقال ربع دور
مثال حلشده: اثبات 1 + tan²x = sec²x
مثال حلشده را اثبات میکند. طرف چپ به و طرف راست به تبدیل میشود، پس هر تابع سینوس یا کسینوس میشود.
تفریق دو طرف روی مخرج مشترک صورت را باقی میگذارد. گذاشتن به جای باعث میشود همهٔ جملهها حذف شوند، پس صورت به طور یکسان صفر است و اتحاد هر جا که باشد برقرار است.
راهحل زیر را همان موتوری تولید میکند که ماشینحساب بالا با آن کار میکند.
پاسخ نهایی
مسئلهٔ شما را چگونه فهمیدیم
اثبات یک اتحاد مثلثاتی
راهحل گامبهگام
همه چیز را بر حسب sin x و cos x بنویسید
اتحادهای بهکاررفته:
طرف چپ بر حسب سینوس و کسینوس
طرف راست بر حسب سینوس و کسینوس
دو طرف را از هم کم کنید و تفاضل را روی مخرج مشترک بنویسید
اتحاد دقیقاً وقتی درست است که این صورت به ازای هر مقدار متغیر صفر باشد.
به جای هر cos²x مقدار 1 − sin²x را بگذارید و جملهها را جمع کنید
صورت به طور یکسان صفر است
پس از استفاده از sin² + cos² = 1 همهٔ جملهها حذف شدند، پس دو طرف هر جا تعریف شده باشند برابرند.
فرمولهای بهکاررفته
اتحاد فیثاغورسی
اتحادهای خارجقسمتی و معکوس
زاویهٔ دوبرابر
پس از نوشتن هر دو طرف بر حسب سینوس و کسینوس و گذاشتن 1 − sin² به جای cos²، تفاضل دو طرف دقیقاً 0 است، پس 1 + tan(x)^2 = sec(x)^2 به ازای هر x که هر دو طرف در آن تعریف شدهاند برقرار است.
بررسیها
- بررسی عددی در 10 مقدار نمونه: دو طرف با هم برابرند.
توضیح کامل
راهبرد سینوس و کسینوس
هر تابع مثلثاتی را میتوان بر حسب سینوس و کسینوس نوشت، پس تبدیل همه چیز به این دو تابع دو طرف اتحاد را به زبانی مشترک میبرد. تانژانت، کتانژانت، سکانت و کسکانت در کسرها ناپدید میشوند و مسئله به پرسشی دربارهٔ عبارتهای کسری بر حسب و تبدیل میشود.
وقتی هر دو طرف کسر شدند، تفریق آنها و جمع کردنشان روی مخرج مشترک اتحاد را به یک عبارت واحد تبدیل میکند: صورتی مشخص که باید صفر باشد. نیازی به بررسی بیشتر مخرجها نیست، چون آنها فقط جاهایی را ثبت میکنند که عبارتهای اصلی تعریف نشده بودند.
مانع آخر این است که و مستقل نیستند؛ با به هم مربوطاند. گذاشتن توانهای به جای هر توان زوج کسینوس این وابستگی را از توانهای زوج حذف میکند. پس از جمع کردن جملههای متشابه، اتحاد درست چیزی باقی نمیگذارد. به همین دلیل روش برای عبارتهایی که میپذیرد همیشه به پاسخی روشن میرسد، برخلاف روش آزمون و خطا که یک طرف را انتخاب میکند و گامبهگام تغییرش میدهد.
زاویههای چندبرابر و انتقالها
زاویههایی مانند و ابتدا به تابعهایی از خود باز میشوند. فرمولهای زاویهٔ دوبرابر و را میدهند و استفادهٔ مکرر از فرمولهای جمع را میدهد. ماشینحساب این اتحاد و همچنین را دقیقاً از همان مسیری بررسی میکند که هر ورودی دیگر را.
انتقالها به اندازهٔ مضربهای با قاعدههای تابعهای متمم و ربع دور پردازش میشوند. به طور کلی ماشینحساب هر زاویه به شکل را که در آن و عدد صحیحاند میپذیرد. اما نیمزاویههایی مانند و انتقالهای دلخواه مانند را نمیتوان به چندجملهایهایی بر حسب و برگرداند، پس ماشینحساب به جای ارائهٔ اثباتی غیرقابل اعتماد، آنها را با توضیح رد میکند.
ماشینحساب با یک متغیر کار میکند. فرمول جمعی مانند دو زاویهٔ مستقل دارد و خارج از محدودهٔ آن است؛ ماشینحساب به جای تلاش برای اثباتش همین را میگوید.
رد کردن یک معادله
اگر صورت به صفر نرسد، معادله اتحاد نیست. برای روشن کردن این موضوع، ماشینحساب دو طرف را در یک زاویهٔ نمونه حساب میکند و نشان میدهد که با هم فرق دارند. برای خطای رایج گزارش میدهد که در طرف چپ حدود و طرف راست است.
یک مثال نقض برای رد اتحاد کافی است، اما هیچ تعداد مثال سازگار برای اثبات آن کافی نیست. دو عبارت ممکن است بهطور اتفاقی در زاویههای زیادی بر هم منطبق باشند. به همین دلیل اثبات ماشینحساب جبری است و به همین دلیل بررسی چند مقدار روی نمودار آزمون اولیهٔ خوبی است اما جای اثبات را نمیگیرد.
ساده کردن عبارتها
بدون علامت مساوی، ماشینحساب عبارت را بر حسب سینوس و کسینوس مینویسد، در یک کسر واحد جمع میکند، از اتحاد فیثاغورسی استفاده میکند و عاملهای مشترک را حذف میکند. سپس نتیجه را با شکلهای استاندارد مقایسه میکند. در کسر واحد به ساده میشود و ماشینحساب آن را تشخیص میدهد.
در مثلثات بهندرت فقط یک شکل سادهٔ درست وجود دارد. و و همه همارزند. ماشینحساب یک شکل استاندارد فشرده را انتخاب میکند و گامها کسرهای میانی را نشان میدهند تا بتوانید در شکلی که درس شما انتظار دارد توقف کنید.
نوشتن اثبات با دست
معلمها اغلب میخواهند یک طرف را به طرف دیگر تبدیل کنید، نه اینکه دو طرف را از هم کم کنید، چون کار روی هر دو طرف با هم ممکن است گامهای نادرستی مانند مربع کردن را پنهان کند. گامهای ماشینحساب مستقیماً به این سبک ترجمه میشوند. از طرف پیچیدهتر شروع کنید، آن را بر حسب سینوس و کسینوس بنویسید، کسرها را جمع کنید، را در جهت مفید به کار ببرید و ساده کنید تا با طرف دیگر یکی شود.
حرکتهای مفید عبارتاند از ضرب در مزدوج، مانند اثبات ، تجزیهٔ تفاضل دو مربع، مانند ، و شکستن کسر به جملههای جدا. ماشینحساب تأیید میکند که هر دو اتحاد درستاند تا شما روی ارائهٔ مرتب استدلال تمرکز کنید.
اشتباههای رایج
- در نظر گرفتن به جای ؛ فرمول زاویهٔ دوبرابر است.
- نوشتن ؛ تابعهای مثلثاتی جمعپذیر نیستند.
- حذف کردن از میان یک مجموع، مثلاً ساده کردن به .
- مربع کردن دو طرف در حین اثبات، که ممکن است گزارهای نادرست را درست جلوه دهد.
- بررسی چند زاویه و نتیجه گرفتن اینکه اتحاد اثبات شده است.
نکتهها
- از طرف پیچیدهتر شروع کنید؛ چیزهای بیشتری برای ساده کردن دارد.
- وقتی گام دیگری به چشم نمیآید، همه چیز را به سینوس و کسینوس تبدیل کنید.
- پس از جمع کردن کسرها، دنبال پنهان در صورت باشید.
- وقتی یا را در مخرج میبینید، در مزدوج ضرب کنید.
- پیش از صرف وقت برای اثبات، اتحاد را در یک زاویه، مثلاً ، آزمایش کنید.
- از ماشینحساب دایرهٔ واحد برای محاسبهٔ سریع دو طرف در زاویههای خاص استفاده کنید.
پرسشهای متداول
ماشینحساب اتحاد را چطور اثبات میکند؟
دو طرف را بر حسب سینوس و کسینوس مینویسد، روی مخرج مشترک از هم کم میکند و به جای cos²x عبارت 1 − sin²x را میگذارد. اگر صورت صفر شود، اتحاد هر جا که دو طرف تعریف شده باشند درست است.
اگر معادلهٔ من اتحاد نباشد چه میشود؟
ماشینحساب همین را میگوید و یک مثال نقض میدهد، یعنی زاویهای که مقدار دو طرف در آن فرق دارد، مانند x = 30° برای sin 2x = 2 sin x.
آیا میتواند عبارت مثلثاتی بدون علامت مساوی را ساده کند؟
بله. فقط عبارت را وارد کنید. در یک کسر جمع میشود، با sin²x + cos²x = 1 ساده میشود و با یک شکل استاندارد تطبیق داده میشود؛ مثلاً tan x + cot x به sec x csc x تبدیل میشود.
چه زاویههایی پشتیبانی میشوند؟
زاویههایی به شکل kx بهعلاوهٔ مضربی از π/2، که k عدد صحیح است، مانند 2x یا 3x یا x + π/2. نیمزاویههایی مانند x/2 و عبارتهای دومتغیره پشتیبانی نمیشوند و ماشینحساب دلیلش را توضیح میدهد.
چرا پاسخ میگوید «جایی که هر دو طرف تعریف شده باشند»؟
برخی اتحادها شامل تابعهاییاند که در زاویههای خاصی تعریف نشدهاند، مانند tan x در 90°. اتحاد فقط باید جایی برقرار باشد که هر دو طرف وجود دارند.
آیا میتواند sin(x + y) = sin x cos y + cos x sin y را اثبات کند؟
نه. این فرمول دو متغیر مستقل دارد و ماشینحساب با یک متغیر کار میکند. به جای تلاش برای اثبات، همین را اعلام میکند.
مربع تابعهای مثلثاتی را چطور بنویسم؟
هم sin(x)^2 و هم نگارش کتاب درسی sin^2(x) کار میکنند؛ ماشینحساب هر دو را مربع sin x میخواند. همین برای پنج تابع دیگر هم صدق میکند.
آیا بررسی نمودار برای اثبات اتحاد کافی است؟
نه. منطبق بودن منحنیها بهشدت نشان میدهد که اتحادی در کار است اما آن را اثبات نمیکند. اثباتی جبری مانند آنچه ماشینحساب نشان میدهد لازم است؛ اما یک بار منطبق نبودن برای رد آن کافی است.
اتحادتان را اثبات یا ساده کنید
اتحاد یا عبارتی در بالا وارد کنید تا اثباتی کامل بر حسب سینوس و کسینوس، یا اگر درست نباشد یک مثال نقض، ببینید.