Without loss of generality we can consider that AC<AB. From the conditions (fig. 18) 2∠CAW=∠COW=∠CMW, hence ∠ACM=∠CAM. Thus AM=CM. Similarly AN=NB. Then it is enough to prove that AM+AN=AW, thus AM=NW. Obviously, CO=OB, CW=WB. Thus ∠OBW=∠OCW. Hence ∠OBW=∠OCW. Therefore,
∠ONM=∠OBW=∠OCW=∠OMN, hence △ONM is isosceles. It is also obvious that △OAW is isosceles, hence it is clear that △ONW=△OMA, thus AM=NW.