قضیه نیمساز زاویه

مثلث ABC مطابق شکل مفروض است. از راس C خطی به موازات AE رسم می کنیم تا امتداد AB را در D قطع کند. بنابر قضیه ی خط مورب دو خط موازی داریم:

A₁=C₁

همچنین D₁ نیز با A₂ برابر است. بنابر خط مورب دو خط موازی داریم:

D₁=A₂

از طرفی چون طبق فرض A₁ و A₂ برابرند (بعلت اینکه AE نیم ساز داخلی A در مثلث ABC است) پس داریم:

C₁=D₁

پس بنابر ویژگی های مثلث متساوی‌الساقین می توان نتیجه گرفت که ADC یک مثلث متساوی‌الساقین است. پس داریم: ${\displaystyle AD=AC}$

${\displaystyle \frac{|BA|}{|AD|}=\frac{|BE|}{|EC|}}$

حال چون نتیجه گرفتیم که ${\displaystyle AD=AC}$

${\displaystyle \frac{|BA|}{|AC|}=\frac{|BE|}{|EC|}}$

که با این کار به حکم قضیه می رسیم و قضیه اثبات می شود.

یکی از کاربرد های مهم این قضیه در اثبات قضیه ی زیر است.

در هر مثلث متساوی‌الاضلاع، نیمساز هر زاویه داخلی، بر میانه منطبق است. به راحتی با استفاده از قضیه ی زاویه ی نیمساز می توانیم بگوییم که نیم ساز زاویه ی دو ساق، ضلع مقابل را به نسبت دو ساق تقسیم می کند. از آنجا که دو ساق در این مثلث با هم برابرند پس این نیم ساز ضلع روبرو را نصف می کند. که این به معنای آن است که این نیم ساز همان میانه ی ضلع مقابل هم می باشد.

این قضیه در یک صفحه اثبات شد. چون این قضیه مربوط به یک مثلث می باشد، و از هر سه نقطه ی درون فضا تنها یک صفحه می‌گذرد، می توان نتیجه گرفت که برای هر مثلث درون فضا نیز این قانون وجود دارد و این قضیه در فضا هم مطرح می تواند مطرح شود.

planetmath.org