برای اثبات همنهشتی دو مثلث \( \triangle ABM \) و \( \triangle AMC \)، به اطلاعاتی نیاز داریم که بیان کنیم چرا این دو مثلث همنهشت هستند.
مثلث \( \triangle ABC \) یک مثلث متساویالساقین است و \( AM \) میانه وارد بر \( BC \) است. طبق خاصیت مثلثهای متساویالساقین، میانهای که از زاویه رأس به پایه وارد میشود، علاوه بر میانه بودن، نیمساز و عمودمنصف نیز هست.
به این ترتیب:
1. \( AM \) نیمساز است و زوایای \( \angle BAM \) و \( \angle CAM \) را برابر میکند.
2. \( M \) نقطه وسط \( BC \) است، پس \( BM = MC \).
3. ضلع \( AM \) در هر دو مثلث مشترک است.
بنابراین طبق قضیه \( SAS \) (دو ضلع و زاویه بین آنها)، این دو مثلث همنهشت هستند.