Can you do a formal solution to this problem (complex numbers)?