اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
يمكن تعريف الجيب وجيب التمام كحللين للمعادلة التفاضلية:
تحققان على التوالي y(0) = 0, y′(0) = 1 و y(0) = 1, y′(0) = 0. يستنتج من نظرية المعادلات التفاضلية العادية أن الحل الأول هي دالة الجيب، والحل الثاني، جيب التمام، هي مشتقة الحل الأول، ويترتب على ذلك أن مشتق جيب التمام هو مقابل الجيب. المتطابقة تعادل التأكيد على أن الدالة:
ثابتة وتساوي 1. تعطي الاشتقاق باستخدام قاعدة السلسلة:
إذن، z ثابتة حسب مبرهنة القيمة الوسطى. تؤكد الحساب أن z(0) = 1، و z ثابتة إذن z = 1 لكل x.