Nicomedes' angle trisection