Paper 1, Section I, B

Complex Analysis or Complex Methods
Part IB, 2015

Consider the analytic (holomorphic) functions ff and gg on a nonempty domain Ω\Omega where gg is nowhere zero. Prove that if f(z)=g(z)|f(z)|=|g(z)| for all zz in Ω\Omega then there exists a real constant α\alpha such that f(z)=eiαg(z)f(z)=e^{i \alpha} g(z) for all zz in Ω\Omega.