قضیه استوارت

قضیه استوارت، (به انگلیسی: Stewart's theorem) در هندسه اندازه پاره‌خط وارد از یک رأس بر ضلع روبرو را بر حسب اندازه اضلاع مثلث و دو پاره‌خط ایجاد شده بر روی ضلع می‌دهد. به افتخار ریاضیدان اسکاتلندی متیو استوارت که در مقاله‌ای در سال ۱۷۴۸ این قضیه را منتشر کرد، این قضیه را قضیه استوارت نامیده‌اند.
اگر b ،a و c طول اضلاع مثلت و p طول پاره خط مورد نظر باشد، آنگاه:

a(p²+xy)=b²x+c²y

که x و y طول دو پاره‌خط ایجاد شده بر ضلع هستند. 

اثبات را در ادامه ببینید.

اثبات

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

b²=p²+y²-2pycosθ

^_c2=p²+x²-2pxcos                              θ

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

           

        

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

                

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