مشتق توابع مثلثاتی
مشتق‌گیری از تابع‌های مثلثاتی یک فرایند ریاضی است که برای یافتن مشتق یک تابع مثلثاتی یا نرخ تغییرات آن برحسب متغیر، انجام می‌شود. مشتق همه تابع‌های مثلثاتی را می‌توان برحسب مشتق سینوس و کسینوس به دست آورد. زیرا همه این تابع‌ها را می‌توان به صورت تابعی از سینوس یا کسینوس بیان کرد. قاعده خارج قسمت برای مشتق‌گیری از تابع مورد نظر به کار می‌رود. مشتق تابع‌های وارون مثلثاتی با استفاده از مشتق ضمنی و مشتق تابع‌های معمول مثلثاتی، قابل محاسبه است.
مشتق
قضیهٔ لاگرانژ یا مقدار میانگین مشتق بیان می‌کند که هرگاه تابع formula_6 روی formula_241 پیوسته و روی بازهٔ formula_182 مشتق‌پذیر باشد، آنگاه حداقل یک نقطهٔ formula_244 در بازهٔ formula_182 وجود دارد که در آن:قضیهٔ کوشی که صورت تعمیم یافتهٔ قضیهٔ لاگرانژ است، بیان می‌کند که هرگاه توابع formula_6 و formula_90 روی بازهٔ formula_241 پیوسته و روی بازهٔ formula_182 مشتق‌پذیر باشند، آنگاه حداقل یک نقطهٔ formula_244 در بازهٔ formula_182 وجود دارد که در آن: