  We prove the Kawamata--Viehweg vanishing theorem for a large class of
divisors on surfaces in positive characteristic. By using this vanishing
theorem, Reider-type theorems and extension theorems of morphisms for normal
surfaces are established. As an application of the extension theorems, we
characterize non-singular rational points on any plane curve over an arbitrary
base field in terms of rational functions on the curve.
