АВ⊥MN.
AC⊥BC ⇒ АС⊥α ⇒ АС⊥MN, значит по теореме о трёх перпендикулярах BC⊥MN, значит АВС⊥MN.
Линейным углом двугранного угла называется угол, сторонами которого являются лучи, по которым грани двугранного угла пересекаются плоскостью, перпендикулярной ребру двугранного угла, следовательно ∠ABC - линейный угол двугранного угла AMNC.
Доказано.