三角形 ABNABNABN と BCMBCMBCM は、BBB の角を共有し、ともに直角をもつので相似である。したがって AM/MB=CM/MB=AN/NBAM/MB=CM/MB=AN/NBAM/MB=CM/MB=AN/NB、ゆえに MNMNMN は ∠ANB\angle ANB∠ANB の二等分線である。