در شکل زیر AD نیمساز زاویه A است. ثابت کنید دو مثلث AEM و AFM هم نهشت هستند. [شکل: مثلث ABC که AD نیمساز زاویه A است. نقطه‌ای M روی AD قرار دارد. ME عمود بر AB و MF عمود بر AC است.]