Solution

ID: past-exam-of-the-geometry-course-of-the-university-of-oxford/2009/b/6/ii/solution

Apply the preceding argument to to obtain a nonconstant meromorphic function with simple poles exactly at . Both , and the constant function one, belong to .
If , examination at , where only has a pole, forces . Examination at , where only has a pole, forces , and then . Thus the three functions are linearly independent. Since the Riemann-Roch theorem gives ,

New to topics? Read the docs here!