Let F, G be meromorphic functions such that Fn+Gn=1, assuming n≥4 if necessary. Prove that F and G are constants.
Let us first consider a function this function takes its values in the complex curve \mathcal{C}\subseteq \bar\mathbb{C}^2 defined by an equation . This curve is a compact complex curve of genus which is for . By the Riemann uniformization theorem, a compact complex curves of genus admit a universal covering by a unit disc . Therefore, there exists a lifting and by the Liouville's theorem it is constant (as it is a bounded entire function). As , where is the covering map of the curve , we have and thus .
The condition is not only sufficient, but necessary - for there are obvious linear solutions, for we can take trigonometric functions and for there are non-trivial solutions using the elliptic functions.
Comments