شکل ظلی

شکل ظِلّی

(یا: قضیه تانژانت‌ها) قضیه‌ای در مثلثات کروی. این قضیه برای محاسبۀ جیب (معادل سینوس) نیم درجه که نتیجه آن تا ۸ رقم اعشار صحیح بود، کاربرد دارد. در مثلث کروی قائم‌الزاویه، جیب هر ضلع مجاور به زاویه قائمه برابر است با نسبت ظل ضلع دیگر مجاور به زاویۀ قائمه به ظل زاویه مقابل به این ضلع. این قضیه از ابداعات ابوالوفا جوزجانی (بوزجانی) ریاضی‌دان نامی ایران است که در پیشبرد دانش مثلثات سهم بسزایی دارد.