قضیه استوارت

قضیه استوارت،  در هندسه اندازه پاره‌خط وارد از یک رأس بر ضلع روبرو را بر حسب اندازه اضلاع مثلث و دو پاره‌خط ایجاد شده بر روی ضلع می‌دهد. به افتخار ریاضیدان اسکاتلندی متیو استوارت که در مقاله‌ای در سال ۱۷۴۸ این قضیه را منتشر کرد، این قضیه را قضیه استوارت نامیده‌اند.M. Stewart Some General Theorems of Considerable Use in the Higher Parts of Mathematics (1746) "Proposition II"

اگر b ،a و c طول اضلاع مثلت و p طول پاره خط مورد نظر باشد، آنگاه:
 و یا:
که x و y طول دو پاره‌خط ایجاد شده بر ضلع هستند.

 اثبات 
بندانگشتی|تصویر توسط miyomiyo1050.
اگر محل برخورد پاره‌خط p و ضلع BC را P بنامیم، آنگاه بنابر قانون کسینوس‌ها برای دو زاویه APB و APC داریم:

با ضرب کردن x در جمله اول و y در جمله دوم معادلات زیر بدست می‌آید:

حال با جمع کردن دو معادله بالا بدست می‌آید:

که همان معادله قضیه استوارت است.

 منابع 

رده:قضایای هندسه مسطحه
رده:قضیه‌های هندسی
رده:هندسه مثلث