@robjohn I saw your solution on my recent post. I wonder if this also correct. One part i'm worrying about is that when I represent a curve $x^2+y^2 = 1$ in one variable, there are two functions, $y = \sqrt{x^2+1}$ and $y = -\sqrt{x^2+1}$. They eventually gives same $u(x,y)$ though. Does my argument in the image make sense?