توابع معکوس مثلثاتی

توابع معکوس مثلثاتی در ریاضیات، معکوس تابع‌های مثلثاتی‌اند که طبق تعریف تابع وارون، بُرد آن‌ها زیرمجموعهٔ دامنهٔ تابع اصلی دیگری است. از آنجایی که تابع‌های مثلثاتی هیچکدام یک به یک نیستند، برای همین برای اینکه وارون آن‌ها تابع بماند (به ازای یک ورودی چند خروجی به دست نیاید) باید آن‌ها را محدود کرد (نگاه کنید به آزمون خط افقی).

برای نمونه اگر تعریف کنیم  یا به شکل دیگر  آنگاه  است اما به ازای یک x یکتا می‌توان چندین y پیدا کرد که به ازای آن  شود، مانند y مساوی صفر، π و ۲π که به ازای همهٔ آن‌ها مقدار سینوس یا x برابر با صفر است و این به این معنی است که تابع وارون سینوس یا arcsin یا  می‌تواند چندین جواب داشته باشد  درحالی که این خلاف مفهوم تابع بودن است. برای همین برای تمامی تابع‌های وارون مثلثاتی محدودیت بُرد یا خروجی قرار می‌دهیم تا به ازای یک ورودی چندین خروجی نداشته باشند. 

نمایش توابع معکوس مثلثاتی به فرم مشابه (سینوس‌اینورس) برای اولین بار توسط جان هرشل در سال ۱۸۱۳ به کار برده شد. این فرم را نباید با مقدار  اشتباه گرفت؛ چرا که اولی به معنای تابع وارون (گرفته شده از نماد ) و دومی به معنای عکس مقدار سینوس است. 

همچنین Arc به معنای "قوس" یا کمانی است که مقدار نسبت مثلثاتی آن معلوم است. 

تابع‌های اصلی در جدول زیر آورده شده‌اند:

برخی تعاریف:
آرک‌سینوس (سینوس‌اینورس) یک عدد مفروض زاویه‌ای است که سینوس آن برابر آن عدد مفروض است
آرک‌کسینوس (کسینوس‌اینورس) یک عدد مفروض زاویه‌ای است که کسینوس آن برابر آن عدد مفروض است
آرک‌تانژانت (تانژانت‌اینورس) یک عدد مفروض زاویه‌ای است که تانژانت آن برابر آن عدد مفروض است
آرک‌کتانژانت (کتانژانت‌اینورس) یک عدد مفروض زاویه‌ای است که کتانژانت آن برابر آن عدد مفروض است.

رابطهٔ میان تابع‌های وارون مثلثاتی 

زاویه‌های مکمل:

ورودی‌های با علامت مخالف:

ورودی‌های وارون شده:

در صورتی که تنها بخشی از جدول سینوس را داشته باشیم:

هرگاه از ریشهٔ دوم یک عدد مختلط استفاده شد، باید ریشهٔ با بخش حقیقی مثبت را انتخاب کرد (یا بخش موهومی مثبت، اگر خود آن، عدد حقیقی منفی بود).

با استفاده از رابطهٔ نیم-زاویه  خواهیم داشت:

رابطه‌های میان تابع‌های مثلثاتی و تابع‌های وارون مثلثاتی

راه حل کلی 
تابع‌های مثلثاتی در مجموعهٔ اعداد حقیقی، همگی تابع‌های متناوب اند و در بازه‌هایی به اندازهٔ ۲π مقدار همهٔ آن‌ها مرتب تکرار می‌شود. دورهٔ تناوب تابع‌های سینوس و کسکانت از ۲πk − π/۲ (به ازای kهای عضو مجموعهٔ اعداد صحیح) شروع می‌شود و در ۲πk + π/۲ تمام می‌شود، در نتیجه مقدار تابع میان بازهٔ ۲πk + π/۲ تا ۲πk + ۳π/۲ دوباره بر روی خودش باز می‌گردد. دورهٔ تناوب کسینوس و سکانت از ۲πk شروع می‌شود و در ۲πk + π تمام می‌شود و مقدار تابع در فاصلهٔ میان ۲πk + π تا ۲πk + ۲π دوباره بر روی خودش باز می‌گردد. دورهٔ تناوب تانژانت از ۲πk − π/۲ شروع می‌شود و در ۲πk + π/۲ تمام می‌شود و مقدار تابع به ازای بازه‌های ۲πk + π/۲ تا ۲πk + ۳π/۲ مرتب تکرار می‌شود. دورهٔ تناوب کتانژانت از ۲πk شروع می‌شود و در ۲πk + π تمام می‌شود، و تابع به ازای بازه‌های ۲πk + π تا ۲πk + ۲π بر روی خودش باز می‌گردد.

این تناوب در تابع‌های وارون نیز به همین ترتیب ادامه دارد، با فرض اینکه k عدد صحیحی است داریم:

مشتق تابع‌های وارون مثلثاتی 

مشتق ساده این نوع تابع‌ها، به ازای xهای مختلط و حقیقی به قرار زیر است:

رابطه‌های زیر ویژهٔ xهای حقیقی است:

برای مشتق ساده اگر  باشد، آنگاه داریم:

استفاده از انتگرال‌های معین 
عبارت انتگرالی برابر با تابع‌های وارون مثلثاتی به قرار زیر است:

سری‌های نامتناهی 
مانند تابع سینوس و کسینوس، وارون این توابع را نیز می‌توان به کمک سری‌های نامتناهی محاسبه کرد:

همچنین لئونارد اویلر برای وارون تانژانت، سری کارآمدتری را پیدا کرد، که عبارت است از:

هشدار: به ازای n= ۰ عبارت به یک ضرب تهی تبدیل می‌شود که خود برابر با ۱ است.
همچنین در ادامه می‌توان نشان داد که:

انتگرال نامعین تابع‌های وارون مثلثاتی 
برای تمامی xهای حقیقی و مختلط، رابطه‌های زیر برقرار است:

تنها برای x ≥ ۱ که عضو مجموعه اعداد حقیقی اند:

تمامی رابطه‌های بالا به کمک انتگرال‌گیری جزء به جزء قابل دستیابی است.

نمونه 
با استفاده از  داریم:

آنگاه:

با استفاده از تغییر متغیر:

 

پس:

 

و

دوباره x را جایگزین می‌کنیم:

منابع

جستارهای وابسته 
 سینوس (ریاضیات)
 فهرست اتحادهای مثلثاتی
 ریشه دوم
 تابع وارون هذلولی
 تابع وارون

توابع معکوس مثلثاتی
اعداد بدون بعد
توابع مثلثاتی
نسبت‌ها
روابط ریاضی